Gerard J. Holzmann

151 papers A* 9A 7B 3C 6Misc 1Journal 72Unranked 45
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Analysis of Safety Critical Software Systems.
IEEE Trans. Software Eng.
Gerard J. Holzmann
2024 A conf
Metis: File System Model Checking via Versatile Input and State Exploration.
FAST
Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok
2024 J jnl
Programming event monitors.
Int. J. Softw. Tools Technol. Transf.
Klaus Havelund, Gerard J. Holzmann
2021 — conf
Comparing Two Methods for Checking Runtime Properties.
Formal Methods in Outer Space
Gerard J. Holzmann
2021 — conf
Interactive analysis of large code bases (invited talk).
ESEC/SIGSOFT FSE
Gerard J. Holzmann
2021 J jnl
Keeping It Simple: Agile Analysis.
IEEE Softw.
Gerard J. Holzmann
2021 — conf
Model-Checking Support for File System Development.
HotStorage
Wei Su, Yifei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning
2021 J jnl
Right Code.
IEEE Softw.
Gerard J. Holzmann
2020 J jnl
Predicting the Past.
IEEE Softw.
Gerard J. Holzmann
2020 J jnl
Test Fatigue.
IEEE Softw.
Gerard J. Holzmann
2019 J jnl
Code Mining.
IEEE Softw.
Gerard J. Holzmann
2019 J jnl
Code Overload.
IEEE Softw.
Gerard J. Holzmann
2019 J jnl
Does Not Compute.
IEEE Softw.
Gerard J. Holzmann
2019 — conf
Formalizing Requirements Is \Diamond \Box Hard.
From Reactive Systems to Cyber-Physical Systems
Gerard J. Holzmann
2018 J jnl
Code Vault.
IEEE Softw.
Gerard J. Holzmann
2018 J jnl
Curve Balls.
IEEE Softw.
Gerard J. Holzmann
2018 J jnl
Ends and Means.
IEEE Softw.
Gerard J. Holzmann
2018 — ch.
Explicit-State Model Checking.
Handbook of Model Checking
Gerard J. Holzmann
2018 J jnl
Software Components.
IEEE Softw.
Gerard J. Holzmann
2017 J jnl
A Tale of Three Programs.
IEEE Softw.
Gerard J. Holzmann
2017 A* conf
Cobra - an interactive static code analyzer.
ASE
Gerard J. Holzmann
2017 J jnl
Cobra: a light-weight tool for static and dynamic program analysis.
Innov. Syst. Softw. Eng.
Gerard J. Holzmann
2017 — conf
Cobra: fast structural code checking (keynote).
SPIN
Gerard J. Holzmann
2017 J jnl
Code Craft.
IEEE Softw.
Gerard J. Holzmann
2017 J jnl
Dead Programs.
IEEE Softw.
Gerard J. Holzmann
2017 J jnl
Randomly Right.
IEEE Softw.
Gerard J. Holzmann
2017 J jnl
The Value of Doubt.
IEEE Softw.
Gerard J. Holzmann
2016 J jnl
Brace Yourself.
IEEE Softw.
Gerard J. Holzmann
2016 B conf
Cloud-Based Verification of Concurrent Software.
VMCAI
Gerard J. Holzmann
2016 J jnl
Code Clarity.
IEEE Softw.
Gerard J. Holzmann
2016 J jnl
Frequently Unanswered Questions.
IEEE Softw.
Gerard J. Holzmann
2016 J jnl
Hi Maintenance.
IEEE Softw.
Gerard J. Holzmann
2016 J jnl
The Weakest Link.
IEEE Softw.
Gerard J. Holzmann
2016 J jnl
Tiny Tools.
IEEE Softw.
Gerard J. Holzmann
2015 — conf
A multi-paradigm language for reactive synthesis.
SYNT
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
2015 J jnl
Assertive Testing.
IEEE Softw.
Gerard J. Holzmann
2015 J jnl
Code Evasion.
IEEE Softw.
Gerard J. Holzmann
2015 J jnl
Code Inflation.
IEEE Softw.
Gerard J. Holzmann
2015 — ed.
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NFM
Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
2015 J jnl
Out of Bounds.
IEEE Softw.
Gerard J. Holzmann
2015 J jnl
Points of Truth.
IEEE Softw.
Gerard J. Holzmann
2015 J jnl
To Code Is Human.
IEEE Softw.
Gerard J. Holzmann
2014 — conf
An improvement of the piggyback algorithm for parallel model checking.
SPIN
Ioannis Filippidis, Gerard J. Holzmann
2014 J jnl
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell.
Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
2014 J jnl
Fault Intolerance [Reliable Code].
IEEE Softw.
Gerard J. Holzmann
2014 J jnl
Mars code.
Commun. ACM
Gerard J. Holzmann
2013 J jnl
A Three-Step Program for Recovering Hackers.
Computer
Gerard J. Holzmann
2013 A conf
Keynote speaker 1: The economics of systems and software reliability.
ISSRE
Barry W. Boehm, Gerard J. Holzmann
2013 J jnl
Landing a Spacecraft on Mars.
IEEE Softw.
Gerard J. Holzmann
2013 — conf
Proving Properties of Concurrent Programs - (Extended Abstract).
SPIN
Gerard J. Holzmann
2012 — ch.
Conquering Complexity.
Conquering Complexity
Gerard J. Holzmann
2012 — conf
Logic Model Checking of Time-Periodic Real-Time Systems.
Infotech@Aerospace
Mihai Florian, Edward B. Gamble, Gerard J. Holzmann
2012 — conf
Parallelizing the Spin Model Checker.
SPIN
Gerard J. Holzmann
2011 C conf
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.
PRDC
Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
2011 J jnl
Model checking with bounded context switching.
Formal Aspects Comput.
Gerard J. Holzmann, Mihai Florian
2011 — ed.
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods
Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
2011 A conf
Reliable Software Development: Analysis-Aware Design.
TACAS
Gerard J. Holzmann
2011 Misc conf
Software certification: coding, code, and coders.
EMSOFT
Klaus Havelund, Gerard J. Holzmann
2011 J jnl
Swarm Verification Techniques.
IEEE Trans. Software Eng.
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2010 — conf
Formal Software Verification: How Close Are We?
FMOODS/FORTE
Gerard J. Holzmann
2010 J jnl
SCRUB: a tool for code reviews.
Innov. Syst. Softw. Eng.
Gerard J. Holzmann
2008 — conf
Automated Testing of Planning Models.
MoChArt
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
2008 J jnl
Model driven code checking.
Autom. Softw. Eng.
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
New Challenges in Model Checking.
25 Years of Model Checking
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 J jnl
Software Safety and Rocket Science.
ERCIM News
Gerard J. Holzmann
2008 A* conf
Swarm Verification.
ASE
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
Tackling Large Verification Problems with the Swarm Tool.
SPIN
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2007 — conf
A Stack-Slicing Algorithm for Multi-Core Model Checking.
PDMC@CAV
Gerard J. Holzmann
2007 J jnl
A mini challenge: build a verifiable filesystem.
Formal Aspects Comput.
Rajeev Joshi, Gerard J. Holzmann
2007 J jnl
Conquering Complexity.
Computer
Gerard J. Holzmann
2007 A conf
Multi-Core Model Checking with SPIN.
IPDPS
Gerard J. Holzmann, Dragan Bosnacki
2007 A* conf
Randomized Differential Testing as a Prelude to Formal Verification.
ICSE
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
2007 J jnl
The Design of a Multicore Extension of the SPIN Model Checker.
IEEE Trans. Software Eng.
Gerard J. Holzmann, Dragan Bosnacki
2006 J jnl
The Power of 10: Rules for Developing Safety-Critical Code.
Computer
Gerard J. Holzmann
2005 — conf
A Mini Challenge: Build a Verifiable Filesystem.
VSTTE
Rajeev Joshi, Gerard J. Holzmann
2005 — conf
Effective Bug Hunting with Spin and Modex.
SPIN
Gerard J. Holzmann, Theo C. Ruys
2005 — conf
Improving Spin's Partial-Order Reduction for Breadth-First Search.
SPIN
Dragan Bosnacki, Gerard J. Holzmann
2005 — conf
Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
VSTTE
Gerard J. Holzmann, Rajeev Joshi
2005 J jnl
Software model checking with SPIN.
Adv. Comput.
Gerard J. Holzmann
2004 — conf
Advanced SPIN Tutorial.
SPIN
Theo C. Ruys, Gerard J. Holzmann
2004 C conf
Formal methods and software reliability.
MEMOCODE
Gerard J. Holzmann
2004 — conf
Model-Driven Software Verification.
SPIN
Gerard J. Holzmann, Rajeev Joshi
2004 — book
The SPIN Model Checker - primer and reference manual.
Gerard J. Holzmann
2003 J jnl
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
Int. J. Softw. Tools Technol. Transf.
Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka
2003 — conf
Trends in Software Verification.
FME
Gerard J. Holzmann
2002 A* conf
Abstracting C with abC.
CAV
Dennis Dams, William Hesse, Gerard J. Holzmann
2002 J jnl
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
IEEE Trans. Software Eng.
Gerard J. Holzmann, Margaret H. Smith
2002 A* conf
Software Analysis and Model Checking.
CAV
Gerard J. Holzmann
2002 — conf
The logic of bugs.
SIGSOFT FSE
Gerard J. Holzmann
2001 — conf
Economics of software verification.
PASTE
Gerard J. Holzmann
2001 A conf
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
RE
Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
2001 — conf
From Code to Models.
ACSD
Gerard J. Holzmann
2001 J jnl
Software model checking: extracting verification models from source code.
Softw. Test. Verification Reliab.
Gerard J. Holzmann, Margaret H. Smith
2000 J jnl
Automating software feature verification.
Bell Labs Tech. J.
Gerard J. Holzmann, Margaret H. Smith
2000 — conf
Logic Verification of ANSI-C Code with SPIN.
SPIN
Gerard J. Holzmann
2000 B conf
Optimizing Büchi Automata.
CONCUR
Kousha Etessami, Gerard J. Holzmann
2000 J jnl
SPIN Model Checking: An Introduction.
Int. J. Softw. Tools Technol. Transf.
Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
2000 J jnl
Software verification at Bell Labs: One line of development.
Bell Labs Tech. J.
Gerard J. Holzmann
1999 J jnl
A Minimized Automaton Representation of Reachable States.
Int. J. Softw. Tools Technol. Transf.
Gerard J. Holzmann, Anuj Puri
1999 A* conf
A Practical Method for Verifying Event-Driven Software.
ICSE
Gerard J. Holzmann, Margaret H. Smith
1999 C conf
Software Model Checking.
FORTE
Gerard J. Holzmann, Margaret H. Smith
1999 — conf
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.
SPIN
Gerard J. Holzmann
1999 C conf
v-Promela: A Visual, Object-Oriented Language for SPIN.
ISORC
Stefan Leue, Gerard J. Holzmann
1998 J jnl
An Analysis of Bitstate Hashing.
Formal Methods Syst. Des.
Gerard J. Holzmann
1998 — conf
Designing executable abstractions.
FMSP
Gerard J. Holzmann
1998 — conf
Implementing Statecharts in PROMELA/SPIN.
WIFT
Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
1998 J jnl
Interval reduction through requirements analysis.
Bell Labs Tech. J.
Gerard J. Holzmann, Margaret H. Smith
1998 A* conf
On Checking Model Checkers.
CAV
Gerard J. Holzmann
1998 — conf
Validating Requirements for Fault Tolerant Systems using Model Checking.
ICRE
Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann
1997 J jnl
Design tools for requirements engineering.
Bell Labs Tech. J.
Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg
1997 J jnl
Designing bug-free protocols with SPIN.
Comput. Commun.
Gerard J. Holzmann
1997 J jnl
The Model Checker SPIN.
IEEE Trans. Software Eng.
Gerard J. Holzmann
1997 — ed.
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996
The Spin Verification System
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled
1996 A conf
An Analyser for Mesage Sequence Charts.
TACAS
Rajeev Alur, Gerard J. Holzmann, Doron A. Peled
1996 J jnl
An Analyzer for Message Sequence Charts.
Softw. Concepts Tools
Rajeev Alur, Gerard J. Holzmann, Doron A. Peled
1996 A conf
Early Fault Detection Tools.
TACAS
Gerard J. Holzmann
1996 J jnl
Early Fault Detection Tools.
Softw. Concepts Tools
Gerard J. Holzmann
1996 J jnl
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Comput. Networks ISDN Syst.
Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
1996 — conf
Formal Methods for Early Fault Detection.
FTRTFT
Gerard J. Holzmann
1996 — conf
Not checking for closure under stuttering.
The Spin Verification System
Gerard J. Holzmann, Orna Kupferman
1996 — conf
On nested depth first search.
The Spin Verification System
Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis
1996 J jnl
On-The-Fly Model Checking.
ACM Comput. Surv.
Gerard J. Holzmann
1996 — conf
Outline for an operational semantics of Promela.
The Spin Verification System
V. Natarajan, Gerard J. Holzmann
1996 — ed.
Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996
Partial Order Methods in Verification
Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann
1996 — conf
Preface.
The Spin Verification System
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled
1996 A* conf
The State of SPIN.
CAV
Gerard J. Holzmann, Doron A. Peled
1995 — conf
An analysis of bistate hashing.
PSTV
Gerard J. Holzmann
1995 J jnl
State-Space Caching Revisited.
Formal Methods Syst. Des.
Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
1995 — book
The early history of data networks.
Gerard J. Holzmann, Björn Pehrson
1995 B conf
Tutorial: Proving Properties of Concurrent System with SPIN.
CONCUR
Gerard J. Holzmann
1994 C conf
An improvement in formal verification.
FORTE
Gerard J. Holzmann, Doron A. Peled
1994 — conf
Data Communications: The First 2500 Years.
IFIP Congress (2)
Gerard J. Holzmann
1994 C conf
Proving the value of formal methods.
FORTE
Gerard J. Holzmann
1994 — conf
The Theory and Practice of A Formal Method: NewCoRe.
IFIP Congress (1)
Gerard J. Holzmann
1993 J jnl
Design and Validation of Protocols: A Tutorial.
Comput. Networks ISDN Syst.
Gerard J. Holzmann
1993 — conf
On the Verification of Temporal Properties.
PSTV
Patrice Godefroid, Gerard J. Holzmann
1993 J jnl
Standardized Protocol Interfaces.
Softw. Pract. Exp.
Gerard J. Holzmann
1992 — conf
Coverage Preserving Reduction Strategies for Reachability Analysis.
PSTV
Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin
1992 J jnl
Practical methods for the formal validation of SDL specifications.
Comput. Commun.
Gerard J. Holzmann
1992 J jnl
Protocol Design: Redefining the State of the Art.
IEEE Softw.
Gerard J. Holzmann
1992 A* conf
State-Space Caching Revisited.
CAV
Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
1989 — conf
Validating SDL Specifications: an Experiment.
PSTV
Gerard J. Holzmann, Joanna Patti
1988 J jnl
An Improved Protocol Reachability Analysis Technique.
Softw. Pract. Exp.
Gerard J. Holzmann
1987 J jnl
Automated Protocol Validation in
IEEE Trans. Software Eng.
Gerard J. Holzmann
1987 — conf
On Limits and Possibilities of Automated Protocol Analysis.
PSTV
Gerard J. Holzmann
1985 J jnl
Tracing protocols.
AT&T Tech. J.
Gerard J. Holzmann
1984 — conf
Backward Symbolic Execution of Protocols.
PSTV
Gerard J. Holzmann
1984 J jnl
The Pandora System: An Interactive System for the Design of Data Communication Protocols.
Comput. Networks
Gerard J. Holzmann
1983 — conf
The Pandora Protocol Development System.
Protocol Specification, Testing, and Verification
Gerard J. Holzmann, Rob A. Beukers
1982 J jnl
A Theory for Protocol Validation.
IEEE Trans. Computers
Gerard J. Holzmann
1982 — conf
Algebraic Validation Methods-A Comparison of Three Techniques.
PSTV
Gerard J. Holzmann