Publications

11. Ferron, Michela; Leonardi, Chiara; Massa, Paolo; Schiavo, Gianluca; Murphy, Amy L.; Farella, Elisabetta,
    A Walk on the Child Side: Investigating Parents' and Children's Experience and Perspective on Mobile Technology for Outdoor Child Independent Mobility,
    CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems,
    2019
    , pp. 1-
    12
    , (2019 CHI Conference on Human Factors in Computing Systems (CHI '19),
12. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (eds.),
    Model-Based Safety and Assessment,
    2019
13. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    Strong temporal planning with uncontrollable durations,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1 -
    34
14. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
    Tightening the contract refinements of a system architecture,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 52,
    n. 1,
    2018
    , pp. 88 -
    116
15. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 19,
    n. 3,
    2018
    , pp. 1 -
    52
16. Piyare, Rajeev Kumar; Murphy, Amy; Magno, Michele; Benini, Luca,
    On-Demand LoRa: Asynchronous TDMA for Energy Efficient and Low Latency Communication in IoT,
    in «SENSORS»,
    vol. 18,
    n. 11,
    2018
    , pp. 3718 -
17. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
    Model checking: teoria ed applicazioni,
    Le direzioni della ricerca logica in Italia 2,
    Edizioni ETS,
    2018
    , pp. 141 -
    193
18. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization,
    Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018,
    vol.10929,
    2018
    , pp. 383-
    398
    , (SAT 2018: Theory and Applications of Satisfiability Testing – SAT 2018,
    Oxford, UK,
    July 9–12, 2018)
19. Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,
    Formal Specification and Verification of Dynamic Parametrized Architectures,
    Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings,
    Springer,
    vol.10951,
    2018
    , pp. 625-
    644
    , (22nd International Symposium on Formal Methods, FM 2018,
    Oxford, UK,
    15-17 July 2018)
20. Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca,
    KRATOS: An Open Source Hardware - Software Platform for Rapid Research in LPWANs,
    Proceedings of IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications,
    IEEE,
    2018
    , (IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications,
    Cyprus,
    15-17th October 2018)

Pages