Klaus Havelund

	2009
62		Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
	2008
61		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: Runtime Verification, 02.01. - 06.01.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
60		Klaus Havelund, Rupak Majumdar, Jens Palsberg: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings Springer 2008
59		Eric Bodden, Klaus Havelund: Racer: effective race detection using aspectj. ISSTA 2008: 155-166
58		Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
57		Margaret H. Smith, Klaus Havelund: Requirements Capture with RCAT. RE 2008: 183-192
56		Klaus Havelund: Runtime Verification of C Programs. TestCom/FATES 2008: 7-22
	2007
55		Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
54		Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125
53		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
52		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
51		Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur: Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurrency and Computation: Practice and Experience 19(3): 267-279 (2007)
	2006
50		Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers Springer 2006
49		Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
	2005
48		Saddek Bensalem, Klaus Havelund: Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223
47		Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
46		Klaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383
45		Marcelo d'Amorim, Klaus Havelund: Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
44		Grigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005)
43		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 113: 1-2 (2005)
42		Klaus Havelund, Grigore Rosu: Foreword. Formal Methods in System Design 27(3): 211-212 (2005)
41		Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
	2004
40		Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
39		Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
38		Cyrille Artho, Klaus Havelund: Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308
37		Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
36		Klaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004)
35		Klaus Havelund, Grigore Rosu: Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods in System Design 24(2): 99-100 (2004)
34		Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004)
33		Klaus Havelund, Grigore Rosu: Efficient monitoring of safety properties. STTT 6(2): 158-173 (2004)
	2003
32		Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
31		Klaus Havelund, Scott D. Stoller, Shmuel Ur: Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286
30		Cyrille Artho, Klaus Havelund, Armin Biere: High-Level Data Races. NDDL/VVEIS 2003: 82-93
29		Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
28		Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
	2002
27		Klaus Havelund, Grigore Rosu: Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356
26		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
25		Klaus Havelund, Willem Visser: Program model checking as a new trend. STTT 4(1): 8-20 (2002)
	2001
24		Klaus Havelund, Grigore Rosu: Monitoring Programs Using Rewriting. ASE 2001: 135-143
23		Dimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
22		Lina Khatib, Nicola Muscettola, Klaus Havelund: Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27
21		Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
20		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
19		Klaus Havelund, Michael R. Lowry, John Penix: Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Trans. Software Eng. 27(8): 749-765 (2001)
	2000
18		Klaus Havelund, John Penix, Willem Visser: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings Springer 2000
17		Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
16		Lina Khatib, Nicola Muscettola, Klaus Havelund: Verification of Plan Models Using UPPAAL. FAABS 2000: 114-122
15		Klaus Havelund: Using Runtime Analysis to Guide Model Checking of Java Programs. SPIN 2000: 245-264
14		Klaus Havelund, Thomas Pressburger: Model Checking JAVA Programs using JAVA PathFinder. STTT 2(4): 366-381 (2000)
	1999
13		Klaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
12		Klaus Havelund: Mechanical Verification of a Garbage Collector. IPPS/SPDP Workshops 1999: 1258-1283
11		Klaus Havelund: Java PathFinder, A Translator from Java to Promela. SPIN 1999: 152
10		Klaus Havelund, Jens U. Skakkebæk: Applying Model Checking in Java Verification. SPIN 1999: 216-231
	1997
9		John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
8		Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAA. IEEE Real-Time Systems Symposium 1997: 2-13
7		Michael R. Lowry, Klaus Havelund, John Penix: Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47
	1996
6		Klaus Havelund, Natarajan Shankar: Experiments in Theorem Proving and Model Checking for Protocol Verification. FME 1996: 662-681
	1994
5		Klaus Havelund, Kim Guldstrand Larsen: A refinement logic for the fork calculus. PSTV 1994: 5-20
4		Klaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. Nord. J. Comput. 1(3): 346-363 (1994)
	1993
3		Klaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. ICALP 1993: 544-557
	1989
2		Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. Formal Asp. Comput. 1(1): 85-114 (1989)
	1988
1		Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. VDM Europe 1988: 376-405

Coauthor Index

1	Perry Alexander	[9]
2	Cyrille Artho	[28] [30] [32] [38] [40] [41] [55]
3	Howard Barringer	[37] [39] [41] [54] [62]
4	Saddek Bensalem	[48] [49]
5	Armin Biere	[28] [30] [40]
6	Eric Bodden	[59]
7	Guillaume P. Brat	[17] [29] [34]
8	Doron Drusinsky	[32] [34]
9	Yaniv Eytani	[51]
10	Jean-Claude Fernandez	[49]
11	Bernd Finkbeiner	[52] [53] [61]
12	Chris George	[1] [2]
13	Dimitra Giannakopoulou	[23] [34]
14	Allen Goldberg	[32] [34] [37] [39] [41] [46] [47]
15	Alex Groce	[58] [62]
16	Gerard J. Holzmann	[58]
17	Shinichi Honiden	[55]
18	Rajeev Joshi	[58]
19	Lina Khatib	[16] [22]
20	Sarfraz Khurshid	[41]
21	Kim Guldstrand Larsen (Kim G. Larsen)	[3] [4] [5] [8] [13]
22	Flavio Lerda	[29]
23	Michael R. Lowry	[7] [19] [32] [34] [41]
24	K. Lund	[8]
25	Rupak Majumdar	[60]
26	Laurent Mounier	[49]
27	Nicola Muscettola	[16] [22]
28	Mogens Nielsen	[1] [2]
29	Manuel Núñez	[50]
30	Jens Palsberg	[60]
31	Seungjoon Park	[17] [29]
32	Corina S. Pasareanu	[32] [34] [41]
33	John Penix	[7] [9] [18] [19]
34	Thomas Pressburger	[14]
35	Grigore Rosu	[20] [21] [24] [26] [27] [32] [33] [35] [36] [41] [42] [43] [44] [50] [52] [53] [61]
36	David E. Rydeheard	[54] [62]
37	Koushik Sen	[37] [39] [41]
38	Natarajan Shankar	[6]
39	Jens U. Skakkebæk	[10]
40	Arne Skou	[8] [13]
41	Margaret H. Smith	[57] [58]
42	Oleg Sokolsky	[52] [53] [61]
43	Scott D. Stoller	[31] [51]
44	Shmuel Ur	[31] [51]
45	Arnaud Venet	[34]
46	Willem Visser	[17] [18] [25] [29] [32] [34] [41]
47	Kim Ritter Wagner	[1] [2]
48	Richard Washington	[34] [41]
49	Burkhart Wolff	[50]
50	Marcelo d'Amorim	[45]

Colors in the list of coauthors