You are here

Publications

  1. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Proceedings of 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
    2018
    , (2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
    Timisoara, Romania,
    20-23 Sept. 2018)
  2. Cerone, Antonio; Roveri, Marco (eds.),
    Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers,
    2018
  3. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    2018
  4. Rajeev Piyare, Amy L.Murphy, Csaba Kiraly, Pietro Tosato and Davide Brunelli,
    in «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS»,
    vol. 19,
    n. 4,
    2017
    , pp. 2117 -
    2157
  5. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    Cyber-Physical System Design from an Architecture Analysis Viewpoint,
    Springer,
    2017
    , pp. 133 -
    159
  6. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design.
    2017
    , pp. 431 -
    432
  7. Iova, Oana; Murphy, Amy Lynn; Picco, Gian Pietro; Ghiro, Lorenzo; Molteni, Davide; Ossi, Federico; Cagnacci, Francesca,
    Proceedings of the International Conference on Embedded Wireless Systems and Networks (EWSN) 2017,
    2017
    , pp. 317-
    322
    , (International Conference on Embedded Wireless Systems and Networks (EWSN) 2017,
    Uppsala, Sweden,
    20-22/02/2017)
  8. Rajeev Piyare; Timofei Istomin; Amy L. Murphy,
    Proceedings of the 14th International Conference on Embedded Wireless Systems and Networks,
    ACM,
    2017
    , pp. 48-
    53
    , (EWSN,
    Uppsala, Sweden,
    February 20-22)
  9. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Tools and Algorithms for the Construction and Analysis of Systems,
    vol.10205,
    2017
    , pp. 58-
    75
    , (International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017,
    Uppsala, Sweden,
    24-28 April 2017)
  10. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Automated Deduction – CADE 26,
    vol.10395,
    2017
    , pp. 95-
    113
    , (26th International Conference on Automated Deduction,
    Gothenburg, Sweden,
    August 6–11, 2017)

Pages