| 2017 | CAV | Runtime Verification of Temporal Properties over Out-of-Order Data Streams. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2017 | RV | The MonPoly Monitoring Tool. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2016 | SIGCOMM | Cases for Including a Reference Monitor to SDN. | Dimitrios Gkounis, Felix Klaedtke, Roberto Bifulco, Ghassan O. Karame |
| 2015 | ICNP | Fingerprinting Software-Defined Networks. | Roberto Bifulco, Heng Cui, Ghassan O. Karame, Felix Klaedtke |
| 2015 | NetSoft | Towards an access control scheme for accessing flows in SDN. | Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui |
| 2014 | SIGCOMM | Access control for SDN controllers. | Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui |
| 2014 | RV | Scalable Offline Monitoring. | David A. Basin, Germano Caronni, Sarah Ereth, Mats Harvan, Felix Klaedtke, Heiko Mantel |
| 2014 | RV | On Real-Time Monitoring with Imprecise Timestamps. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2013 | ICALP | Ramsey Goes Visibly Pushdown. | Oliver Friedmann, Felix Klaedtke, Martin Lange |
| 2013 | RV | Monitoring of Temporal First-Order Properties with Aggregations. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2012 | RV | Monitoring Compliance Policies over Incomplete and Disagreeing Logs. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2011 | FOSSACS | Alternation Elimination for Automata over Nested Words. | Christian Dax, Felix Klaedtke |
| 2011 | RV | MONPOLY: Monitoring Usage-Control Policies. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2011 | RV | Algorithms for Monitoring Real-Time Properties. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2011 | TABLEAUX | Monitoring First-order Temporal Properties. | Felix Klaedtke |
| 2011 | TIME | Monitoring Usage-Control Policies in Distributed Systems. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2010 | CAV | Policy Monitoring in First-Order Temporal Logic. | David A. Basin, Felix Klaedtke, Samuel Mller |
| 2010 | SACMAT | Monitoring security policies with metric first-order temporal logic. | David A. Basin, Felix Klaedtke, Samuel Mller |
| 2009 | ATVA | Specification Languages for Stutter-Invariant Regular Properties. | Christian Dax, Felix Klaedtke, Stefan Leue |
| 2009 | ICALP | On Regular Temporal Logics with Past, . | Christian Dax, Felix Klaedtke, Martin Lange |
| 2008 | LPAR | Alternation Elimination by Complementation (Extended Abstract). | Christian Dax, Felix Klaedtke |
| 2008 | STACS | Ehrenfeucht-Frass Goes Automatic for Real Addition. | Felix Klaedtke |
| 2007 | ATVA | Mechanizing the Powerset Construction for Restricted Classes of | Christian Dax, Jochen Eisinger, Felix Klaedtke |
| 2007 | CAV | LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. | Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke |
| 2007 | VMCAI | Language-Based Abstraction Refinement for Hybrid System Verification. | Felix Klaedtke, Stefan Ratschan, Zhikun She |
| 2006 | CAV | Don't Care Words with an Application to the Automata-Based Approach for Real Addition. | Jochen Eisinger, Felix Klaedtke |
| 2005 | VMCAI | Optimizing Bounded Model Checking for Linear Hybrid Systems. | Erika brahm, Bernd Becker, Felix Klaedtke, Martin Steffen |
| 2004 | LICS | On the Automata Size for Presburger Arithmetic. | Felix Klaedtke |
| 2003 | ICALP | Monadic Second-Order Logics with Cardinalities. | Felix Klaedtke, Harald Rue |
| 2001 | CSL | Decision Procedure for an Extension of WS1S. | Felix Klaedtke |
| 2000 | CAV | Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. | Abdelwaheb Ayari, David A. Basin, Felix Klaedtke |