-
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)
-
Liu, Chenguang; Julien, Christine; Murphy, Amy L.,
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)
-
Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe,
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)
-
Zottele, Fabio; Roveri, Marco; Rigo, Elia; Simoni, Eros; Villa, Paolo; Toller, Giambattista,
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,
-
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)
-
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)
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
Proceedings of 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
2018
, (2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania,
20-23 Sept. 2018)
-
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
-
Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
2018