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
https://portal.mardi4nfdi.de/entity/Q5275399	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

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: Felix Klaedtke