Selected Publications Jozef Hooman

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

• 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.

• 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.