-
A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
IC3 Modulo Theories via Implicit Predicate Abstraction,
TACAS,
Springer,
vol.8413,
2014
, pp. 46-
61
, (Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Grenoble,
2014)
-
A. Bogliolo;V. Freschi;E. Lattanzi;A. Murphy;U. Raza,
Proc. of 9th IEEE Int. Symp. on Industrial Embedded Systems,
New York,
IEEE,
2014
, (9th IEEE International Symposium on Industrial Embedded Systems,
Pisa, Italy,
2014-June)
-
G. P. Picco; C. Julien; A. L. Murphy; M. Musolesi; G.-C. Roman,
Software engineering for mobility: reflecting on the past, peering into the future,
Proceedings of the on Future of Software Engineering,
2014
, pp. 13-
28
, (Proceedings of the on Future of Software Engineering,
Hyderabad, India,
31 May - 7 June 2014)
-
Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
13th International Conference on Space Operations 2014,
2014
-
A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
Verifying LTL Properties of Hybrid Systems with K-Liveness,
CAV,
2014
, pp. 424-
440
, (Computer-Aided Verification,
2014)
-
R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
The nuXmv Symbolic Model Checker,
CAV,
2014
, pp. 334-
342
, (Computer Aided Verification,
Vienna,
2014)
-
Thomas Arts; Michele Dorigatti; Stefano Tonetta,
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
vol.8666,
2014
, pp. 81-
92
, (33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014),
Florence, Italy,
September 10-12, 2014)
-
M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
Formal Safety Assessment via Contract-Based Design.,
ATVA14,
2014
, pp. 81-
97
, (Automated Technology for Verification and Analysis,
Sydney,
-
Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.,
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions,
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
2014
, pp. 23-
30
-
Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.,
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
Palo Alto, California, USA,
AAAI Press,
2014
, pp. 2242-
2249
, (Twenty-Eighth AAAI Conference on Artificial Intelligence,
Quebec City, Quebec, Canada,
27/07/2014 - 31/07/2014)