F
Felix Klaedtke
Researcher at ETH Zurich
Publications - 34
Citations - 675
Felix Klaedtke is an academic researcher from ETH Zurich. The author has contributed to research in topics: Runtime verification & Temporal logic. The author has an hindex of 14, co-authored 34 publications receiving 599 citations. Previous affiliations of Felix Klaedtke include University of Freiburg.
Papers
More filters
Book ChapterDOI
Monadic second-order logics with cardinalities
Felix Klaedtke,Harald Rueß +1 more
TL;DR: This work delimit the boundary between decidability versus undecidability of the weak monadic second-order logic of one successor (WS1S) extended with linear cardinality constraints of the form |X1|+...+|Xr| < |Y1 |+…+|Ys|, where the Xis and Yjs range over finite subsets of natural numbers.
Journal ArticleDOI
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Ezio Bartocci,Yliès Falcone,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 +15 more
TL;DR: The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on RuntimeVerification (RV’14).
Journal ArticleDOI
Monitoring of temporal first-order properties with aggregations
TL;DR: This work extends an expressive language, metric first-order temporal logic, with aggregation operators inspired by the aggregation operators common in database query languages like SQL, and provides a monitoring algorithm for this enriched policy specification language.
Book ChapterDOI
Algorithms for monitoring real-time properties
TL;DR: This work presents and analyzes monitoring algorithms for a safety fragment of metric temporal logics, which differ in their underlying time model and highlights key concepts underlying these algorithms.
Book ChapterDOI
Scalable Offline Monitoring
TL;DR: This work proposes an approach to monitoring IT systems offline, where system actions are logged in a distributed file system and subsequently checked for compliance against policies formulated in an expressive temporal logic, and develops a formal framework for slicing logs and an algorithmic realization based on MapReduce.