Jozef Hooman

(prof.dr. J.J.M. Hooman)

Address RU Nijmegen (1 day/week):
Institute for Computing and Information Sciences
Department of Software Science
Faculty of Science
Radboud University Nijmegen
Mailbox number 47
P.O. Box 9010
NL-6500 GL Nijmegen
The Netherlands
E-mail: hooman[at]cs[dot]ru[dot]nl
Address ESI (4 days/week):
Embedded Systems Innovation (ESI) by TNO
Visiting address:
High Tech Campus 25
5656 AE Eindhoven
Mail address:
P.O. Box 6235
5600 HE Eindhoven
The Netherlands
E-mail: jozef[dot]hooman[at]tno[dot]nl
Visiting address RU Nijmegen: Mercator 1, room 1.17, Toernooiveld 212, 6525 EC Nijmegen.

Research interests: Domain Specific Languages. Modeling and analysis of interface specifications using ComMA and the open source project CommaSuite of the Eclipse foundation. Co-simulation of discrete-time and continuous-time models using CoHLA. Model-based development of embedded systems. Formal specification and compositional verification of distributed real-time and fault-tolerant systems. Combinations of industrial modeling languages with formal methods.

Publications: A number of publications is available on-line; the full list is available in pdf format.


Research projects: Selected completed research projects: