Gerard Holzmann
Gerard Holzmann
Nimble Research
Verified email at nimbleresearch.com - Homepage
TitleCited byYear
The model checker SPIN
GJ Holzmann
IEEE Transactions on software engineering 23 (5), 279-295, 1997
8726*1997
Design and validation of computer protocols
GJ Holzmann, WS Lieberman
Prentice hall, 1991
28231991
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII, 197-211, 1995
4601995
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
International Workshop on Tools and Algorithms for the Construction and …, 1996
3551996
An analysis of bitstate hashing
GJ Holzmann
Formal methods in system design 13 (3), 289-307, 1998
3301998
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 81-89, 1996
2911996
Software model checking: Extracting verification models from source code
GJ Holzmann, M H. Smith
Software Testing, Verification and Reliability 11 (2), 65-79, 2001
2292001
Optimizing büchi automata
K Etessami, GJ Holzmann
International Conference on Concurrency Theory, 153-168, 2000
2112000
Coexpression of Rat P2X2 and P2X6Subunits in Xenopus Oocytes
BF King, A Townsend-Nicholson, SS Wildman, T Thomas, KM Spyer, ...
Journal of Neuroscience 20 (13), 4871-4877, 2000
211*2000
Implementing statecharts in PROMELA/SPIN
E Mikk, Y Lakhnech, M Siegel, GJ Holzmann
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998
2051998
An improved protocol reachability analysis technique
GJ Holzmann
Software: Practice and Experience 18 (2), 137-161, 1988
1931988
State compression in SPIN: Recursive indexing and compression training runs
GJ Holzmann
Proceedings of third international Spin workshop, 1997
1661997
Logic verification of ANSI-C code with SPIN
GJ Holzmann
International SPIN Workshop on Model Checking of Software, 131-147, 2000
1652000
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
1562007
NO SHORTAGE HERE!
M Othman, R Latih
Communications of the ACM 49 (3), 111, 2006
156*2006
Automating software feature verification
GJ Holzmann, MH Smith
Bell Labs Technical Journal 5 (2), 72-87, 2000
1522000
Coverage preserving reduction strategies for reachability analysis
GJ Holzmann, P Godefroid, D Pirottin
Protocol Specification, Testing and Verification, XII, 349-363, 1992
1501992
Model-driven software verification
GJ Holzmann, R Joshi
International SPIN Workshop on Model Checking of Software, 76-91, 2004
1432004
A practical method for verifying event-driven software
GJ Holzmann, MH Smith
Proceedings of the 1999 International Conference on Software Engineering …, 1999
1421999
The early history of data networks
GJ Holzmann, B Pehrson
IEEE Computer Society Press, 1995
1411995
The system can't perform the operation now. Try again later.
Articles 1–20