Jozef Hooman

Papers

Total Citations

H-Index

About

Jozef Hooman is a leading researcher in embedded systems engineering, domain-specific languages (DSLs), and formal verification, with a focus on bridging academic rigor and industrial practice. His most-cited work, "Industrial experiences with the evolution of a DSL" (2021, 8 citations), exemplifies his commitment to real-world impact, detailing the co-evolution of a DSL for controllers in Philips interventional X-ray systems over five years. This paper highlights his ability to address the practical challenges of language evolution in complex medical devices, ensuring reliability and safety in critical healthcare environments. Hooman’s contributions extend to formal methods for system design, where he has pioneered techniques for modeling and verifying timing constraints in embedded controllers. With over 30 years of research, his work has influenced both academia and industry, particularly through collaborations with Philips and other high-tech companies. His achievements include leading projects on model-driven engineering and contributing to the development of robust, maintainable DSLs that adapt to changing domain needs. Hooman’s research remains vital for students and engineers seeking to understand how formal tools can be effectively deployed in industrial settings, making him a key figure in the evolution of dependable embedded systems.