Decision Procedure for an Extension of WS1S. - Felix Klaedtke (CSL, 2001)

Complementation of Büchi Automata Using Alternation. - Felix Klaedtke (Automata, Logics, and Infinite Games, 2001)

Monadic Second-Order Logics with Cardinalities. - Felix Klaedtke; Harald Rueß (ICALP, 2003)

Decision procedures for inductive Boolean functions based on alternating automata. - Abdelwaheb Ayari; David A. Basin; Felix Klaedtke (Theor. Comput. Sci., 2003)

Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik. - Felix Klaedtke (Ausgezeichnete Informatikdissertationen, 2004)

On the Automata Size for Presburger Arithmetic. - Felix Klaedtke (LICS, 2004)

Automata-based decision procedures for weak arithmetics. - Felix Christopher Klaedtke (2004)

Optimizing Bounded Model Checking for Linear Hybrid Systems. - Erika Ábrahám; Bernd Becker 001; Felix Klaedtke; Martin Steffen (VMCAI, 2005)

Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. - Christian Dax; Jochen Eisinger; Felix Klaedtke (ATVA, 2007)

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. - Bernd Becker 001; Christian Dax; Jochen Eisinger; Felix Klaedtke (CAV, 2007)

Language-Based Abstraction Refinement for Hybrid System Verification. - Felix Klaedtke; Stefan Ratschan; Zhikun She (VMCAI, 2007)

Runtime Monitoring of Metric First-order Temporal Properties. - David A. Basin; Felix Klaedtke; Samuel Müller 002; Birgit Pfitzmann (FSTTCS, 2008)

Alternation Elimination by Complementation (Extended Abstract). - Christian Dax; Felix Klaedtke (LPAR, 2008)

Don't care words with an application to the automata-based approach for real addition. - Jochen Eisinger; Felix Klaedtke (Formal Methods Syst. Des., 2008)

Bounds on the automata size for Presburger arithmetic. - Felix Klaedtke (ACM Trans. Comput. Log., 2008)

Specification Languages for Stutter-Invariant Regular Properties. - Christian Dax; Felix Klaedtke; Stefan Leue (ATVA, 2009)

Policy Monitoring in First-Order Temporal Logic. - David A. Basin; Felix Klaedtke; Samuel Müller 002 (CAV, 2010)

Monitoring security policies with metric first-order temporal logic. - David A. Basin; Felix Klaedtke; Samuel Müller 002 (SACMAT, 2010)

On regular temporal logics with past. - Christian Dax; Felix Klaedtke; Martin Lange (Acta Informatica, 2010)

Ehrenfeucht-Fraïssé goes automatic for real addition. - Felix Klaedtke (Inf. Comput., 2010)

Alternation Elimination for Automata over Nested Words. - Christian Dax; Felix Klaedtke (FoSSaCS, 2011)

MONPOLY: Monitoring Usage-Control Policies. - David A. Basin; Matús Harvan; Felix Klaedtke; Eugen Zalinescu (RV, 2011)

