Felix Klaedtke

According to our database1, Felix Klaedtke
  • authored at least 54 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Runtime Verification of Temporal Properties over Out-of-order Data Streams.
CoRR, 2017

Runtime Verification of Temporal Properties over Out-of-Order Data Streams.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
On the Fingerprinting of Software-Defined Networks.
IEEE Trans. Information Forensics and Security, 2016

Scalable offline monitoring of temporal specifications.
Formal Methods in System Design, 2016

Cases for Including a Reference Monitor to SDN.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

2015
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata.
ACM Trans. Comput. Log., 2015

Monitoring Metric First-Order Temporal Properties.
J. ACM, 2015

Greedily computing associative aggregations on sliding windows.
Inf. Process. Lett., 2015

Monitoring of temporal first-order properties with aggregations.
Formal Methods in System Design, 2015

Fingerprinting Software-defined Networks.
CoRR, 2015

Towards an access control scheme for accessing flows in SDN.
Proceedings of the 1st IEEE Conference on Network Softwarization, 2015

Fingerprinting Software-Defined Networks.
Proceedings of the 23rd IEEE International Conference on Network Protocols, 2015

Failure-aware Runtime Verification of Distributed Systems.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity.
Theor. Comput. Sci., 2014

Deciding safety and liveness in TPTL.
Inf. Process. Lett., 2014

Access control for SDN controllers.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

On Real-Time Monitoring with Imprecise Timestamps.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Scalable Offline Monitoring.
Proceedings of the Runtime Verification - 5th International Conference, 2014

2013
Monitoring Data Usage in Distributed Systems.
IEEE Trans. Software Eng., 2013

Enforceable Security Policies Revisited.
ACM Trans. Inf. Syst. Secur., 2013

Monitoring of Temporal First-Order Properties with Aggregations.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Ramsey Goes Visibly Pushdown.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012
A trace-based model for multiparty contracts.
J. Log. Algebr. Program., 2012

The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
Proceedings of the Proceedings Third International Symposium on Games, 2012

Monitoring Compliance Policies over Incomplete and Disagreeing Logs.
Proceedings of the Runtime Verification, Third International Conference, 2012

Enforceable Security Policies Revisited.
Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011
Monitoring Usage-Control Policies in Distributed Systems.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Algorithms for Monitoring Real-Time Properties.
Proceedings of the Runtime Verification - Second International Conference, 2011

MONPOLY: Monitoring Usage-Control Policies.
Proceedings of the Runtime Verification - Second International Conference, 2011

Alternation Elimination for Automata over Nested Words.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

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

On regular temporal logics with past.
Acta Inf., 2010

Monitoring security policies with metric first-order temporal logic.
Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

Policy Monitoring in First-Order Temporal Logic.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
On Regular Temporal Logics with Past, .
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Specification Languages for Stutter-Invariant Regular Properties.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Bounds on the automata size for Presburger arithmetic.
ACM Trans. Comput. Log., 2008

Don't care words with an application to the automata-based approach for real addition.
Formal Methods in System Design, 2008

Ehrenfeucht-Fraïssé Goes Automatic for Real Addition.
Proceedings of the STACS 2008, 2008

Alternation Elimination by Complementation (Extended Abstract).
Proceedings of the Logic for Programming, 2008

Runtime Monitoring of Metric First-order Temporal Properties.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2007
Language-Based Abstraction Refinement for Hybrid System Verification.
Proceedings of the Verification, 2007

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Don't Care Words with an Application to the Automata-Based Approach for Real Addition.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Bounds on the Automata Size for Presburger Arithmetic
CoRR, 2005

Optimizing Bounded Model Checking for Linear Hybrid Systems.
Proceedings of the Verification, 2005

2004
On the Automata Size for Presburger Arithmetic.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik.
Proceedings of the Ausgezeichnete Informatikdissertationen 2004, 2004

2003
Decision procedures for inductive Boolean functions based on alternating automata.
Theor. Comput. Sci., 2003

Monadic Second-Order Logics with Cardinalities.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2001
Complementation of Büchi Automata Using Alternation.
Proceedings of the Automata, 2001

Decision Procedure for an Extension of WS1S.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000


  Loading...