2013

1. R. Banach; M. Bozzano,
   The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits,
   in «FORMAL ASPECTS OF COMPUTING»,
   vol. 25,
   n. 4,
   2013
   , pp. 573 -
   607
2. R. Banach; M. Bozzano,
   The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits,
   in «FORMAL ASPECTS OF COMPUTING»,
   vol. 25,
   n. 4,
   2013
   , pp. 609 -
   657
3. Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
   Loop Summarization using State and Transition Invariants,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   vol. 42,
   n. 3,
   2013
   , pp. 221 -
   261
4. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
   SMT-based scenario verification for hybrid systems,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   vol. 42,
   n. 1,
   2013
   , pp. 46 -
   66
5. Alessandro Cimatti;Iman Narasamdya;Marco Roveri,
   Software Model Checking SystemC,
   in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
   vol. 32,
   2013
   , pp. 774 -
   787
6. Martin Brain;Vijay D’Silva;Alberto Griggio;Leopold Haller;Daniel Kroening,
   Deciding floating-point logic with abstract conflict driven clause learning,
   in «FORMAL METHODS IN SYSTEM DESIGN»,
   2013
7. Marco Bozzano; Adolfo Villafiorita,
   voce Safety Critical Systems,
   in Encyclopedia of Software Engineering,
   New York,
   CRC Press, Taylor & Francis Group,
   2013
8. Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
   Automated Analysis of Reliability Architectures,
   18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013,
   IEEE Computer Society,
   2013
   , pp. 198-
   207
   , (International Conference on Engineering of Complex Computer Systems,
   Singapore,
   07/17/2013 07/19/2013)
9. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
   Timelines with Temporal Uncertainty,
   AAAI,
   David Leake,
   2013
   , pp. 195-
   201
   , (Twenty-Seventh AAAI Conference on Artificial Intelligence,
   Bellevue, Washington, USA,
   14/07/2013 - 18/07/2013)
10. Martin Brain;Vijay D’Silva;Leopold Haller;Alberto Griggio;Daniel Kroening,
    An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»
    Lecture Notes in Computer ScienceVerification, Model Checking, and Abstract Interpretation,
    vol.7737,
    2013
    , pp. 455-
    475

Pages