The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefano Tonetta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002