-
A. Cimatti;S. Mover;S. Tonetta,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 45,
n. 2,
2014
, pp. 165 -
188
-
Alessandro Cimatti; Andrea Micheli; Marco Roveri,
Solving strong controllability of temporal problems with uncertainty using SMT,
in «CONSTRAINTS»,
2014
-
Bozzano M.; Cimatti A.; Katoen J.-P.; Katsaros P.; Mokos K.; Nguyen V.Y.; Noll T.; Postma B.; Roveri M.,
Spacecraft Early Design Validation using Formal Methods,
in «RELIABILITY ENGINEERING & SYSTEM SAFETY»,
vol. 132,
2014
, pp. 20 -
35
-
Laura Baracchi;Alessandro Cimatti;Gerald Garcia;Silvia Mazzini;Stefano Puri;Stefano Tonetta,
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach,
Handbook of Research on Embedded Systems Design,
2014
, pp. 209 -
241
-
Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
TACAS 2014, LNCS 8413,,
Berlin,
Springer-Verlag,
vol.8413,
2014
, pp. 326-
340
, (Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014,
Grenoble, Francia,
2014)
-
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)