Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFelix 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
Books and Theses
- 2004
[b1]Felix Christopher Klaedtke:
Automata-based decision procedures for weak arithmetics. University of Freiburg, Freiburg im Breisgau, Germany, 2004, pp. 1-168
Journal Articles
- 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) - 2019
- [j19]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): 31-70 (2019) - 2018
- [j18]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:
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) - 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, Felix Klaedtke, Roberto Bifulco:
On the Fingerprinting of Software-Defined Networks. IEEE Trans. Inf. Forensics Secur. 11(10): 2160-2173 (2016) - 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, Felix Klaedtke, Samuel Müller, Eugen Zalinescu:
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) - 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) - 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) - 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) - 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) - 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) - 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)
Conference and Workshop Papers
- 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, Håkon Lønsethagen, José-Miguel Pulido, Daniel King:
TeraFlow: Secured Autonomic Traffic Management for a Tera of SDN flows. EuCNC/6G Summit 2021: 377-382 - 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 - 2016
- [c33]Dimitrios Gkounis, Felix Klaedtke, Roberto Bifulco, Ghassan O. Karame:
Cases for Including a Reference Monitor to SDN. SIGCOMM 2016: 599-600 - 2015
- [c32]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Failure-aware Runtime Verification of Distributed Systems. FSTTCS 2015: 590-603 - [c31]Roberto Bifulco, Heng Cui, Ghassan O. Karame, Felix Klaedtke:
Fingerprinting Software-Defined Networks. ICNP 2015: 453-459 - [c30]Felix Klaedtke, Ghassan O. Karame, Roberto Bifulco, Heng Cui:
Towards an access control scheme for accessing flows in SDN. NetSoft 2015: 1-6 - 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, Heng Cui:
Access control for SDN controllers. HotSDN 2014: 219-220 - 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
- [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 - 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 - 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
- [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, Christian Dax, Jochen Eisinger, Felix Klaedtke:
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, Bernd Becker, Felix Klaedtke, Martin Steffen:
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412 - 2004
- [c5]Felix Klaedtke:
On the Automata Size for Presburger Arithmetic. LICS 2004: 110-119 - 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
Parts in Books or Collections
- 2004
- [p1]Felix Klaedtke:
Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik. Ausgezeichnete Informatikdissertationen 2004: 65-74
Informal and Other Publications
- 2019
- [i5]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification over Out-of-order Streams. CoRR abs/1909.11593 (2019) - 2017
- [i4]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification of Temporal Properties over Out-of-order Data Streams. CoRR abs/1707.05555 (2017) - 2015
- [i3]Heng Cui, Ghassan O. Karame, Felix Klaedtke, Roberto Bifulco:
Fingerprinting Software-defined Networks. CoRR abs/1512.06585 (2015) - 2011
- [i2]Felix Klaedtke:
Monitoring First-order Temporal Properties. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 6 - 2005
- [i1]Felix Klaedtke:
Bounds on the Automata Size for Presburger Arithmetic. CoRR abs/cs/0506008 (2005)
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-04-25 02:36 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:
