-
Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
Validation of Requirements for Hybrid Systems: a Formal Approach,
in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
vol. 21,
n. 4,
2012
, pp. 22:1 -
22:34
-
N. Sharygina; S. Tonetta; A. Tsitovich,
An abstraction refinement approach combining precise and approximated techniques,
in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
vol. 14,
n. 1,
2012
-
Alberto Griggio,
A Practical Approach to Satisability Modulo Linear Integer Arithmetic,
in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
vol. 8,
2012
-
Alberto Griggio; Thi Thieu Hoa Le; Roberto Sebastiani,
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic,
in «LOGICAL METHODS IN COMPUTER SCIENCE»,
vol. 8,
n. 3,
2012
-
Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
Software Model Checking with Explicit Scheduler and Symbolic Threads,
in «LOGICAL METHODS IN COMPUTER SCIENCE»,
vol. 8,
2012
, pp. 1 -
42
-
María Alpuente; Christophe Joubert; Stefan Kowalewski; Marco Roveri,
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010),
Elsevier,
2012
, pp. 1 -
3
-
U. Raza;A. Camerra;A. Murphy;T. Palpanas;G. Picco,
What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks?,
Proc. of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2012),
IEEE Computer Society,
2012
, (IEEE International Conference on Pervasive Computing and Communications,
Lugano, Switzerland,
19-23/03/2012)
-
Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive,
Symbolic Synthesis of Observability Requirements for Diagnosability,
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
AAAI Press,
2012
, (AAAI 2012: Twenty-Sixth AAAI Conference on Artificial Intelligence,
Toronto, Canada,
da 07/22/2012 a 07/26/2012)
-
Alessandro Cimatti; Alberto Griggio,
Software Model Checking via IC3,
Proceedings of Computer Aided Verification - 24th International Conference, CAV 2012,
Springer,
vol.7358,
2012
, (Computer Aided Verification - 24th International Conference, CAV 2012,
Berkeley, CA, USA,
da 07/07/2012 a 13/07/2012)
-
Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev,
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System,
CAV,
Springer,
vol.7358,
2012
, pp. 378-
393
, (Computer Aided Verification - 24th International Conference, CAV 2012,
Berkeley, CA, USA,
da 07/07/2012 a 07/13/2012)