Jozef Hooman
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Dirección de correo verificada de cs.ru.nl - Página principal
Título
Citado por
Citado por
Año
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
4092001
Real-Time Systems: specification, verification, and analysis
J Mattai, M Joseph
Prentice Hall PTR, 1995
3001995
Specification and compositional verification of real-time systems
J Hooman
Springer Science & Business Media, 1991
1951991
Modeling and validating distributed embedded real-time systems with VDM++
M Verhoef, PG Larsen, J Hooman
International Symposium on Formal Methods, 147-162, 2006
1372006
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
1052005
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
1011992
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
742003
Extending Hoare logic to real-time
J Hooman
Formal Aspects of Computing 6 (1), 801-825, 1994
631994
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
561989
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
481992
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
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
351990
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
342008
Compositional verification of a distributed real-time arbitration protocol
J Hooman
Real-Time Systems 6 (2), 173-205, 1994
321994
Correct development of embedded systems
S Graf, J Hooman
European Workshop on Software Architecture, 241-249, 2004
282004
Formal verification of replication on a distributed data space architecture
J Hooman, J van de Pol
Proceedings of the 2002 ACM symposium on Applied computing, 351-358, 2002
282002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20