Felix Klaedtke

63 papers A* 7A 1B 15C 2Journal 25Unranked 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime.
CoRR
Felix Klaedtke
2021 — conf
TeraFlow: Secured Autonomic Traffic Management for a Tera of SDN flows.
EuCNC/6G Summit
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
2020 J jnl
Runtime Verification over Out-of-order Streams.
ACM Trans. Comput. Log.
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2019 J jnl
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf.
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
2019 J jnl
Runtime Verification over Out-of-order Streams.
CoRR
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2018 J jnl
A Security Architecture for 5G Networks.
IEEE Access
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, Mike Surridge, Jean-Philippe Wary, Alexander Zahariev
2018 J jnl
Algorithms for monitoring real-time properties.
Acta Informatica
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2017 — conf
Runtime Verification of Temporal Properties over Out-of-Order Data Streams.
CAV (1)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2017 J jnl
Runtime Verification of Temporal Properties over Out-of-order Data Streams.
CoRR
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2017 — conf
The MonPoly Monitoring Tool.
RV-CuBES
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2016 A* conf
Cases for Including a Reference Monitor to SDN.
SIGCOMM
Dimitrios Gkounis, Felix Klaedtke, Roberto Bifulco, Ghassan O. Karame
2016 J jnl
On the Fingerprinting of Software-Defined Networks.
IEEE Trans. Inf. Forensics Secur.
Heng Cui, Ghassan O. Karame, Felix Klaedtke, Roberto Bifulco
2016 J jnl
Scalable offline monitoring of temporal specifications.
Formal Methods Syst. Des.
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
2015 — conf
Failure-aware Runtime Verification of Distributed Systems.
FSTTCS
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2015 B conf
Fingerprinting Software-Defined Networks.
ICNP
Roberto Bifulco, Heng Cui, Ghassan O. Karame, Felix Klaedtke
2015 J jnl
Fingerprinting Software-defined Networks.
CoRR
Heng Cui, Ghassan O. Karame, Felix Klaedtke, Roberto Bifulco
2015 J jnl
Greedily computing associative aggregations on sliding windows.
Inf. Process. Lett.
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2015 J jnl
Monitoring Metric First-Order Temporal Properties.
J. ACM
David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu
2015 J jnl
Monitoring of temporal first-order properties with aggregations.
Formal Methods Syst. Des.
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2015 J jnl
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata.
ACM Trans. Comput. Log.
Oliver Friedmann, Felix Klaedtke, Martin Lange
2015 B conf
Towards an access control scheme for accessing flows in SDN.
NetSoft
Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui
2014 — conf
Access control for SDN controllers.
HotSDN
Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui
2014 J jnl
Deciding safety and liveness in TPTL.
Inf. Process. Lett.
David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu
2014 B conf
On Real-Time Monitoring with Imprecise Timestamps.
RV
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2014 B conf
Scalable Offline Monitoring.
RV
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
2014 J jnl
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity.
Theor. Comput. Sci.
Julian Gutierrez, Felix Klaedtke, Martin Lange
2013 J jnl
Enforceable Security Policies Revisited.
ACM Trans. Inf. Syst. Secur.
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
2013 J jnl
Monitoring Data Usage in Distributed Systems.
IEEE Trans. Software Eng.
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
2013 B conf
Monitoring of Temporal First-Order Properties with Aggregations.
RV
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2013 — conf
Ramsey Goes Visibly Pushdown.
ICALP (2)
Oliver Friedmann, Felix Klaedtke, Martin Lange
2012 J jnl
A trace-based model for multiparty contracts.
J. Log. Algebraic Methods Program.
Tom Hvitved, Felix Klaedtke, Eugen Zalinescu
2012 — conf
Enforceable Security Policies Revisited.
POST
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
2012 B conf
Monitoring Compliance Policies over Incomplete and Disagreeing Logs.
RV
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
2012 — conf
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
GandALF
Julian Gutierrez, Felix Klaedtke, Martin Lange
2011 B conf
Algorithms for Monitoring Real-Time Properties.
RV
David A. Basin, Felix Klaedtke, Eugen Zalinescu
2011 B conf
Alternation Elimination for Automata over Nested Words.
FoSSaCS
Christian Dax, Felix Klaedtke
2011 B conf
MONPOLY: Monitoring Usage-Control Policies.
RV
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
2011 — conf
Monitoring First-order Temporal Properties.
TABLEAUX (Workshops, Tutorials, and Short Papers)
Felix Klaedtke
2011 C conf
Monitoring Usage-Control Policies in Distributed Systems.
TIME
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
2010 J jnl
Ehrenfeucht-Fraïssé goes automatic for real addition.
Inf. Comput.
Felix Klaedtke
2010 C conf
Monitoring security policies with metric first-order temporal logic.
SACMAT
David A. Basin, Felix Klaedtke, Samuel Müller
2010 J jnl
On regular temporal logics with past.
Acta Informatica
Christian Dax, Felix Klaedtke, Martin Lange
2010 A* conf
Policy Monitoring in First-Order Temporal Logic.
CAV
David A. Basin, Felix Klaedtke, Samuel Müller
2009 — conf
On Regular Temporal Logics with Past, .
ICALP (2)
Christian Dax, Felix Klaedtke, Martin Lange
2009 B conf
Specification Languages for Stutter-Invariant Regular Properties.
ATVA
Christian Dax, Felix Klaedtke, Stefan Leue
2008 B conf
Alternation Elimination by Complementation (Extended Abstract).
LPAR
Christian Dax, Felix Klaedtke
2008 J jnl
Bounds on the automata size for Presburger arithmetic.
ACM Trans. Comput. Log.
Felix Klaedtke
2008 J jnl
Don't care words with an application to the automata-based approach for real addition.
Formal Methods Syst. Des.
Jochen Eisinger, Felix Klaedtke
2008 A conf
Ehrenfeucht-Fraïssé Goes Automatic for Real Addition.
STACS
Felix Klaedtke
2008 — conf
Runtime Monitoring of Metric First-order Temporal Properties.
FSTTCS
David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann
2007 A* conf
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.
CAV
Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
2007 B conf
Language-Based Abstraction Refinement for Hybrid System Verification.
VMCAI
Felix Klaedtke, Stefan Ratschan, Zhikun She
2007 B conf
Mechanizing the Powerset Construction for Restricted Classes of
ATVA
Christian Dax, Jochen Eisinger, Felix Klaedtke
2006 A* conf
Don't Care Words with an Application to the Automata-Based Approach for Real Addition.
CAV
Jochen Eisinger, Felix Klaedtke
2005 J jnl
Bounds on the Automata Size for Presburger Arithmetic
CoRR
Felix Klaedtke
2005 B conf
Optimizing Bounded Model Checking for Linear Hybrid Systems.
VMCAI
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
2004 — ch.
Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik.
Ausgezeichnete Informatikdissertationen
Felix Klaedtke
2004 A* conf
On the Automata Size for Presburger Arithmetic.
LICS
Felix Klaedtke
2003 J jnl
Decision procedures for inductive Boolean functions based on alternating automata.
Theor. Comput. Sci.
Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
2003 A* conf
Monadic Second-Order Logics with Cardinalities.
ICALP
Felix Klaedtke, Harald Rueß
2001 — conf
Complementation of Büchi Automata Using Alternation.
Automata, Logics, and Infinite Games
Felix Klaedtke
2001 B conf
Decision Procedure for an Extension of WS1S.
CSL
Felix Klaedtke
2000 A* conf
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata.
CAV
Abdelwaheb Ayari, David A. Basin, Felix Klaedtke