| 2023 | Onward | Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. | Mathijs Schuts, Jozef Hooman |
| 2021 | OOPSLA | Industrial experiences with the evolution of a DSL. | Mathijs Schuts, Marco Alonso, Jozef Hooman |
| 2018 | CGO | Industrial Experience with the Migration of Legacy Models using a DSL. | Mathijs Schuts, Jozef Hooman, Paul Tielemans |
| 2018 | DSD | Building Distributed Co-Simulations Using CoHLA. | Thomas Ngele, Jozef Hooman, Jack Sleuters |
| 2018 | FedCSIS | Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. | Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman |
| 2018 | ICPADS | Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA. | Thomas Ngele, Jozef Hooman |
| 2018 | MODELSWARD | Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages. | Benny Akesson, Jozef Hooman, Roy Dekker, Willemien Ekkelkamp, Bas Stottelaar |
| 2017 | MODELSWARD | Integrating Interface Modeling and Analysis in an Industrial Setting. | Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman |
| 2016 | CGO | Industrial Application of Domain Specific Languages Combined with Formal Techniques. | Mathijs Schuts, Jozef Hooman |
| 2016 | IFM | Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. | Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager |
| 2016 | OOPSLA | Improving maintenance by creating a DSL for configuring a fieldbus. | Mathijs Schuts, Jozef Hooman |
| 2015 | FedCSIS | Using Domain Specific Languages to improve the development of a power control unit. | Mathijs Schuts, Jozef Hooman |
| 2015 | FM | Formalizing the Concept Phase of Product Development. | Mathijs Schuts, Jozef Hooman |
| 2013 | COMPSAC | Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. | Arjan J. Mooij, Jozef Hooman, Rob Albers |
| 2012 | IFM | Early Fault Detection in Industry Using Models at Various Abstraction Levels. | Jozef Hooman, Arjan J. Mooij, Hans van Wezep |
| 2010 | SAC | Proving consistency of VDM models using HOL. | Sander Vermolen, Jozef Hooman, Peter Gorm Larsen |
| 2008 | DATE | Dependability for high-tech systems: an industry-as-laboratory approach. | Ed Brinksma, Jozef Hooman |
| 2007 | IFM | Co-simulation of Distributed Embedded Real-Time Control Systems. | Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink |
| 2007 | MODELS | Model-Based Run-Time Error Detection. | Jozef Hooman, Teun Hendriks |
| 2006 | FM | Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. | Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
| 2003 | TACAS | Verification and Improvement of the Sliding Window Protocol. | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
| 2002 | SAC | Formal verification of replication on a distributed data space architecture. | Jozef Hooman, Jaco van de Pol |
| 2001 | COMPSAC | Formal Design of Real-Time Components on a Shared Data Space Architecture. | Ulrich Hannemann, Jozef Hooman |
| 2001 | ECRTS | Formal Platform-Independent Design of Real-Time Systems. | A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman |
| 2000 | ICFEM | Mechanical Verification of Transaction Processing Systems. | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
| 2000 | ICPADS | Formal Modeling and Analysis of Atomic Commitment Protocols. | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
| 2000 | SAC | Semantical Aspects of an Architecture for Distributed Embedded Systems. | Roel Bloo, Jozef Hooman, Edwin D. de Jong |
| 1999 | IFM | Modular Formal Specification of Data and Behaviour. | Jaco van de Pol, Jozef Hooman, Edwin D. de Jong |
| 1999 | TACAS | Process Algebra in PVS. | Twan Basten, Jozef Hooman |
| 1995 | ECRTS | An integrated technique for developing real-time systems. | Jozef Hooman, Jri Vain |
| 1993 | RTSS | Specification and verification of a distributed real-time arbitration protocol. | Jozef Hooman |
| 1992 | ECRTS | A compositional method for the top-down design of real-time systems. | Jozef Hooman |
| 1992 | RTSS | A proof theory for asynchronously communicating real-time systems. | Ping Zhou, Jozef Hooman |