Gerard J. Holzmann

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 32

Top Venues

IEEE Softw.

SPIN

Ann. Math. Artif. Intell.

SYNT

Publications

Klaus Havelund, Gerard J. Holzmann
Programming event monitors. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok
Metis: File System Model Checking via Versatile Input and State Exploration. FAST (2024)
Gerard J. Holzmann
Comparing Two Methods for Checking Runtime Properties. Formal Methods in Outer Space (2021)
Gerard J. Holzmann
Right Code. IEEE Softw. 38 (1) (2021)
Gerard J. Holzmann
Interactive analysis of large code bases (invited talk). ESEC/SIGSOFT FSE (2021)
Gerard J. Holzmann
Keeping It Simple: Agile Analysis. IEEE Softw. 38 (3) (2021)
Wei Su, Yifei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning
Model-Checking Support for File System Development. HotStorage (2021)
Gerard J. Holzmann
Predicting the Past. IEEE Softw. 37 (2) (2020)
Gerard J. Holzmann
Test Fatigue. IEEE Softw. 37 (4) (2020)
Gerard J. Holzmann
Code Mining. IEEE Softw. 36 (2) (2019)
Gerard J. Holzmann
Does Not Compute. IEEE Softw. 36 (3) (2019)
Gerard J. Holzmann
Formalizing Requirements Is \Diamond \Box Hard. From Reactive Systems to Cyber-Physical Systems (2019)
Gerard J. Holzmann
Code Overload. IEEE Softw. 36 (6) (2019)
Gerard J. Holzmann
Code Vault. IEEE Softw. 35 (5) (2018)
Gerard J. Holzmann
Curve Balls. IEEE Softw. 35 (2) (2018)
Gerard J. Holzmann
Software Components. IEEE Softw. 35 (3) (2018)
Gerard J. Holzmann
Ends and Means. IEEE Softw. 35 (1) (2018)
Gerard J. Holzmann
Cobra - an interactive static code analyzer. ASE (2017)
Gerard J. Holzmann
Cobra: a light-weight tool for static and dynamic program analysis. Innov. Syst. Softw. Eng. 13 (1) (2017)
Gerard J. Holzmann
A Tale of Three Programs. IEEE Softw. 34 (3) (2017)
Gerard J. Holzmann
Code Craft. IEEE Softw. 34 (2) (2017)
Gerard J. Holzmann
The Value of Doubt. IEEE Softw. 34 (1) (2017)
Gerard J. Holzmann
Cobra: fast structural code checking (keynote). SPIN (2017)
Gerard J. Holzmann
Randomly Right. IEEE Softw. 34 (5) (2017)
Gerard J. Holzmann
Dead Programs. IEEE Softw. 34 (4) (2017)
Gerard J. Holzmann
Frequently Unanswered Questions. IEEE Softw. 33 (3) (2016)
Gerard J. Holzmann
Cloud-Based Verification of Concurrent Software. VMCAI (2016)
Gerard J. Holzmann
Brace Yourself. IEEE Softw. 33 (5) (2016)
Gerard J. Holzmann
The Weakest Link. IEEE Softw. 33 (4) (2016)
Gerard J. Holzmann
Tiny Tools. IEEE Softw. 33 (1) (2016)
Gerard J. Holzmann
Hi Maintenance. IEEE Softw. 33 (6) (2016)
Gerard J. Holzmann
Code Clarity. IEEE Softw. 33 (2) (2016)
Gerard J. Holzmann
Points of Truth. IEEE Softw. 32 (4) (2015)
Gerard J. Holzmann
Assertive Testing. IEEE Softw. 32 (3) (2015)
Gerard J. Holzmann
Out of Bounds. IEEE Softw. 32 (6) (2015)
Gerard J. Holzmann
Code Evasion. IEEE Softw. 32 (5) (2015)
Gerard J. Holzmann
To Code Is Human. IEEE Softw. 32 (1) (2015)
Gerard J. Holzmann
Code Inflation. IEEE Softw. 32 (2) (2015)
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
A multi-paradigm language for reactive synthesis. SYNT (2015)
Ioannis Filippidis, Gerard J. Holzmann
An improvement of the piggyback algorithm for parallel model checking. SPIN (2014)
Gerard J. Holzmann
Fault Intolerance [Reliable Code]. IEEE Softw. 31 (6) (2014)
Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70 (4) (2014)
Gerard J. Holzmann
Mars code. Commun. ACM 57 (2) (2014)
Gerard J. Holzmann
A Three-Step Program for Recovering Hackers. Computer 46 (6) (2013)
Barry W. Boehm, Gerard J. Holzmann
Keynote speaker 1: The economics of systems and software reliability. ISSRE (2013)
Gerard J. Holzmann
Landing a Spacecraft on Mars. IEEE Softw. 30 (2) (2013)
Gerard J. Holzmann
Proving Properties of Concurrent Programs - (Extended Abstract). SPIN (2013)
Gerard J. Holzmann
Parallelizing the Spin Model Checker. SPIN (2012)
Mihai Florian, Edward B. Gamble, Gerard J. Holzmann
Logic Model Checking of Time-Periodic Real-Time Systems. Infotech@Aerospace (2012)
Gerard J. Holzmann, Mihai Florian
Model checking with bounded context switching. Formal Aspects Comput. 23 (3) (2011)
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
Swarm Verification Techniques. IEEE Trans. Software Eng. 37 (6) (2011)
Klaus Havelund, Gerard J. Holzmann
Software certification: coding, code, and coders. EMSOFT (2011)
Gerard J. Holzmann
Reliable Software Development: Analysis-Aware Design. TACAS (2011)
Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC (2011)
Gerard J. Holzmann
SCRUB: a tool for code reviews. Innov. Syst. Softw. Eng. 6 (4) (2010)
Gerard J. Holzmann
Formal Software Verification: How Close Are We? FMOODS/FORTE (2010)
Gerard J. Holzmann
A Stack-Slicing Algorithm for Multi-Core Model Checking. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
Automated Testing of Planning Models. MoChArt (2008)
Gerard J. Holzmann
Software Safety and Rocket Science. ERCIM News 2008 (75) (2008)
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
Tackling Large Verification Problems with the Swarm Tool. SPIN (2008)
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
Swarm Verification. ASE (2008)
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
New Challenges in Model Checking. 25 Years of Model Checking (2008)
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
Model driven code checking. Autom. Softw. Eng. 15 (3-4) (2008)
Rajeev Joshi, Gerard J. Holzmann
A mini challenge: build a verifiable filesystem. Formal Aspects Comput. 19 (2) (2007)
Gerard J. Holzmann, Dragan Bosnacki
The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng. 33 (10) (2007)
Gerard J. Holzmann, Dragan Bosnacki
Multi-Core Model Checking with SPIN. IPDPS (2007)
Gerard J. Holzmann
Conquering Complexity. Computer 40 (12) (2007)
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
Randomized Differential Testing as a Prelude to Formal Verification. ICSE (2007)
Gerard J. Holzmann
The Power of 10: Rules for Developing Safety-Critical Code. Computer 39 (6) (2006)
Dragan Bosnacki, Gerard J. Holzmann
Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN (2005)
Gerard J. Holzmann, Rajeev Joshi
Reliable Software Systems Design: Defect Prevention, Detection, and Containment. VSTTE (2005)
Rajeev Joshi, Gerard J. Holzmann
A Mini Challenge: Build a Verifiable Filesystem. VSTTE (2005)
Gerard J. Holzmann
Software model checking with SPIN. Adv. Comput. 65 (2005)
Gerard J. Holzmann, Theo C. Ruys
Effective Bug Hunting with Spin and Modex. SPIN (2005)
Gerard J. Holzmann, Rajeev Joshi
Model-Driven Software Verification. SPIN (2004)
Gerard J. Holzmann
Formal methods and software reliability. MEMOCODE (2004)
Theo C. Ruys, Gerard J. Holzmann
Advanced SPIN Tutorial. SPIN (2004)
Gerard J. Holzmann
Trends in Software Verification. FME (2003)
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. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Gerard J. Holzmann, Margaret H. Smith
An Automated Verification Method for Distributed Systems Software Based on Model Extraction. IEEE Trans. Software Eng. 28 (4) (2002)
Gerard J. Holzmann
The logic of bugs. SIGSOFT FSE (2002)
Gerard J. Holzmann
Software Analysis and Model Checking. CAV (2002)
Dennis Dams, William Hesse, Gerard J. Holzmann
Abstracting C with abC. CAV (2002)
Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. RE (2001)
Gerard J. Holzmann
Economics of software verification. PASTE (2001)
Gerard J. Holzmann
From Code to Models. ACSD (2001)
Gerard J. Holzmann, Margaret H. Smith
Software model checking: extracting verification models from source code. Softw. Test. Verification Reliab. 11 (2) (2001)
Gerard J. Holzmann, Margaret H. Smith
Automating software feature verification. Bell Labs Tech. J. 5 (2) (2000)
Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
SPIN Model Checking: An Introduction. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Kousha Etessami, Gerard J. Holzmann
Optimizing Büchi Automata. CONCUR (2000)
Gerard J. Holzmann
Software verification at Bell Labs: One line of development. Bell Labs Tech. J. 5 (1) (2000)
Gerard J. Holzmann
Logic Verification of ANSI-C Code with SPIN. SPIN (2000)
Gerard J. Holzmann, Anuj Puri
A Minimized Automaton Representation of Reachable States. Int. J. Softw. Tools Technol. Transf. 2 (3) (1999)
Gerard J. Holzmann, Margaret H. Smith
Software Model Checking. FORTE (1999)
Gerard J. Holzmann, Margaret H. Smith
A Practical Method for Verifying Event-Driven Software. ICSE (1999)
Stefan Leue, Gerard J. Holzmann
v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC (1999)
Gerard J. Holzmann
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. SPIN (1999)
Gerard J. Holzmann, Margaret H. Smith
Interval reduction through requirements analysis. Bell Labs Tech. J. 3 (2) (1998)
Gerard J. Holzmann
On Checking Model Checkers. CAV (1998)
Gerard J. Holzmann
Designing executable abstractions. FMSP (1998)

Gerard J. Holzmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gerard J. Holzmann