Jozef Hooman

Available identifiers

zbMath Open hooman.jozef-johannes-mariaMaRDI QIDQ229991

List of research outcomes

Publication	Date of Publication	Type
Industrial application of formal models generated from domain specific languages	2021-05-20	Paper
Verifying part of the ACCESS.bus protocol using PVS	2017-01-19	Paper
Specification and compositional verification of real-time systems	2014-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q3002509	2011-05-20	Paper
Formal semantics of a VDM extension for distributed embedded systems	2010-03-09	Paper
Equivalent semantic models for a distributed dataspace architecture.	2010-02-09	Paper
On the correctness of an intrusion-tolerant group communication protocol	2010-02-05	Paper
Semantic models of a timed distributed dataspace architecture	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4417917	2003-07-30	Paper
An introduction to compositional methods for concurrency and their application to real-time.	2002-02-18	Paper
Concurrency verification. Introduction to compositional and noncompositional methods	2002-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q2729921	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4494241	2000-08-10	Paper
Metric temporal logic with durations	1997-02-28	Paper
Compositional verification of real-time systems with explicit clock temporal logic	1996-07-23	Paper
Extending Hoare logic to real-time	1995-04-09	Paper
A trace-based compositional proof theory for fault tolerant distributed systems	1994-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q3999508	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4723289	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3731019	1986-01-01	Paper

Research outcomes over time

This page was built for person: Jozef Hooman