2008 |
78 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
New Challenges in Model Checking.
25 Years of Model Checking 2008: 65-76 |
77 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
Swarm Verification.
ASE 2008: 1-6 |
76 | EE | Klaus Havelund,
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
Margaret H. Smith:
Automated Testing of Planning Models.
MoChArt 2008: 90-105 |
75 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
Tackling Large Verification Problems with the Swarm Tool.
SPIN 2008: 134-143 |
74 | EE | Gerard J. Holzmann,
Rajeev Joshi,
Alex Groce:
Model driven code checking.
Autom. Softw. Eng. 15(3-4): 283-297 (2008) |
73 | EE | Gerard J. Holzmann:
A Stack-Slicing Algorithm for Multi-Core Model Checking.
Electr. Notes Theor. Comput. Sci. 198(1): 3-16 (2008) |
2007 |
72 | EE | Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification.
ICSE 2007: 621-631 |
71 | EE | Gerard J. Holzmann,
Dragan Bosnacki:
Multi-Core Model Checking with SPIN.
IPDPS 2007: 1-8 |
70 | EE | Rajeev Joshi,
Gerard J. Holzmann:
A mini challenge: build a verifiable filesystem.
Formal Asp. Comput. 19(2): 269-272 (2007) |
69 | EE | Gerard J. Holzmann:
Conquering Complexity.
IEEE Computer 40(12): 111-113 (2007) |
68 | EE | Gerard J. Holzmann,
Dragan Bosnacki:
The Design of a Multicore Extension of the SPIN Model Checker.
IEEE Trans. Software Eng. 33(10): 659-674 (2007) |
2006 |
67 | EE | Gerard J. Holzmann:
The Power of 10: Rules for Developing Safety-Critical Code.
IEEE Computer 39(6): 95-97 (2006) |
2005 |
66 | EE | Gerard J. Holzmann,
Theo C. Ruys:
Effective Bug Hunting with Spin and Modex.
SPIN 2005: 24-24 |
65 | EE | Dragan Bosnacki,
Gerard J. Holzmann:
Improving Spin's Partial-Order Reduction for Breadth-First Search.
SPIN 2005: 91-105 |
64 | EE | Gerard J. Holzmann,
Rajeev Joshi:
Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
VSTTE 2005: 237-244 |
63 | EE | Rajeev Joshi,
Gerard J. Holzmann:
A Mini Challenge: Build a Verifiable Filesystem.
VSTTE 2005: 49-56 |
62 | | Gerard J. Holzmann:
Software model checking with SPIN.
Advances in Computers 65: 78-109 (2005) |
2004 |
61 | EE | Gerard J. Holzmann:
Formal methods and software reliability.
MEMOCODE 2004: 145-146 |
60 | EE | Theo C. Ruys,
Gerard J. Holzmann:
Advanced SPIN Tutorial.
SPIN 2004: 304-305 |
59 | EE | Gerard J. Holzmann,
Rajeev Joshi:
Model-Driven Software Verification.
SPIN 2004: 76-91 |
2003 |
58 | EE | Gerard J. Holzmann:
Trends in Software Verification.
FME 2003: 40-50 |
57 | EE | 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.
STTT 4(4): 505-528 (2003) |
2002 |
56 | EE | Gerard J. Holzmann:
Software Analysis and Model Checking.
CAV 2002: 1-16 |
55 | EE | Dennis Dams,
William Hesse,
Gerard J. Holzmann:
Abstracting C with abC.
CAV 2002: 515-520 |
54 | EE | Gerard J. Holzmann:
The logic of bugs.
SIGSOFT FSE 2002: 81-87 |
53 | EE | Gerard J. Holzmann,
Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
IEEE Trans. Software Eng. 28(4): 364-377 (2002) |
2001 |
52 | EE | Gerard J. Holzmann:
From Code to Models.
ACSD 2001: 3-10 |
51 | EE | Gerard J. Holzmann:
Economics of software verification.
PASTE 2001: 80-85 |
50 | EE | Margaret H. Smith,
Gerard J. Holzmann,
Kousha Etessami:
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
RE 2001: 14-22 |
49 | | Gerard J. Holzmann,
Margaret H. Smith:
Software model checking: extracting verification models from source code.
Softw. Test., Verif. Reliab. 11(2): 65-79 (2001) |
2000 |
48 | EE | Kousha Etessami,
Gerard J. Holzmann:
Optimizing Büchi Automata.
CONCUR 2000: 153-167 |
47 | | Gerard J. Holzmann:
Logic Verification of ANSI-C Code with SPIN.
SPIN 2000: 131-147 |
46 | EE | Gerard J. Holzmann:
Software verification at Bell Labs: One line of development.
Bell Labs Technical Journal 5(1): 35-45 (2000) |
45 | EE | Gerard J. Holzmann,
Margaret H. Smith:
Automating software feature verification.
Bell Labs Technical Journal 5(2): 72-87 (2000) |
44 | EE | Gerard J. Holzmann,
Elie Najm,
Ahmed Serhrouchni:
SPIN Model Checking: An Introduction.
STTT 2(4): 321-327 (2000) |
1999 |
43 | | Gerard J. Holzmann,
Margaret H. Smith:
Software Model Checking.
FORTE 1999: 481-497 |
42 | EE | Gerard J. Holzmann,
Margaret H. Smith:
A Practical Method for Verifying Event-Driven Software.
ICSE 1999: 597-607 |
41 | EE | Stefan Leue,
Gerard J. Holzmann:
v-Promela: A Visual, Object-Oriented Language for SPIN.
ISORC 1999: 14-23 |
40 | EE | Gerard J. Holzmann:
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.
SPIN 1999: 232-244 |
39 | EE | Gerard J. Holzmann,
Anuj Puri:
A Minimized Automaton Representation of Reachable States.
STTT 2(3): 270-278 (1999) |
1998 |
38 | | Gerard J. Holzmann:
On Checking Model Checkers.
CAV 1998: 61-70 |
37 | EE | Gerard J. Holzmann:
Designing executable abstractions.
FMSP 1998: 103-108 |
36 | EE | Francis Schneider,
Steve M. Easterbrook,
John R. Callahan,
Gerard J. Holzmann:
Validating Requirements for Fault Tolerant Systems using Model Checking.
ICRE 1998: 4-13 |
35 | EE | Erich Mikk,
Yassine Lakhnech,
Michael Siegel,
Gerard J. Holzmann:
Implementing Statecharts in PROMELA/SPIN.
WIFT 1998: 90-101 |
34 | | Gerard J. Holzmann:
An Analysis of Bitstate Hashing.
Formal Methods in System Design 13(3): 289-307 (1998) |
1997 |
33 | EE | Gerard J. Holzmann:
Designing bug-free protocols with SPIN.
Computer Communications 20(2): 97-105 (1997) |
32 | EE | Gerard J. Holzmann:
The Model Checker SPIN.
IEEE Trans. Software Eng. 23(5): 279-295 (1997) |
1996 |
31 | | Gerard J. Holzmann,
Doron Peled:
The State of SPIN.
CAV 1996: 385-389 |
30 | | Gerard J. Holzmann:
Formal Methods for Early Fault Detection.
FTRTFT 1996: 40-54 |
29 | | Gerard J. Holzmann:
Early Fault Detection Tools.
TACAS 1996: 1-13 |
28 | | Rajeev Alur,
Gerard J. Holzmann,
Doron Peled:
An Analyser for Mesage Sequence Charts.
TACAS 1996: 35-48 |
27 | | Gerard J. Holzmann:
On-The-Fly Model Checking.
ACM Comput. Surv. 28(4es): 120 (1996) |
26 | EE | Jean-Pierre Courtiat,
Piotr Dembinski,
Gerard J. Holzmann,
Luigi Logrippo,
Harry Rudin,
Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Computer Networks and ISDN Systems 28(13): 1845-1855 (1996) |
25 | | Gerard J. Holzmann:
Early Fault Detection Tools.
Software - Concepts and Tools 17(2): 63-69 (1996) |
24 | | Rajeev Alur,
Gerard J. Holzmann,
Doron Peled:
An Analyzer for Message Sequence Charts.
Software - Concepts and Tools 17(2): 70-77 (1996) |
1995 |
23 | | Gerard J. Holzmann:
Tutorial: Proving Properties of Concurrent System with SPIN.
CONCUR 1995: 453-455 |
22 | | Gerard J. Holzmann:
An analysis of bistate hashing.
PSTV 1995: 301-314 |
21 | | Patrice Godefroid,
Gerard J. Holzmann,
Didier Pirottin:
State-Space Caching Revisited.
Formal Methods in System Design 7(3): 227-241 (1995) |
1994 |
20 | | Gerard J. Holzmann,
Doron Peled:
An improvement in formal verification.
FORTE 1994: 197-211 |
19 | | Gerard J. Holzmann:
Proving the value of formal methods.
FORTE 1994: 385-396 |
18 | | Gerard J. Holzmann:
The Theory and Practice of A Formal Method: NewCoRe.
IFIP Congress (1) 1994: 35-44 |
17 | | Gerard J. Holzmann:
Data Communications: The First 2500 Years.
IFIP Congress (2) 1994: 271-278 |
1993 |
16 | | Patrice Godefroid,
Gerard J. Holzmann:
On the Verification of Temporal Properties.
PSTV 1993: 109-124 |
15 | | Gerard J. Holzmann:
Design and Validation of Protocols: A Tutorial.
Computer Networks and ISDN Systems 25(9): 981-1017 (1993) |
14 | | Gerard J. Holzmann:
Standardized Protocol Interfaces.
Softw., Pract. Exper. 23(7): 711-731 (1993) |
1992 |
13 | | Patrice Godefroid,
Gerard J. Holzmann,
Didier Pirottin:
State-Space Caching Revisited.
CAV 1992: 178-191 |
12 | | Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin:
Coverage Preserving Reduction Strategies for Reachability Analysis.
PSTV 1992: 349-363 |
11 | EE | Gerard J. Holzmann:
Practical methods for the formal validation of SDL specifications.
Computer Communications 15(2): 129-134 (1992) |
10 | | Gerard J. Holzmann:
Protocol Design: Redefining the State of the Art.
IEEE Software 9(1): 17-22 (1992) |
1989 |
9 | | Gerard J. Holzmann,
Joanna Patti:
Validating SDL Specifications: an Experiment.
PSTV 1989: 317-326 |
1988 |
8 | | Gerard J. Holzmann:
An Improved Protocol Reachability Analysis Technique.
Softw., Pract. Exper. 18(2): 137-161 (1988) |
1987 |
7 | | Gerard J. Holzmann:
On Limits and Possibilities of Automated Protocol Analysis.
PSTV 1987: 339-344 |
6 | | Gerard J. Holzmann:
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching.
IEEE Trans. Software Eng. 13(6): 683-696 (1987) |
1984 |
5 | | Gerard J. Holzmann:
Backward Symbolic Execution of Protocols.
PSTV 1984: 19-30 |
4 | | Gerard J. Holzmann:
The Pandora System: An Interactive System for the Design of Data Communication Protocols.
Computer Networks 8: 71-79 (1984) |
1983 |
3 | | Gerard J. Holzmann,
Rob A. Beukers:
The Pandora Protocol Development System.
Protocol Specification, Testing, and Verification 1983: 357-368 |
1982 |
2 | | Gerard J. Holzmann:
Algebraic Validation Methods-A Comparison of Three Techniques.
PSTV 1982: 383-390 |
1 | | Gerard J. Holzmann:
A Theory for Protocol Validation.
IEEE Trans. Computers 31(8): 730-738 (1982) |