You are here

Publications

  1. Guiotto A.; De Ferluc R.; Bozzano M.; Cimatti A.; Gario M.; Yushtein Y.,
    FAME Process: A Dedicated Development and V&V Process for FDIR,
    ESA SP-725,
    2014
    , (DASIA 2014,
    Warsaw, Poland,
    June 3rd - June 5th)
  2. Bittner B.; Bozzano M.; Cimatti A.; De Ferluc R. ; Gario M.; Guiotto A. ; Yushtein Y.,
    An Integrated Process for FDIR Design in
    Aerospace
    ,
    LNCS 8822,
    Springer International Publishing,
    vol.8822,
    2014
    , pp. 82-
    95
    , (International Symposium on Model Based Safety and Assessment,
    Munich, Germany,
    October 27-29, 2014)
  3. 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)
  4. 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)
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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

Pages