Jozef Hooman

Evaluating embedded system architectures

Marcel Verhoef, Jozef Hooman, 2006 .

Informatics for Technical Applications

Jozef Hooman, Frits W. Vaandrager, Theo E. Schouten, 1995 .

Formal Reasoning about Real-time Components on a Data-oriented Architecture

Jozef Hooman, U. Hannemann, 2002 .

A proof theory for asynchronously communicating real-time systems

Jozef Hooman, Ping Zhou, J. Hooman, 1992, [1992] Proceedings Real-Time Systems Symposium.

Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol

Sofiène Tahar, Jozef Hooman, Mohamed Layouni, 2007, Int. J. Netw. Secur..

Specification and Compositional Verification of Real-Time Systems

Jozef Hooman, J. Hooman, 1991, Lecture Notes in Computer Science.

Fault-tolerant real-time algorithms analyzed incrementally

Jozef Hooman, Frits W. Vaandrager, Harco Kuppens, 2000 .