Publications

11. 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
12. 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)
13. 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)
14. 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)
15. Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca,
    On-Demand TDMA for Energy Efficient Data Collection with LoRa and Wake-up Receiver,
    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)
16. Trobinger, Matteo; Istomin, Timofei; Murphy, Amy Lynn; Pietro Picco, Gian,
    CRYSTAL Clear – Making Interference Transparent (EWSN Dependability Competition),
    Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks,
    ACM,
    2018
    , pp. 217-
    218
    , (Embedded Wireless Systems and Networks,
    Madrid, Spain,
    February 14 - 16, 2018)
17. Istomin, Timofei; Trobinger, Matteo; Murphy, Amy Lynn; Picco, Gian Pietro,
    Interference-Resilient Ultra-Low Power Aperiodic Data Collection,
    Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks,
    2018
    , pp. 84-
    95
    , (International Conference on Information Processing in Sensor Networks,
    Porto, Portugal,
    11-13 April 2018)
18. Ceriotti, Matteo; Murphy, Amy L.,
    Reins-MAC: Firefly Inspired Communication Scheduling for Reliable Low-Power Wireless,
    Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems,
    2018
    , pp. 140-
    149
    , (International Conference on Self-Adaptive and Self-Organizing Systems,
    Trento, Italy,
    3-7 Sept. 2018)
19. Liu, Chenguang; Julien, Christine; Murphy, Amy L.,
    PINCH: Self-Organized Context Neighborhoods for Smart Environments,
    Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems,
    2018
    , pp. 120-
    129
    , (International Conference on Self-Adaptive and Self-Organizing Systems,
    Trento, Italy,
    3-7 Sept. 2018)
20. Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe,
    Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks,
    Proceedings of 2018 Formal Methods in Computer Aided Design, FMCAD 2018,
    2018
    , (2018 Formal Methods in Computer Aided Design (FMCAD),
    Austin, TX, USA,
    30 Oct.-2 Nov. 2018)

Pages