Publications

21. Zottele, Fabio; Roveri, Marco; Rigo, Elia; Simoni, Eros; Villa, Paolo; Toller, Giambattista,
    GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation,
    Atti del XXI Convegno Nazionale di Agrometeorologia Agrometeorologia per le Politiche di Sviluppo Rurale Agrometeorology for Rural Development Policies,
    2018
    , pp. 70-
    73
    , (Agrometeorologia per le Politiche di Sviluppo Rurale,
22. 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)
23. 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)
24. 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
25. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation,
    2018
26. 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
27. 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
28. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design.
    2017
    , pp. 431 -
    432
29. 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)
30. 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)

Pages