Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Klaus Havelund
2010 – today
- 2013
[c49]- 2012
- [j25]Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok: InterAspect: aspect-oriented instrumentation with GCC. Formal Methods in System Design 41(3): 295-320 (2012)
- [j24]Oleg Sokolsky, Klaus Havelund, Insup Lee: Introduction to the special section on runtime verification. STTT 14(3): 243-247 (2012)
- [c48]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84
- [c47]
- [c46]
- 2011
- [c45]Klaus Havelund, Gerard J. Holzmann: Software certification: coding, code, and coders. EMSOFT 2011: 205-210
- [c44]
- [c43]Howard Barringer, Klaus Havelund: Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3
- [c42]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
- [e6]Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (Eds.): NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6617, Springer 2011, ISBN 978-3-642-20397-8
- 2010
- [j23]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)
- [j22]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)
- [j21]Eric Bodden, Klaus Havelund: Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010)
- [c41]Alex Groce, Klaus Havelund, Margaret H. Smith: From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138
- [c40]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
- [e5]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (Eds.): Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2
2000 – 2009
- 2009
- [c39]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
- [c38]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
- 2008
- [c37]
- [c36]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
- [c35]
- [c34]
- [e4]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (Eds.): Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- [e3]Klaus Havelund, Rupak Majumdar, Jens Palsberg (Eds.): Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Lecture Notes in Computer Science 5156, Springer 2008, ISBN 978-3-540-85113-4
- 2007
- [j20]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)
- [c33]Cyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
- [c32]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
- [c31]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
- [c30]Howard Barringer, David E. Rydeheard, Klaus Havelund: Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125
- 2006
- [c29]Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
- [e2]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.): 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. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8
- 2005
- [j19]Grigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005)
- [j18]
- [j17]
- [j16]Marcelo d'Amorim, Klaus Havelund: Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
- [j15]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)
- [c28]Saddek Bensalem, Klaus Havelund: Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223
- [c27]
- [c26]
- 2004
- [j14]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)
- [j13]Klaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004)
- [j12]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)
- [j11]
- [c25]Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
- [c24]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
- [c23]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
- [c22]
- 2003
- [j10]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
- [j9]Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
- [c21]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
- [c20]Klaus Havelund, Scott D. Stoller, Shmuel Ur: Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286
- [c19]
- 2002
- [j8]
- [j7]
- [c18]
- 2001
- [j6]Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): 200-217 (2001)
- [j5]
- [j4]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)
- [c17]
- [c16]Dimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
- [c15]Lina Khatib, Nicola Muscettola, Klaus Havelund: Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27
- 2000
- [j3]Klaus Havelund, Thomas Pressburger: Model Checking JAVA Programs using JAVA PathFinder. STTT 2(4): 366-381 (2000)
- [c14]Lina Khatib, Nicola Muscettola, Klaus Havelund: Verification of Plan Models Using UPPAAL. FAABS 2000: 114-122
- [c13]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
- [c12]
- [e1]Klaus Havelund, John Penix, Willem Visser (Eds.): SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1885, Springer 2000, ISBN 3-540-41030-9
1990 – 1999
- 1999
- [c11]Klaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
- [c10]
- [c9]
- [c8]
- 1997
- [c7]Michael R. Lowry, Klaus Havelund, John Penix: Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47
- [c6]John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
- [c5]Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS 1997: 2-13
- 1996
- [c4]Klaus Havelund, Natarajan Shankar: Experiments in Theorem Proving and Model Checking for Protocol Verification. FME 1996: 662-681
- 1994
- [j2]
- [c3]
- 1993
- [c2]
1980 – 1989
- 1989
- [j1]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. Formal Asp. Comput. 1(1): 85-114 (1989)
- 1988
- [c1]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. VDM Europe 1988: 376-405
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team