| 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 | 300 | 1995 |
| 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 | 133 | 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 | 101 | 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 | 61 | 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 | 54 | 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 Proceedings of Symposium FORMS/FORMATS, 304-311, 2004 | 49 | 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 | 44 | 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 | 40 | 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 | 37 | 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 | 35 | 1990 |
| 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 | 33 | 2008 |
| Compositional verification of a distributed real-time arbitration protocol J Hooman Real-Time Systems 6 (2), 173-205, 1994 | 33 | 1994 |
| 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 | 31 | 2002 |
| Co-simulation of distributed embedded real-time control systems M Verhoef, P Visser, J Hooman, J Broenink International Conference on Integrated Formal Methods, 639-658, 2007 | 28 | 2007 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & InformaticaVerified email at cwi.nl
