-
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)
-
Gian Pietro Picco; Davide Molteni; Amy L. Murphy; Federico Ossi; Francesca Cagnacci; Michele Corra; Sandro Nicoloso,
Proceedings of the 14th International Conference on Information Processing in Sensor Networks,
2015
, pp. 238-
249
, (International Conference on Information Processing in Sensor Networks,
Seattle, WA, USA,
13-16/4/2015)
-
Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian,
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,
vol.9206,
2015
, pp. 603-
621
, (27th International Conference on Computer Aided Verification, CAV 2015,
San Francisco, CA,
July 18-24, 2015)
-
Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Rozier, Kristin Yvonne,
Comparing Different Functional Allocations in Automated Air Traffic Control Design,
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015,
IEEE,
2015
, pp. 112-
119
, (FMCAD '15 Formal Methods in Computer-Aided Design,
Austin, TX, USA,
September 27 - 30, 2015)
-
Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang,
Proceedings of ATVA,
Springer,
vol.9364,
2015
, pp. 326-
343
, (Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015,
Shanghai, China,
October 12-15, 2015)