Gerard J. Holzmann

	2011
89		Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Springer 2011
88		Klaus Havelund, Gerard J. Holzmann: Software certification: coding, code, and coders. EMSOFT 2011: 205-210
87		Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann: Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC 2011: 280-281
86		Gerard J. Holzmann: Reliable Software Development: Analysis-Aware Design. TACAS 2011: 1-2
85		Gerard J. Holzmann, Mihai Florian: Model checking with bounded context switching. Formal Asp. Comput. 23(3): 365-389 (2011)
84		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011)
	2010
83		Gerard J. Holzmann: Formal Software Verification: How Close Are We? FMOODS/FORTE 2010: 1
82		Gerard J. Holzmann: SCRUB: a tool for code reviews. ISSE 6(4): 311-318 (2010)
	2008
81		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
80		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification. ASE 2008: 1-6
79		Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
78		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
77		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
76		Gerard J. Holzmann: Software Safety and Rocket Science. ERCIM News 2008(75): (2008)
75		Gerard J. Holzmann: A Stack-Slicing Algorithm for Multi-Core Model Checking. Electr. Notes Theor. Comput. Sci. 198(1): 3-16 (2008)
	2007
74		Alex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
73		Gerard J. Holzmann, Dragan Bosnacki: Multi-Core Model Checking with SPIN. IPDPS 2007: 1-8
72		Rajeev Joshi, Gerard J. Holzmann: A mini challenge: build a verifiable filesystem. Formal Asp. Comput. 19(2): 269-272 (2007)
71		Gerard J. Holzmann: Conquering Complexity. IEEE Computer 40(12): 111-113 (2007)
70		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
69		Gerard J. Holzmann: The Power of 10: Rules for Developing Safety-Critical Code. IEEE Computer 39(6): 95-97 (2006)
	2005
68		Gerard J. Holzmann, Theo C. Ruys: Effective Bug Hunting with Spin and Modex. SPIN 2005: 24-24
67		Dragan Bosnacki, Gerard J. Holzmann: Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105
66		Gerard J. Holzmann, Rajeev Joshi: Reliable Software Systems Design: Defect Prevention, Detection, and Containment. VSTTE 2005: 237-244
65		Rajeev Joshi, Gerard J. Holzmann: A Mini Challenge: Build a Verifiable Filesystem. VSTTE 2005: 49-56
64		Gerard J. Holzmann: Software model checking with SPIN. Advances in Computers 65: 78-109 (2005)
	2004
63		Gerard J. Holzmann: The SPIN Model Checker - primer and reference manual. Addison-Wesley 2004: I-XII, 1-596
62		Gerard J. Holzmann: Formal methods and software reliability. MEMOCODE 2004: 145-146
61		Theo C. Ruys, Gerard J. Holzmann: Advanced SPIN Tutorial. SPIN 2004: 304-305
60		Gerard J. Holzmann, Rajeev Joshi: Model-Driven Software Verification. SPIN 2004: 76-91
	2003
59		Gerard J. Holzmann: Trends in Software Verification. FME 2003: 40-50
58		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
57		Gerard J. Holzmann: Software Analysis and Model Checking. CAV 2002: 1-16
56		Dennis Dams, William Hesse, Gerard J. Holzmann: Abstracting C with abC. CAV 2002: 515-520
55		Gerard J. Holzmann: The logic of bugs. SIGSOFT FSE 2002: 81-87
54		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
53		Gerard J. Holzmann: From Code to Models. ACSD 2001: 3-10
52		Gerard J. Holzmann: Economics of software verification. PASTE 2001: 80-85
51		Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami: Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. RE 2001: 14-22
50		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
49		Kousha Etessami, Gerard J. Holzmann: Optimizing Büchi Automata. CONCUR 2000: 153-167
48		Gerard J. Holzmann: Logic Verification of ANSI-C Code with SPIN. SPIN 2000: 131-147
47		Gerard J. Holzmann: Software verification at Bell Labs: One line of development. Bell Labs Technical Journal 5(1): 35-45 (2000)
46		Gerard J. Holzmann, Margaret H. Smith: Automating software feature verification. Bell Labs Technical Journal 5(2): 72-87 (2000)
45		Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni: SPIN Model Checking: An Introduction. STTT 2(4): 321-327 (2000)
	1999
