Klaus Havelund

Available identifiers

zbMath Open havelund.klausMaRDI QIDQ457246

List of research outcomes

Publication	Date of Publication	Type
On monitoring linear temporal properties	2023-10-30	Paper
Refining the safety-liveness classification of temporal properties according to monitorability	2023-08-02	Paper
Monitoring first-order interval logic	2023-05-26	Paper
Efficient Runtime Verification of First-Order Temporal Properties	2023-03-21	Paper
First-Order Timed Runtime Verification Using BDDs	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	2021-02-08	Paper
Runtime Verification Logics A Language Design Perspective	2020-02-24	Paper
The fork calculus	2019-03-29	Paper
40 Years of Formal Methods	2015-02-10	Paper
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning	2014-09-26	Paper
\textsc{InterAspect}: aspect-oriented instrumentation with GCC	2014-03-28	Paper
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors	2012-11-08	Paper
Rule Systems for Run-time Monitoring: from EAGLE to RULER	2010-06-17	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
An overview of the runtime verification tool Java PathExplorer	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472252	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536754	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2753764	2002-01-06	Paper
Model checking JAVA programs using JAVA PathFinder	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4845499	1995-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4764628	1995-05-04	Paper

Research outcomes over time

This page was built for person: Klaus Havelund