Search the dblp DataBase

Publications of Author

1. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
   GSTE Is Partitioned Model Checking. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:229-241 [Conf]
   
2. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
   Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:350-363 [Conf]
   
3. Roberto Sebastiani, Stefano Tonetta
   "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:126-140 [Conf]
   
4. Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
   From PSL to NBA: a Modular Symbolic Encoding. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2006, pp:125-133 [Conf]
   
5. Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
   Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:532-546 [Conf]
   
6. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
   Syntactic Optimizations for PSL Verification. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:505-518 [Conf]
   
7. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
   Property-Driven Partitioning for Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:389-404 [Conf]
   
8. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
   GSTE is partitioned model checking. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:31, n:2, pp:177-196 [Journal]
   
9. 
   Loop Summarization Using Abstract Transformers. [Citation Graph (, )][DBLP]
   
   
10. 
    Requirements Validation for Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Abstract Model Checking without Computing the Abstraction. [Citation Graph (, )][DBLP]
    
    
12. 
    Model Checking of Hybrid Systems Using Shallow Synchronization. [Citation Graph (, )][DBLP]
    
    
13. 
    Formalization and validation of a subset of the European Train Control System. [Citation Graph (, )][DBLP]
    
    
14. 
    Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]
    
    
15. 
    Loopfrog: A Static Analyzer for ANSI-C Programs. [Citation Graph (, )][DBLP]
    
    
16. 
    The synergy of precise and fast abstractions for program verification. [Citation Graph (, )][DBLP]
    
    
17. 
    Object Models with Temporal Constraints. [Citation Graph (, )][DBLP]
    
    
18. 
    From Informal Requirements to Property-Driven Formal Validation. [Citation Graph (, )][DBLP]
    
    
19. 
    Formalization and Validation of Safety-Critical Requirements [Citation Graph (, )][DBLP]