You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri,
    2011
    , (Accepted at CAV 2011 - 23rd International Conference onComputer Aided Verification,
    Cliff Lodge, Snowbird, Utah,
    14-20/07/2011)
  2. 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)
  3. Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri,
    Verifying SystemC: a Software Model Checking Approach,
    Proceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design,
    2010
    , pp. 51-
    60
    , (FMCAD 2010,
    Lugano, Switzerland,
    October, 20-23, 2010)
  4. Marco Roveri; Alessandro Cimatti; Iman Narasamdya; Andrea Micheli; Daniele Campana; Alberto Griggio; Andrei Tchaltsev,
    2010,
  5. 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)
  6. Marco Roveri; Alessandro Cimatti; Roberto Cavada; Andrei Tchaltsev; Andrea Micheli; Alessandro Mariotti; Sergio Mover; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala,
    2002,

Pages