Search the dblp DataBase

Publications of Author

1. Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
   Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. [Citation Graph (0, 0)][DBLP]
   CAV, 2000, pp:170-185 [Conf]
   
2. Jochen Eisinger, Felix Klaedtke
   Don't Care Words with an Application to the Automata-Based Approach for Real Addition. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:67-80 [Conf]
   
3. Felix Klaedtke
   Decision Procedure for an Extension of WS1S. [Citation Graph (0, 0)][DBLP]
   CSL, 2001, pp:384-398 [Conf]
   
4. Felix Klaedtke
   Complementation of Büchi Automata Using Alternation. [Citation Graph (0, 0)][DBLP]
   Automata, Logics, and Infinite Games, 2001, pp:61-78 [Conf]
   
5. Felix Klaedtke, Harald Rueß
   Monadic Second-Order Logics with Cardinalities. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:681-696 [Conf]
   
6. Felix Klaedtke
   On the Automata Size for Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
   LICS, 2004, pp:110-119 [Conf]
   
7. Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
   Optimizing Bounded Model Checking for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2005, pp:396-412 [Conf]
   
8. Abdelwaheb Ayari, David A. Basin, Felix Klaedtke
   Decision procedures for inductive Boolean functions based on alternating automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:300, n:1-3, pp:301-329 [Journal]
   
9. Christian Dax, Jochen Eisinger, Felix Klaedtke
   Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:223-236 [Conf]
   
10. Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
    LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:307-310 [Conf]
    
11. 
    Specification Languages for Stutter-Invariant Regular Properties. [Citation Graph (, )][DBLP]
    
    
12. 
    Policy Monitoring in First-Order Temporal Logic. [Citation Graph (, )][DBLP]
    
    
13. 
    Runtime Monitoring of Metric First-order Temporal Properties. [Citation Graph (, )][DBLP]
    
    
14. 
    On Regular Temporal Logics with Past, . [Citation Graph (, )][DBLP]
    
    
15. 
    Alternation Elimination by Complementation (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
16. 
    Monitoring security policies with metric first-order temporal logic. [Citation Graph (, )][DBLP]
    
    
17. 
    Ehrenfeucht-Fraïssé Goes Automatic for Real Addition. [Citation Graph (, )][DBLP]
    
    
18. 
    Language-Based Abstraction Refinement for Hybrid System Verification. [Citation Graph (, )][DBLP]
    
    
19. 
    Bounds on the Automata Size for Presburger Arithmetic [Citation Graph (, )][DBLP]