-
A. Cimatti; S. Tonetta,
Contracts-refinement proof system for component-based embedded systems,
in «SCIENCE OF COMPUTER PROGRAMMING»,
2015
-
Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta,
Safety Assessment of AltaRica Models via Symbolic Model Checking,
in «SCIENCE OF COMPUTER PROGRAMMING»,
vol. 98,
2015
, pp. 464 -
483
-
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty,
in «ARTIFICIAL INTELLIGENCE»,
vol. 224,
2015
, pp. 1 -
27
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
in «LOGICAL METHODS IN COMPUTER SCIENCE»,
vol. 11,
n. 4,
2015
-
Griggio, Alberto; Roveri, Marco,
in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
2015
, pp. 1 -
1
-
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
in «INFORMATION AND COMPUTATION»,
vol. 245,
2015
, pp. 54 -
71
-
Raza, Usman; Camerra, Alessandro; Murphy, Amy L.; Palpanas, Themis; Picco, Gian Pietro,
in «IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING»,
vol. 27,
n. 8,
2015
, pp. 2231 -
2244
-
Cimatti A.; Micheli A.; Roveri M,
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach,
Proceedings of the 29th AAAI Conference on Artificial Intelligence,
Palo Alto, California,
AAAI Press,
2015
, (AAAI 2015,
Austin, Texas, USA,
25/01/2015 - 30/01/2015)
-
Bozzano M.; Cimatti A.; Gario M.; Micheli A.,
SMT-based Validation of Timed Failure Propagation Graphs,
Proceedings of the 29th AAAI Conference on Artificial Intelligence,
Palo Alto, California,
AAAI Press,
2015
, (AAAI 2015,
Austin, Texas, USA,
25/01/2015 - 30/01/2015)
-
Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings,
Springer,
vol.9035,
2015
, pp. 52-
67
, (21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
London, UK,
April 11-18, 2015)