Suivre
Gerard Holzmann
Gerard Holzmann
Nimble Research
Adresse e-mail validée de nimbleresearch.com - Page d'accueil
Titre
Citée par
Citée par
Année
The model checker SPIN
GJ Holzmann
IEEE Transactions on software engineering 23 (5), 279-295, 1997
10657*1997
Design and validation of computer protocols
GJ Holzmann, WS Lieberman
Prentice hall, 1991
32981991
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995
5041995
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996
3881996
An analysis of bitstate hashing
GJ Holzmann
Formal methods in system design 13, 289-307, 1998
3731998
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 81-89, 1996
3401996
Software model checking: Extracting verification models from source code
GJ Holzmann, M H. Smith
Software Testing, Verification and Reliability 11 (2), 65-79, 2001
2702001
Optimizing büchi automata
K Etessami, GJ Holzmann
International Conference on Concurrency Theory, 153-168, 2000
2662000
Implementing statecharts in PROMELA/SPIN
E Mikk, Y Lakhnech, M Siegel, GJ Holzmann
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998
2611998
An improved protocol reachability analysis technique
GJ Holzmann
Software: Practice and Experience 18 (2), 137-161, 1988
2131988
State-space caching revisited
P Godefroid, GJ Holzmann, D Pirottin
Formal Methods in System Design 7, 227-241, 1995
2121995
The early history of data networks
GJ Holzmann, B Pehrson
IEEE Computer Society Press, 1995
2121995
State compression in SPIN: Recursive indexing and compression training runs
GJ Holzmann
Proceedings of third international Spin workshop, 1997
1961997
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
1872007
The power of 10: Rules for developing safety-critical code
GJ Holzmann
Computer 39 (6), 95-99, 2006
1832006
Logic verification of ANSI-C code with SPIN
GJ Holzmann
International SPIN Workshop on Model Checking of Software, 131-147, 2000
1812000
Automating software feature verification
GJ Holzmann, MH Smith
Bell Labs Technical Journal 5 (2), 72-87, 2000
1672000
Randomized differential testing as a prelude to formal verification
A Groce, G Holzmann, R Joshi
29th International Conference on Software Engineering (ICSE'07), 621-631, 2007
1662007
Model-driven software verification
GJ Holzmann, R Joshi
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004
1642004
A practical method for verifying event-driven software
GJ Holzmann, MH Smith
Proceedings of the 21st international conference on Software engineering …, 1999
1621999
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20