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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Klaus Havelund