You are here

Publications

  1. Bittner B.; Bozzano M. ; Cimatti A.; De Ferluc R.; Gario M.; Guiotto A.; Yushtein Y.,
    FAME: A Model-Based Environment for FDIR Design in Aerospace,
    Proceedings of the International Symposium on Model Based Safety and Assessment,
    Springer International Publishing,
    vol.8822,
    2014
    , pp. 1-
    2
    , (International Symposium on Model Based Safety and Assessment,
    Munich, Germany,
    October 27-29, 2014)
  2. Timofei Istomin, Ramona Marfeivici, Amy L. Murphy, Gian Pietro Picco,
    TRIDENT: In-field Connectivity Assessment for Wireless Sensor Networks,
    Proceedings of the 6th Extreme Conference on Communication and Computing (ExtremeCom),
    2014
    , (6th Extreme Conference on Communication and Computing (ExtremeCom),
    galapagos islands, ecuador,
    11-16 august 2014)
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. Marco Bozzano; Adolfo Villafiorita,
    in Encyclopedia of Software Engineering,
    New York,
    CRC Press, Taylor & Francis Group,
    2013
  10. 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)

Pages