You are here

Publications

  1. Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.,
    in «AD HOC NETWORKS»,
    vol. 45,
    2016
    , pp. 1 -
    12
  2. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016
  3. 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)
  4. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
    Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    2016
    , pp. 907-
    913
    , (30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    Phoenix, Arizona, Stati Uniti,
    12–17/02/2016)
  5. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
    2016
    , pp. 972-
    978
    , (25th International Joint Conference on Artificial Intelligence,
    New York City, NY, Stati Uniti,
    9-15 July 2016)
  6. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas,
    Intelligent Computer Mathematics - 9th International Conference, CICM 2016,
    vol.9791,
    2016
    , pp. 28-
    43
    , (9th Conference on Intelligent Computer Mathematics CICM 2016,
    Bialystok, Poland,
    July 25-29, 2016)
  7. Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
    Computer Aided Verification - 28th International Conference, CAV 2016,
    vol.9779,
    2016
    , pp. 271-
    291
    , (28th International Conference on Computer Aided Verification, CAV 2016,
    Toronto, Canada,
    July 17-23, 2016)
  8. Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,
    2016
    , pp. 1156-
    1159
    , (2016 Design, Automation & Test in Europe Conference & Exhibition (DATE),
    Dresden, Germany,
    14-18 March 2016)
  9. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
    , (Thirtieth AAAI}Conference on Artificial Intelligence,
    Phoenix, Arizona, USA,
    February 12-17, 2016)
  10. 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)

Pages