The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jozef Hooman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  52. Formal Semantics of a VDM Extension for Distributed Embedded Systems. [Citation Graph (, )][DBLP]


  53. Dependability for high-tech systems: an industry-as-laboratory approach. [Citation Graph (, )][DBLP]


  54. Model-Based Run-Time Error Detection. [Citation Graph (, )][DBLP]


  55. A proof theory for asynchronously communicating real-time systems. [Citation Graph (, )][DBLP]


  56. Proving consistency of VDM models using HOL. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002