| 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 | 443 | 2001 |
| Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996 | 313 | 1996 |
| Specification and compositional verification of real-time systems J Hooman Springer Science & Business Media, 1991 | 193 | 1991 |
| Modeling and validating distributed embedded real-time systems with VDM++ M Verhoef, PG Larsen, J Hooman FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 153 | 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 | 118 | 2005 |
| A compositional axiomatization of Statecharts JJM Hooman, S Ramesh, WP de Roever Theoretical Computer Science 101 (2), 289-335, 1992 | 106 | 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 | 82 | 2003 |
| Extending Hoare logic to real-time J Hooman Formal Aspects of Computing 6, 801-825, 1994 | 68 | 1994 |
| Coupling Simulink and UML models J Hooman, N Mulyar, L Posta Proceedings of Symposium FORMS/FORMATS, 304-311, 2004 | 56 | 2004 |
| Correctness of real time systems by construction J Hooman Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994 | 54 | 1994 |
| A temporal-logic based compositional proof system for real-time message passing J Hooman, J Widom PARLE'89 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1989 | 54 | 1989 |
| 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 | 52 | 2016 |
| A compositional approach to the design of hybrid systems J Hooman Hybrid Systems, 121-148, 2005 | 49 | 2005 |
| 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 | 48 | 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 | 40 | 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 | 38 | 2006 |
| Design and verification in real-time distributed computing: an introduction to compositional methods WP Roever, J Hooman Proceedings of the IFIP WG6. 1 Ninth International Symposium on Protocol …, 1989 | 36 | 1989 |
| Compositional verification of a distributed real-time arbitration protocol J Hooman Real-Time Systems 6, 173-205, 1994 | 35 | 1994 |
| Process algebra in PVS T Basten, J Hooman Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999 | 31 | 1999 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
