You are here

Publications

  1. Bozzano, Marco,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»
    Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
    vol.259,
    2017
    , pp. 39-
    46
    , (2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
    Uppsala, Sweden,
    29th April 2017)
  2. Marco, Bozzano; Yiannis, Papadopoulos (eds.),
    Springer,
    2017
  3. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  4. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),
    Springer,
    2017
  5. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
  6. Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.,
    in «AD HOC NETWORKS»,
    vol. 45,
    2016
    , pp. 1 -
    12
  7. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016
  8. Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.,
    in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA»,
    vol. 50,
    n. 4,
    2016
    , pp. 145 -
    147
  9. 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)
  10. 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)

Pages