Monitoring First-order Temporal Properties. - Felix Klaedtke (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Monitoring Usage-Control Policies in Distributed Systems. - David A. Basin; Matús Harvan; Felix Klaedtke; Eugen Zalinescu (TIME, 2011)

Monitoring Compliance Policies over Incomplete and Disagreeing Logs. - David A. Basin; Felix Klaedtke; Srdjan Marinovic; Eugen Zalinescu (RV, 2012)

A trace-based model for multiparty contracts. - Tom Hvitved; Felix Klaedtke; Eugen Zalinescu (J. Log. Algebraic Methods Program., 2012)

Ramsey Goes Visibly Pushdown. - Oliver Friedmann; Felix Klaedtke; Martin Lange (ICALP (2), 2013)

Enforceable Security Policies Revisited. - David A. Basin; Vincent Jugé; Felix Klaedtke; Eugen Zalinescu (ACM Trans. Inf. Syst. Secur., 2013)

Monitoring Data Usage in Distributed Systems. - David A. Basin; Matús Harvan; Felix Klaedtke; Eugen Zalinescu (IEEE Trans. Software Eng., 2013)

Scalable Offline Monitoring. - David A. Basin; Germano Caronni; Sarah Ereth; Matús Harvan; Felix Klaedtke; Heiko Mantel (RV, 2014)

On Real-Time Monitoring with Imprecise Timestamps. - David A. Basin; Felix Klaedtke; Srdjan Marinovic; Eugen Zalinescu (RV, 2014)

Access control for SDN controllers. - Felix Klaedtke; Ghassan O. Karame; Roberto Bifulco; Heng Cui (HotSDN, 2014)

Deciding safety and liveness in TPTL. - David A. Basin; Carlos Cotrini Jiménez; Felix Klaedtke; Eugen Zalinescu (Inf. Process. Lett., 2014)

The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. - Julian Gutierrez 001; Felix Klaedtke; Martin Lange (Theor. Comput. Sci., 2014)

Failure-aware Runtime Verification of Distributed Systems. - David A. Basin; Felix Klaedtke; Eugen Zalinescu (FSTTCS, 2015)

Towards an access control scheme for accessing flows in SDN. - Felix Klaedtke; Ghassan O. Karame; Roberto Bifulco; Heng Cui (NetSoft, 2015)

Monitoring of temporal first-order properties with aggregations. - David A. Basin; Felix Klaedtke; Srdjan Marinovic; Eugen Zalinescu (Formal Methods Syst. Des., 2015)

Greedily computing associative aggregations on sliding windows. - David A. Basin; Felix Klaedtke; Eugen Zalinescu (Inf. Process. Lett., 2015)

Monitoring Metric First-Order Temporal Properties. - David A. Basin; Felix Klaedtke; Samuel Müller 002; Eugen Zalinescu (J. ACM, 2015)

Ramsey-Based Inclusion Checking for Visibly Pushdown Automata. - Oliver Friedmann; Felix Klaedtke; Martin Lange (ACM Trans. Comput. Log., 2015)

Cases for Including a Reference Monitor to SDN. - Dimitrios Gkounis; Felix Klaedtke; Roberto Bifulco; Ghassan O. Karame (SIGCOMM, 2016)

Scalable offline monitoring of temporal specifications. - David A. Basin; Germano Caronni; Sarah Ereth; Matús Harvan; Felix Klaedtke; Heiko Mantel (Formal Methods Syst. Des., 2016)

On the Fingerprinting of Software-Defined Networks. - Heng Cui; Ghassan O. Karame; Felix Klaedtke; Roberto Bifulco (IEEE Trans. Inf. Forensics Secur., 2016)

Runtime Verification of Temporal Properties over Out-of-Order Data Streams. - David A. Basin; Felix Klaedtke; Eugen Zalinescu (CAV (1), 2017)

The MonPoly Monitoring Tool. - David A. Basin; Felix Klaedtke; Eugen Zalinescu (RV-CuBES, 2017)

A Security Architecture for 5G Networks. - Ghada Arfaoui; Pascal Bisson; Rolf Blom; Ravishankar Borgaonkar; Håkan Englund; Edith Felix; Felix Klaedtke; Prajwol Kumar Nakarmi; Mats Näslund; Piers O'Hanlon; Juri Papay; Jani Suomalainen; et al. (IEEE Access, 2018)

Algorithms for monitoring real-time properties. - David A. Basin; Felix Klaedtke; Eugen Zalinescu (Acta Informatica, 2018)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Runtime Verification over Out-of-order Streams. - David A. Basin; Felix Klaedtke; Eugen Zalinescu (ACM Trans. Comput. Log., 2020)

TeraFlow: Secured Autonomic Traffic Management for a Tera of SDN flows. - Ricard Vilalta; Raul Muñoz 001; Ramon Casellas; Ricardo Martínez 001; Víctor López 001; Óscar González de Dios; Antonio Pastor 001; Georgios P. Katsikas; Felix Klaedtke; Paolo Monti 001; Alberto Mozo; Thomas Zinner; et al. (EuCNC/6G Summit, 2021)

POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime. - Felix Klaedtke (CoRR, 2024)