dblp.uni-trier.dewww.uni-trier.de

Klaus Havelund Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
62EEHoward 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
59EEEric Bodden, Klaus Havelund: Racer: effective race detection using aspectj. ISSTA 2008: 155-166
58EEKlaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
57EEMargaret H. Smith, Klaus Havelund: Requirements Capture with RCAT. RE 2008: 183-192
56EEKlaus Havelund: Runtime Verification of C Programs. TestCom/FATES 2008: 7-22
2007
55EECyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
54EEHoward Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125
53EEBernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
52EEBernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
51EEYaniv 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
49EESaddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
2005
48EESaddek 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
46EEKlaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383
45EEMarcelo d'Amorim, Klaus Havelund: Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
44EEGrigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005)
43EEKlaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 113: 1-2 (2005)
42EEKlaus Havelund, Grigore Rosu: Foreword. Formal Methods in System Design 27(3): 211-212 (2005)
41EECyrille 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
40EECyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
39EEHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
38EECyrille Artho, Klaus Havelund: Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308
37EEHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
36EEKlaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004)
35EEKlaus 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)
34EEGuillaume 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)
33EEKlaus Havelund, Grigore Rosu: Efficient monitoring of safety properties. STTT 6(2): 158-173 (2004)
2003
32EECyrille 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
31EEKlaus 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
29EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
28EECyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
2002
27EEKlaus Havelund, Grigore Rosu: Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356
26EEKlaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
25EEKlaus Havelund, Willem Visser: Program model checking as a new trend. STTT 4(1): 8-20 (2002)
2001
24EEKlaus Havelund, Grigore Rosu: Monitoring Programs Using Rewriting. ASE 2001: 135-143
23EEDimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
22EELina Khatib, Nicola Muscettola, Klaus Havelund: Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27
21EEKlaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
20EEKlaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
19EEKlaus 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
17EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
16EELina 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
14EEKlaus Havelund, Thomas Pressburger: Model Checking JAVA Programs using JAVA PathFinder. STTT 2(4): 366-381 (2000)
1999
13EEKlaus 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
11EEKlaus Havelund: Java PathFinder, A Translator from Java to Promela. SPIN 1999: 152
10EEKlaus Havelund, Jens U. Skakkebæk: Applying Model Checking in Java Verification. SPIN 1999: 216-231
1997
9EEJohn Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
8EEKlaus 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
7EEMichael R. Lowry, Klaus Havelund, John Penix: Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47
1996
6EEKlaus 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
3EEKlaus 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
1EEMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. VDM Europe 1988: 376-405

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)