2008 |
58 | EE | Ed Brinksma,
Jozef Hooman:
Dependability for high-tech systems: an industry-as-laboratory approach.
DATE 2008: 1226-1231 |
57 | EE | Jozef Hooman,
Hillel Kugler,
Iulian Ober,
Angelika Votintseva,
Yuri Yushtein:
Supporting UML-based development of embedded systems by formal techniques.
Software and System Modeling 7(2): 131-155 (2008) |
2007 |
56 | EE | Marcel Verhoef,
Peter Visser,
Jozef Hooman,
Jan F. Broenink:
Co-simulation of Distributed Embedded Real-Time Control Systems.
IFM 2007: 639-658 |
55 | EE | Jozef Hooman,
Teun Hendriks:
Model-Based Run-Time Error Detection.
MoDELS Workshops 2007: 225-236 |
2006 |
54 | EE | Marcel Verhoef,
Peter Gorm Larsen,
Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
FM 2006: 147-162 |
53 | | Marcel Kyas,
Jozef Hooman:
Compositional Verification of Timed Components using PVS.
Software Engineering 2006: 143-154 |
52 | EE | Jozef Hooman,
Mark van der Zwaag:
A semantics of communicating reactive objects with timing.
STTT 8(2): 97-112 (2006) |
2005 |
51 | 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) |
50 | 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 |
49 | EE | Susanne Graf,
Jozef Hooman:
Correct Development of Embedded Systems.
EWSA 2004: 241-249 |
48 | 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 |
47 | EE | Mohamed Layouni,
Jozef Hooman,
Sofiène Tahar:
On the Correctness of an Intrusion-Tolerant Group Communication Protocol.
CHARME 2003: 231-246 |
46 | EE | Dmitri Chkliaev,
Jozef Hooman,
Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol.
TACAS 2003: 113-127 |
2002 |
45 | EE | Jozef Hooman,
Jaco van de Pol:
Equivalent Semantic Models for a Distributed Dataspace Architecture.
FMCO 2002: 182-201 |
44 | EE | Jozef Hooman,
Jaco van de Pol:
Formal verification of replication on a distributed data space architecture.
SAC 2002: 351-358 |
2001 |
43 | | 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 |
42 | EE | Ulrich Hannemann,
Jozef Hooman:
Formal Design of Real-Time Components on a Shared Data Space Architecture.
COMPSAC 2001: 143-150 |
41 | EE | A. Sintoski,
Dieter K. Hammer,
Onno S. van Roosmalen,
Jozef Hooman:
Formal Platform-Independent Design of Real-Time Systems.
ECRTS 2001: 163-170 |
40 | | 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 |
2000 |
39 | EE | Edwin D. de Jong,
Jaco van de Pol,
Jozef Hooman:
Refinement in Requirements Specification and Analysis: A Case Study.
ECBS 2000: 290-298 |
38 | | 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 |
37 | | 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 |
36 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Mechanical Verification of Transaction Processing Systems.
ICFEM 2000: 89- |
35 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Formal Modeling and Analysis of Atomic Commitment Protocols.
ICPADS 2000: 151-158 |
34 | | Roel Bloo,
Jozef Hooman,
Edwin D. de Jong:
Semantical Aspects of an Architecture for Distributed Embedded Systems.
SAC (1) 2000: 149-155 |
33 | EE | Adriaan de Groot,
Jozef Hooman:
Analyzing the Light Control System with PVS.
J. UCS 6(7): 621-649 (2000) |
32 | | 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) |
31 | | 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 |
30 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols.
Ershov Memorial Conference 1999: 180-193 |
29 | | Jaco van de Pol,
Jozef Hooman,
Edwin D. de Jong:
Modular Formal Specification of Data and Behaviour.
IFM 1999: 109-128 |
28 | EE | Twan Basten,
Jozef Hooman:
Process Algebra in PVS.
TACAS 1999: 270-284 |
1997 |
27 | | Jozef Hooman:
Verification of Distributed Real-Time and Fault-Tolerant Protocols.
AMAST 1997: 261-275 |
26 | EE | Jozef Hooman:
Compositional Verification of Real-Time Applications.
COMPOS 1997: 276-300 |
1996 |
25 | | 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 |
24 | | Jozef Hooman:
Verifying Part of the ACCESS.bus Protocol Using PVS.
FSTTCS 1995: 96-110 |
23 | | Jan Vitt,
Jozef Hooman:
Assertional Specification and Verification Using PVS of the Steam Boiler Control System.
Formal Methods for Industrial Applications 1995: 453-472 |
22 | | Ping Zhou,
Jozef Hooman:
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.
Real-Time Systems 9(2): 119-145 (1995) |
21 | EE | Yassine Lakhnech,
Jozef Hooman:
Metric Temporal Logic with Durations.
Theor. Comput. Sci. 138(1): 169-199 (1995) |
1994 |
20 | | Jozef Hooman:
Correctness of Real Time Systems by Construction.
FTRTFT 1994: 19-40 |
19 | | Yassine Lakhnech,
Jozef Hooman:
Reasoning about Durations in Metric Temporal Logic.
FTRTFT 1994: 488-510 |
18 | | Jozef Hooman:
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem.
Formal Systems Specification 1994: 275-304 |
17 | | Jozef Hooman:
Extending Hoare Logic to Real-Time.
Formal Asp. Comput. 6(6A): 801-826 (1994) |
16 | | Jozef Hooman:
Compositional Verification of a Distributed Real-Time Arbitration Protocol.
Real-Time Systems 6(2): 173-205 (1994) |
15 | | 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 |
14 | | Henk Schepers,
Jozef Hooman:
Trace-Based Compositional Reasoning about Fault Tolerant Systems.
PARLE 1993: 197-208 |
1992 |
13 | | J. Coenen,
Jozef Hooman:
A Compositional Semantics for Fault-Tolerant Real-Time Systems.
FTRTFT 1992: 33-51 |
12 | | Frank S. de Boer,
Jozef Hooman:
The Real-Time Behaviour of Asynchronously Communicating Processes.
FTRTFT 1992: 451-472 |
11 | | Jozef Hooman:
A Compositional Approach to the Design of Hybrid Systems.
Hybrid Systems 1992: 121-148 |
10 | EE | Ping Zhou,
Jozef Hooman:
A proof theory for asynchronously communicating real-time systems.
IEEE Real-Time Systems Symposium 1992: 177-186 |
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 |