Selected Publications Jozef Hooman

• Runtime Verification of Compound Components with ComMA
  Ivan Kurtev and Jozef Hooman
  A Journey from Process Algebra via Timed Automata to Model Learning, Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, LNCS 13560, pages 382-402, 2022.

• Reverse Engineering Models of Software Interfaces
  Debjyoti Bera, Mathijs Schuts, Jozef Hooman and Ivan Kurtev
  Computer Science and Information Systems, pages 657-686, 2021.

• Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling
  Thomas Nägele, Tim Broenink, Jozef Hooman and Jan Broenink
  Proceedings IEEE Industrial Cyber Physical Systems (ICPS 2019), pages 133-138, 2019.

• Scalability analysis of cloud-based distributed simulations of IoT systems using HLA
  Thomas Nägele and Jozef Hooman
  Proceedings 24th International Conference on Parallel and Distributed Systems (ICPADS 2018), pages 1075-1080, 2018.

• Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach
  Mathijs Schuts, Jozef Hooman, Ivan Kurtev and Dirk-Jan Swagerman
  Proc. 2018 Federated Conference on Computer Science and Information Systems, Annals of Computer Science and Information Systems (ACSIS), Volume 15, pages 867–876, 2018.

• Building Distributed Co-simulations using CoHLA
  Thomas Nägele, Jozef Hooman, and Jack Sleuters
  Proceedings 21st Euromicro Conference on Digital System Design (DSD 2018), pages 342-346, 2018.

• CoHLA: Design Space Exploration and Co-simulation Made Easy
  Thomas Nägele, Jozef Hooman, Tim Broenink and Jan Broenink
  Proceedings IEEE Industrial Cyber Physical Systems (ICPS 2018), pages 225-231, 2018.

• Runtime Monitoring based on Interface Specifications
  Ivan Kurtev, Jozef Hooman, and Mathijs Schuts
  ModelEd, TestEd, TrustEd, Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, LNCS 10500, pages 335-356, 2017.

• Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL
  Thomas Nägele and Jozef Hooman
  Proceedings 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2017), pages 247-251, 2017.

• Integrating Interface Modeling and Analysis in an Industrial Setting
  Ivan Kurtev, Mathijs Schuts, Jozef Hooman, and Dirk-Jan Swagerman
  Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2017), pages 345-352, 2017.

• Improving Maintenance by Creating a DSL for Configuring a Fieldbus
  Mathijs Schuts and Jozef Hooman
  Proc. Workshop on Domain-Specific Modeling (DSM’16), pages 28-34, 2016.

• Co-simulation of Cyber-Physical Systems using HLA
  Thomas Nägele and Jozef Hooman
  Proceedings 7th IEEE Annual Computing and Communication Workshop and Conference (CCWC 2017), pages 267 – 272, 2017.

• Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report
  Mathijs Schuts, Jozef Hooman, and Frits Vaandrager
  Proceedings 12th International Conference on integrated Formal Methods (iFM 2016), LNCS 9681, pages 311-325, Springer, 2016.

• Industrial Application of Formal Models Generated from Domain Specific Languages
  Jozef Hooman
  Theory and Practice of Formal Methods - de Boer Festschrift, LNCS 9660, pages 277–293, Springer International Publishing, 2016.

• Evaluating the Effect of a Lightweight Formal Technique in Industry
  Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, and Bart van Rijnsoever
  Software Tools for Technology Transfer, 2016.

• Industrial Application of Domain Specific Languages Combined with Formal Techniques
  Mathijs Schuts and Jozef Hooman
  Proc. Workshop on Real World Domain Specific Languages (RWDSL), The International Symposium on Code Generation and Optimization (CGO), pages 2:1-2:8, 2016.

• Industrial Experiences with a Formal DSL Semantics to Check the Correctness of Generated DSL Artifacts
  Sarmen Keshishzadeh, Arjan J. Mooij, and Jozef Hooman
  Proc. 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA), Electronic Proceedings in Theoretical Computer Science, Volume 205, Open Publishing Association, pp 16-30, 2016.

