Gerard J. Holzmann

Gerard J. Holzmann: Landing a Spacecraft on Mars. IEEE Software 30(2): 83-86 (2013)

Gerard J. Holzmann: Parallelizing the Spin Model Checker. SPIN 2012: 155-171

Gerard J. Holzmann, Mihai Florian: Model checking with bounded context switching. Formal Asp. Comput. 23(3): 365-389 (2011)

Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011)

Klaus Havelund, Gerard J. Holzmann: Software certification: coding, code, and coders. EMSOFT 2011: 205-210

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann: Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC 2011: 280-281

Gerard J. Holzmann: Reliable Software Development: Analysis-Aware Design. TACAS 2011: 1-2

Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (Eds.): NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6617, Springer 2011, isbn 978-3-642-20397-8

Gerard J. Holzmann: SCRUB: a tool for code reviews. ISSE 6(4): 311-318 (2010)

Gerard J. Holzmann: Formal Software Verification: How Close Are We? FMOODS/FORTE 2010: 1

Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)

Gerard J. Holzmann: A Stack-Slicing Algorithm for Multi-Core Model Checking. Electr. Notes Theor. Comput. Sci. 198(1): 3-16 (2008)

Gerard J. Holzmann: Software Safety and Rocket Science. ERCIM News 2008(75) (2008)

Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification. ASE 2008: 1-6

Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105

Gerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76

Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143

Gerard J. Holzmann: Conquering Complexity. IEEE Computer 40(12): 111-113 (2007)

Rajeev Joshi, Gerard J. Holzmann: A mini challenge: build a verifiable filesystem. Formal Asp. Comput. 19(2): 269-272 (2007)

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)

Alex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631

Gerard J. Holzmann, Dragan Bosnacki: Multi-Core Model Checking with SPIN. IPDPS 2007: 1-8

Gerard J. Holzmann: The Power of 10: Rules for Developing Safety-Critical Code. IEEE Computer 39(6): 95-97 (2006)

Gerard J. Holzmann: Software model checking with SPIN. Advances in Computers 65: 78-109 (2005)

Gerard J. Holzmann, Theo C. Ruys: Effective Bug Hunting with Spin and Modex. SPIN 2005: 24-24

Dragan Bosnacki, Gerard J. Holzmann: Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105

Rajeev Joshi, Gerard J. Holzmann: A Mini Challenge: Build a Verifiable Filesystem. VSTTE 2005: 49-56

Gerard J. Holzmann, Rajeev Joshi: Reliable Software Systems Design: Defect Prevention, Detection, and Containment. VSTTE 2005: 237-244

Gerard J. Holzmann: The SPIN Model Checker - primer and reference manual. Addison-Wesley 2004, isbn 978-0-321-22862-8, pp. I-XII, 1-596

Gerard J. Holzmann: Formal methods and software reliability. MEMOCODE 2004: 145-146

Gerard J. Holzmann, Rajeev Joshi: Model-Driven Software Verification. SPIN 2004: 76-91

Theo C. Ruys, Gerard J. Holzmann: Advanced SPIN Tutorial. SPIN 2004: 304-305

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)

Gerard J. Holzmann: Trends in Software Verification. FME 2003: 40-50

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)

Gerard J. Holzmann: Software Analysis and Model Checking. CAV 2002: 1-16

Dennis Dams, William Hesse, Gerard J. Holzmann: Abstracting C with abC. CAV 2002: 515-520

Gerard J. Holzmann: The logic of bugs. SIGSOFT FSE 2002: 81-87

Gerard J. Holzmann, Margaret H. Smith: Software model checking: extracting verification models from source code. Softw. Test., Verif. Reliab. 11(2): 65-79 (2001)

Gerard J. Holzmann: From Code to Models. ACSD 2001: 3-10

Gerard J. Holzmann: Economics of software verification. PASTE 2001: 80-85

Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami: Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. RE 2001: 14-22

Gerard J. Holzmann: Software verification at Bell Labs: One line of development. Bell Labs Technical Journal 5(1): 35-45 (2000)

Gerard J. Holzmann, Margaret H. Smith: Automating software feature verification. Bell Labs Technical Journal 5(2): 72-87 (2000)

Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni: SPIN Model Checking: An Introduction. STTT 2(4): 321-327 (2000)

Kousha Etessami, Gerard J. Holzmann: Optimizing Büchi Automata. CONCUR 2000: 153-167

Gerard J. Holzmann: Logic Verification of ANSI-C Code with SPIN. SPIN 2000: 131-147

Gerard J. Holzmann, Anuj Puri: A Minimized Automaton Representation of Reachable States. STTT 2(3): 270-278 (1999)

