| The model checker SPIN GJ Holzmann IEEE Transactions on software engineering 23 (5), 279-295, 1997 | 10109* | 1997 |
| Design and validation of computer protocols GJ Holzmann, WS Lieberman Prentice hall, 1991 | 3064 | 1991 |
| An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII, 197-211, 1995 | 492 | 1995 |
| An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled International Workshop on Tools and Algorithms for the Construction and …, 1996 | 379 | 1996 |
| An analysis of bitstate hashing GJ Holzmann Formal methods in system design 13 (3), 289-307, 1998 | 351 | 1998 |
| On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996 | 325 | 1996 |
| Software model checking: Extracting verification models from source code GJ Holzmann, M H. Smith Software Testing, Verification and Reliability 11 (2), 65-79, 2001 | 255 | 2001 |
| Implementing statecharts in PROMELA/SPIN E Mikk, Y Lakhnech, M Siegel, GJ Holzmann Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998 | 247 | 1998 |
| Optimizing büchi automata K Etessami, GJ Holzmann International Conference on Concurrency Theory, 153-168, 2000 | 246 | 2000 |
| An improved protocol reachability analysis technique GJ Holzmann Software: Practice and Experience 18 (2), 137-161, 1988 | 207 | 1988 |
| The early history of data networks GJ Holzmann, B Pehrson IEEE Computer Society Press, 1995 | 191 | 1995 |
| State compression in SPIN: Recursive indexing and compression training runs GJ Holzmann Proceedings of third international Spin workshop, 1997 | 188 | 1997 |
| Logic verification of ANSI-C code with SPIN GJ Holzmann International SPIN Workshop on Model Checking of Software, 131-147, 2000 | 176 | 2000 |
| The design of a multicore extension of the SPIN model checker GJ Holzmann, D Bosnacki IEEE Transactions on Software Engineering 33 (10), 659-674, 2007 | 171 | 2007 |
| Automating software feature verification GJ Holzmann, MH Smith Bell Labs Technical Journal 5 (2), 72-87, 2000 | 160 | 2000 |
| A practical method for verifying event-driven software GJ Holzmann, MH Smith Proceedings of the 1999 International Conference on Software Engineering …, 1999 | 160 | 1999 |
| The power of 10: Rules for developing safety-critical code GJ Holzmann Computer 39 (6), 95-99, 2006 | 159 | 2006 |
| Model-driven software verification GJ Holzmann, R Joshi International SPIN Workshop on Model Checking of Software, 76-91, 2004 | 158 | 2004 |
| Coverage preserving reduction strategies for reachability analysis GJ Holzmann, P Godefroid, D Pirottin Protocol Specification, Testing and Verification, XII, 349-363, 1992 | 154 | 1992 |
| Static source code checking for user-defined properties G Holzmann Proc. IDPT 2, 2002 | 148 | 2002 |
