You are here

Publications

  1. Thomas Arts; Michele Dorigatti; Stefano Tonetta,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol.8666,
    2014
    , pp. 81-
    92
    , (33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014),
    Florence, Italy,
    September 10-12, 2014)
  2. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
    , (Automated Technology for Verification and Analysis,
    Sydney,
  3. Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.,
    Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions,
    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
    2014
    , pp. 23-
    30
  4. Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.,
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
    Palo Alto, California, USA,
    AAAI Press,
    2014
    , pp. 2242-
    2249
    , (Twenty-Eighth AAAI Conference on Artificial Intelligence,
    Quebec City, Quebec, Canada,
    27/07/2014 - 31/07/2014)
  5. Cimatti A.; Hunsberger L.; Micheli A.; Posenato R; Roveri M.,
    Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation,
    Proceedings of the 21st International Symposium on Temporal Representation and Reasoning,
    IEEE,
    2014
    , pp. 27-
    36
    , (21st International Symposium on Temporal Representation and Reasoning,
    Verona, Italia,
    08/09/2014 - 10/09/2014)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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

Pages