default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGerard J. Holzmann
- > Home > Persons > Gerard J. Holzmann
Publications
- 2021
[j69]Gerard J. Holzmann
:
Right Code. IEEE Softw. 38(1): 13-15 (2021)- [j68]Gerard J. Holzmann:
Keeping It Simple: Agile Analysis. IEEE Softw. 38(3): 13-16 (2021) - [c70]Gerard J. Holzmann:
Comparing Two Methods for Checking Runtime Properties. Formal Methods in Outer Space 2021: 127-133 - [c68]Gerard J. Holzmann:
Interactive analysis of large code bases (invited talk). ESEC/SIGSOFT FSE 2021: 4 - 2020
- [j67]Gerard J. Holzmann:
Predicting the Past. IEEE Softw. 37(2): 10-12 (2020) - [j66]Gerard J. Holzmann:
Test Fatigue. IEEE Softw. 37(4): 11-16 (2020) - 2019
- [j65]Gerard J. Holzmann:
Code Mining. IEEE Softw. 36(2): 25-29 (2019) - [j64]Gerard J. Holzmann:
Does Not Compute. IEEE Softw. 36(3): 14-16 (2019) - [j63]Gerard J. Holzmann:
Code Overload. IEEE Softw. 36(6): 73-75 (2019) - [c67]Gerard J. Holzmann:
Formalizing Requirements Is \Diamond \Box Hard. From Reactive Systems to Cyber-Physical Systems 2019: 51-56 - 2018
- [j62]Gerard J. Holzmann:
Ends and Means. IEEE Softw. 35(1): 14-17 (2018) - [j61]Gerard J. Holzmann:
Curve Balls. IEEE Softw. 35(2): 18-21 (2018) - [j60]Gerard J. Holzmann:
Software Components. IEEE Softw. 35(3): 80-82 (2018) - [j59]Gerard J. Holzmann:
Code Vault. IEEE Softw. 35(5): 85-87 (2018) - [p2]Gerard J. Holzmann:
Explicit-State Model Checking. Handbook of Model Checking 2018: 153-171 - 2017
- [j58]Gerard J. Holzmann:
Cobra: a light-weight tool for static and dynamic program analysis. Innov. Syst. Softw. Eng. 13(1): 35-49 (2017) - [j57]Gerard J. Holzmann:
The Value of Doubt. IEEE Softw. 34(1): 106-109 (2017) - [j56]Gerard J. Holzmann:
Code Craft. IEEE Softw. 34(2): 18-21 (2017) - [j55]Gerard J. Holzmann:
A Tale of Three Programs. IEEE Softw. 34(3): 23-26 (2017) - [j54]Gerard J. Holzmann:
Dead Programs. IEEE Softw. 34(4): 89-91 (2017) - [j53]Gerard J. Holzmann:
Randomly Right. IEEE Softw. 34(5): 87-89 (2017) - [c66]Gerard J. Holzmann:
Cobra - an interactive static code analyzer. ASE 2017: 1 - [c65]Gerard J. Holzmann:
Cobra: fast structural code checking (keynote). SPIN 2017: 1-8 - 2016
- [j52]Gerard J. Holzmann:
Tiny Tools. IEEE Softw. 33(1): 24-28 (2016) - [j51]Gerard J. Holzmann:
Code Clarity. IEEE Softw. 33(2): 22-25 (2016) - [j50]Gerard J. Holzmann:
Frequently Unanswered Questions. IEEE Softw. 33(3): 10-12 (2016) - [j49]Gerard J. Holzmann:
The Weakest Link. IEEE Softw. 33(4): 18-21 (2016) - [j48]Gerard J. Holzmann:
Brace Yourself. IEEE Softw. 33(5): 34-37 (2016) - [j47]Gerard J. Holzmann:
Hi Maintenance. IEEE Softw. 33(6): 98-101 (2016) - [c64]Gerard J. Holzmann:
Cloud-Based Verification of Concurrent Software. VMCAI 2016: 311-327 - 2015
- [j46]Gerard J. Holzmann:
To Code Is Human. IEEE Softw. 32(1): 14-17 (2015) - [j45]Gerard J. Holzmann:
Code Inflation. IEEE Softw. 32(2): 10-13 (2015) - [j44]Gerard J. Holzmann:
Assertive Testing. IEEE Softw. 32(3): 12-15 (2015) - [j43]Gerard J. Holzmann:
Points of Truth. IEEE Softw. 32(4): 18-21 (2015) - [j42]Gerard J. Holzmann:
Code Evasion. IEEE Softw. 32(5): 77-80 (2015) - [j41]Gerard J. Holzmann:
Out of Bounds. IEEE Softw. 32(6): 24-26 (2015) - 2014
- [j39]Gerard J. Holzmann:
Mars code. Commun. ACM 57(2): 64-73 (2014) - [j38]Gerard J. Holzmann:
Fault Intolerance [Reliable Code]. IEEE Softw. 31(6): 16-20 (2014) - 2013
- [j37]Gerard J. Holzmann:
A Three-Step Program for Recovering Hackers. Computer 46(6): 86-88 (2013) - [j36]Gerard J. Holzmann:
Landing a Spacecraft on Mars. IEEE Softw. 30(2): 83-86 (2013) - [c60]Gerard J. Holzmann:
Proving Properties of Concurrent Programs - (Extended Abstract). SPIN 2013: 18-23 - 2012
- [c58]Gerard J. Holzmann:
Parallelizing the Spin Model Checker. SPIN 2012: 155-171 - [p1]Gerard J. Holzmann:
Conquering Complexity. Conquering Complexity 2012: 75-84 - 2011
- [c55]Gerard J. Holzmann:
Reliable Software Development: Analysis-Aware Design. TACAS 2011: 1-2 - 2010
- [j33]Gerard J. Holzmann:
SCRUB: a tool for code reviews. Innov. Syst. Softw. Eng. 6(4): 311-318 (2010) - [c54]Gerard J. Holzmann:
Formal Software Verification: How Close Are We? FMOODS/FORTE 2010: 1 - 2008
- [i1]Gerard J. Holzmann:
Software Safety and Rocket Science. ERCIM News 2008(75) (2008) - 2007
- [j31]Gerard J. Holzmann:
Conquering Complexity. Computer 40(12): 111-113 (2007) - [c47]Gerard J. Holzmann:
A Stack-Slicing Algorithm for Multi-Core Model Checking. PDMC@CAV 2007: 3-16 - 2006
- [j28]Gerard J. Holzmann:
The Power of 10: Rules for Developing Safety-Critical Code. Computer 39(6): 95-97 (2006) - 2005
- [j27]Gerard J. Holzmann:
Software model checking with SPIN. Adv. Comput. 65: 78-109 (2005) - 2004
- [b2]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 - [c42]Gerard J. Holzmann:
Formal methods and software reliability. MEMOCODE 2004: 145-146 - 2003
- [c39]Gerard J. Holzmann:
Trends in Software Verification. FME 2003: 40-50 - 2002
- [c38]Gerard J. Holzmann:
Software Analysis and Model Checking. CAV 2002: 1-16 - [c36]Gerard J. Holzmann:
The logic of bugs. SIGSOFT FSE 2002: 81-87 - 2001
- [c35]Gerard J. Holzmann:
From Code to Models. ACSD 2001: 3-10 - [c34]Gerard J. Holzmann:
Economics of software verification. PASTE 2001: 80-85 - 2000
- [j23]Gerard J. Holzmann:
Software verification at Bell Labs: One line of development. Bell Labs Tech. J. 5(1): 35-45 (2000) - [c31]Gerard J. Holzmann:
Logic Verification of ANSI-C Code with SPIN. SPIN 2000: 131-147 - 1999
- [c27]Gerard J. Holzmann:
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. SPIN 1999: 232-244 - 1998
- [j18]Gerard J. Holzmann:
An Analysis of Bitstate Hashing. Formal Methods Syst. Des. 13(3): 289-307 (1998) - [c26]Gerard J. Holzmann:
On Checking Model Checkers. CAV 1998: 61-70 - [c25]Gerard J. Holzmann:
Designing executable abstractions. FMSP 1998: 103-108 - 1997
- [j16]Gerard J. Holzmann:
Designing bug-free protocols with SPIN. Comput. Commun. 20(2): 97-105 (1997) - [j15]Gerard J. Holzmann:
The Model Checker SPIN. IEEE Trans. Software Eng. 23(5): 279-295 (1997) - 1996
- [j13]Gerard J. Holzmann:
On-The-Fly Model Checking. ACM Comput. Surv. 28(4es): 120 (1996) - [j12]Gerard J. Holzmann:
Early Fault Detection Tools. Softw. Concepts Tools 17(2): 63-69 (1996) - [c17]Gerard J. Holzmann:
Formal Methods for Early Fault Detection. FTRTFT 1996: 40-54 - [c16]Gerard J. Holzmann:
Early Fault Detection Tools. TACAS 1996: 1-13 - 1995
- [c14]Gerard J. Holzmann:
Tutorial: Proving Properties of Concurrent System with SPIN. CONCUR 1995: 453-455 - [c13]Gerard J. Holzmann:
An analysis of bistate hashing. PSTV 1995: 301-314 - 1994
- [c11]Gerard J. Holzmann:
Proving the value of formal methods. FORTE 1994: 385-396 - [c10]Gerard J. Holzmann:
The Theory and Practice of A Formal Method: NewCoRe. IFIP Congress (1) 1994: 35-44 - [c9]Gerard J. Holzmann:
Data Communications: The First 2500 Years. IFIP Congress (2) 1994: 271-278 - 1993
- [j9]Gerard J. Holzmann:
Design and Validation of Protocols: A Tutorial. Comput. Networks ISDN Syst. 25(9): 981-1017 (1993) - [j8]Gerard J. Holzmann:
Standardized Protocol Interfaces. Softw. Pract. Exp. 23(7): 711-731 (1993) - 1992
- [j7]Gerard J. Holzmann:
Practical methods for the formal validation of SDL specifications. Comput. Commun. 15(2): 129-134 (1992) - [j6]Gerard J. Holzmann:
Protocol Design: Redefining the State of the Art. IEEE Softw. 9(1): 17-22 (1992) - 1988
- [j5]Gerard J. Holzmann:
An Improved Protocol Reachability Analysis Technique. Softw. Pract. Exp. 18(2): 137-161 (1988) - 1987
- [j4]Gerard J. Holzmann:
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. IEEE Trans. Software Eng. 13(6): 683-696 (1987) - [c4]Gerard J. Holzmann:
On Limits and Possibilities of Automated Protocol Analysis. PSTV 1987: 339-344 - 1985
- [j3]Gerard J. Holzmann:
Tracing protocols. AT&T Tech. J. 64(10): 2413-2433 (1985) - 1984
- [j2]Gerard J. Holzmann:
The Pandora System: An Interactive System for the Design of Data Communication Protocols. Comput. Networks 8: 71-79 (1984) - [c3]Gerard J. Holzmann:
Backward Symbolic Execution of Protocols. PSTV 1984: 19-30 - 1982
- [j1]Gerard J. Holzmann:
A Theory for Protocol Validation. IEEE Trans. Computers 31(8): 730-738 (1982) - [c1]Gerard J. Holzmann:
Algebraic Validation Methods-A Comparison of Three Techniques. PSTV 1982: 383-390
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
