Jozef Hooman
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Verified email at - Homepage
Cited by
Cited by
Concurrency verification: Introduction to compositional and non-compositional methods
WP De Roever, F de Boer, U Hanneman, J Hooman, Y Lakhnech, M Poel, ...
Cambridge University Press, 2001
Real-Time Systems: specification, verification, and analysis
J Mattai, M Joseph
Prentice Hall PTR, 1995
Specification and compositional verification of real-time systems
J Hooman
Springer Science & Business Media, 1991
Modeling and validating distributed embedded real-time systems with VDM++
M Verhoef, PG Larsen, J Hooman
International Symposium on Formal Methods, 147-162, 2006
Formalizing UML models and OCL constraints in PVS
M Kyas, H Fecher, FS De Boer, J Jacob, J Hooman, M Van Der Zwaag, ...
Electronic Notes in Theoretical Computer Science 115, 39-47, 2005
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
Verification and improvement of the sliding window protocol
D Chkliaev, J Hooman, E De Vink
International Conference on Tools and Algorithms for the Construction and …, 2003
Extending Hoare logic to real-time
J Hooman
Formal Aspects of Computing 6 (1), 801-825, 1994
A temporal-logic based compositional proof system for real-time message passing
J Hooman, J Widom
International Conference on Parallel Architectures and Languages Europe, 424-441, 1989
Correctness of real time systems by construction
J Hooman
Formal Techniques in Real-Time and Fault-Tolerant Systems, 19-40, 1994
Coupling Simulink and UML models
J Hooman, N Mulyar, L Posta
Proc. Symposium FORMS/FORMATS, 304-311, 2004
A compositional approach to the design of hybrid systems
J Hooman
Hybrid Systems, 121-148, 1992
The quest goes on: a survey of proofsystems for partial correctness of CSP
J Hooman, WP de Roever
Current trends in concurrency, 343-395, 1986
Assertional specification and verification using PVS of the steam boiler control system
J Vitt, J Hooman
Formal Methods for Industrial Applications, 453-472, 1996
A semantics of communicating reactive objects with timing
J Hooman, MB Van Der Zwaag
International Journal on Software Tools for Technology Transfer 8 (2), 97-112, 2006
Supporting UML-based development of embedded systems by formal techniques
J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein
Software & Systems Modeling 7 (2), 131-155, 2008
Design and verification in real-time distributed computing: an introduction to compositional methods
JJM Hooman, WP de Roever
Protocol Specification, Testing and Verification IX (Proceedings of the 9th …, 1990
Refactoring of legacy software using model learning and equivalence checking: an industrial experience report
M Schuts, J Hooman, F Vaandrager
International Conference on Integrated Formal Methods, 311-325, 2016
Compositional verification of a distributed real-time arbitration protocol
J Hooman
Real-Time Systems 6 (2), 173-205, 1994
Process algebra in PVS
T Basten, J Hooman
International Conference on Tools and Algorithms for the Construction and …, 1999
The system can't perform the operation now. Try again later.
Articles 1–20