Felix Klaedtke

Available identifiers

zbMath Open klaedtke.felixMaRDI QIDQ402358

List of research outcomes

Publication	Date of Publication	Type
Runtime verification of temporal properties over out-of-order data streams	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4986509	2021-04-27	Paper
Runtime Verification over Out-of-order Streams	2019-11-22	Paper
Algorithms for monitoring real-time properties	2018-06-26	Paper
Scalable offline monitoring of temporal specifications	2018-02-12	Paper
Failure-aware Runtime Verification of Distributed Systems	2017-07-13	Paper
Bounds on the automata size for Presburger arithmetic	2017-07-12	Paper
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata	2017-07-12	Paper
Monitoring metric first-order temporal properties	2016-03-24	Paper
Monitoring of temporal first-order properties with aggregations	2015-10-30	Paper
Greedily computing associative aggregations on sliding windows	2014-12-09	Paper
The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity	2014-12-02	Paper
Deciding safety and liveness in TPTL	2014-08-28	Paper
Ramsey Goes Visibly Pushdown	2013-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4910740	2013-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q3165946	2012-10-19	Paper
Enforceable Security Policies Revisited	2012-06-29	Paper
A trace-based model for multiparty contracts	2012-03-13	Paper
Alternation Elimination for Automata over Nested Words	2011-05-19	Paper
Ehrenfeucht-Fraïssé goes automatic for real addition	2010-10-22	Paper
On regular temporal logics with past	2010-06-21	Paper
Specification Languages for Stutter-Invariant Regular Properties	2009-12-01	Paper
On Regular Temporal Logics with Past,	2009-07-14	Paper
Don't care words with an application to the automata-based approach for real addition	2009-07-06	Paper
Alternation Elimination by Complementation (Extended Abstract)	2009-01-27	Paper
Mechanizing the Powerset Construction for Restricted Classes of ω-Automata	2008-07-03	Paper
Language-Based Abstraction Refinement for Hybrid System Verification	2008-04-04	Paper
Don’t Care Words with an Application to the Automata-Based Approach for Real Addition	2007-09-05	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4449212	2004-02-08	Paper
Decision procedures for inductive Boolean functions based on alternating automata	2003-07-30	Paper
Complementation of Büchi Automata Using Alternation	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4783320	2002-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754082	2001-11-11	Paper

Research outcomes over time

This page was built for person: Felix Klaedtke