| 2025 | ICTAC | Fuzz Testing with Temporal Constraints. | Klaus Havelund, Tracy Clark, Vivek Reddy |
| 2025 | RV | The Power of Reframing: Using LLMs in Synthesizing RV Monitors. | Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg |
| 2025 | RV | DSLs for Runtime Verification. | Klaus Havelund, Moran Omer, Doron Peled |
| 2025 | VECoS | AI Assisted Programming (AISoLA 2025 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2024 | VECoS | AI Assisted Programming - (AISoLA 2024 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2024 | VECoS | Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code. | Bernhard K. Aichernig, Klaus Havelund |
| 2024 | VMCAI | TP-DejaVu: Combining Operational and Declarative Runtime Verification. | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
| 2023 | RV | Monitorability for Runtime Verification. | Klaus Havelund, Doron Peled |
| 2023 | VECoS | AI Assisted Programming - (AISoLA 2023 Track Introduction). | Wolfgang Ahrendt, Klaus Havelund |
| 2023 | VECoS | AI-Assisted Programming with Test-Based Refinement. | Bernhard K. Aichernig, Klaus Havelund |
| 2022 | ISoLA | Runtime Verification as Documentation. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2022 | ISoLA | Specification-Based Monitoring in C++. | Klaus Havelund |
| 2022 | ISoLA | Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). | Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen |
| 2022 | RV | A Python Library for Trace Analysis. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2021 | ISoLA | Integrated Modeling and Development of Component-Based Embedded Software in Scala. | Klaus Havelund, Robert Bocchino |
| 2021 | ISoLA | Programming - What is Next? | Klaus Havelund, Bernhard Steffen |
| 2021 | SEFM | Monitoring First-Order Interval Logic. | Klaus Havelund, Moran Omer, Doron Peled |
| 2020 | ATVA | First-Order Timed Runtime Verification Using BDDs. | Klaus Havelund, Doron Peled |
| 2020 | ICTAC | A Flight Rule Checker for the LADEE Lunar Spacecraft. | Elif Krkl, Klaus Havelund |
| 2020 | RV | BDDs for Representing Data in Runtime Verification. | Klaus Havelund, Doron Peled |
| 2020 | RV | Actor-Based Runtime Verification with MESA. | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
| 2019 | RV | An Extension of LTL with Rules and Its Application to Runtime Verification. | Klaus Havelund, Doron Peled |
| 2019 | RV | Monitorability over Unreliable Channels. | Sean Kauffman, Klaus Havelund, Sebastian Fischmeister |
| 2018 | ISoLA | Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2018 | ISoLA | Modeling with Scala. | Klaus Havelund, Rajeev Joshi |
| 2018 | ISoLA | BDDs on the Run. | Klaus Havelund, Doron Peled |
| 2018 | RV | Runtime Verification: From Propositional to First-Order Temporal Logic. | Klaus Havelund, Doron Peled |
| 2018 | RV | Runtime Verification - 17 Years Later. | Klaus Havelund, Grigore Rosu |
| 2017 | FMCAD | First order temporal logic monitoring with BDDs. | Klaus Havelund, Doron Peled, Dogan Ulus |
| 2017 | SAFECOMP | Modeling Rover Communication Using Hierarchical State Machines with Scala. | Klaus Havelund, Rajeev Joshi |
| 2016 | ISoLA | Towards a Unified View of Modeling and Programming. | Manfred Broy, Klaus Havelund, Rahul Kumar |
| 2016 | ISoLA | Towards a Unified View of Modeling and Programming (Track Summary). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2016 | ISoLA | Static and Runtime Verification, Competitors or Friends? (Track Summary). | Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan |
| 2016 | ISoLA | Towards a Logic for Inferring Properties of Event Streams. | Sean Kauffman, Rajeev Joshi, Klaus Havelund |
| 2016 | ISoLA | What Is a Trace? A Runtime Verification Perspective. | Giles Reger, Klaus Havelund |
| 2016 | MODELSWARD | K: A Wide Spectrum Language for Modeling, Programming and Analysis. | Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement |
| 2016 | RV | nfer - A Notation and System for Inferring Event Stream Abstractions. | Sean Kauffman, Klaus Havelund, Rajeev Joshi |
| 2015 | ICFEM | Domain-Specific Languages with Scala. | Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata |
| 2014 | FM | 40 Years of Formal Methods - Some Obstacles and Some Possibilities? | Dines Bjrner, Klaus Havelund |
| 2014 | ICFEM | Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. | Klaus Havelund, Rajeev Joshi |
| 2014 | ISoLA | Monitoring with Data Automata. | Klaus Havelund |
| 2014 | TASE | Data Automata in Scala. | Klaus Havelund |
| 2013 | RV | A Scala DSL for Rete-Based Runtime Verification. | Klaus Havelund |
| 2012 | FM | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. | Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
| 2012 | ISoLA | What Does AI Have to Do with RV? - (Extended Abstract). | Klaus Havelund |
| 2011 | EMSOFT | Software certification: coding, code, and coders. | Klaus Havelund, Gerard J. Holzmann |
| 2011 | FM | TraceContract: A Scala DSL for Trace Analysis. | Howard Barringer, Klaus Havelund |
| 2011 | RV | Internal versus External DSLs for Trace Analysis - (Extended Abstract). | Howard Barringer, Klaus Havelund |
| 2011 | RV | Runtime Verification with State Estimation. | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2010 | ICSE | From scripts to specifications: the evolution of a flight software testing effort. | Alex Groce, Klaus Havelund, Margaret H. Smith |
| 2010 | RV | Aspect-Oriented Instrumentation with GCC. | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2009 | RV | Rule Systems for Runtime Verification: A Short Tutorial. | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
| 2008 | ISSTA | Racer: effective race detection using aspectj. | Eric Bodden, Klaus Havelund |
| 2008 | RE | Requirements Capture with RCAT. | Margaret H. Smith, Klaus Havelund |
| 2007 | COMPSAC | Visualization of Concurrent Program Executions. | Cyrille Artho, Klaus Havelund, Shinichi Honiden |
| 2007 | RV | Rule Systems for Run-Time Monitoring: From Eagleto RuleR. | Howard Barringer, David E. Rydeheard, Klaus Havelund |
| 2006 | ISSTA | Confirmation of deadlock potentials detected by runtime analysis. | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
| 2004 | ATVA | Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. | Cyrille Artho, Klaus Havelund, Armin Biere |
| 2004 | VMCAI | Applying Jlint to Space Exploration Software. | Cyrille Artho, Klaus Havelund |
| 2004 | VMCAI | Rule-Based Runtime Verification. | Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen |
| 2002 | TACAS | Synthesizing Monitors for Safety Properties. | Klaus Havelund, Grigore Rosu |
| 2001 | TIME | Mapping Temporal Planning Constraints into Timed Automata. | Lina Khatib, Nicola Muscettola, Klaus Havelund |
| 1997 | ISMIS | Verification and Validation of AI Systems that Control Deep-Space Spacecraft. | Michael R. Lowry, Klaus Havelund, John Penix |
| 1997 | RTSS | Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. | Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund |
| 1996 | FM | Experiments in Theorem Proving and Model Checking for Protocol Verification. | Klaus Havelund, Natarajan Shankar |
| 1993 | ICALP | The Fork Calculus. | Klaus Havelund, Kim Guldstrand Larsen |
| 1988 | FM | The RAISE Language, Method and Tools. | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |