Klaus Havelund

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 53

Top Venues

Int. J. Softw. Tools Technol. Transf.

ISoLA (2)

ISoLA (1)

Publications

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) (2024)
Alwyn E. Goodloe, Klaus Havelund
High-Integrity Runtime Verification. Computer 57 (4) (2024)
Klaus Havelund, Gerard J. Holzmann
Programming event monitors. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Wolfgang Ahrendt, Klaus Havelund
AI Assisted Programming - (AISoLA 2023 Track Introduction). AISoLA (2023)
Bevin Duckett, Klaus Havelund, Luke Stewart
Space Telemetry Analysis with PyContract. Applicable Formal Methods for Safe Industrial Products (2023)
Klaus Havelund, Doron Peled
Monitorability for Runtime Verification. RV (2023)
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
Concurrent runtime verification of data rich events. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Dennis Dams, Klaus Havelund, Sean Kauffman
A Python Library for Trace Analysis. RV (2022)
Dennis Dams, Klaus Havelund, Sean Kauffman
Runtime Verification as Documentation. ISoLA (2) (2022)
Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Klaus Havelund, Doron Peled
On monitoring linear temporal properties. Formal Methods Syst. Des. 60 (3) (2022)
Klaus Havelund
Specification-Based Monitoring in C++. ISoLA (1) (2022)
Klaus Havelund, Moran Omer, Doron Peled
Monitoring First-Order Interval Logic. SEFM (2021)
Klaus Havelund, Doron Peled
An extension of first-order LTL with rules with application to runtime verification. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Klaus Havelund, Robert Bocchino
Integrated Modeling and Development of Component-Based Embedded Software in Scala. ISoLA (2021)
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Klaus Havelund, Bernhard Steffen
Programming - What is Next? ISoLA (2021)
Klaus Havelund, Doron Peled
First-Order Timed Runtime Verification Using BDDs. ATVA (2020)
Klaus Havelund, Doron Peled, Dogan Ulus
First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. 56 (1) (2020)
Elif Kürklü, Klaus Havelund
A Flight Rule Checker for the LADEE Lunar Spacecraft. ICTAC (2020)
Klaus Havelund, Doron Peled
BDDs for Representing Data in Runtime Verification. RV (2020)
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
Actor-Based Runtime Verification with MESA. RV (2020)
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
Monitorability over Unreliable Channels. RV (2019)
Klaus Havelund, Natarajan Shankar
A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems (2019)
Hakan Erdogmus, Klaus Havelund
Introduction to Selected Papers from SPIN 2017. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Klaus Havelund, Doron Peled
An Extension of LTL with Rules and Its Application to Runtime Verification. RV (2019)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) (2018)
Klaus Havelund, Rajeev Joshi
Modeling with Scala. ISoLA (1) (2018)
Klaus Havelund, Grigore Rosu
Runtime Verification - 17 Years Later. RV (2018)
Klaus Havelund, Doron Peled, Dogan Ulus
DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek (2018)
Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
Inferring event stream abstractions. Formal Methods Syst. Des. 53 (1) (2018)
Klaus Havelund, Doron Peled
Runtime Verification: From Propositional to First-Order Temporal Logic. RV (2018)
Klaus Havelund, Doron Peled
Efficient Runtime Verification of First-Order Temporal Properties. SPIN (2018)
Doron Peled, Klaus Havelund
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta (2018)
Klaus Havelund, Doron Peled
BDDs on the Run. ISoLA (4) (2018)
Klaus Havelund, Rajeev Joshi
Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE (2017)
Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7 (11) (2017)
Klaus Havelund, Rajeev Joshi
Modeling Rover Communication Using Hierarchical State Machines with Scala. SAFECOMP Workshops (2017)
Klaus Havelund, Giles Reger
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools (2017)
Klaus Havelund, Doron Peled, Dogan Ulus
First order temporal logic monitoring with BDDs. FMCAD (2017)
Manfred Broy, Klaus Havelund, Rahul Kumar
Towards a Unified View of Modeling and Programming. ISoLA (2) (2016)
Klaus Havelund, Rahul Kumar
Verified Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) (2016)
Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement
K: A Wide Spectrum Language for Modeling, Programming and Analysis. MODELSWARD (2016)
Erika Ábrahám, Klaus Havelund
Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Sean Kauffman, Klaus Havelund, Rajeev Joshi
nfer - A Notation and System for Inferring Event Stream Abstractions. RV (2016)
Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) (2016)
Sean Kauffman, Rajeev Joshi, Klaus Havelund
Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) (2016)
Giles Reger, Klaus Havelund
What Is a Trace? A Runtime Verification Perspective. ISoLA (2) (2016)
Klaus Havelund, Giles Reger
Specification of Parametric Monitors. SyDe Summer School (2015)
Klaus Havelund
Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
Domain-Specific Languages with Scala. ICFEM (2015)
Saddek Bensalem, Klaus Havelund, Andrea Orlandini
Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Klaus Havelund
Monitoring with Data Automata. ISoLA (2) (2014)
Klaus Havelund, Rajeev Joshi
Experience with Rule-Based Analysis of Spacecraft Logs. FTSCS (2014)
Dines Bjørner, Klaus Havelund
40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM (2014)
Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70 (4) (2014)
Klaus Havelund, Rajeev Joshi
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM (2014)
Klaus Havelund
Data Automata in Scala. TASE (2014)
Klaus Havelund
A Scala DSL for Rete-Based Runtime Verification. RV (2013)
Oleg Sokolsky, Klaus Havelund, Insup Lee
Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Klaus Havelund
What Does AI Have to Do with RV? - (Extended Abstract). ISoLA (1) (2012)
Klaus Havelund
Requirements-Driven Log Analysis (Extended Abstract). ICTSS (2012)
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 Syst. Des. 41 (3) (2012)
Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM (2012)
Howard Barringer, Klaus Havelund
TraceContract: A Scala DSL for Trace Analysis. FM (2011)
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
Runtime Verification with State Estimation. RV (2011)
Howard Barringer, Klaus Havelund
Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV (2011)
Klaus Havelund, Gerard J. Holzmann
Software certification: coding, code, and coders. EMSOFT (2011)
Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner
Prototyping a Domain-Specific Language for Monitor and Control Systems. J. Aerosp. Comput. Inf. Commun. 7 (11) (2010)
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 J. Res. Dev. 54 (5) (2010)
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7 (11) (2010)
Eric Bodden, Klaus Havelund
Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36 (4) (2010)
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)
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)
Alex Groce, Klaus Havelund, Margaret H. Smith
From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) (2010)
Howard Barringer, David E. Rydeheard, Klaus Havelund
Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20 (3) (2010)
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA (2009)
Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce
Rule Systems for Runtime Verification: A Short Tutorial. RV (2009)
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
Automated Testing of Planning Models. MoChArt (2008)
Klaus Havelund
Runtime Verification of C Programs. TestCom/FATES (2008)
Eric Bodden, Klaus Havelund
Racer: effective race detection using aspectj. ISSTA (2008)
Margaret H. Smith, Klaus Havelund
Requirements Capture with RCAT. RE (2008)
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
07011 Abstracts Collection -- Runtime Verification. Runtime Verification (2007)
Howard Barringer, David E. Rydeheard, Klaus Havelund
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV (2007)
Cyrille Artho, Klaus Havelund, Shinichi Honiden
Visualization of Concurrent Program Executions. COMPSAC (2) (2007)
Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur
Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
07011 Executive Summary -- Runtime Verification. Runtime Verification (2007)
Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier
Confirmation of deadlock potentials detected by runtime analysis. PADTAD (2006)
Klaus Havelund, Grigore Rosu
Foreword. Formal Methods Syst. Des. 27 (3) (2005)
Grigore Rosu, Klaus Havelund
Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12 (2) (2005)
Allen Goldberg, Klaus Havelund
Automated Runtime Verification with Eagle. MSVVEIS (2005)
Saddek Bensalem, Klaus Havelund
Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference (2005)
Marcelo d'Amorim, Klaus Havelund
Event-based runtime verification of java programs. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Klaus Havelund, Grigore Rosu
Preface. Electron. Notes Theor. Comput. Sci. 113 (2005)
Klaus Havelund, Allen Goldberg
Verify Your Runs. VSTTE (2005)
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) (2005)
Klaus Havelund, Grigore Rosu
An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods Syst. Des. 24 (2) (2004)

Klaus Havelund.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Klaus Havelund