Klaus Havelund

	2012
75		Oleg Sokolsky, Klaus Havelund, Insup Lee: Introduction to the special section on runtime verification. STTT 14(3): 243-247 (2012)
	2011
74		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
73		Klaus Havelund, Gerard J. Holzmann: Software certification: coding, code, and coders. EMSOFT 2011: 205-210
72		Howard Barringer, Klaus Havelund: TraceContract: A Scala DSL for Trace Analysis. FM 2011: 57-72
71		Howard Barringer, Klaus Havelund: Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3
70		Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok: Runtime Verification with State Estimation. RV 2011: 193-207
	2010
69		Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Springer 2010
68		Alex Groce, Klaus Havelund, Margaret H. Smith: From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138
67		Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Aspect-Oriented Instrumentation with GCC. RV 2010: 405-420
66		Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang: Detection of deadlock potentials in multithreaded programs. IBM Journal of Research and Development 54(5): 3 (2010)
65		Eric Bodden, Klaus Havelund: Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010)
64		Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20(3): 675-706 (2010)
	2009
63		Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith: An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA 2009: 16-21
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): 201-202 (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): 200-217 (2001)
20		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 55(2): 287-288 (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 UPPAAL. 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	Rahul Agarwal	[66]
2	Perry Alexander	[9]
3	Cyrille Artho (Cyrille Valentin Artho)	[28] [30] [32] [38] [40] [41] [55]
4	Howard Barringer	[37] [39] [41] [54] [62] [63] [64] [69] [71] [72]
5	Ezio Bartocci	[70]
6	Saddek Bensalem	[48] [49] [66]
7	Armin Biere	[28] [30] [40]
8	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[74]
9	Eric Bodden	[59] [65]
10	Guillaume P. Brat	[17] [29] [34]
11	Ketan Dixit	[67]
12	Doron Drusinsky	[32] [34]
13	Yaniv Eytani	[51]
14	Yliès Falcone	[69]
15	Eitan Farchi	[66]
16	Jean-Claude Fernandez	[49]
17	Bernd Finkbeiner	[52] [53] [61] [69]
18	Chris George	[1] [2]
19	Dimitra Giannakopoulou	[23] [34]
20	Allen Goldberg	[32] [34] [37] [39] [41] [46] [47]
21	Alex Groce	[58] [62] [63] [68]
22	Radu Grosu	[67] [70]
23	Gerard J. Holzmann	[58] [73] [74]
24	Shinichi Honiden	[55]
25	Xiaowan Huang	[67]
26	Rajeev Joshi	[58] [74]
27	Lina Khatib	[16] [22]
28	Sarfraz Khurshid	[41]
29	Kim Guldstrand Larsen (Kim G. Larsen)	[3] [4] [5] [8] [13]
30	Insup Lee	[69] [75]
31	Flavio Lerda	[29]
32	Michael R. Lowry	[7] [19] [32] [34] [41]
33	K. Lund	[8]
34	Rupak Majumdar	[60]
35	Laurent Mounier	[49]
36	Nicola Muscettola	[16] [22]
37	Mogens Nielsen	[1] [2]
38	Yarden Nir-Buchbinder (Yarden Nir)	[66]
39	Manuel Núñez	[50]
40	Gordon J. Pace	[69]
41	Jens Palsberg	[60]
42	Seungjoon Park	[17] [29]
43	Corina S. Pasareanu	[32] [34] [41]
44	John Penix	[7] [9] [18] [19]
45	Thomas Pressburger	[14]
46	Grigore Rosu	[20] [21] [24] [26] [27] [32] [33] [35] [36] [41] [42] [43] [44] [50] [52] [53] [61] [69]
47	David E. Rydeheard	[54] [62] [64]
48	Koushik Sen	[37] [39] [41]
49	Justin Seyster	[67] [70]
50	Natarajan Shankar	[6]
51	Jens U. Skakkebæk	[10]
52	Arne Skou	[8] [13]
53	Margaret H. Smith	[57] [58] [63] [68]
54	Scott A. Smolka	[67] [70]
55	Oleg Sokolsky	[52] [53] [61] [69] [75]
56	Scott D. Stoller	[31] [51] [66] [67] [70]
57	Nikolai Tillmann	[69]
58	Shmuel Ur	[31] [51] [66]
59	Arnaud Venet	[34]
60	Willem Visser	[17] [18] [25] [29] [32] [34] [41]
61	Kim Ritter Wagner	[1] [2]
62	Liqiang Wang	[66]
63	Richard Washington	[34] [41]
64	Burkhart Wolff	[50]
65	Erez Zadok	[67] [70]
66	Marcelo d'Amorim	[45]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page