You are here

Publications

  1. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
    13th International Conference on Space Operations 2014,
    2014
  2. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
    , (Computer-Aided Verification,
    2014)
  3. R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
    , (Computer Aided Verification,
    Vienna,
    2014)
  4. 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)
  5. 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,
  6. 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
  7. 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)
  8. 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)
  9. 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)
  10. 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)

Pages