Felix Klaedtke

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 20

Top Topics

Walsh Hadamard Transform

Temporal Properties

Top Venues

Inf. Process. Lett.

ACM Trans. Comput. Log.

Publications

Ricard Vilalta, Raul Muñoz, Ramon Casellas, Ricardo Martínez, Víctor López, Óscar González de Dios, Antonio Pastor, Georgios P. Katsikas, Felix Klaedtke, Paolo Monti, Alberto Mozo, Thomas Zinner, Harald Øverby, Sergio Gonzalez-Diaz, Håkon Lønsethagen, José-Miguel Pulido, Daniel King
TeraFlow: Secured Autonomic Traffic Management for a Tera of SDN flows. EuCNC/6G Summit (2021)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log. 21 (1) (2020)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification over Out-of-order Streams. CoRR (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Ghada Arfaoui, Pascal Bisson, Rolf Blom, Ravishankar Borgaonkar, Hakan Englund, Edith Felix, Felix Klaedtke, Prajwol Kumar Nakarmi, Mats Näslund, Piers O'Hanlon, Juri Papay, Jani Suomalainen, Mike Surridge, Jean-Philippe Wary, Alexander Zahariev
A Security Architecture for 5G Networks. IEEE Access 6 (2018)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Algorithms for monitoring real-time properties. Acta Informatica 55 (4) (2018)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification of Temporal Properties over Out-of-order Data Streams. CoRR (2017)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification of Temporal Properties over Out-of-Order Data Streams. CAV (1) (2017)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
The MonPoly Monitoring Tool. RV-CuBES (2017)
Heng Cui, Ghassan O. Karame, Felix Klaedtke, Roberto Bifulco
On the Fingerprinting of Software-Defined Networks. IEEE Trans. Inf. Forensics Secur. 11 (10) (2016)
Dimitrios Gkounis, Felix Klaedtke, Roberto Bifulco, Ghassan O. Karame
Cases for Including a Reference Monitor to SDN. SIGCOMM (2016)
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49 (1-2) (2016)
Roberto Bifulco, Heng Cui, Ghassan O. Karame, Felix Klaedtke
Fingerprinting Software-Defined Networks. ICNP (2015)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Failure-aware Runtime Verification of Distributed Systems. FSTTCS (2015)
Heng Cui, Ghassan O. Karame, Felix Klaedtke, Roberto Bifulco
Fingerprinting Software-defined Networks. CoRR (2015)
Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui
Towards an access control scheme for accessing flows in SDN. NetSoft (2015)
Oliver Friedmann, Felix Klaedtke, Martin Lange
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata. ACM Trans. Comput. Log. 16 (4) (2015)
David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu
Monitoring Metric First-Order Temporal Properties. J. ACM 62 (2) (2015)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Greedily computing associative aggregations on sliding windows. Inf. Process. Lett. 115 (2) (2015)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. 46 (3) (2015)
David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu
Deciding safety and liveness in TPTL. Inf. Process. Lett. 114 (12) (2014)
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
Scalable Offline Monitoring. RV (2014)
Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui
Access control for SDN controllers. HotSDN (2014)
Julian Gutierrez, Felix Klaedtke, Martin Lange
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. Theor. Comput. Sci. 560 (2014)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
On Real-Time Monitoring with Imprecise Timestamps. RV (2014)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
Monitoring of Temporal First-Order Properties with Aggregations. RV (2013)
Oliver Friedmann, Felix Klaedtke, Martin Lange
Ramsey Goes Visibly Pushdown. ICALP (2) (2013)
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
Monitoring Data Usage in Distributed Systems. IEEE Trans. Software Eng. 39 (10) (2013)
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
Enforceable Security Policies Revisited. ACM Trans. Inf. Syst. Secur. 16 (1) (2013)
Julian Gutierrez, Felix Klaedtke, Martin Lange
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity GandALF (2012)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
Monitoring Compliance Policies over Incomplete and Disagreeing Logs. RV (2012)
Tom Hvitved, Felix Klaedtke, Eugen Zalinescu
A trace-based model for multiparty contracts. J. Log. Algebraic Methods Program. 81 (2) (2012)
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
Enforceable Security Policies Revisited. POST (2012)
Christian Dax, Felix Klaedtke
Alternation Elimination for Automata over Nested Words. FoSSaCS (2011)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Algorithms for Monitoring Real-Time Properties. RV (2011)
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
MONPOLY: Monitoring Usage-Control Policies. RV (2011)
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
Monitoring Usage-Control Policies in Distributed Systems. TIME (2011)
Felix Klaedtke
Monitoring First-order Temporal Properties. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
David A. Basin, Felix Klaedtke, Samuel Müller
Monitoring security policies with metric first-order temporal logic. SACMAT (2010)
Felix Klaedtke
Ehrenfeucht-Fraïssé goes automatic for real addition. Inf. Comput. 208 (11) (2010)
David A. Basin, Felix Klaedtke, Samuel Müller
Policy Monitoring in First-Order Temporal Logic. CAV (2010)
Christian Dax, Felix Klaedtke, Martin Lange
On regular temporal logics with past. Acta Informatica 47 (4) (2010)
Christian Dax, Felix Klaedtke, Stefan Leue
Specification Languages for Stutter-Invariant Regular Properties. ATVA (2009)
Christian Dax, Felix Klaedtke, Martin Lange
On Regular Temporal Logics with Past, . ICALP (2) (2009)
Jochen Eisinger, Felix Klaedtke
Don't care words with an application to the automata-based approach for real addition. Formal Methods Syst. Des. 33 (1-3) (2008)
Christian Dax, Felix Klaedtke
Alternation Elimination by Complementation (Extended Abstract). LPAR (2008)
David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann
Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS (2008)
Felix Klaedtke
Bounds on the automata size for Presburger arithmetic. ACM Trans. Comput. Log. 9 (2) (2008)
Felix Klaedtke
Ehrenfeucht-Fraïssé Goes Automatic for Real Addition. STACS (2008)
Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV (2007)
Christian Dax, Jochen Eisinger, Felix Klaedtke
-Automata. ATVA (2007)
Felix Klaedtke, Stefan Ratschan, Zhikun She
Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI (2007)
Jochen Eisinger, Felix Klaedtke
Don't Care Words with an Application to the Automata-Based Approach for Real Addition. CAV (2006)
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI (2005)
Felix Klaedtke
Bounds on the Automata Size for Presburger Arithmetic CoRR (2005)
Felix Klaedtke
Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik. Ausgezeichnete Informatikdissertationen (2004)
Felix Klaedtke
On the Automata Size for Presburger Arithmetic. LICS (2004)
Felix Klaedtke, Harald Rueß
Monadic Second-Order Logics with Cardinalities. ICALP (2003)
Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
Decision procedures for inductive Boolean functions based on alternating automata. Theor. Comput. Sci. 300 (1-3) (2003)
Felix Klaedtke
Decision Procedure for an Extension of WS1S. CSL (2001)
Felix Klaedtke
Complementation of Büchi Automata Using Alternation. Automata, Logics, and Infinite Games (2001)
Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. CAV (2000)