2008

1. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
   Symbolic Compilation of PSL,
   in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
   vol. 27,
   n. 10,
   2008
   , pp. 1737 -
   1750
2. Alessandro Cimatti; Marco Pistore; Paolo Traverso,
   Automated Planning,
   Handbook of Knowledge Representation,
   Elsevier,
   2008
   , pp. 841 -
   867
3. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
   The MathSAT 4SMT Solver,
   Proceedings of the 20th Int. Conference on Computer Aided Verification,
   Springer-Verlag,
   vol.5123,
   2008
   , pp. 299-
   303
   , (CAV 2008,
   Princeton, NJ, USA,
   7-14/07/2008)
4. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
   Efficient Interpolant Generation in Satisfiability Modulo Theories,
   Proceedings of the 14th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
   Springer-Verlag,
   vol.4963,
   2008
   , pp. 397-
   412
   , (TACAS 2008-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008,
   Budapest, Hungary,
   29/03-06/04/2008)
5. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev,
   Diagnostic Information for Realizability,
   Proceedings of 9th Int. Conference Verification, Model Checking, and Abstract Interpretation,
   Springer,
   vol.4905,
   2008
   , pp. 52-
   67
   , (VMCAI 2008,
   San Francisco, USA,
   07/01/2008-09/01/2008)
6. Alessandro Cimatti,
   Beyond Boolean SAT: Satisfiability Modulo Theories,
   Proceedings of the 9th Int. Workshop on Discrete Event Systems,
   IEEE Press,
   2008
   , pp. 68-
   73
   , (WODES 2008,
   Goteborg, Sweden,
   28/05/2008 - 30/05/2008)
7. Alessandro Cimatti; Luigi Palopoli; Yusi Ramadian,
   Symbolic Computation of Schedulability Regions using parametric timed automata,
   Proceeding of the 29th IEEE Real-Time Systems Symposium,
   Washington, DC,
   IEEE Computer Society,
   2008
   , pp. 80-
   89
   , (RTSS '08,
   Barcelona, Spain,
   30/11/2008 - 03/12/2008)
8. Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
   Loop Summarization Using Abstract Transformers,
   Proceedings of the 6th Int. Symposium on Automated Technology for Verification and Analysis,
   Springer-Verlag,
   vol.5311,
   2008
   , pp. 111-
   125
   , (ATVA 2008,
   Seoul, Korea,
   20-23/10/2008)
9. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
   Object Models with Temporal Constraints,
   Proceedings 6th Int. Conference on Software Engineering and Formal Methods,
   2008
   , pp. 249-
   258
   , (SEFM 2008,
   Cape Town,
   10/11/2008 - 14/11/2008)
10. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    From Informal Requirements to Property-Driven Formal Validation,
    Proceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems,
    Springer Verlag,
    vol.5596,
    2008
    , pp. 166-
    181
    , (FMICS 2008,
    L’Aquila, Italy,
    15/09/2008 - 16/09/2008)

Pages