Jozef Hooman
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
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
4102001
Real-Time Systems: specification, verification, and analysis
J Mattai, M Joseph
Prentice Hall PTR, 1995
2981995
Specification and compositional verification of real-time systems
J Hooman
Springer Science & Business Media, 1991
1971991
Modeling and validating distributed embedded real-time systems with VDM++
M Verhoef, PG Larsen, J Hooman
International Symposium on Formal Methods, 147-162, 2006
1382006
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
1032005
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
1001992
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
762003
Extending Hoare logic to real-time
J Hooman
Formal Aspects of Computing 6 (1), 801-825, 1994
621994
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
581989
Correctness of real time systems by construction
J Hooman
Formal Techniques in Real-Time and Fault-Tolerant Systems, 19-40, 1994
531994
Coupling Simulink and UML models
J Hooman, N Mulyar, L Posta
Proc. Symposium FORMS/FORMATS, 304-311, 2004
512004
A compositional approach to the design of hybrid systems
J Hooman
Hybrid Systems, 121-148, 1992
471992
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
451986
Assertional specification and verification using PVS of the steam boiler control system
J Vitt, J Hooman
Formal Methods for Industrial Applications, 453-472, 1996
411996
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
382006
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
372008
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
341990
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
332016
Compositional verification of a distributed real-time arbitration protocol
J Hooman
Real-Time Systems 6 (2), 173-205, 1994
311994
Process algebra in PVS
T Basten, J Hooman
International Conference on Tools and Algorithms for the Construction and …, 1999
291999
The system can't perform the operation now. Try again later.
Articles 1–20