The following pages link to Felix Klaedtke (Q402358):
Displaying 34 items.
- Deciding safety and liveness in TPTL (Q402360) (← links)
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- Greedily computing associative aggregations on sliding windows (Q477620) (← links)
- Scalable offline monitoring of temporal specifications (Q681469) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- On regular temporal logics with past (Q977176) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Decision procedures for inductive Boolean functions based on alternating automata (Q1399969) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- Runtime verification of temporal properties over out-of-order data streams (Q2151259) (← links)
- (Q2754082) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Enforceable Security Policies Revisited (Q2894329) (← links)
- Alternation Elimination for Automata over Nested Words (Q3000607) (← links)
- (Q3165946) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)
- On Regular Temporal Logics with Past, (Q3638094) (← links)
- Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
- Complementation of Büchi Automata Using Alternation (Q4412827) (← links)
- (Q4449212) (← links)
- (Q4783320) (← links)
- (Q4910740) (← links)
- Runtime Verification over Out-of-order Streams (Q4972169) (← links)
- (Q4986509) (← links)
- Failure-aware Runtime Verification of Distributed Systems (Q5275399) (← links)
- Bounds on the automata size for Presburger arithmetic (Q5277800) (← links)
- Ramsey-Based Inclusion Checking for Visibly Pushdown Automata (Q5277899) (← links)
- Ramsey Goes Visibly Pushdown (Q5327436) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
- Alternation Elimination by Complementation (Extended Abstract) (Q5505555) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711504) (← links)
- Don’t Care Words with an Application to the Automata-Based Approach for Real Addition (Q5756751) (← links)
