| Concurrency verification: Introduction to compositional and non-compositional methods WP De Roever Cambridge University Press, 2001 | 472 | 2001 |
| Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996 | 321 | 1996 |
| Specification and compositional verification of real-time systems J Hooman Springer Science & Business Media, 1991 | 196 | 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 | 157 | 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 | 122 | 2005 |
| A compositional axiomatization of Statecharts JJM Hooman, S Ramesh, WP de Roever Theoretical Computer Science 101 (2), 289-335, 1992 | 111 | 1992 |
| Verification and improvement of the sliding window protocol D Chkliaev, J Hooman, E De Vink Tools and Algorithms for the Construction and Analysis of Systems: 9th
, 2003 | 84 | 2003 |
| Extending Hoare logic to real-time J Hooman Formal Aspects of Computing 6, 801-825, 1994 | 71 | 1994 |
| Refactoring of legacy software using model learning and equivalence checking: an industrial experience report M Schuts, J Hooman, F Vaandrager Integrated Formal Methods: 12th International Conference, IFM 2016
, 2016 | 67 | 2016 |
| Coupling Simulink and UML models J Hooman, N Mulyar, L Posta Proceedings of Symposium FORMS/FORMATS, 304-311, 2004 | 58 | 2004 |
| 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 | 56 | 1989 |
| Correctness of real time systems by construction J Hooman International Symposium on Formal Techniques in Real-Time and Fault-Tolerant
, 1994 | 54 | 1994 |
| A compositional approach to the design of hybrid systems J Hooman International Hybrid Systems Workshop, 121-148, 1991 | 51 | 1991 |
| The quest goes on: a survey of proofsystems for partial correctness of CSP J Hooman, WP de Roever Current Trends in Concurrency: Overviews and Tutorials, 343-395, 1986 | 49 | 1986 |
| Assertional specification and verification using PVS of the steam boiler control system J Vitt, J Hooman Formal Methods for Industrial Applications: Specifying and Programming the
, 2005 | 43 | 2005 |
| Supporting UML-based development of embedded systems by formal techniques J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein Software & Systems Modeling 7, 131-155, 2008 | 42 | 2008 |
| 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 | 41 | 2006 |
| 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 | 41 | 1990 |
| Compositional verification of a distributed real-time arbitration protocol J Hooman Real-Time Systems 6, 173-205, 1994 | 36 | 1994 |
| Process algebra in PVS T Basten, J Hooman International Conference on Tools and Algorithms for the Construction and
, 1999 | 31 | 1999 |
Jaco van de PolProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
