default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKlaus Havelund
Person information
- affiliation: NASA Jet Propulsion Laboratory, Pasadena, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Alwyn E. Goodloe
, Klaus Havelund:
High-Integrity Runtime Verification. Computer 57(4): 37-45 (2024)- [j38]Klaus Havelund, Gerard J. Holzmann:
Programming event monitors. Int. J. Softw. Tools Technol. Transf. 26(1): 33-47 (2024) - [c97]Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis:
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) 2024: 249-263 - [c96]Klaus Havelund, Moran Omer, Doron Peled:
Operational and Declarative Runtime Verification (Keynote). VORTEX@ISSTA 2024: 3-12 - 2023
- [j37]Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Concurrent runtime verification of data rich events. Int. J. Softw. Tools Technol. Transf. 25(4): 481-501 (2023) - [c95]Bevin Duckett, Klaus Havelund, Luke Stewart:
Space Telemetry Analysis with PyContract. Applicable Formal Methods for Safe Industrial Products 2023: 272-288 - [c94]Klaus Havelund, Doron Peled:
Monitorability for Runtime Verification. RV 2023: 447-460 - [c93]Wolfgang Ahrendt, Klaus Havelund:
AI Assisted Programming - (AISoLA 2023 Track Introduction). AISoLA 2023: 351-354 - [c92]Bernhard K. Aichernig, Klaus Havelund:
AI-Assisted Programming with Test-Based Refinement. AISoLA (Selected Papers) 2023: 385-411 - 2022
- [j36]Klaus Havelund, Doron Peled:
On monitoring linear temporal properties. Formal Methods Syst. Des. 60(3): 405-425 (2022) - [c91]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: 3-9 - [c90]Klaus Havelund:
Specification-Based Monitoring in C++. ISoLA (1) 2022: 65-87 - [c89]Dennis Dams, Klaus Havelund, Sean Kauffman:
Runtime Verification as Documentation. ISoLA (2) 2022: 157-173 - [c88]Dennis Dams, Klaus Havelund, Sean Kauffman:
A Python Library for Trace Analysis. RV 2022: 264-273 - [e16]Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez:
NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13260, Springer 2022, ISBN 978-3-031-06772-3 [contents] - 2021
- [j35]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): 547-563 (2021) - [j34]Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. 23(4): 579-600 (2021) - [c87]Klaus Havelund, Bernhard Steffen:
Programming - What is Next? ISoLA 2021: 195-201 - [c86]Klaus Havelund, Robert Bocchino:
Integrated Modeling and Development of Component-Based Embedded Software in Scala. ISoLA 2021: 233-252 - [c85]Klaus Havelund, Moran Omer, Doron Peled:
Monitoring First-Order Interval Logic. SEFM 2021: 66-83 - 2020
- [j33]Klaus Havelund, Doron Peled, Dogan Ulus:
First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. 56(1): 1-21 (2020) - [c84]Klaus Havelund, Doron Peled:
First-Order Timed Runtime Verification Using BDDs. ATVA 2020: 3-24 - [c83]Elif Kürklü, Klaus Havelund:
A Flight Rule Checker for the LADEE Lunar Spacecraft. ICTAC 2020: 3-20 - [c82]Klaus Havelund, Doron Peled:
BDDs for Representing Data in Runtime Verification. RV 2020: 107-128 - [c81]Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Actor-Based Runtime Verification with MESA. RV 2020: 221-240
2010 – 2019
- 2019
- [j32]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): 31-70 (2019) - [j31]Hakan Erdogmus, Klaus Havelund:
Introduction to Selected Papers from SPIN 2017. Int. J. Softw. Tools Technol. Transf. 21(3): 247-248 (2019) - [c80]Klaus Havelund, Natarajan Shankar:
A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems 2019: 73-103 - [c79]Klaus Havelund, Doron Peled:
An Extension of LTL with Rules and Its Application to Runtime Verification. RV 2019: 239-255 - [c78]Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
Monitorability over Unreliable Channels. RV 2019: 256-272 - [p5]Klaus Havelund, Giles Reger, Grigore Rosu:
Runtime Verification Past Experiences and Future Projections. Computing and Software Science 2019: 532-562 - 2018
- [j30]Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister:
Inferring event stream abstractions. Formal Methods Syst. Des. 53(1): 54-82 (2018) - [c77]Doron Peled, Klaus Havelund:
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta 2018: 218-234 - [c76]Klaus Havelund, Doron Peled, Dogan Ulus:
DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek 2018: 12-13 - [c75]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) 2018: 3-21 - [c74]Klaus Havelund, Doron Peled:
BDDs on the Run. ISoLA (4) 2018: 58-69 - [c73]Klaus Havelund, Rajeev Joshi:
Modeling with Scala. ISoLA (1) 2018: 184-205 - [c72]Klaus Havelund, Grigore Rosu:
Runtime Verification - 17 Years Later. RV 2018: 3-17 - [c71]Klaus Havelund, Doron Peled:
Runtime Verification: From Propositional to First-Order Temporal Logic. RV 2018: 90-112 - [c70]Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. SPIN 2018: 26-47 - [p4]Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu:
Monitoring Events that Carry Data. Lectures on Runtime Verification 2018: 61-102 - [e15]Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0 [contents] - 2017
- [c69]Klaus Havelund, Giles Reger:
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools 2017: 310-338 - [c68]Klaus Havelund, Doron Peled, Dogan Ulus:
First order temporal logic monitoring with BDDs. FMCAD 2017: 116-123 - [c67]Klaus Havelund, Rajeev Joshi:
Modeling Rover Communication Using Hierarchical State Machines with Scala. SAFECOMP Workshops 2017: 447-461 - [c66]Klaus Havelund, Rajeev Joshi:
Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE 2017: 21-36 - [e14]Giles Reger, Klaus Havelund:
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Kalpa Publications in Computing 3, EasyChair 2017 [contents] - [e13]Hakan Erdogmus, Klaus Havelund:
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. ACM 2017, ISBN 978-1-4503-5077-8 [contents] - [i5]Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz:
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7(11): 59-85 (2017) - 2016
- [j29]Klaus Havelund, Rahul Kumar:
Verified Change. LNCS Trans. Found. Mastering Chang. 1: 71-89 (2016) - [j28]Erika Ábrahám, Klaus Havelund:
Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. 18(2): 121-128 (2016) - [c65]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c64]Manfred Broy, Klaus Havelund, Rahul Kumar:
Towards a Unified View of Modeling and Programming. ISoLA (2) 2016: 238-257 - [c63]Giles Reger, Klaus Havelund:
What Is a Trace? A Runtime Verification Perspective. ISoLA (2) 2016: 339-355 - [c62]Sean Kauffman, Rajeev Joshi, Klaus Havelund:
Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) 2016: 394-399 - [c61]Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan:
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) 2016: 397-401 - [c60]Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement:
K: A Wide Spectrum Language for Modeling, Programming and Analysis. MODELSWARD 2016: 111-122 - [c59]Sean Kauffman, Klaus Havelund, Rajeev Joshi:
nfer - A Notation and System for Inferring Event Stream Abstractions. RV 2016: 235-250 - 2015
- [j27]Klaus Havelund:
Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transf. 17(2): 143-170 (2015) - [c58]Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata:
Domain-Specific Languages with Scala. ICFEM 2015: 1-16 - [c57]Klaus Havelund, Giles Reger:
Specification of Parametric Monitors. SyDe Summer School 2015: 151-189 - [e12]Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Lecture Notes in Computer Science 9058, Springer 2015, ISBN 978-3-319-17523-2 [contents] - 2014
- [j26]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): 315-349 (2014) - [j25]Saddek Bensalem, Klaus Havelund, Andrea Orlandini:
Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. 16(1): 1-12 (2014) - [c56]Dines Bjørner, Klaus Havelund:
40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM 2014: 42-61 - [c55]Klaus Havelund, Rajeev Joshi:
Experience with Rule-Based Analysis of Spacecraft Logs. FTSCS 2014: 1-16 - [c54]Klaus Havelund, Rajeev Joshi:
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM 2014: 187-202 - [c53]Klaus Havelund:
Monitoring with Data Automata. ISoLA (2) 2014: 254-273 - [c52]Klaus Havelund:
Data Automata in Scala. TASE 2014: 1-9 - [p3]Klaus Havelund:
Howard Barringer: the Man who Invented the Past. HOWARD-60 2014: 1-12 - [p2]Klaus Havelund:
Closing the Gap Between Specification and Programming: VDM++ and Scala. HOWARD-60 2014: 210-233 - [e11]Erika Ábrahám, Klaus Havelund:
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8413, Springer 2014, ISBN 978-3-642-54861-1 [contents] - 2013
- [c51]Klaus Havelund:
A Scala DSL for Rete-Based Runtime Verification. RV 2013: 322-327 - [p1]Yliès Falcone, Klaus Havelund, Giles Reger:
A Tutorial on Runtime Verification. Engineering Dependable Software Systems 2013: 141-175 - 2012
- [j24]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): 295-320 (2012) - [j23]Oleg Sokolsky, Klaus Havelund, Insup Lee:
Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. 14(3): 243-247 (2012) - [c50]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 - [c49]Klaus Havelund:
What Does AI Have to Do with RV? - (Extended Abstract). ISoLA (1) 2012: 292-294 - [c48]Klaus Havelund:
Requirements-Driven Log Analysis (Extended Abstract). ICTSS 2012: 1-4 - 2011
- [c47]Klaus Havelund, Gerard J. Holzmann:
Software certification: coding, code, and coders. EMSOFT 2011: 205-210 - [c46]Howard Barringer, Klaus Havelund:
TraceContract: A Scala DSL for Trace Analysis. FM 2011: 57-72 - [c45]Howard Barringer, Klaus Havelund:
Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3 - [c44]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 - [e10]Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
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 [contents] - 2010
- [j22]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): 3 (2010) - [j21]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): 338-364 (2010) - [j20]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7(11): 365-390 (2010) - [j19]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) - [j18]Eric Bodden, Klaus Havelund:
Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010) - [c43]Alex Groce, Klaus Havelund, Margaret H. Smith:
From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138 - [c42]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 - [e9]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Dagstuhl Seminar Proceedings 10451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e8]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
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 [contents] - [i4]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 - [i3]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
2000 – 2009
- 2009
- [c41]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24 - [c40]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
- [c39]Eric Bodden, Klaus Havelund:
Racer: effective race detection using aspectj. ISSTA 2008: 155-166 - [c38]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c37]Klaus Havelund:
Runtime Verification of C Programs. TestCom/FATES 2008: 7-22 - [c36]Margaret H. Smith, Klaus Havelund:
Requirements Capture with RCAT. RE 2008: 183-192 - [e7]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e6]Klaus Havelund, Rupak Majumdar, Jens Palsberg:
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 [contents] - 2007
- [j17]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): 267-279 (2007) - [c35]Cyrille Artho, Klaus Havelund, Shinichi Honiden:
Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546 - [c34]Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125 - [i2]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 - [i1]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 - 2006
- [c33]Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50 - [e5]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. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8 [contents] - 2005
- [j16]Grigore Rosu, Klaus Havelund:
Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005) - [j15]Klaus Havelund, Grigore Rosu:
Foreword. Formal Methods Syst. Des. 27(3): 211-212 (2005) - [j14]Marcelo d'Amorim, Klaus Havelund:
Event-based runtime verification of java programs. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j13]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) - [c32]Saddek Bensalem, Klaus Havelund:
Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223 - [c31]Klaus Havelund, Allen Goldberg:
Verify Your Runs. VSTTE 2005: 374-383 - [c30]Allen Goldberg, Klaus Havelund:
Automated Runtime Verification with Eagle. MSVVEIS 2005 - [e4]Klaus Havelund, Grigore Rosu:
Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 113, Elsevier 2005 [contents] - 2004
- [j12]Klaus Havelund, Grigore Rosu:
Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods Syst. Des. 24(2): 99-100 (2004) - [j11]Klaus Havelund, Grigore Rosu:
An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods Syst. Des. 24(2): 189-215 (2004) - [j10]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 Syst. Des. 25(2-3): 167-198 (2004) - [j9]Klaus Havelund, Grigore Rosu:
Efficient monitoring of safety properties. Int. J. Softw. Tools Technol. Transf. 6(2): 158-173 (2004) - [c29]Cyrille Artho, Klaus Havelund, Armin Biere:
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164 - [c28]