default search action
Felix Klaedtke
Person information
- affiliation: NEC Labs Europe, Heidelberg, Germany
- affiliation (former): ETH Zurich, Switzerland
- affiliation (PhD 2004): University of Freiburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i6]Felix Klaedtke:
POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime. CoRR abs/2404.15723 (2024) - 2021
- [c36]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
TeraFlow: Secured Autonomic Traffic Management for a Tera of SDN flows. EuCNC/6G Summit 2021: 377-382 - 2020
- [j20]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log. 21(1): 5:1-5:43 (2020)
2010 – 2019
- 2019
- [j19]Ezio Bartocci
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [i5]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification over Out-of-order Streams. CoRR abs/1909.11593 (2019) - 2018
- [j18]Ghada Arfaoui
A Security Architecture for 5G Networks. IEEE Access 6: 22466-22479 (2018) - [j17]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Algorithms for monitoring real-time properties. Acta Informatica 55(4): 309-338 (2018) - 2017
- [c35]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification of Temporal Properties over Out-of-Order Data Streams. CAV (1) 2017: 356-376 - [c34]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
The MonPoly Monitoring Tool. RV-CuBES 2017: 19-28 - [i4]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification of Temporal Properties over Out-of-order Data Streams. CoRR abs/1707.05555 (2017) - 2016
- [j16]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): 75-108 (2016) - [j15]Heng Cui, Ghassan O. Karame
On the Fingerprinting of Software-Defined Networks. IEEE Trans. Inf. Forensics Secur. 11(10): 2160-2173 (2016) - [c33]Dimitrios Gkounis, Felix Klaedtke, Roberto Bifulco
Cases for Including a Reference Monitor to SDN. SIGCOMM 2016: 599-600 - 2015
- [j14]David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. 46(3): 262-285 (2015) - [j13]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Greedily computing associative aggregations on sliding windows. Inf. Process. Lett. 115(2): 186-192 (2015) - [j12]David A. Basin
Monitoring Metric First-Order Temporal Properties. J. ACM 62(2): 15:1-15:45 (2015) - [j11]Oliver Friedmann, Felix Klaedtke, Martin Lange:
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata. ACM Trans. Comput. Log. 16(4): 34:1-34:24 (2015) - [c32]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Failure-aware Runtime Verification of Distributed Systems. FSTTCS 2015: 590-603 - [c31]Roberto Bifulco
Fingerprinting Software-Defined Networks. ICNP 2015: 453-459 - [c30]Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco
Towards an access control scheme for accessing flows in SDN. NetSoft 2015: 1-6 - [i3]Heng Cui, Ghassan O. Karame, Felix Klaedtke, Roberto Bifulco:
Fingerprinting Software-defined Networks. CoRR abs/1512.06585 (2015) - 2014
- [j10]David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu:
Deciding safety and liveness in TPTL. Inf. Process. Lett. 114(12): 680-688 (2014) - [j9]Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. Theor. Comput. Sci. 560: 292-306 (2014) - [c29]David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel:
Scalable Offline Monitoring. RV 2014: 31-47 - [c28]David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
On Real-Time Monitoring with Imprecise Timestamps. RV 2014: 193-198 - [c27]Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco
Access control for SDN controllers. HotSDN 2014: 219-220 - 2013
- [j8]David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu:
Enforceable Security Policies Revisited. ACM Trans. Inf. Syst. Secur. 16(1): 3 (2013) - [j7]David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
Monitoring Data Usage in Distributed Systems. IEEE Trans. Software Eng. 39(10): 1403-1426 (2013) - [c26]Oliver Friedmann, Felix Klaedtke, Martin Lange:
Ramsey Goes Visibly Pushdown. ICALP (2) 2013: 224-237 - [c25]David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
Monitoring of Temporal First-Order Properties with Aggregations. RV 2013: 40-58 - 2012
- [j6]Tom Hvitved, Felix Klaedtke, Eugen Zalinescu:
A trace-based model for multiparty contracts. J. Log. Algebraic Methods Program. 81(2): 72-98 (2012) - [c24]David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu:
Enforceable Security Policies Revisited. POST 2012: 309-328 - [c23]David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
Monitoring Compliance Policies over Incomplete and Disagreeing Logs. RV 2012: 151-167 - [c22]Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. GandALF 2012: 113-126 - 2011
- [c21]Christian Dax, Felix Klaedtke:
Alternation Elimination for Automata over Nested Words. FoSSaCS 2011: 168-183 - [c20]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Algorithms for Monitoring Real-Time Properties. RV 2011: 260-275 - [c19]David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
MONPOLY: Monitoring Usage-Control Policies. RV 2011: 360-364 - [c18]David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
Monitoring Usage-Control Policies in Distributed Systems. TIME 2011: 88-95 - [i2]Felix Klaedtke:
Monitoring First-order Temporal Properties. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 6 - 2010
- [j5]Christian Dax, Felix Klaedtke, Martin Lange:
On regular temporal logics with past. Acta Informatica 47(4): 251-277 (2010) - [j4]Felix Klaedtke:
Ehrenfeucht-Fraïssé goes automatic for real addition. Inf. Comput. 208(11): 1283-1295 (2010) - [c17]David A. Basin, Felix Klaedtke, Samuel Müller:
Policy Monitoring in First-Order Temporal Logic. CAV 2010: 1-18 - [c16]David A. Basin, Felix Klaedtke, Samuel Müller:
Monitoring security policies with metric first-order temporal logic. SACMAT 2010: 23-34
2000 – 2009
- 2009
- [c15]Christian Dax, Felix Klaedtke, Stefan Leue:
Specification Languages for Stutter-Invariant Regular Properties. ATVA 2009: 244-254 - [c14]Christian Dax, Felix Klaedtke, Martin Lange:
On Regular Temporal Logics with Past, . ICALP (2) 2009: 175-187 - 2008
- [j3]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): 85-115 (2008) - [j2]Felix Klaedtke:
Bounds on the automata size for Presburger arithmetic. ACM Trans. Comput. Log. 9(2): 11:1-11:34 (2008) - [c13]David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann:
Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS 2008: 49-60 - [c12]Christian Dax, Felix Klaedtke:
Alternation Elimination by Complementation (Extended Abstract). LPAR 2008: 214-229 - [c11]Felix Klaedtke:
Ehrenfeucht-Fraïssé Goes Automatic for Real Addition. STACS 2008: 445-456 - 2007
- [c10]Christian Dax, Jochen Eisinger, Felix Klaedtke:
Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. ATVA 2007: 223-236 - [c9]Bernd Becker
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV 2007: 307-310 - [c8]Felix Klaedtke, Stefan Ratschan, Zhikun She:
Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI 2007: 151-166 - 2006
- [c7]Jochen Eisinger, Felix Klaedtke:
Don't Care Words with an Application to the Automata-Based Approach for Real Addition. CAV 2006: 67-80 - 2005
- [c6]Erika Ábrahám
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412 - [i1]Felix Klaedtke:
Bounds on the Automata Size for Presburger Arithmetic. CoRR abs/cs/0506008 (2005) - 2004
- [b1]Felix Christopher Klaedtke:
Automata-based decision procedures for weak arithmetics. University of Freiburg, Freiburg im Breisgau, Germany, 2004, pp. 1-168 - [c5]Felix Klaedtke:
On the Automata Size for Presburger Arithmetic. LICS 2004: 110-119 - [p1]Felix Klaedtke:
Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik. Ausgezeichnete Informatikdissertationen 2004: 65-74 - 2003
- [j1]Abdelwaheb Ayari, David A. Basin, Felix Klaedtke:
Decision procedures for inductive Boolean functions based on alternating automata. Theor. Comput. Sci. 300(1-3): 301-329 (2003) - [c4]Felix Klaedtke, Harald Rueß:
Monadic Second-Order Logics with Cardinalities. ICALP 2003: 681-696 - 2001
- [c3]Felix Klaedtke:
Decision Procedure for an Extension of WS1S. CSL 2001: 384-398 - [c2]Felix Klaedtke:
Complementation of Büchi Automata Using Alternation. Automata, Logics, and Infinite Games 2001: 61-78 - 2000
- [c1]Abdelwaheb Ayari, David A. Basin, Felix Klaedtke:
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. CAV 2000: 170-185
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: