You are here

Roberto Cavada

Technologist
  • Phone: 0461314328
  • 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. Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano,
    Proceedings of FM 2016: Formal Methods 21st International Symposium,
    vol.9995,
    2016
    , pp. 741-
    747
    , (FM 2016: Formal Methods 21st International Symposium,
    Limassol, Cyprus,
    November 9-11, 2016)
  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. Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta,
    OthelloPlay: a plug-in based tool for requirement formalization and validation,
    Proceedings of the 1st Workshop on Developing Tools as Plug-ins,
    2011
    , pp. 59-
    59
    , (TOPI 2011,
    Honolulu, Hawaii, USA,
    da 05/28/2011 a 05/28/2011)
  5. Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive,
    Formal Verification and Validation of AADL Model,
    2010
    , (ERTS² 2010 - Embedded Real Time Software and Systems,
    Toulouse, France,
    19-21/05/2010)
  6. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer; Roberto Cavada,
    2010,
  7. 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)
  8. Marco Roveri; Alessandro Cimatti; Viktor Schuppan; Andrei Tchaltsev; Roberto Cavada,
    2009,
  9. Roberto Cavada; Alessandro Cimatti; Anders Franzen; Kalyanasundaram Krishnamani; Marco Roveri; R. K. Shyamasundar,
    Computing Predicate Abstractions by Integrating BDDs and SMT Solvers,
    Proceedings of the Formal Methods in Computer Aided Design,
    Washington, DC,
    2007
    , pp. 69-
    76
    , (FMCAD '07,
    Austin, Texas,
    11/11/2007-14/11/2007)
  10. Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev,
    Rat: A tool for the formal analysis of requirements,
    Proceedings of 19th Int. Conference Computer Aided Verification,
    Springer,
    vol.4590,
    2007
    , pp. 263-
    267
    , (CAV 2007,
    Berlin, Germany,
    03/07/2007-07/07/2007)

Pages