-
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
-
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
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,vol. 19,n. 3,2018, pp. 1-52
-
Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe,Proceedings of 2018 Formal Methods in Computer Aided Design, FMCAD 2018,2018
-
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
-
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
-
Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,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
-
Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,Certifying Proofs for LTL Model Checking,Formal Methods in Computer-Aided Design, FMCAD 2018,2018, pp. 225-233
-
Pertilä, Pasi; Brutti, Alessio; Svaizer, Piergiorgio; Omologo, Maurizio,Multichannel Source Activity Detection, Localization, and Tracking,Audio Source Separation and Speech Enhancement,2018, pp. 47-64
-
Cerone, Antonio; Roveri, Marco,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,in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,vol. 10729,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
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,Tools and Algorithms for the Construction and Analysis of Systems,vol. 10205,2017, pp. 58-75
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,Automated Deduction – CADE 26,vol. 10395,2017, pp. 95-113
-
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,AAAI Press,2017, pp. 3547-3554
-
Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017),2017, pp. 188-195
-
Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.,Proceedings of International Symposium on Model-Based Safety and Assessment,Springer,vol. 10437,2017, pp. 255-271
-
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,Cyber-Physical System Design from an Architecture Analysis Viewpoint,Springer,2017, pp. 133-159
-
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch,Springer,vol. 10489,2017
-
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch,Springer,vol. 10488,2017