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

Research interests: Domain Specific Languages. Model-based development of embedded systems. Formal specification and compositional verification of distributed real-time and fault-tolerant systems. Co-simulation of discrete-time and continuous-time models. 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.

Teaching:

• Design of Embedded Systems (DES), part of the Master track Software Science

• Allegio: Composable Embedded Systems for Healthcare, COMMIT project
• Artemis Innovation Pilot Project Crystal (CRitical sYSTem engineering AcceLeration) on interoperable tools and techniques for the development of safety-critical embedded systems
  

• Care4Me: Cooperative Advanced REsearch for Medical Efficiency, ITEA project
• Trader: Reliability by Design, with NXP Semiconductors as carrying industrial partner
• Boderc: Beyond the Ordinary: Design of Embedded Real-time Control, with Océ Technologies as carrying industrial partner
• Ideals: Evolvability, with ASML as carrying industrial partner
• Omega: Correct Development of Real-Time Embedded Systems, EU-IST project