44		Gerard J. Holzmann, Margaret H. Smith: Software Model Checking. FORTE 1999: 481-497
43		Gerard J. Holzmann, Margaret H. Smith: A Practical Method for Verifying Event-Driven Software. ICSE 1999: 597-607
42		Stefan Leue, Gerard J. Holzmann: v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC 1999: 14-23
41		Gerard J. Holzmann: The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. SPIN 1999: 232-244
40		Gerard J. Holzmann, Anuj Puri: A Minimized Automaton Representation of Reachable States. STTT 2(3): 270-278 (1999)
	1998
39		Gerard J. Holzmann: On Checking Model Checkers. CAV 1998: 61-70
38		Gerard J. Holzmann: Designing executable abstractions. FMSP 1998: 103-108
37		Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann: Validating Requirements for Fault Tolerant Systems using Model Checking. ICRE 1998: 4-13
36		Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
35		Gerard J. Holzmann: An Analysis of Bitstate Hashing. Formal Methods in System Design 13(3): 289-307 (1998)
	1997
34		Gerard J. Holzmann: Designing bug-free protocols with SPIN. Computer Communications 20(2): 97-105 (1997)
33		Gerard J. Holzmann: The Model Checker SPIN. IEEE Trans. Software Eng. 23(5): 279-295 (1997)
	1996
32		Gerard J. Holzmann, Doron Peled: The State of SPIN. CAV 1996: 385-389
31		Gerard J. Holzmann: Formal Methods for Early Fault Detection. FTRTFT 1996: 40-54
30		Gerard J. Holzmann: Early Fault Detection Tools. TACAS 1996: 1-13
29		Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48
28		Gerard J. Holzmann: On-The-Fly Model Checking. ACM Comput. Surv. 28(4es): 120 (1996)
27		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)
26		Gerard J. Holzmann: Early Fault Detection Tools. Software - Concepts and Tools 17(2): 63-69 (1996)
25		Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. Software - Concepts and Tools 17(2): 70-77 (1996)
	1995
24		Gerard J. Holzmann, Björn Pehrson: The early history of data networks. IEEE 1995: I-XI, 1-291
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		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)

Coauthor Index

1	Rajeev Alur	[25] [29]
2	Rob A. Beukers	[3]
3	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[89]
4	Dragan Bosnacki	[67] [70] [73]
5	John R. Callahan	[37]
6	Jean-Pierre Courtiat	[27]
7	Dennis Dams	[56]
8	Piotr Dembinski	[27]
9	Yifei Dong	[58]
10	Xiaoqun Du	[58]
11	Steve M. Easterbrook	[37]
12	Kousha Etessami	[49] [51]
13	Mihai Florian	[85]
14	Edward B. Gamble Jr.	[87]
15	Patrice Godefroid	[12] [13] [16] [21]
16	Alex Groce	[74] [77] [78] [79] [80] [81] [84]
17	Klaus Havelund	[79] [88] [89]
18	William Hesse	[56]
19	Rajeev Joshi	[60] [65] [66] [72] [74] [77] [78] [79] [80] [81] [84] [89]
20	Yassine Lakhnech	[36]
21	Stefan Leue	[42]
22	Luigi Logrippo	[27]
23	Mark L. McKelvin Jr.	[87]
24	Erich Mikk	[36]
25	Elie Najm	[45]
26	Joanna Patti	[9]
27	Björn Pehrson	[24]
28	Doron Peled	[20] [25] [29] [32]
29	Didier Pirottin	[12] [13] [21]
30	Anuj Puri	[40]
31	Harry Rudin	[27]
32	Theo C. Ruys	[61] [68]
33	Francis Schneider	[37]
34	Ahmed Serhrouchni	[45]
35	Michael Siegel	[36]
36	Margaret H. Smith	[43] [44] [46] [50] [51] [54] [79]
37	Scott A. Smolka	[58]
38	Pamela Zave	[27]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page