2014

1. A. Cimatti;S. Mover;S. Tonetta,
   Quantifier-free encoding of invariants for hybrid systems,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   vol. 45,
   n. 2,
   2014
   , pp. 165 -
   188
2. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
   Solving strong controllability of temporal problems with uncertainty using SMT,
   in «CONSTRAINTS»,
   2014
3. 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
4. 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
5. 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)
6. 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)
7. A. Bogliolo;V. Freschi;E. Lattanzi;A. Murphy;U. Raza,
   Towards a True Energetically Sustainable WSN: A Case Study with Prediction-Based Data Collection and a Wake-up Receiver,
   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)
8. 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)
9. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
   Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure,
   13th International Conference on Space Operations 2014,
   2014
10. 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)

Pages