-
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,in «INFORMATION AND COMPUTATION»,vol. 272,2020
-
Valentini, Alessandro; Micheli, Andrea; Cimatti, Alessandro,Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),AAAI Press,vol. 34,n. 6,2020
-
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,Proceedings of the 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD),2020
-
Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano,Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, (TACAS) 2020, Held as Part of theEuropean Joint Conferences on Theory and Practice of Software, (ETAPS) 2020, Dublin, Ireland, April 25-30, 2020, Proceedi...,Springer,vol. 12078,2020, pp. 155-172
-
Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova,Computer Safety, Reliability, and Security - 39th International Conference,(SAFECOMP) 2020, Proceedings,Springer,vol. 12234,2020, pp. 99-114
-
Gorm Larsen, Peter; Daniel Macedo, Hugo; Fitzgerald, John S.; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr., George Suciu,Proceedings of the 10th International Conference on Simulation andModeling Methodologies, Technologies and Applications, (SIMULTECH) 2020,ScitePress,2020, pp. 263-270
-
Tonelli, S.; Sprugnoli, R.; Palmero, Aprosio; Moretti, Giovanni; Menini, Stefano,Come cambia la scrittura a scuola. Rapporto di ricerca,IPRASE,2020, pp. 113-130
-
Bozzano, M.; Cimatti, A.; Mattarei, C.,in «FORMAL ASPECTS OF COMPUTING»,vol. 31,n. 1,2019, pp. 59-94
-
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,Tools and Algorithms for the Construction and Analysis of Systems,Springer,vol. 11427,2019, pp. 379-385
-
Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),vol. 33,2019
-
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019,vol. 11561,2019, pp. 376-386
-
Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019,Springer,vol. 11698,2019, pp. 200-215
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,Runtime Verification (RV 2019),Springer,vol. 11757,n. 10,2019, pp. 165-184
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,Runtime Verification (RV 2019),Springer,vol. 11757,n. 23,2019, pp. 382-392
-
Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,Model-Based Safety and Assessment,vol. 11842,2019
-
Sprugnoli, Rachele; Moretti, Giovanni; Tonelli, Sara,in «UMANISTICA DIGITALE»,2019
-
Cau, M.; Tonelli, S.; Largaiolli, M.; Sprugnoli, R.; Moretti, G.,Scritti e discorsi di Alcide De Gasperi,2019
-
Menini, Stefano; Moretti, Giovanni; Corazza, Michele; Cabrio, Elena; Tonelli, Sara; Villata., Serena,Proceedings of the Third Workshop on Abusive Language Online,2019, pp. 105-111
-
Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,in «ARTIFICIAL INTELLIGENCE»,vol. 256,2018, pp. 1-34
-
Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,in «FORMAL METHODS IN SYSTEM DESIGN»,vol. 52,n. 1,2018, pp. 88-116