-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
vol. 19,
n. 3,
2018
, pp. 1 -
52
-
Piyare, Rajeev Kumar; Murphy, Amy; Magno, Michele; Benini, Luca,
in «SENSORS»,
vol. 18,
n. 11,
2018
, pp. 3718 -
-
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
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
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)
-
Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,
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)
-
Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca,
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)
-
Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca,
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)
-
Trobinger, Matteo; Istomin, Timofei; Murphy, Amy Lynn; Pietro Picco, Gian,
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)
-
Istomin, Timofei; Trobinger, Matteo; Murphy, Amy Lynn; Picco, Gian Pietro,
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)
-
Ceriotti, Matteo; Murphy, Amy L.,
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)