• Uniting Academic Achievements on Performance Analysis with Industrial Needs
  Bart Theelen and Jozef Hooman
  12th Int. Conf. on Quantitative Evaluation of Systems (QEST 2015), 2015.

• Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models
  Arjan J. Mooij, Gernot Eggen, Jozef Hooman, and Hans van Wezep
  8th International Conference on Model Transformation (ICMT 2015), 2015.

• Using Domain Specific Languages to Improve the Development of a Power Control Unit
  Mathijs Schuts and Jozef Hooman
  Proc. 2015 Federated Conference on Computer Science and Information Systems, Annals of Computer Science and Information Systems, Volume 5, IEEE, pages 781-788, 2015.

• Formal Modelling in the Concept Phase of Product Development
  Mathijs Schuts and Jozef Hooman
  Proc. Conf. on Software Engineering Research & Practice (SERP 2015), WORLDCOMP'15, pages 3-9, CSREA Press, USA, 2015.

• Early Fault Detection using Design Models for Collision Prevention in Medical Equipment
  Arjan J. Mooij, Jozef Hooman, and Rob Albers
  Foundations of Health Information Engineering and Systems (FHIES 2013), LNCS 8315, pages 170-187, Springer-Verlag, 2014.

• Gaining Industrial Confidence for the Introduction of Domain-Specific Languages
  Arjan J. Mooij, Jozef Hooman, and Rob Albers
  Proceedings 37th Annual Computer Software and Applications Conference (COMPSAC), Workshop on Industrial Experience in Embedded Systems Design (IEESD 2013), IEEE Computer Society, pages 662-667, 2013.

• Incorporating Formal Techniques into Industrial Practice: an Experience Report
  Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, and Jacco Wesselius
  Proceedings 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012), Electronic Notes in Theoretical Computer Science (ENTCS), volume 295, pages 49-63, 2013.

• Early Fault Detection in Industry using Models at Various Abstraction Levels
  Jozef Hooman, Arjan J. Mooij, and Hans van Wezep
  Proceedings 9th International Conference on Integrated Formal Methods (iFM 2012), LNCS 7321, pages 268-282, Springer-Verlag, 2012.

