| 2007 |
|---|
| 54 | EE | Marcel Verhoef,
Peter Visser,
Jozef Hooman,
Jan F. Broenink:
Co-simulation of Distributed Embedded Real-Time Control Systems.
IFM 2007: 639-658 |
| 2006 |
|---|
| 53 | EE | Marcel Verhoef,
Peter Gorm Larsen,
Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
FM 2006: 147-162 |
| 52 | | Marcel Kyas,
Jozef Hooman:
Compositional Verification of Timed Components using PVS.
Software Engineering 2006: 143-154 |
| 51 | EE | Jozef Hooman,
Mark van der Zwaag:
A semantics of communicating reactive objects with timing.
STTT 8(2): 97-112 (2006) |
| 2005 |
|---|
| 50 | EE | 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) |
| 49 | EE | Jozef Hooman,
Jaco van de Pol:
Semantic models of a timed distributed dataspace architecture.
Theor. Comput. Sci. 331(2-3): 291-323 (2005) |
| 2004 |
|---|
| 48 | EE | Susanne Graf,
Jozef Hooman:
Correct Development of Embedded Systems.
EWSA 2004: 241-249 |
| 47 | EE | Tamarah Arons,
Jozef Hooman,
Hillel Kugler,
Amir Pnueli,
Mark van der Zwaag:
Deductive Verification of UML Models in TLPVS.
UML 2004: 335-349 |
| 2003 |
|---|
| 46 | EE | Mohamed Layouni,
Jozef Hooman,
Sofiène Tahar:
On the Correctness of an Intrusion-Tolerant Group Communication Protocol.
CHARME 2003: 231-246 |
| 45 | EE | Dmitri Chkliaev,
Jozef Hooman,
Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol.
TACAS 2003: 113-127 |
| 2002 |
|---|
| 44 | EE | Jozef Hooman,
Jaco van de Pol:
Equivalent Semantic Models for a Distributed Dataspace Architecture.
FMCO 2002: 182-201 |
| 43 | EE | Jozef Hooman,
Jaco van de Pol:
Formal verification of replication on a distributed data space architecture.
SAC 2002: 351-358 |
| 2001 |
|---|
| 42 | | 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 University Press 2001 |
| 41 | EE | Ulrich Hannemann,
Jozef Hooman:
Formal Design of Real-Time Components on a Shared Data Space Architecture.
COMPSAC 2001: 143-150 |
| 40 | EE | A. Sintoski,
Dieter K. Hammer,
Onno S. van Roosmalen,
Jozef Hooman:
Formal Platform-Independent Design of Real-Time Systems.
ECRTS 2001: 163-170 |
| 39 | | Adriaan de Groot,
Jozef Hooman,
Fabrice Kordon,
Emmanuel Paviot-Adet,
Isabelle Vernier-Mounier,
Michel Lemoine,
Gervais Gaudiere,
Victor L. Winter,
Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System.
HASE 2001: 55-64 |
| 2000 |
|---|
| 38 | EE | Edwin D. de Jong,
Jaco van de Pol,
Jozef Hooman:
Refinement in Requirements Specification and Analysis: A Case Study.
ECBS 2000: 290-298 |
| 37 | | 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 |
| 36 | | 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 |
| 35 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Mechanical Verification of Transaction Processing Systems.
ICFEM 2000: 89- |
| 34 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Formal Modeling and Analysis of Atomic Commitment Protocols.
ICPADS 2000: 151-158 |
| 33 | | Roel Bloo,
Jozef Hooman,
Edwin D. de Jong:
Semantical Aspects of an Architecture for Distributed Embedded Systems.
SAC (1) 2000: 149-155 |
| 32 | EE | Adriaan de Groot,
Jozef Hooman:
Analyzing the Light Control System with PVS.
J. UCS 6(7): 621-649 (2000) |
| 31 | | 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) |
| 30 | | 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) |
| 1999 |
|---|
| 29 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols.
Ershov Memorial Conference 1999: 180-193 |
| 28 | | Jaco van de Pol,
Jozef Hooman,
Edwin D. de Jong:
Modular Formal Specification of Data and Behaviour.
IFM 1999: 109-128 |
| 27 | EE | Twan Basten,
Jozef Hooman:
Process Algebra in PVS.
TACAS 1999: 270-284 |
| 1997 |
|---|
| 26 | | Jozef Hooman:
Verification of Distributed Real-Time and Fault-Tolerant Protocols.
AMAST 1997: 261-275 |
| 25 | EE | Jozef Hooman:
Compositional Verification of Real-Time Applications.
COMPOS 1997: 276-300 |
| 1996 |
|---|
| 24 | | 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) |
| 1995 |
|---|
| 23 | | Jozef Hooman:
Verifying Part of the ACCESS.bus Protocol Using PVS.
FSTTCS 1995: 96-110 |
| 22 | | Jan Vitt,
Jozef Hooman:
Assertional Specification and Verification Using PVS of the Steam Boiler Control System.
Formal Methods for Industrial Applications 1995: 453-472 |
| 21 | | Ping Zhou,
Jozef Hooman:
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.
Real-Time Systems 9(2): 119-145 (1995) |
| 20 | EE | Yassine Lakhnech,
Jozef Hooman:
Metric Temporal Logic with Durations.
Theor. Comput. Sci. 138(1): 169-199 (1995) |
| 1994 |
|---|
| 19 | | Jozef Hooman:
Correctness of Real Time Systems by Construction.
FTRTFT 1994: 19-40 |
| 18 | | Yassine Lakhnech,
Jozef Hooman:
Reasoning about Durations in Metric Temporal Logic.
FTRTFT 1994: 488-510 |
| 17 | | Jozef Hooman:
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem.
Formal Systems Specification 1994: 275-304 |
| 16 | | Jozef Hooman:
Extending Hoare Logic to Real-Time.
Formal Asp. Comput. 6(6A): 801-826 (1994) |
| 15 | | Jozef Hooman:
Compositional Verification of a Distributed Real-Time Arbitration Protocol.
Real-Time Systems 6(2): 173-205 (1994) |
| 14 | | Henk Schepers,
Jozef Hooman:
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.
Theor. Comput. Sci. 128(1&2): 127-157 (1994) |
| 1993 |
|---|
| 13 | | Henk Schepers,
Jozef Hooman:
Trace-Based Compositional Reasoning about Fault Tolerant Systems.
PARLE 1993: 197-208 |
| 1992 |
|---|
| 12 | | J. Coenen,
Jozef Hooman:
A Compositional Semantics for Fault-Tolerant Real-Time Systems.
FTRTFT 1992: 33-51 |
| 11 | | Frank S. de Boer,
Jozef Hooman:
The Real-Time Behaviour of Asynchronously Communicating Processes.
FTRTFT 1992: 451-472 |
| 10 | | Jozef Hooman:
A Compositional Approach to the Design of Hybrid Systems.
Hybrid Systems 1992: 121-148 |
| 9 | | Jozef Hooman,
S. Ramesh,
Willem P. de Roever:
A Compositional Axiomatization of Statecharts.
Theor. Comput. Sci. 101(2): 289-335 (1992) |
| 1991 |
|---|
| 8 | | Jozef Hooman:
Specification and Compositional Verification of Real-Time Systems
Springer 1991 |
| 7 | | Jozef Hooman:
A Denotional Real-Time Semantics for Shared Processes.
PARLE (2) 1991: 184-201 |
| 6 | | Jozef Hooman:
Compositional Verification of Real-Time Systems using Extended Hoare Triples.
REX Workshop 1991: 252-290 |
| 1990 |
|---|
| 5 | EE | J. Coenen,
Jozef Hooman:
A formal approach to fault-tolerance in distributed real-time systems.
ACM SIGOPS European Workshop 1990 |
| 1989 |
|---|
| 4 | | Jozef Hooman,
Jennifer Widom:
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.
PARLE (2) 1989: 424-441 |
| 3 | | Willem P. de Roever,
Jozef Hooman:
Design and verification in real-time distributed computing: an introduction to compositional methods.
PSTV 1989: 37-56 |
| 1987 |
|---|
| 2 | | Jozef Hooman:
A Compositional Proof Theory for Real-Time Distributed Message Passing.
PARLE (2) 1987: 315-332 |
| 1986 |
|---|
| 1 | | 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 |
