Search the dblp DataBase

Publications of Author

1. 
   Time-bounded model checking of infinite-state continuous-time Markov chains. [Citation Graph (, )][DBLP]
   
   
2. 
   INFAMY: An Infinite-State Markov Model Checker. [Citation Graph (, )][DBLP]
   
   
3. 
   PARAM: A Model Checker for Parametric Markov Models. [Citation Graph (, )][DBLP]
   
   
4. 
   Abstract Interpretation with Applications to Timing Validation. [Citation Graph (, )][DBLP]
   
   
5. 
   Probabilistic CEGAR. [Citation Graph (, )][DBLP]
   
   
6. 
   Explaining Data Type Reduction in the Shape Analysis Framework. [Citation Graph (, )][DBLP]
   
   
7. 
   Symbolic state traversal for WCET analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Probabilistic Model Checking Modulo Theories. [Citation Graph (, )][DBLP]
   
   
9. 
   PASS: Abstraction Refinement for Infinite Probabilistic Models. [Citation Graph (, )][DBLP]
   
   
10. 
    The Spotlight Principle. [Citation Graph (, )][DBLP]
    
    
11. 
    Static Timing Analysis for Hard Real-Time Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    Best Probabilistic Transformers. [Citation Graph (, )][DBLP]
    
    
13. 
    A Definition and Classification of Timing Anomalies. [Citation Graph (, )][DBLP]
    
    
14. 
    Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models. [Citation Graph (, )][DBLP]