-
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
-
Alessandro Cimatti; Marco Pistore; Paolo Traverso,
Automated Planning,
Handbook of Knowledge Representation,
Elsevier,
2008
, pp. 841 -
867
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)