Klaus Havelund

2008
54		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
2007
53	EE	Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
52	EE	Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125
51	EE	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
50	EE	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
49	EE	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
48		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
2005
47	EE	Saddek Bensalem, Klaus Havelund: Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223
46		Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
45	EE	Marcelo d'Amorim, Klaus Havelund: Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
44	EE	Grigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005)
43	EE	Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 113: 1-2 (2005)
42	EE	Klaus Havelund, Grigore Rosu: Foreword. Formal Methods in System Design 27(3): 211-212 (2005)
41	EE	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	EE	Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
39	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
38	EE	Cyrille Artho, Klaus Havelund: Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308
37	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
36	EE	Klaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004)
35	EE	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	EE	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	EE	Klaus Havelund, Grigore Rosu: Efficient monitoring of safety properties. STTT 6(2): 158-173 (2004)
2003
32	EE	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	EE	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	EE	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
28	EE	Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
2002
27	EE	Klaus Havelund, Grigore Rosu: Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356
26	EE	Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
25	EE	Klaus Havelund, Willem Visser: Program model checking as a new trend. STTT 4(1): 8-20 (2002)
2001
24	EE	Klaus Havelund, Grigore Rosu: Monitoring Programs Using Rewriting. ASE 2001: 135-143
23	EE	Dimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
22	EE	Lina Khatib, Nicola Muscettola, Klaus Havelund: Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27
21	EE	Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
20	EE	Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
19	EE	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	EE	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
16	EE	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	EE	Klaus Havelund, Thomas Pressburger: Model Checking JAVA Programs using JAVA PathFinder. STTT 2(4): 366-381 (2000)
1999
13	EE	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	EE	Klaus Havelund: Java PathFinder, A Translator from Java to Promela. SPIN 1999: 152
10	EE	Klaus Havelund, Jens U. Skakkebæk: Applying Model Checking in Java Verification. SPIN 1999: 216-231
1997
9	EE	John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
8	EE	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] [53]
3	Howard Barringer	[37] [39] [41] [52]
4	Saddek Bensalem	[47]
5	Armin Biere	[28] [30] [40]
6	Guillaume P. Brat	[17] [29] [34]
7	Doron Drusinsky	[32] [34]
8	Yaniv Eytani	[49]
9	Bernd Finkbeiner	[50] [51] [54]
10	Chris George	[1] [2]
11	Dimitra Giannakopoulou	[23] [34]
12	Allen Goldberg	[32] [34] [37] [39] [41] [46]
13	Shinichi Honiden	[53]
14	Lina Khatib	[16] [22]
15	Sarfraz Khurshid	[41]
16	Kim Guldstrand Larsen	[3] [4] [5] [8] [13]
17	Flavio Lerda	[29]
18	Michael R. Lowry	[7] [19] [32] [34] [41]
19	K. Lund	[8]
20	Nicola Muscettola	[16] [22]
21	Mogens Nielsen	[1] [2]
22	Manuel Núñez	[48]
23	Seungjoon Park	[17] [29]
24	Corina S. Pasareanu	[32] [34] [41]
25	John Penix	[7] [9] [18] [19]
26	Thomas Pressburger	[14]
27	Grigore Rosu	[20] [21] [24] [26] [27] [32] [33] [35] [36] [41] [42] [43] [44] [48] [50] [51] [54]
28	David E. Rydeheard	[52]
29	Koushik Sen	[37] [39] [41]
30	Natarajan Shankar	[6]
31	Jens U. Skakkebæk	[10]
32	Arne Skou	[8] [13]
33	Oleg Sokolsky	[50] [51] [54]
34	Scott D. Stoller	[31] [49]
35	Shmuel Ur	[31] [49]
36	Arnaud Venet	[34]
37	Willem Visser	[17] [18] [25] [29] [32] [34] [41]
38	Kim Ritter Wagner	[1] [2]
39	Richard Washington	[34] [41]
40	Burkhart Wolff	[48]
41	Marcelo d'Amorim	[45]

Colors in the list of coauthors