Klaus Havelund

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On monitoring linear temporal properties Formal Methods in System Design	2023-10-30	Paper
Refining the safety-liveness classification of temporal properties according to monitorability Lecture Notes in Computer Science	2023-08-02	Paper
Monitoring first-order interval logic Software Engineering and Formal Methods	2023-05-26	Paper
Efficient Runtime Verification of First-Order Temporal Properties Model Checking Software	2023-03-21	Paper
First-Order Timed Runtime Verification Using BDDs 1517.6824	2022-12-22	Paper
Runtime verification past experiences and future projections	2022-02-16	Paper
A flight rule checker for the LADEE lunar spacecraft	2021-07-08	Paper
First-order temporal logic monitoring with BDDs Formal Methods in System Design	2021-02-08	Paper
Runtime verification logics. A language design perspective Lecture Notes in Computer Science	2020-02-24	Paper
The fork calculus Automata, Languages and Programming	2019-03-29	Paper
40 years of formal methods. Some obstacles and some possibilities? Lecture Notes in Computer Science	2015-02-10	Paper
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning Annals of Mathematics and Artificial Intelligence	2014-09-26	Paper
\textsc{InterAspect}: aspect-oriented instrumentation with GCC Formal Methods in System Design	2014-03-28	Paper
Quantified event automata: towards expressive and efficient runtime monitors FM 2012: Formal Methods	2012-11-08	Paper
Rule systems for run-time monitoring: from EAGLE to RULER Journal Of Logic And Computation	2010-06-17	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
An overview of the runtime verification tool Java PathExplorer Formal Methods in System Design	2004-09-09	Paper
scientific article; zbMATH DE number 2080059 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1759739 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1670563 (Why is no real title available?)	2002-01-06	Paper
Model checking JAVA programs using JAVA PathFinder International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
scientific article; zbMATH DE number 795688 (Why is no real title available?)	1995-09-12	Paper
scientific article; zbMATH DE number 751137 (Why is no real title available?)	1995-05-04	Paper

Research outcomes over time

This page was built for person: Klaus Havelund