You are here

mattarei

Former Member
  • Phone: 0461314146
  • FBK Povo
Publications
  1. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9636,
    2016
    , pp. 533-
    539
    , (Tools and Algorithms for the Construction and Analysis of Systems,
    Eindhoven, The Netherlands,
    2-8 aprile 2016)
  2. Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
    vol.9780,
    2016
    , pp. 3-
    22
    , (28th International Conference on Computer Aided Verification (CAV),
    Toronto, Canada,
    July 17-23 2016)
  3. Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta,
    Safety Assessment of AltaRica Models via Symbolic Model Checking,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    vol. 98,
    2015
    , pp. 464 -
    483
  4. Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian,
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,
    vol.9206,
    2015
    , pp. 603-
    621
    , (27th International Conference on Computer Aided Verification, CAV 2015,
    San Francisco, CA,
    July 18-24, 2015)
  5. Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Comparing Different Functional Allocations in Automated Air Traffic Control Design,
    Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015,
    IEEE,
    2015
    , pp. 112-
    119
    , (FMCAD '15 Formal Methods in Computer-Aided Design,
    Austin, TX, USA,
    September 27 - 30, 2015)
  6. 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,
  7. 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)
  8. Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
    Efficient Analysis of Reliability Architectures via Predicate Abstraction,
    Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference,
    Springer,
    vol.8244,
    2013
    , pp. 279-
    294
    , (Ninth Haifa Verification Conference,
    Haiva, Israel,
    5 - 7 November 2013)
  9. M. Bozzano; A. Cimatti; O. Lisagor; C. Mattarei; S. Mover; M. Roveri; S. Tonetta,
    Model Checking and Safety Assessment of Altarica models,
    in «ELECTRONIC COMMUNICATIONS OF THE EASST»
    Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011),
    Berlin,
    EASST,
    vol.46,
    2011
    , (AVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems,
    Newcastle, UK,
    da 09/12/2011 a 09/14/2011)
  10. Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
    , (ASE 2009,
    Auckland, New Zealand,
    16/11/2009 - 20/11/2009)