2007

1. Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri,
   Symbolic Implementation of Alternating Automata,
   in «INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE»,
   vol. 18,
   n. 4,
   2007
   , pp. 727 -
   743
2. Marco Bozzano; Adolfo Villafiorita,
   The FSAP/NuSMV-SA Safety Analysis Platform,
   in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
   vol. 9,
   n. 1,
   2007
   , pp. 5 -
   24
3. Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,
   GSTE is partitioned model checking,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   vol. 31,
   n. 2,
   2007
   , pp. 177 -
   196
4. Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti,
   A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,
   Model Checking and Artificial Intelligence,
   Berlin, Heidelberg,
   Springer-Verlag,
   2007
   , pp. 1 -
   18
5. Marco Bozzano; Alessandro Cimatti; Francesco Tapparo,
   Symbolic Fault Tree Analysis for Reactive Systems,
   5th Int. Symposium on Automated Technology for Verification and Analysis,
   Springer-Verlag,
   vol.4762,
   2007
   , pp. 162-
   176
   , (ATVA 2007,
   Tokyo, Japan,
   22-25/10/2007)
6. Zvonimir Rakamaric; Roberto Bruttomesso; Alan J. Hu; Alessandro Cimatti,
   Verifying Heap-Manipulating Programs in an SMT Framework,
   5th Int. Symposium on Automated Technology for Verification and Analysis,
   Springer-Verlag,
   vol.4762,
   2007
   , pp. 237-
   252
   , (ATVA 2007,
   Tokyo, Japan,
   22-25/10/2007)
7. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta,
   Boolean Abstraction for Temporal Logic Satisfiability,
   Proceedings of 19th Int. Conference Computer Aided Verification,
   Springer,
   vol.4590,
   2007
   , pp. 532-
   546
   , (CAV,
   Berlin, Germany,
   03/07/2007-07/07/2007)
8. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Ziyad Hanna; Alexander Nadel; Amit Palti; Roberto Sebastiani,
   A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems,
   Proceedings of the 19th Int. Conference on Computer aided verification,
   Springer-Verlag,
   vol.4590,
   2007
   , pp. 547-
   560
   , (CAV'07,
   Berlin, Germany,
   2007)
9. Roberto Cavada; Alessandro Cimatti; Anders Franzen; Kalyanasundaram Krishnamani; Marco Roveri; R. K. Shyamasundar,
   Computing Predicate Abstractions by Integrating BDDs and SMT Solvers,
   Proceedings of the Formal Methods in Computer Aided Design,
   Washington, DC,
   2007
   , pp. 69-
   76
   , (FMCAD '07,
   Austin, Texas,
   11/11/2007-14/11/2007)
10. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
    A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories,
    Proceedings of the 10th Int. Conference on Theory and Applications of Satisfiability Testing,
    Springer,
    vol.4501,
    2007
    , pp. 334-
    339
    , (SAT’07,
    Lisbon, Portugal,
    28-31/05/2007)

Pages