• Complementary Verification of Embedded Software using ASD and Uppaal
  Richard Doornbos, Jozef Hooman, and Bernard van Vlimmeren
  Proceedings 8th International Conference on Innovations in Information Technology (IIT'12), pages 60-65, 2012.

• Experiences with a Compositional Model Checker in the Healthcare Domain
  Jozef Hooman, Robert Huis in 't Veld, and Mathijs Schuts
  Foundations of Health Information Engineering and Systems (FHIES 2011), LNCS 7151, pages 93-110, Springer-Verlag, 2012.

• Proving Consistency of VDM models using HOL
  Sander D. Vermolen, Jozef Hooman, and Peter Gorm Larsen
  Proceedings 25th Symposium on Applied Computing (SAC 2010), pages 2503-2510, ACM, 2010.

• Formal Semantics of a VDM Extension for Distributed Embedded Systems
  Jozef Hooman and Marcel Verhoef
  de Roever Festschrift, LNCS 5930, pages 142-161, Springer-Verlag, 2010.

• Model-Based Run-Time Error Detection
  Jozef Hooman and Teun Hendriks
  Models in Software Engineering, Workshops and Symposia at MoDELS 2007, LNCS 5002, pp. 225-236, Springer-Verlag, 2008.

• UML-based Development of Embedded Systems by Formal Techniques
  Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, and Yuri Yushtein
  Software and Systems Modeling, Volume 7, Number 2, pp. 131-155, 2008.

• Dependability for High-Tech Systems: an Industry-as-Laboratory Approach
  Ed Brinksma and Jozef Hooman
  Proceedings Design, Automation & Test in Europe (DATE'08), pp. 1226-1231, 2008.

• Co-simulation of Distributed Embedded Real-Time Control Systems
  Marcel Verhoef, Peter Visser, Jozef Hooman, and Jan Broenink
  Proceedings Integrated Formal Methods (IFM'07), LNCS 4591, pp. 639-658, Springer-Verlag, 2007.

• Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol
  Mohamed Layouni, Jozef Hooman, and Sofiene Tahar
  International Journal of Network Security Volume 5, Number 3, pp. 288-298, 2007.

• For publications with an open circle in front, the PVS theories of the work are available.

• Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
  Marcel Verhoef, Peter Gorm Larsen, and Jozef Hooman
  Proceedings FM 2006: Formal Methods, LNCS 4085, Springer-Verlag, pp. 147 - 162, 2006.

• A Semantics of Communicating Reactive Objects with Timing
  Jozef Hooman and Mark van der Zwaag
  Software Tools for Technology Transfer (STTT), Volume 8, Number 4, pp. 97-112, 2006.

• Compositional Verification of Timed Components using PVS
  Marcel Kyas and Jozef Hooman
  Proceedings Software Engineering 2006, Lecture Notes in Informatics, Volume P-79, pp. 143 - 154, 2006.

• Semantic Models of a Timed Distributed Dataspace
  Jozef Hooman and Jaco van de Pol
  Theoretical Computer Science, Vol. 331, Springer-Verlag, pages 291-323, 2005.

• Deductive Verification of UML Models in TLPVS
  Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, and Mark van der Zwaag
  Proceedings UML 2004, LNCS 3273, Springer-Verlag, pp. 335-349, 2004.

• Coupling Simulink and UML Models
  Jozef Hooman, Nataliya Mulyar, and Ladislau Posta
  Proceedings of Symposium FORMS/FORMATS 2004, pp. 304-311, 2004.

• Correct Development of Embedded Systems
  Susanne Graf and Jozef Hooman
  Proc. of the First European Workshop on Software Architecture (EWSA 2004), LNCS 3047, Springer-Verlag, pp. 241-249, 2004.

• Validating UML models of Embedded Systems by Coupling Tools
  Jozef Hooman, Nataliya Mulyar, and Ladislau Posta
  Proceedings SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems, 17 pages, 2004.

• Formalizing UML Models and OCL Constraints in PVS
  Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, and Hillel Kugler
  Proceedings Semantic Foundations of Engineering Design Languages (SFEDL’04), Electronic Notes in Theoretical Computer Science (ENTCS), 8 pages, 2004.

• Supporting model-based simulation of embedded systems by coupling tools
  Jozef Hooman, Nataliya Mulyar, and Ladislau Posta
  Proceedings of the 5th PROGRESS Symposium on Embedded Systems, pages 131-134, 2004.

• Equivalent Semantic Models for a Distributed Dataspace Architecture
  Jozef Hooman and Jaco van de Pol
  Proc. Symposium on Formal Methods for Objects and Components (FMCO 2002), LNCS 2852, Springer-Verlag, pages 182-201, 2003.

• On the Correctness of an Intrusion-Tolerant Group Communication Protocol
  Mohamed Layouni, Jozef Hooman, and Sofične Tahar
  Proc. 12th Conference on Correct Hardware Design and Verification Methods (CHARME 2003), LNCS 2860, Springer-Verlag, pages 231-246, 2003.

• Verification and Improvement of the Sliding Window Protocol
  Dmitri Chkliaev, Jozef Hooman and Erik de Vink
  Proc. 9th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), LNCS 2619, Springer-Verlag, pages 113-127, 2003.

• Formal Reasoning about Real-time Components on a Data-oriented Architecture
  Ulrich Hannemann and Jozef Hooman
  Proc. of 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI02), Volume XI, pages 313-318, 2002.

• Formal Verification of Replication on a Distributed Data Space Architecture
  Jozef Hooman and Jaco van de Pol
  Proc. of the 17th ACM Symposium on Applied Computing (SAC 2002), pages 351-358, 2002.

• Towards Formal Support for UML-based Development of Embedded Systems
  Jozef Hooman
  Proc. of the 3d PROGRESS Workshop on Embedded Systems, Technology Foundation STW, pages 71-76, 2002.

• Concurrency Verification: Introduction to Compositonal and Noncompositional Methods
  Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, and Job Zwiers
  Cambridge University Press, 776 pages, 2001.

• Verifying Replication on a Distributed Shared Data Space with Time Stamps
  Jozef Hooman and Jaco van de Pol
  Proceedings of the 2nd workshop on Embedded Systems, PROGRESS 2001, pages 107-121, 2001.

• A Survey: Applying Formal Methods to a Software Intensive System
  Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Mounier Laboratoire, Michel Lemoine, Gervais Gaudiere, Victor L. Winter, and Deepak Kapur
  Proceedings of the IEEE High-Assurance Systems Engineering Workshop (HASE 01), pages 55-64, 2001.

• Formal Design of Real-Time Components on a Shared Data Space Architecture
  Ulrich Hannemann and Jozef Hooman
  Proc. of the Annual International Computer Software and Applications Conference (COMPSAC 2001), IEEE, pages 143-150, 2001.

• Formal Platform-Independent Design of Real-Time Systems
  Alexei Sintotski, Dieter Hammer, Onno van Roosmalen, and Jozef Hooman
  Proc. 13th Euromicro Conference on Real-Time Systems, IEEE, pages 163-170, 2001.

• Mechanical Verification of Transaction Processing Systems
  Dmitri Chkliaev, Jozef Hooman and Peter van der Stok
  Proc. 3th International Conference on Formal Engineering Methods (ICFEM 2000), IEEE, pages 89-97, September 2000.

• Analyzing the Light Control System with PVS
  Adriaan de Groot and Jozef Hooman
  Journal of Universal Computer Science, Volume 6, Number 7, pages 621 - 649, 2000.
  Technical Report, Computing Science Institute Nijmegen, Number CSI-R0017, pp 39, 2000.

• Refinement in Requirements Specification and Analysis: a Case Study
  Edwin de Jong, Jaco van de Pol and Jozef Hooman
  Proc. 7th IEEE Conference and Workshop on the Engineering of Computer-Based Systems (ECBS), pages 290-298, 2000.

• Mechanical Verification of a Non-Blocking Atomic Commitment Protocol
  Dmitri Chkliaev, Peter van der Stok and Jozef Hooman
  Proc. 2000 ICDCS Workshop on Distributed System Validation and Verification (DSVV'2000), IEEE, pages E 96 - E 103, April 2000.

• Semantical Aspects of an Architecture for Distributed Embedded Systems
  Roel Bloo, Jozef Hooman and Edwin de Jong
  Proc. of the 2000 ACM Symposium on Applied Computing (SAC 2000), ACM, Volume 1, pages 149-155, 2000.

• An Approach to Platform Independent Real-Time Programming: (1) Formal Description
  Jozef Hooman and Onno van Roosmalen
  Real-Time Systems, Journal of Time-Critical Computing Systems, Volume 19, Number 1, pages 61-85, 2000.

• An Approach to Platform Independent Real-Time Programming: (2) Practical Application
  Jozef Hooman and Onno van Roosmalen
  Real-Time Systems, Journal of Time-Critical Computing Systems, Volume 19, Number 1, pages 87-112, 2000.

• Modular Formal Specification of Data and Behaviour
  Jaco van de Pol, Jozef Hooman and Edwin de Jong
  Proc. 1st Conference on Integrated Formal Methods (IFM'99), Springer-Verlag, pages 109-128, 1999.

• Serializability Preserving Extensions of Concurrency Control Protocols
  Dmitri Chkliaev, Jozef Hooman and Peter van der Stok
  Proc. of the Andrei Ershov International Conference "Perspectives of Systems Informatics", LNCS 1755, Springer-Verlag, pages 180-193, 1999.

• Formal Design of Real-Time Systems in a Platform-Independent Way
  Jozef Hooman and Onno van Roosmalen
  Parallel and Distributed Computing Practices, Volume 1, Number 2, pages 15-30, 1998.

• Compositional Verification of Real-Time Applications
  Jozef Hooman
  Proc. Compositionality - The Significant Difference (COMPOS '97), LNCS 1536, pages 276-300, 1998.

• Developing Proof Rules for Distributed Real-Time Systems with PVS
  Jozef Hooman
  Proc. Workshop on Tool Support for System Development and Verification, BISS Monographs, Volume 1, Shaker Verlag, pages 120-139, 1998.

• Formal Verification of the Binary Exponential Backoff Protocol
  Jozef Hooman
  Proc. Estonian Academy of Sciences Volume 4, Number 2, pages 89-105, 1998.

• Process Algebra in PVS
  Twan Basten and Jozef Hooman
  Computing Science Reports, Eindhoven University of Technology, Report 98-10, pp. 17, 1998.
  Proc. TACAS'99, LNCS 1579, pages 270-284, 1999.

• Formal Requirements Specification for Command and Control Systems
  Jaco van de Pol, Jozef Hooman and Edwin de Jong
  Proc. Conf. on Engineering of Computer Based Systems, IEEE, pages 37-44, 1998.

• Program Design in PVS
  Jozef Hooman
  Abstract prepared for Proc. Workshop on Tool Support for System Development and Verification, pp. 8.

• Verification of Distributed Real-Time and Fault-Tolerant Protocols
  Jozef Hooman
  Proc. AMAST Conference, LNCS 1349, pages 261-275, 1997.

• Towards Mechanical Verification of Parts of the IEEE P1394 Serial Bus
  Lars Kühne, Jozef Hooman and Willem-Paul de Roever
  Proc. Workshop on Applied Formal Methods in System Design, pages 73-85, 1997.

• A Programming-Language Extension for Distributed Real-Time Systems
  Jozef Hooman and Onno van Roosmalen
  Computing Science Reports, Eindhoven University of Technology, Report 97/02, pp. 50, 1997.

• Assertional Specification and Verification using PVS of the Steam Boiler Control System
  Jan Vitt and Jozef Hooman
  Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, pages 453-472, 1996.

• Using PVS for an Assertional Verification of the RPC-Memory Specification Problem
  Jozef Hooman
  Formal Systems Specification; The RPC-Memory Specification Case Study, LNCS 1169, pages 275-304, 1996.

• Verifying part of the ACCESS.bus protocol using PVS
  Jozef Hooman
  Proc. Conf. on the Foundations of Software Technology and Theoretical Computer Science, LNCS 1026, pages 96-110, 1995.

• Formal Specification and Compositional Verification of an Atomic Broadcast Protocol
  Ping Zhou and Jozef Hooman
  Real-Time Systems, Volume 9, Number 2, pages 119-145, 1995.

• Correctness of Real Time Systems by Construction
  Jozef Hooman
  Proc. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 19-40, 1994.

• Extending Hoare Logic to Real-Time
  Jozef Hooman
  Formal Aspects of Computing, Volume 6A, pages 801-825, 1994.

• Compositional Verification of a Distributed Real-Time Arbitration Protocol
  Jozef Hooman
  Real-Time Systems, Volume 6, Number 2, pages 173-205, 1994.

• A Compositional Approach to the Design of Hybrid Systems
  Jozef Hooman
  Hybrid Systems, LNCS 736, pages 121-148, 1993.

• Specification and Compositional Verification of Real-Time Systems
  Jozef Hooman
  Volume 558 in the Lecture Notes in Computer Science series, Springer-Verlag, 1991.