 |
Address RU Nijmegen (1 day/week): Institute for Computing and Information Sciences Model Based System Development 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 Phone: +31 - 24 - 36 52069 Fax: +31 - 24 - 36 52525 |
Address ESI (4 days/week): Embedded Systems Institute (ESI) TU/e Campus, Laplace building 0.10 P.O. Box 513 5600 MB Eindhoven The Netherlands E-mail: jozef[dot]hooman[at]esi[dot]nl Phone: +31 - 40 - 247 8220 Fax: +31 - 40 - 247 2078 |
Research interests: Model-based development of embedded systems. Reliability improvements using model-based error detection. Formal specification and compositional verification of distributed real-time and fault-tolerant systems. Applications of the interactive theorem prover PVS. Co-simulation of discrete-time and continuous-time models. Combinations of industrial modeling languages, such as UML or Simulink, with formal methods.
Publications: A number of publications is available on-line; the full list is available in pdf format.
Research projects: