Jozef Hooman

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius: Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electr. Notes Theor. Comput. Sci. 295: 49-63 (2013)

Jozef Hooman, Arjan J. Mooij, Hans van Wezep: Early Fault Detection in Industry Using Models at Various Abstraction Levels. IFM 2012: 268-282

Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts: Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES 2011: 93-110

Jozef Hooman, Marcel Verhoef: Formal Semantics of a VDM Extension for Distributed Embedded Systems. Concurrency, Compositionality, and Correctness 2010: 142-161

Sander Vermolen, Jozef Hooman, Peter Gorm Larsen: Proving consistency of VDM models using HOL. SAC 2010: 2503-2510

Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2): 131-155 (2008)

Ed Brinksma, Jozef Hooman: Dependability for high-tech systems: an industry-as-laboratory approach. DATE 2008: 1226-1231

Mohamed Layouni, Jozef Hooman, Sofiène Tahar: Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. I. J. Network Security 5(3): 288-298 (2007)

Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink: Co-simulation of Distributed Embedded Real-Time Control Systems. IFM 2007: 639-658

Jozef Hooman, Teun Hendriks: Model-Based Run-Time Error Detection. MoDELS Workshops 2007: 225-236

Jozef Hooman, Mark van der Zwaag: A semantics of communicating reactive objects with timing. STTT 8(2): 97-112 (2006)

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162

Marcel Kyas, Jozef Hooman: Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)

Jozef Hooman, Jaco van de Pol: Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. 331(2-3): 291-323 (2005)

Susanne Graf, Jozef Hooman: Correct Development of Embedded Systems. EWSA 2004: 241-249

Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349

Mohamed Layouni, Jozef Hooman, Sofiène Tahar: On the Correctness of an Intrusion-Tolerant Group Communication Protocol. CHARME 2003: 231-246

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127

Jozef Hooman, Jaco van de Pol: Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO 2002: 182-201

Jozef Hooman, Jaco van de Pol: Formal verification of replication on a distributed data space architecture. SAC 2002: 351-358

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press 2001, isbn 0-521-80608-9

Ulrich Hannemann, Jozef Hooman: Formal Design of Real-Time Components on a Shared Data Space Architecture. COMPSAC 2001: 143-150

A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman: Formal Platform-Independent Design of Real-Time Systems. ECRTS 2001: 163-170

Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur: A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64

Adriaan de Groot, Jozef Hooman: Analyzing the Light Control System with PVS. J. UCS 6(7): 621-649 (2000)

Jozef Hooman, Onno S. van Roosmalen: An Approach to Platform Independent Real-Time Programming: (1) Formal Description. Real-Time Systems 19(1): 61-85 (2000)

Jozef Hooman, Onno S. van Roosmalen: An Approach to Platform Independent Real-Time Programming: (2) Practical Application. Real-Time Systems 19(1): 87-112 (2000)

Edwin D. de Jong, Jaco van de Pol, Jozef Hooman: Refinement in Requirements Specification and Analysis: A Case Study. ECBS 2000: 290-298

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5

Dmitri Chkliaev, Peter van der Stok, Jozef Hooman: Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E96-E103

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Mechanical Verification of Transaction Processing Systems. ICFEM 2000: 89-

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS 2000: 151-158

Roel Bloo, Jozef Hooman, Edwin D. de Jong: Semantical Aspects of an Architecture for Distributed Embedded Systems. SAC (1) 2000: 149-155

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference 1999: 180-193

Jaco van de Pol, Jozef Hooman, Edwin D. de Jong: Modular Formal Specification of Data and Behaviour. IFM 1999: 109-128

Twan Basten, Jozef Hooman: Process Algebra in PVS. TACAS 1999: 270-284

Jozef Hooman, Onno S. van Roosmalen: Formal Design of Real-Time Systems in a Platform-Independent Way. Scalable Computing: Practice and Experience 1(2) (1998)

Jozef Hooman: Verification of Distributed Real-Time and Fault-Tolerant Protocols. AMAST 1997: 261-275

Jozef Hooman: Compositional Verification of Real-Time Applications. COMPOS 1997: 276-300

Jozef Hooman, Onno S. van Roosmalen: Timed-event abstraction and timing constraints in distributed real-time programming. WORDS 1997: 153-160

Ping Zhou, Jozef Hooman, Ruurd Kuiper: Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Asp. Comput. 8(3): 294-323 (1996)

Jozef Hooman, Jüri Vain: Integrating methods for the design of real-time systems. Journal of Systems Architecture 42(6-7): 489-502 (1996)

Ping Zhou, Jozef Hooman: Formal Specification and Compositional Verification of an Atomic Broadcast Protocol. Real-Time Systems 9(2): 119-145 (1995)

Yassine Lakhnech, Jozef Hooman: Metric Temporal Logic with Durations. Theor. Comput. Sci. 138(1): 169-199 (1995)

Jan Vitt, Jozef Hooman: Assertional Specification and Verification Using PVS of the Steam Boiler Control System. Formal Methods for Industrial Applications 1995: 453-472

Jozef Hooman: Verifying Part of the ACCESS.bus Protocol Using PVS. FSTTCS 1995: 96-110

Jozef Hooman: Extending Hoare Logic to Real-Time. Formal Asp. Comput. 6(6A): 801-826 (1994)

Jozef Hooman: Compositional Verification of a Distributed Real-Time Arbitration Protocol. Real-Time Systems 6(2): 173-205 (1994)

Henk Schepers, Jozef Hooman: A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. Theor. Comput. Sci. 128(1&2): 127-157 (1994)

Jozef Hooman: Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. Formal Systems Specification 1994: 275-304

Jozef Hooman: Correctness of Real Time Systems by Construction. FTRTFT 1994: 19-40

Yassine Lakhnech, Jozef Hooman: Reasoning about Durations in Metric Temporal Logic. FTRTFT 1994: 488-510

Henk Schepers, Jozef Hooman: Trace-Based Compositional Reasoning about Fault Tolerant Systems. PARLE 1993: 197-208

Jozef Hooman, S. Ramesh, Willem P. de Roever: A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101(2): 289-335 (1992)

J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51

Frank S. de Boer, Jozef Hooman: The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472

Jozef Hooman: A Compositional Approach to the Design of Hybrid Systems. Hybrid Systems 1992: 121-148

Ping Zhou, Jozef Hooman: A proof theory for asynchronously communicating real-time systems. RTSS 1992: 177-186

Jozef Hooman: Specification and Compositional Verification of Real-Time Systems. Lecture Notes in Computer Science 558, Springer 1991, isbn 3-540-54947-1

Jozef Hooman: A Denotional Real-Time Semantics for Shared Processes. PARLE (2) 1991: 184-201

Jozef Hooman: Compositional Verification of Real-Time Systems using Extended Hoare Triples. REX Workshop 1991: 252-290

J. Coenen, Jozef Hooman: A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990

Jozef Hooman, Jennifer Widom: A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. PARLE (2) 1989: 424-441

Willem P. de Roever, Jozef Hooman: Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV 1989: 37-56

Jozef Hooman: A Compositional Proof Theory for Real-Time Distributed Message Passing. PARLE (2) 1987: 315-332

Jozef Hooman, Willem P. de Roever: The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP. Current Trends in Concurrency 1986: 343-395