Publications

21. Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik,
    Symbolic execution with existential second-order constraints,
    Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018,
    2018
    , pp. 389-
    399
    , (26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
    Lake Buena Vista, FL, USA,
    November 04 - 09, 2018)
22. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233
    , (Formal Methods in Computer-Aided Design (FMCAD '18),
    Austin, Texas,
    30 Oct - 2 Nov, 2018)
23. 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
24. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation,
    2018
25. Rajeev Piyare, Amy L.Murphy, Csaba Kiraly, Pietro Tosato and Davide Brunelli,
    Ultra Low Power Wake-Up Radios: A Hardware and Networking Survey,
    in «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS»,
    vol. 19,
    n. 4,
    2017
    , pp. 2117 -
    2157
26. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    Formal Methods for Aerospace Systems,
    Cyber-Physical System Design from an Architecture Analysis Viewpoint,
    Springer,
    2017
    , pp. 133 -
    159
27. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design.
    2017
    , pp. 431 -
    432
28. Iova, Oana; Murphy, Amy Lynn; Picco, Gian Pietro; Ghiro, Lorenzo; Molteni, Davide; Ossi, Federico; Cagnacci, Francesca,
    LoRa from the City to the Mountains: Exploration of Hardware and Environmental Factors,
    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)
29. Rajeev Piyare; Timofei Istomin; Amy L. Murphy,
    WaCo: A Wake-Up Radio COOJA Extension for Simulating Ultra Low Power Radios,
    Proceedings of the 14th International Conference on Embedded Wireless Systems and Networks,
    ACM,
    2017
    , pp. 48-
    53
    , (EWSN,
    Uppsala, Sweden,
    February 20-22)
30. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF,
    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)

Pages