Jozef Hooman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2017-01-19	Paper
Specification and compositional verification of real-time systems Lecture Notes in Computer Science	2014-08-14	Paper
scientific article; zbMATH DE number 5898709 (Why is no real title available?)	2011-05-20	Paper
Formal semantics of a VDM extension for distributed embedded systems Concurrency, Compositionality, and Correctness	2010-03-09	Paper
Equivalent semantic models for a distributed dataspace architecture. Lecture Notes in Computer Science	2010-02-09	Paper
On the correctness of an intrusion-tolerant group communication protocol Lecture Notes in Computer Science	2010-02-05	Paper
Semantic models of a timed distributed dataspace architecture Theoretical Computer Science	2005-04-06	Paper
scientific article; zbMATH DE number 1956576 (Why is no real title available?)	2003-07-30	Paper
An introduction to compositional methods for concurrency and their application to real-time. Sādhanā	2002-02-18	Paper
Concurrency verification. Introduction to compositional and noncompositional methods Cambridge Tracts in Theoretical Computer Science	2002-02-03	Paper
scientific article; zbMATH DE number 1630111 (Why is no real title available?)	2001-10-23	Paper
scientific article; zbMATH DE number 1487730 (Why is no real title available?)	2000-08-10	Paper
Metric temporal logic with durations Theoretical Computer Science	1997-02-28	Paper
Compositional verification of real-time systems with explicit clock temporal logic Formal Aspects of Computing	1996-07-23	Paper
Extending Hoare logic to real-time Formal Aspects of Computing	1995-04-09	Paper
A trace-based compositional proof theory for fault tolerant distributed systems Theoretical Computer Science	1994-07-21	Paper
scientific article; zbMATH DE number 49713 (Why is no real title available?)	1992-09-17	Paper
scientific article; zbMATH DE number 3997153 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3963180 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Jozef Hooman