You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. Gario, Marco ; Micheli, Andrea,
    Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT),
    2015
    , (International Workshop on Satisfiability Modulo Theories (SMT),
    San Francisco, CA,
    July 18-19, 2015)
  2. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving strong controllability of temporal problems with uncertainty using SMT,
    in «CONSTRAINTS»,
    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. 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. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    AAAI,
    David Leake,
    2013
    , pp. 195-
    201
    , (Twenty-Seventh AAAI Conference on Artificial Intelligence,
    Bellevue, Washington, USA,
    14/07/2013 - 18/07/2013)
  7. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving Temporal Problems using SMT: Weak Controllability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
    , (AAAI 2012,
    Toronto, Canada,
    da 07/22/2012 a 07/26/2012)
  8. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving Temporal Problems using SMT: Strong Controllability,
    Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming,
    2012
    , (CP 2012,
    Quebec City, Canada,
    da 10/08/2012 a 10/12/2012)
  9. 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)
  10. 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)

Pages