Gerard J. Holzmann, Margaret H. Smith: Software Model Checking. FORTE 1999: 481-497

Gerard J. Holzmann, Margaret H. Smith: A Practical Method for Verifying Event-Driven Software. ICSE 1999: 597-607

Stefan Leue, Gerard J. Holzmann: v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC 1999: 14-23

Gerard J. Holzmann: The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. SPIN 1999: 232-244

Gerard J. Holzmann: An Analysis of Bitstate Hashing. Formal Methods in System Design 13(3): 289-307 (1998)

Gerard J. Holzmann: On Checking Model Checkers. CAV 1998: 61-70

Gerard J. Holzmann: Designing executable abstractions. FMSP 1998: 103-108

Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann: Validating Requirements for Fault Tolerant Systems using Model Checking. ICRE 1998: 4-13

Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101

Gerard J. Holzmann: Designing bug-free protocols with SPIN. Computer Communications 20(2): 97-105 (1997)

Gerard J. Holzmann: The Model Checker SPIN. IEEE Trans. Software Eng. 23(5): 279-295 (1997)

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)

Gerard J. Holzmann: On-The-Fly Model Checking. ACM Comput. Surv. 28(4es): 120 (1996)

Gerard J. Holzmann: Early Fault Detection Tools. Software - Concepts and Tools 17(2): 63-69 (1996)

Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. Software - Concepts and Tools 17(2): 70-77 (1996)

Gerard J. Holzmann, Doron Peled: The State of SPIN. CAV 1996: 385-389

Gerard J. Holzmann: Formal Methods for Early Fault Detection. FTRTFT 1996: 40-54

Gerard J. Holzmann: Early Fault Detection Tools. TACAS 1996: 1-13

Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48

Gerard J. Holzmann, Björn Pehrson: The early history of data networks. IEEE 1995, isbn 978-0-8186-6782-4, pp. I-XI, 1-291

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin: State-Space Caching Revisited. Formal Methods in System Design 7(3): 227-241 (1995)

Gerard J. Holzmann: Tutorial: Proving Properties of Concurrent System with SPIN. CONCUR 1995: 453-455

Gerard J. Holzmann: An analysis of bistate hashing. PSTV 1995: 301-314

Gerard J. Holzmann, Doron Peled: An improvement in formal verification. FORTE 1994: 197-211

Gerard J. Holzmann: Proving the value of formal methods. FORTE 1994: 385-396

Gerard J. Holzmann: The Theory and Practice of A Formal Method: NewCoRe. IFIP Congress (1) 1994: 35-44

Gerard J. Holzmann: Data Communications: The First 2500 Years. IFIP Congress (2) 1994: 271-278

Gerard J. Holzmann: Design and Validation of Protocols: A Tutorial. Computer Networks and ISDN Systems 25(9): 981-1017 (1993)

Gerard J. Holzmann: Standardized Protocol Interfaces. Softw., Pract. Exper. 23(7): 711-731 (1993)

Patrice Godefroid, Gerard J. Holzmann: On the Verification of Temporal Properties. PSTV 1993: 109-124

Gerard J. Holzmann: Practical methods for the formal validation of SDL specifications. Computer Communications 15(2): 129-134 (1992)

Gerard J. Holzmann: Protocol Design: Redefining the State of the Art. IEEE Software 9(1): 17-22 (1992)

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin: State-Space Caching Revisited. CAV 1992: 178-191

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin: Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV 1992: 349-363

Gerard J. Holzmann, Joanna Patti: Validating SDL Specifications: an Experiment. PSTV 1989: 317-326

Gerard J. Holzmann: An Improved Protocol Reachability Analysis Technique. Softw., Pract. Exper. 18(2): 137-161 (1988)

Gerard J. Holzmann: Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. IEEE Trans. Software Eng. 13(6): 683-696 (1987)

Gerard J. Holzmann: On Limits and Possibilities of Automated Protocol Analysis. PSTV 1987: 339-344

Gerard J. Holzmann: The Pandora System: An Interactive System for the Design of Data Communication Protocols. Computer Networks 8: 71-79 (1984)

Gerard J. Holzmann: Backward Symbolic Execution of Protocols. PSTV 1984: 19-30

Gerard J. Holzmann, Rob A. Beukers: The Pandora Protocol Development System. Protocol Specification, Testing, and Verification 1983: 357-368

Gerard J. Holzmann: A Theory for Protocol Validation. IEEE Trans. Computers 31(8): 730-738 (1982)

Gerard J. Holzmann: Algebraic Validation Methods-A Comparison of Three Techniques. PSTV 1982: 383-390