Gerard J. Holzmann

According to our database1, Gerard J. Holzmann authored at least 136 papers between 1982 and 2020.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2011, "For contributions to software verification by model checking.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Test Fatigue.
IEEE Softw., 2020

Predicting the Past.
IEEE Softw., 2020

2019
Code Overload.
IEEE Softw., 2019

Does Not Compute.
IEEE Softw., 2019

Code Mining.
IEEE Softw., 2019

Formalizing Requirements Is \Diamond \Box Hard.
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018
Explicit-State Model Checking.
Proceedings of the Handbook of Model Checking., 2018

Code Vault.
IEEE Softw., 2018

Software Components.
IEEE Softw., 2018

Curve Balls.
IEEE Softw., 2018

Ends and Means.
IEEE Softw., 2018

2017
Randomly Right.
IEEE Softw., 2017

Dead Programs.
IEEE Softw., 2017

A Tale of Three Programs.
IEEE Softw., 2017

Code Craft.
IEEE Softw., 2017

The Value of Doubt.
IEEE Softw., 2017

Cobra: a light-weight tool for static and dynamic program analysis.
ISSE, 2017

Cobra: fast structural code checking (keynote).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Cobra - an interactive static code analyzer.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Hi Maintenance.
IEEE Softw., 2016

Brace Yourself.
IEEE Softw., 2016

The Weakest Link.
IEEE Softw., 2016

Frequently Unanswered Questions.
IEEE Softw., 2016

Code Clarity.
IEEE Softw., 2016

Tiny Tools.
IEEE Softw., 2016

Cloud-Based Verification of Concurrent Software.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Out of Bounds.
IEEE Softw., 2015

Code Evasion.
IEEE Softw., 2015

Points of Truth.
IEEE Softw., 2015

Assertive Testing.
IEEE Softw., 2015

Code Inflation.
IEEE Softw., 2015

To Code Is Human.
IEEE Softw., 2015

A multi-paradigm language for reactive synthesis.
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

2014
Fault Intolerance [Reliable Code].
IEEE Softw., 2014

Mars code.
Commun. ACM, 2014

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell., 2014

An improvement of the piggyback algorithm for parallel model checking.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013
Landing a Spacecraft on Mars.
IEEE Softw., 2013

A Three-Step Program for Recovering Hackers.
IEEE Computer, 2013

Proving Properties of Concurrent Programs - (Extended Abstract).
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Keynote speaker 1: The economics of systems and software reliability.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Parallelizing the Spin Model Checker.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Logic Model Checking of Time-Periodic Real-Time Systems.
Proceedings of the Infotech@Aerospace 2012, 2012

Conquering Complexity.
Proceedings of the Conquering Complexity, 2012

2011
Swarm Verification Techniques.
IEEE Trans. Software Eng., 2011

Model checking with bounded context switching.
Formal Asp. Comput., 2011

Reliable Software Development: Analysis-Aware Design.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Software certification: coding, code, and coders.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
SCRUB: a tool for code reviews.
ISSE, 2010

Formal Software Verification: How Close Are We?
Proceedings of the Formal Techniques for Distributed Systems, 2010

2008
Software Safety and Rocket Science.
ERCIM News, 2008

A Stack-Slicing Algorithm for Multi-Core Model Checking.
Electron. Notes Theor. Comput. Sci., 2008

Model driven code checking.
Autom. Softw. Eng., 2008

New Challenges in Model Checking.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Tackling Large Verification Problems with the Swarm Tool.
Proceedings of the Model Checking Software, 2008

Automated Testing of Planning Models.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Swarm Verification.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007
The Design of a Multicore Extension of the SPIN Model Checker.
IEEE Trans. Software Eng., 2007

A mini challenge: build a verifiable filesystem.
Formal Asp. Comput., 2007

Conquering Complexity.
IEEE Computer, 2007

Multi-Core Model Checking with SPIN.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Randomized Differential Testing as a Prelude to Formal Verification.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
The Power of 10: Rules for Developing Safety-Critical Code.
IEEE Computer, 2006

2005
Software model checking with SPIN.
Adv. Comput., 2005

Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
Proceedings of the Verified Software: Theories, 2005

Effective Bug Hunting with Spin and Modex.
Proceedings of the Model Checking Software, 2005

Improving Spin's Partial-Order Reduction for Breadth-First Search.
Proceedings of the Model Checking Software, 2005

2004
Advanced SPIN Tutorial.
Proceedings of the Model Checking Software, 2004

Model-Driven Software Verification.
Proceedings of the Model Checking Software, 2004

Formal methods and software reliability.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

The SPIN Model Checker - primer and reference manual.
Addison-Wesley, ISBN: 978-0-321-22862-8, 2004

2003
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
Int. J. Softw. Tools Technol. Transf., 2003

Trends in Software Verification.
Proceedings of the FME 2003: Formal Methods, 2003

2002
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
IEEE Trans. Software Eng., 2002

The logic of bugs.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Software Analysis and Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Abstracting C with abC.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Software model checking: extracting verification models from source code.
Softw. Test. Verification Reliab., 2001

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Economics of software verification.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

From Code to Models.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000
SPIN Model Checking: An Introduction.
Int. J. Softw. Tools Technol. Transf., 2000

Automating software feature verification.
Bell Labs Tech. J., 2000

Software verification at Bell Labs: One line of development.
Bell Labs Tech. J., 2000

Logic Verification of ANSI-C Code with SPIN.
Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Optimizing Büchi Automata.
Proceedings of the CONCUR 2000, 2000

1999
A Minimized Automaton Representation of Reachable States.
Int. J. Softw. Tools Technol. Transf., 1999

The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

v-Promela: A Visual, Object-Oriented Language for SPIN.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

A Practical Method for Verifying Event-Driven Software.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Software Model Checking.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998
An Analysis of Bitstate Hashing.
Formal Methods Syst. Des., 1998

Interval reduction through requirements analysis.
Bell Labs Tech. J., 1998

Implementing Statecharts in PROMELA/SPIN.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Validating Requirements for Fault Tolerant Systems using Model Checking.
Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

Designing executable abstractions.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

On Checking Model Checkers.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
The Model Checker SPIN.
IEEE Trans. Software Eng., 1997

Designing bug-free protocols with SPIN.
Comput. Commun., 1997

Design tools for requirements engineering.
Bell Labs Tech. J., 1997

1996
Early Fault Detection Tools.
Softw. Concepts Tools, 1996

An Analyzer for Message Sequence Charts.
Softw. Concepts Tools, 1996

On-The-Fly Model Checking.
ACM Comput. Surv., 1996

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., 1996

An Analyser for Mesage Sequence Charts.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Formal Methods for Early Fault Detection.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Outline for an operational semantics of Promela.
Proceedings of the Spin Verification System, 1996

On nested depth first search.
Proceedings of the Spin Verification System, 1996

Not checking for closure under stuttering.
Proceedings of the Spin Verification System, 1996

Preface.
Proceedings of the Spin Verification System, 1996

The State of SPIN.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
State-Space Caching Revisited.
Formal Methods Syst. Des., 1995

An analysis of bistate hashing.
Proceedings of the Protocol Specification, 1995

Tutorial: Proving Properties of Concurrent System with SPIN.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

The early history of data networks.
IEEE, ISBN: 978-0-8186-6782-4, 1995

1994
Data Communications: The First 2500 Years.
Proceedings of the Applications and Impacts, Information Processing '94, Volume 2, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

The Theory and Practice of A Formal Method: NewCoRe.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

An improvement in formal verification.
Proceedings of the Formal Description Techniques VII, 1994

Proving the value of formal methods.
Proceedings of the Formal Description Techniques VII, 1994

1993
Standardized Protocol Interfaces.
Softw. Pract. Exp., 1993

Design and Validation of Protocols: A Tutorial.
Comput. Networks ISDN Syst., 1993

On the Verification of Temporal Properties.
Proceedings of the Protocol Specification, 1993

1992
Protocol Design: Redefining the State of the Art.
IEEE Softw., 1992

Practical methods for the formal validation of SDL specifications.
Comput. Commun., 1992

Coverage Preserving Reduction Strategies for Reachability Analysis.
Proceedings of the Protocol Specification, 1992

1989
Validating SDL Specifications: an Experiment.
Proceedings of the Protocol Specification, 1989

1988
An Improved Protocol Reachability Analysis Technique.
Softw. Pract. Exp., 1988

1987
Automated Protocol Validation in <i>Argos: </i> Assertion Proving and Scatter Searching.
IEEE Trans. Software Eng., 1987

On Limits and Possibilities of Automated Protocol Analysis.
Proceedings of the Protocol Specification, 1987

1985
Tracing protocols.
AT&T Tech. J., 1985

1984
The Pandora System: An Interactive System for the Design of Data Communication Protocols.
Comput. Networks, 1984

Backward Symbolic Execution of Protocols.
Proceedings of the Protocol Specification, 1984

1983
The Pandora Protocol Development System.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982
A Theory for Protocol Validation.
IEEE Trans. Computers, 1982

Algebraic Validation Methods-A Comparison of Three Techniques.
Proceedings of the Protocol Specification, 1982


  Loading...