You are here

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