| 2008 |
|---|
| 78 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
New Challenges in Model Checking.
25 Years of Model Checking 2008: 65-76 |
| 77 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
Swarm Verification.
ASE 2008: 1-6 |
| 76 | EE | Klaus Havelund,
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
Margaret H. Smith:
Automated Testing of Planning Models.
MoChArt 2008: 90-105 |
| 75 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
Tackling Large Verification Problems with the Swarm Tool.
SPIN 2008: 134-143 |
| 74 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
Model driven code checking.
Autom. Softw. Eng. 15(3-4): 283-297 (2008) |
| 73 | EE | Gerard J. Holzmann:
A Stack-Slicing Algorithm for Multi-Core Model Checking.
Electr. Notes Theor. Comput. Sci. 198(1): 3-16 (2008) |
| 2007 |
|---|
| 72 | EE | Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification.
ICSE 2007: 621-631 |
| 71 | EE | Gerard J. Holzmann,
Dragan Bosnacki:
Multi-Core Model Checking with SPIN.
IPDPS 2007: 1-8 |
| 70 | EE | Rajeev Joshi,
Gerard J. Holzmann:
A mini challenge: build a verifiable filesystem.
Formal Asp. Comput. 19(2): 269-272 (2007) |
| 69 | EE | Gerard J. Holzmann:
Conquering Complexity.
IEEE Computer 40(12): 111-113 (2007) |
| 68 | EE | Gerard J. Holzmann,
Dragan Bosnacki:
The Design of a Multicore Extension of the SPIN Model Checker.
IEEE Trans. Software Eng. 33(10): 659-674 (2007) |
| 2006 |
|---|
| 67 | EE | Gerard J. Holzmann:
The Power of 10: Rules for Developing Safety-Critical Code.
IEEE Computer 39(6): 95-97 (2006) |
| 2005 |
|---|
| 66 | EE | Gerard J. Holzmann,
Theo C. Ruys:
Effective Bug Hunting with Spin and Modex.
SPIN 2005: 24-24 |
| 65 | EE | Dragan Bosnacki,
Gerard J. Holzmann:
Improving Spin's Partial-Order Reduction for Breadth-First Search.
SPIN 2005: 91-105 |
| 64 | EE | Gerard J. Holzmann,
Rajeev Joshi:
Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
VSTTE 2005: 237-244 |
| 63 | EE | Rajeev Joshi,
Gerard J. Holzmann:
A Mini Challenge: Build a Verifiable Filesystem.
VSTTE 2005: 49-56 |
| 62 | | Gerard J. Holzmann:
Software model checking with SPIN.
Advances in Computers 65: 78-109 (2005) |
| 2004 |
|---|
| 61 | EE | Gerard J. Holzmann:
Formal methods and software reliability.
MEMOCODE 2004: 145-146 |
| 60 | EE | Theo C. Ruys,
Gerard J. Holzmann:
Advanced SPIN Tutorial.
SPIN 2004: 304-305 |
| 59 | EE | Gerard J. Holzmann,
Rajeev Joshi:
Model-Driven Software Verification.
SPIN 2004: 76-91 |
| 2003 |
|---|
| 58 | EE | Gerard J. Holzmann:
Trends in Software Verification.
FME 2003: 40-50 |
| 57 | EE | Yifei Dong,
Xiaoqun Du,
Gerard J. Holzmann,
Scott A. Smolka:
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
STTT 4(4): 505-528 (2003) |
| 2002 |
|---|
| 56 | EE | Gerard J. Holzmann:
Software Analysis and Model Checking.
CAV 2002: 1-16 |
| 55 | EE | Dennis Dams,
William Hesse,
Gerard J. Holzmann:
Abstracting C with abC.
CAV 2002: 515-520 |
| 54 | EE | Gerard J. Holzmann:
The logic of bugs.
SIGSOFT FSE 2002: 81-87 |
| 53 | EE | Gerard J. Holzmann,
Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
IEEE Trans. Software Eng. 28(4): 364-377 (2002) |
| 2001 |
|---|
| 52 | EE | Gerard J. Holzmann:
From Code to Models.
ACSD 2001: 3-10 |
| 51 | EE | Gerard J. Holzmann:
Economics of software verification.
PASTE 2001: 80-85 |
| 50 | EE | Margaret H. Smith,
Gerard J. Holzmann,
Kousha Etessami:
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
RE 2001: 14-22 |
| 49 | | Gerard J. Holzmann,
Margaret H. Smith:
Software model checking: extracting verification models from source code.
Softw. Test., Verif. Reliab. 11(2): 65-79 (2001) |
| 2000 |
|---|
| 48 | EE | Kousha Etessami,
Gerard J. Holzmann:
Optimizing Büchi Automata.
CONCUR 2000: 153-167 |
| 47 | | Gerard J. Holzmann:
Logic Verification of ANSI-C Code with SPIN.
SPIN 2000: 131-147 |
| 46 | EE | Gerard J. Holzmann:
Software verification at Bell Labs: One line of development.
Bell Labs Technical Journal 5(1): 35-45 (2000) |
| 45 | EE | Gerard J. Holzmann,
Margaret H. Smith:
Automating software feature verification.
Bell Labs Technical Journal 5(2): 72-87 (2000) |
| 44 | EE | Gerard J. Holzmann,
Elie Najm,
Ahmed Serhrouchni:
SPIN Model Checking: An Introduction.
STTT 2(4): 321-327 (2000) |
| 1999 |
|---|
| 43 | | Gerard J. Holzmann,
Margaret H. Smith:
Software Model Checking.
FORTE 1999: 481-497 |
| 42 | EE | Gerard J. Holzmann,
Margaret H. Smith:
A Practical Method for Verifying Event-Driven Software.
ICSE 1999: 597-607 |
| 41 | EE | Stefan Leue,
Gerard J. Holzmann:
v-Promela: A Visual, Object-Oriented Language for SPIN.
ISORC 1999: 14-23 |
| 40 | EE | Gerard J. Holzmann:
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.
SPIN 1999: 232-244 |
| 39 | EE | Gerard J. Holzmann,
Anuj Puri:
A Minimized Automaton Representation of Reachable States.
STTT 2(3): 270-278 (1999) |
| 1998 |
|---|
| 38 | | Gerard J. Holzmann:
On Checking Model Checkers.
CAV 1998: 61-70 |
| 37 | EE | Gerard J. Holzmann:
Designing executable abstractions.
FMSP 1998: 103-108 |
| 36 | EE | Francis Schneider,
Steve M. Easterbrook,
John R. Callahan,
Gerard J. Holzmann:
Validating Requirements for Fault Tolerant Systems using Model Checking.
ICRE 1998: 4-13 |
| 35 | EE | Erich Mikk,
Yassine Lakhnech,
Michael Siegel,
Gerard J. Holzmann:
Implementing Statecharts in PROMELA/SPIN.
WIFT 1998: 90-101 |
| 34 | | Gerard J. Holzmann:
An Analysis of Bitstate Hashing.
Formal Methods in System Design 13(3): 289-307 (1998) |
| 1997 |
|---|
| 33 | EE | Gerard J. Holzmann:
Designing bug-free protocols with SPIN.
Computer Communications 20(2): 97-105 (1997) |
| 32 | EE | Gerard J. Holzmann:
The Model Checker SPIN.
IEEE Trans. Software Eng. 23(5): 279-295 (1997) |
| 1996 |
|---|
| 31 | | Gerard J. Holzmann,
Doron Peled:
The State of SPIN.
CAV 1996: 385-389 |
| 30 | | Gerard J. Holzmann:
Formal Methods for Early Fault Detection.
FTRTFT 1996: 40-54 |
| 29 | | Gerard J. Holzmann:
Early Fault Detection Tools.
TACAS 1996: 1-13 |
| 28 | | Rajeev Alur,
Gerard J. Holzmann,
Doron Peled:
An Analyser for Mesage Sequence Charts.
TACAS 1996: 35-48 |
| 27 | | Gerard J. Holzmann:
On-The-Fly Model Checking.
ACM Comput. Surv. 28(4es): 120 (1996) |
| 26 | EE | Jean-Pierre Courtiat,
Piotr Dembinski,
Gerard J. Holzmann,
Luigi Logrippo,
Harry Rudin,
Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Computer Networks and ISDN Systems 28(13): 1845-1855 (1996) |
| 25 | | Gerard J. Holzmann:
Early Fault Detection Tools.
Software - Concepts and Tools 17(2): 63-69 (1996) |
| 24 | | Rajeev Alur,
Gerard J. Holzmann,
Doron Peled:
An Analyzer for Message Sequence Charts.
Software - Concepts and Tools 17(2): 70-77 (1996) |
| 1995 |
|---|
| 23 | | Gerard J. Holzmann:
Tutorial: Proving Properties of Concurrent System with SPIN.
CONCUR 1995: 453-455 |
| 22 | | Gerard J. Holzmann:
An analysis of bistate hashing.
PSTV 1995: 301-314 |
| 21 | | Patrice Godefroid,
Gerard J. Holzmann,
Didier Pirottin:
State-Space Caching Revisited.
Formal Methods in System Design 7(3): 227-241 (1995) |
| 1994 |
|---|
| 20 | | Gerard J. Holzmann,
Doron Peled:
An improvement in formal verification.
FORTE 1994: 197-211 |
| 19 | | Gerard J. Holzmann:
Proving the value of formal methods.
FORTE 1994: 385-396 |
| 18 | | Gerard J. Holzmann:
The Theory and Practice of A Formal Method: NewCoRe.
IFIP Congress (1) 1994: 35-44 |
| 17 | | Gerard J. Holzmann:
Data Communications: The First 2500 Years.
IFIP Congress (2) 1994: 271-278 |
| 1993 |
|---|
| 16 | | Patrice Godefroid,
Gerard J. Holzmann:
On the Verification of Temporal Properties.
PSTV 1993: 109-124 |
| 15 | | Gerard J. Holzmann:
Design and Validation of Protocols: A Tutorial.
Computer Networks and ISDN Systems 25(9): 981-1017 (1993) |
| 14 | | Gerard J. Holzmann:
Standardized Protocol Interfaces.
Softw., Pract. Exper. 23(7): 711-731 (1993) |
| 1992 |
|---|
| 13 | | Patrice Godefroid,
Gerard J. Holzmann,
Didier Pirottin:
State-Space Caching Revisited.
CAV 1992: 178-191 |
| 12 | | Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin:
Coverage Preserving Reduction Strategies for Reachability Analysis.
PSTV 1992: 349-363 |
| 11 | EE | Gerard J. Holzmann:
Practical methods for the formal validation of SDL specifications.
Computer Communications 15(2): 129-134 (1992) |
| 10 | | Gerard J. Holzmann:
Protocol Design: Redefining the State of the Art.
IEEE Software 9(1): 17-22 (1992) |
| 1989 |
|---|
| 9 | | Gerard J. Holzmann,
Joanna Patti:
Validating SDL Specifications: an Experiment.
PSTV 1989: 317-326 |
| 1988 |
|---|
| 8 | | Gerard J. Holzmann:
An Improved Protocol Reachability Analysis Technique.
Softw., Pract. Exper. 18(2): 137-161 (1988) |
| 1987 |
|---|
| 7 | | Gerard J. Holzmann:
On Limits and Possibilities of Automated Protocol Analysis.
PSTV 1987: 339-344 |
| 6 | | Gerard J. Holzmann:
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching.
IEEE Trans. Software Eng. 13(6): 683-696 (1987) |
| 1984 |
|---|
| 5 | | Gerard J. Holzmann:
Backward Symbolic Execution of Protocols.
PSTV 1984: 19-30 |
| 4 | | Gerard J. Holzmann:
The Pandora System: An Interactive System for the Design of Data Communication Protocols.
Computer Networks 8: 71-79 (1984) |
| 1983 |
|---|
| 3 | | Gerard J. Holzmann,
Rob A. Beukers:
The Pandora Protocol Development System.
Protocol Specification, Testing, and Verification 1983: 357-368 |
| 1982 |
|---|
| 2 | | Gerard J. Holzmann:
Algebraic Validation Methods-A Comparison of Three Techniques.
PSTV 1982: 383-390 |
| 1 | | Gerard J. Holzmann:
A Theory for Protocol Validation.
IEEE Trans. Computers 31(8): 730-738 (1982) |
