dblp.uni-trier.dewww.uni-trier.de

Jozef Hooman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
59EEEd Brinksma, Jozef Hooman: Dependability for high-tech systems: an industry-as-laboratory approach. DATE 2008: 1226-1231
58EEJozef 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
57EEMarcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink: Co-simulation of Distributed Embedded Real-Time Control Systems. IFM 2007: 639-658
56EEJozef Hooman, Teun Hendriks: Model-Based Run-Time Error Detection. MoDELS Workshops 2007: 225-236
2006
55EEMarcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162
54 Marcel Kyas, Jozef Hooman: Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154
53EEJozef Hooman, Mark van der Zwaag: A semantics of communicating reactive objects with timing. STTT 8(2): 97-112 (2006)
2005
52EEMarcel 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)
51EEJozef Hooman, Jaco van de Pol: Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. 331(2-3): 291-323 (2005)
2004
50EESusanne Graf, Jozef Hooman: Correct Development of Embedded Systems. EWSA 2004: 241-249
49EETamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349
2003
48EEMohamed Layouni, Jozef Hooman, Sofiène Tahar: On the Correctness of an Intrusion-Tolerant Group Communication Protocol. CHARME 2003: 231-246
47EEDmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127
2002
46EEJozef Hooman, Jaco van de Pol: Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO 2002: 182-201
45EEJozef Hooman, Jaco van de Pol: Formal verification of replication on a distributed data space architecture. SAC 2002: 351-358
2001
44 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
43EEUlrich Hannemann, Jozef Hooman: Formal Design of Real-Time Components on a Shared Data Space Architecture. COMPSAC 2001: 143-150
42EEA. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman: Formal Platform-Independent Design of Real-Time Systems. ECRTS 2001: 163-170
41 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
40EEEdwin D. de Jong, Jaco van de Pol, Jozef Hooman: Refinement in Requirements Specification and Analysis: A Case Study. ECBS 2000: 290-298
39 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
38 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
37EEDmitri Chkliaev, Jozef Hooman, Peter van der Stok: Mechanical Verification of Transaction Processing Systems. ICFEM 2000: 89-
36EEDmitri Chkliaev, Jozef Hooman, Peter van der Stok: Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS 2000: 151-158
35 Roel Bloo, Jozef Hooman, Edwin D. de Jong: Semantical Aspects of an Architecture for Distributed Embedded Systems. SAC (1) 2000: 149-155
34EEAdriaan de Groot, Jozef Hooman: Analyzing the Light Control System with PVS. J. UCS 6(7): 621-649 (2000)
33 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)
32 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
31EEDmitri Chkliaev, Jozef Hooman, Peter van der Stok: Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference 1999: 180-193
30 Jaco van de Pol, Jozef Hooman, Edwin D. de Jong: Modular Formal Specification of Data and Behaviour. IFM 1999: 109-128
29EETwan Basten, Jozef Hooman: Process Algebra in PVS. TACAS 1999: 270-284
1997
28 Jozef Hooman: Verification of Distributed Real-Time and Fault-Tolerant Protocols. AMAST 1997: 261-275
27EEJozef Hooman: Compositional Verification of Real-Time Applications. COMPOS 1997: 276-300
1996
26 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)
25EEJozef Hooman, Jüri Vain: Integrating methods for the design of real-time systems. Journal of Systems Architecture 42(6-7): 489-502 (1996)
1995
24EEJozef 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)
21EEYassine 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
14EEHenk 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
10EEPing 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
7EEJozef Hooman: A Denotional Real-Time Semantics for Shared Processes. PARLE (2) 1991: 184-201
6EEJozef Hooman: Compositional Verification of Real-Time Systems using Extended Hoare Triples. REX Workshop 1991: 252-290
1990
5EEJ. Coenen, Jozef Hooman: A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990
1989
4EEJozef 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
2EEJozef 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

Coauthor Index

1Tamarah Arons [49] [52]
2Twan Basten [29]
3Roel Bloo [35]
4Frank S. de Boer [12] [39] [44] [52]
5Ed Brinksma [59]
6Jan F. Broenink [57]
7Dmitri Chkliaev [31] [36] [37] [38] [47]
8J. Coenen [5] [13]
9Harald Fecher [52]
10Gervais Gaudiére [41]
11Susanne Graf [50]
12Adriaan de Groot [34] [41]
13Dieter K. Hammer [42]
14Ulrich Hannemann [39] [43] [44]
15Teun Hendriks [56]
16Joost Jacob [52]
17Edwin D. de Jong [30] [35] [40]
18Deepak Kapur [41]
19Fabrice Kordon [41]
20Hillel Kugler [49] [52] [58]
21Ruurd Kuiper [26]
22Marcel Kyas [52] [54]
23Yassine Lakhnech [19] [21] [39] [44]
24Peter Gorm Larsen [55]
25Mohamed Layouni [48]
26Michel Lemoine [41]
27Iulian Ober [58]
28Emmanuel Paviot-Adet [41]
29Amir Pnueli [49]
30Mannes Poel [39] [44]
31Jaco van de Pol [30] [40] [45] [46] [51]
32S. Ramesh (Sethu Ramesh) [9]
33Willem P. de Roever [1] [3] [9] [39] [44]
34Onno S. van Roosmalen [32] [33] [42]
35Henk Schepers [14] [15]
36A. Sintoski [42]
37Peter van der Stok (P. D. V. van der Stok) [31] [36] [37] [38]
38Sofiène Tahar [48]
39Jüri Vain [25]
40Marcel Verhoef [55] [57]
41Isabelle Vernier-Mounier [41]
42Erik P. de Vink [47]
43Peter Visser [57]
44Jan Vitt [23]
45Angelika Votintseva [58]
46Jennifer Widom [4]
47Victor L. Winter [41]
48Yuri Yushtein [58]
49Ping Zhou [10] [22] [26]
50Mark van der Zwaag [49] [52] [53]
51Job Zwiers [39] [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)