| 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 | 410 | 2001 |
| Real-Time Systems: specification, verification, and analysis J Mattai, M Joseph Prentice Hall PTR, 1995 | 298 | 1995 |
| Specification and compositional verification of real-time systems J Hooman Springer Science & Business Media, 1991 | 197 | 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 | 138 | 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 | 103 | 2005 |
| A compositional axiomatization of Statecharts JJM Hooman, S Ramesh, WP de Roever Theoretical Computer Science 101 (2), 289-335, 1992 | 100 | 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 | 76 | 2003 |
| Extending Hoare logic to real-time J Hooman Formal Aspects of Computing 6 (1), 801-825, 1994 | 62 | 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 | 58 | 1989 |
| Correctness of real time systems by construction J Hooman Formal Techniques in Real-Time and Fault-Tolerant Systems, 19-40, 1994 | 53 | 1994 |
| Coupling Simulink and UML models J Hooman, N Mulyar, L Posta Proc. Symposium FORMS/FORMATS, 304-311, 2004 | 51 | 2004 |
| A compositional approach to the design of hybrid systems J Hooman Hybrid Systems, 121-148, 1992 | 47 | 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 | 45 | 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 | 41 | 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 | 38 | 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 | 37 | 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 | 34 | 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 | 33 | 2016 |
| Compositional verification of a distributed real-time arbitration protocol J Hooman Real-Time Systems 6 (2), 173-205, 1994 | 31 | 1994 |
| Process algebra in PVS T Basten, J Hooman International Conference on Tools and Algorithms for the Construction and …, 1999 | 29 | 1999 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
