Jozef Hooman

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

Address RU Nijmegen (emeritus):
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

Address TNO-ESI:
TNO-ESI
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
Research interests: The ComMA approach for modeling and analysis of interface specifications, supported by tooling of the open source project CommaSuite of the Eclipse foundation. Co-simulation of discrete-time and continuous-time models using CoHLA. Domain Specific Languages. 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.

Selected completed research projects: