Gerard J. Holzmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. ProceedingsMihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, Volume 6617 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Model checking with bounded context switchingGerard J. Holzmann, Mihai Florian. fac, 23(3):365-389, 2011. [doi]

Reliable Software Development: Analysis-Aware DesignGerard J. Holzmann. TACAS 2011: 1-2 [doi]

2010

Formal Software Verification: How Close Are We?Gerard J. Holzmann. forte 2010: 1 [doi]

SCRUB: a tool for code reviewsGerard J. Holzmann. isse, 6(4):311-318, 2010. [doi]

2008

2007

Randomized Differential Testing as a Prelude to Formal VerificationAlex Groce, Gerard J. Holzmann, Rajeev Joshi. ICSE 2007: 621-631 [doi]

Conquering ComplexityGerard J. Holzmann. Computer, 40(12):111-113, 2007. [doi]

Multi-Core Model Checking with SPINGerard J. Holzmann, Dragan Bosnacki. ipps 2007: 1-8 [doi]

The Design of a Multicore Extension of the SPIN Model CheckerGerard J. Holzmann, Dragan Bosnacki. TSE, 33(10):659-674, 2007. [doi]

A mini challenge: build a verifiable filesystemRajeev Joshi, Gerard J. Holzmann. fac, 19(2):269-272, 2007. [doi]

2006

The Power of 10: Rules for Developing Safety-Critical CodeGerard J. Holzmann. Computer, 39(6):95-97, 2006. [doi]

2005

2004

The SPIN Model Checker - primer and reference manualGerard J. Holzmann. Addison-Wesley, 2004.

Formal methods and software reliabilityGerard J. Holzmann. memocode 2004: 145-146 [doi]

Model-Driven Software VerificationGerard J. Holzmann, Rajeev Joshi. spin 2004: 76-91 [doi]

Advanced SPIN TutorialTheo C. Ruys, Gerard J. Holzmann. spin 2004: 304-305 [doi]

2003

Fighting livelock in the GNU i-protocol: a case study in explicit-state model checkingYifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka. STTT, 4(4):505-528, 2003. [doi]

Trends in Software VerificationGerard J. Holzmann. fm 2003: 40-50 [doi]

2002

Abstracting C with abCDennis Dams, William Hesse, Gerard J. Holzmann. cav 2002: 515-520 [doi]

The logic of bugsGerard J. Holzmann. ESEC/FSE 2002: 81-87 [doi]

An Automated Verification Method for Distributed Systems Software Based on Model ExtractionGerard J. Holzmann, Margaret H. Smith. TSE, 28(4):364-377, 2002. [doi]

Software Analysis and Model CheckingGerard J. Holzmann. cav 2002: 1-16 [doi]

2001

Economics of software verificationGerard J. Holzmann. PASTE 2001: 80-85 [doi]

From Code to ModelsGerard J. Holzmann. acsd 2001: 3-10 [doi]

Software model checking: extracting verification models from source codeGerard J. Holzmann, Margaret H. Smith. stvr, 11(2):65-79, 2001.

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

2000

Optimizing Büchi AutomataKousha Etessami, Gerard J. Holzmann. concur 2000: 153-167 [doi]

Automating software feature verificationGerard J. Holzmann, Margaret H. Smith. bell, 5(2):72-87, 2000. [doi]

Software verification at Bell Labs: One line of developmentGerard J. Holzmann. bell, 5(1):35-45, 2000. [doi]

Logic Verification of ANSI-C Code with SPINGerard J. Holzmann. spin 2000: 131-147

SPIN Model Checking: An IntroductionGerard J. Holzmann, Elie Najm, Ahmed Serhrouchni. STTT, 2(4):321-327, 2000. [doi]

1999

1998

1997

The Model Checker SPINGerard J. Holzmann. TSE, 23(5):279-295, 1997. [doi]

Designing bug-free protocols with SPINGerard J. Holzmann. comcom, 20(2):97-105, 1997. [doi]

1996

An Analyzer for Message Sequence ChartsRajeev Alur, Gerard J. Holzmann, Doron Peled. stp, 17(2):70-77, 1996.

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

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique 95, Conference, Montreal, October 1995)Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave. cn, 28(13):1845-1855, 1996. [doi]

Early Fault Detection ToolsGerard J. Holzmann. stp, 17(2):63-69, 1996.

The State of SPINGerard J. Holzmann, Doron Peled. cav 1996: 385-389

Formal Methods for Early Fault DetectionGerard J. Holzmann. ftrtft 1996: 40-54

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

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

1995

State-Space Caching RevisitedPatrice Godefroid, Gerard J. Holzmann, Didier Pirottin. fmsd, 7(3):227-241, 1995.

Tutorial: Proving Properties of Concurrent System with SPINGerard J. Holzmann. concur 1995: 453-455

The early history of data networksGerard J. Holzmann, Björn Pehrson. IEEE, 1995.

An analysis of bistate hashingGerard J. Holzmann. pstv 1996: 301-314

1994

An improvement in formal verificationGerard J. Holzmann, Doron Peled. forte 1995: 197-211

Proving the value of formal methodsGerard J. Holzmann. forte 1995: 385-396

The Theory and Practice of A Formal Method: NewCoReGerard J. Holzmann. ifip11-9 1994: 35-44

Data Communications: The First 2500 YearsGerard J. Holzmann. ifip11-9 1994: 271-278

1993

On the Verification of Temporal PropertiesPatrice Godefroid, Gerard J. Holzmann. pstv 1993: 109-124

Design and Validation of Protocols: A TutorialGerard J. Holzmann. cn, 25(9):981-1017, 1993.

Standardized Protocol InterfacesGerard J. Holzmann. SPE, 23(7):711-731, 1993.

1992

State-Space Caching RevisitedPatrice Godefroid, Gerard J. Holzmann, Didier Pirottin. cav 1993: 178-191

Practical methods for the formal validation of SDL specificationsGerard J. Holzmann. comcom, 15(2):129-134, 1992. [doi]

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

Coverage Preserving Reduction Strategies for Reachability AnalysisGerard J. Holzmann, Patrice Godefroid, Didier Pirottin. pstv 1992: 349-363

1989

Validating SDL Specifications: an ExperimentGerard J. Holzmann, Joanna Patti. pstv 1990: 317-326

1988

An Improved Protocol Reachability Analysis TechniqueGerard J. Holzmann. SPE, 18(2):137-161, 1988.

1987

Automated Protocol Validation in ::::Argos: :::: Assertion Proving and Scatter SearchingGerard J. Holzmann. TSE, 13(6):683-696, 1987.

On Limits and Possibilities of Automated Protocol AnalysisGerard J. Holzmann. pstv 1987: 339-344

1984

Backward Symbolic Execution of ProtocolsGerard J. Holzmann. pstv 1985: 19-30

The Pandora System: An Interactive System for the Design of Data Communication ProtocolsGerard J. Holzmann. cn, 8:71-79, 1984.

1983

The Pandora Protocol Development SystemGerard J. Holzmann, Rob A. Beukers. ifip 1983: 357-368

1982

Algebraic Validation Methods-A Comparison of Three TechniquesGerard J. Holzmann. pstv 1982: 383-390

A Theory for Protocol ValidationGerard J. Holzmann. TC, 31(8):730-738, 1982.