Klaus Havelund - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

TraceContract: A Scala DSL for Trace AnalysisHoward Barringer, Klaus Havelund. fm 2011: 57-72 [doi]

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. ProceedingsMihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, Volume 6617 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2010

Detection of deadlock potentials in multithreaded programsRahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang. ibmrd, 54(5):3, 2010. [doi]

Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ProceedingsHoward Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Volume 6418 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Rule Systems for Run-time Monitoring: from Eagle to RuleRHoward Barringer, David E. Rydeheard, Klaus Havelund. logcom, 20(3):675-706, 2010. [doi]

Aspect-Oriented Race Detection in JavaEric Bodden, Klaus Havelund. TSE, 36(4):509-527, 2010. [doi]

From scripts to specifications: the evolution of a flight software testing effortAlex Groce, Klaus Havelund, Margaret H. Smith. ICSE 2010: 129-138 [doi]

Aspect-Oriented Instrumentation with GCCJustin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok. RV 2010: 405-420 [doi]

2009

Rule Systems for Runtime Verification: A Short TutorialHoward Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce. RV 2009: 1-24 [doi]

2008

Racer: effective race detection using aspectjEric Bodden, Klaus Havelund. ISSTA 2008: 155-166 [doi]

Runtime Verification, 02.01. - 06.01.2007Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky, editors, Volume 07011 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.

Automated Testing of Planning ModelsKlaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith. mochart 2009: 90-105 [doi]

Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, ProceedingsKlaus Havelund, Rupak Majumdar, Jens Palsberg, editors, Volume 5156 of Lecture Notes in Computer Science, Springer, 2008.

Runtime Verification of C ProgramsKlaus Havelund. pts 2008: 7-22 [doi]

Requirements Capture with RCATMargaret H. Smith, Klaus Havelund. RE 2008: 183-192 [doi]

2007

2006

Confirmation of deadlock potentials detected by runtime analysisSaddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier. ISSTA 2006: 41-50 [doi]

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 PapersKlaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff, editors, Volume 4262 of Lecture Notes in Computer Science, Springer, 2006.

2005

Combining test case generation and runtime verificationCyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington. TCS, 336(2-3):209-234, 2005. [doi]

Dynamic Deadlock Analysis of Multi-threaded ProgramsSaddek Bensalem, Klaus Havelund. hvc 2006: 208-223 [doi]

Event-based runtime verification of java programsMarcelo d Amorim, Klaus Havelund. sigsoft, 30(4):1-7, 2005. [doi]

Automated Runtime Verification with EagleAllen Goldberg, Klaus Havelund. vveis 2005:

Verify Your RunsKlaus Havelund, Allen Goldberg. vstte 2008: 374-383 [doi]

PrefaceKlaus Havelund, Grigore Rosu. ENTCS, 113:1-2, 2005. [doi]

ForewordKlaus Havelund, Grigore Rosu. fmsd, 27(3):211-212, 2005. [doi]

Rewriting-Based Techniques for Runtime VerificationGrigore Rosu, Klaus Havelund. ASE, 12(2):151-197, 2005. [doi]

2004

Applying Jlint to Space Exploration SoftwareCyrille Artho, Klaus Havelund. vmcai 2004: 297-308 [doi]

Using Block-Local Atomicity to Detect Stale-Value Concurrency ErrorsCyrille Artho, Klaus Havelund, Armin Biere. ATVA 2004: 150-164 [doi]

Program Monitoring with LTL in EAGLEHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen. ipps 2004: [doi]

Rule-Based Runtime VerificationHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen. vmcai 2004: 44-57 [doi]

Experimental Evaluation of Verification and Validation Tools on Martian Rover SoftwareGuillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington. fmsd, 25(2-3):167-198, 2004. [doi]

Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV 01)Klaus Havelund, Grigore Rosu. fmsd, 24(2):99-100, 2004. [doi]

Efficient monitoring of safety propertiesKlaus Havelund, Grigore Rosu. STTT, 6(2):158-173, 2004. [doi]

An Overview of the Runtime Verification Tool Java PathExplorerKlaus Havelund, Grigore Rosu. fmsd, 24(2):189-215, 2004. [doi]

2003

2002

Synthesizing Monitors for Safety PropertiesKlaus Havelund, Grigore Rosu. TACAS 2002: 342-356 [doi]

PrefaceKlaus Havelund, Grigore Rosu. ENTCS, 70(4), 2002. [doi]

Program model checking as a new trendKlaus Havelund, Willem Visser. STTT, 4(1):8-20, 2002. [doi]

2001

2000

Model Checking JAVA Programs using JAVA PathFinderKlaus Havelund, Thomas Pressburger. STTT, 2(4):366-381, 2000. [doi]

SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, ProceedingsKlaus Havelund, John Penix, Willem Visser, editors, Volume 1885 of Lecture Notes in Computer Science, Springer, 2000.

Using Runtime Analysis to Guide Model Checking of Java ProgramsKlaus Havelund. spin 2000: 245-264

Verification of Plan Models Using UPPAALLina Khatib, Nicola Muscettola, Klaus Havelund. faabs 2001: 114-122 [doi]

Model Checking ProgramsWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park. ASE 2000: 3-12 [doi]

1999

Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAALKlaus Havelund, Kim Guldstrand Larsen, Arne Skou. arts 1999: 277-298 [doi]

Mechanical Verification of a Garbage CollectorKlaus Havelund. ipps 1999: 1258-1283

Java PathFinder, A Translator from Java to PromelaKlaus Havelund. spin 1999: 152 [doi]

Applying Model Checking in Java VerificationKlaus Havelund, Jens U. Skakkebæk. spin 1999: 216-231 [doi]

1997

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund. rtss 1997: 2-13 [doi]

Verification and Validation of AI Systems that Control Deep-Space SpacecraftMichael R. Lowry, Klaus Havelund, John Penix. ismis 1997: 35-47

Declarative Specification of Software ArchitecturesJohn Penix, Perry Alexander, Klaus Havelund. jckbse 1997: 201 [doi]

1996

Experiments in Theorem Proving and Model Checking for Protocol VerificationKlaus Havelund, Natarajan Shankar. fm 1996: 662-681

1994

The Fork CalculusKlaus Havelund, Kim Guldstrand Larsen. njc, 1(3):346-363, 1994.

A refinement logic for the fork calculusKlaus Havelund, Kim Guldstrand Larsen. pstv 1995: 5-20

1993

The Fork CalculusKlaus Havelund, Kim Guldstrand Larsen. icalp 1993: 544-557

1989

The RAISE Language, Method and ToolsMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. fac, 1(1):85-114, 1989.

1988

The RAISE Language, Method and ToolsMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. fm 1988: 376-405