Person:229991

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
Formal Methods for Components and Objects	2010-02-09	Paper
Correct Hardware Design and Verification Methods	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
https://portal.mardi4nfdi.de/entity/Q2768503	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: J. J. M. Hooman