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 | EE | Eric Bodden, Klaus Havelund: Racer: effective race detection using aspectj. ISSTA 2008: 155-166 |
58 | EE | Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105 |
57 | EE | Margaret H. Smith, Klaus Havelund: Requirements Capture with RCAT. RE 2008: 183-192 |
56 | EE | Klaus Havelund: Runtime Verification of C Programs. TestCom/FATES 2008: 7-22 |
2007 | ||
55 | EE | Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546 |
54 | EE | Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125 |
53 | EE | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 |
52 | EE | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 |
51 | 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 | ||
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 | EE | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50 |
2005 | ||
48 | EE | 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 | EE | Klaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383 |
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 |