-
Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro,Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI2022,2022
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória,in «ARTIFICIAL INTELLIGENCE»,vol. 309,2022
-
Tierno, A.; Turri, G.; Cimatti, A.; Passerone, R.,Proceedings of International Conference on Applications in Electronics Pervading Industry, Environment and Society,vol. 866,2022, pp. 149-159
-
Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,in «ARTIFICIAL INTELLIGENCE»,vol. 307,2022
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian,Model-based Safety Assessment of a Triple Modular Generator with XSAP,in «FORMAL ASPECTS OF COMPUTING»,vol. 33,n. 2,2021, pp. 251-295
-
Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca,28th International Conference on Automated Deduction, Proceedings,vol. 12699,2021, pp. 131-147
-
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico,Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021,vol. 12597,2021, pp. 104-126
-
Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg,Proceedings of Computer Aided Verification - 33rd International Conference, (CAV2021), Virtual Event, Part II,Springer,vol. 12760,2021, pp. 209-230
-
Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco,in «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY»,vol. 12,n. 4,2021, pp. 1-29
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,Proceedings of Runtime Verification (RV 2021),vol. 12974,n. 11,2021, pp. 207-227
-
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,Extended bounded response LTL: a new safety fragment for efficient reactive synthesis,in «FORMAL METHODS IN SYSTEM DESIGN»,2021
-
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,vol. 346,2021, pp. 152-165
-
Syifa'ul Mufid, Muhammad; Micheli, Andrea; Abate, Alessandro; Cimatti, Alessandro,32nd International Conference on Concurrency Theory (CONCUR 2021),2021
-
Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,Proceedings of 13:1--13:128th International Symposium on Temporal Representation and Reasoning (TIME 2021),Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik,2021, pp. 13:1-13:14
-
Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano,Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, Proceedings, Part I,Springer,vol. 12759,2021, pp. 529-551
-
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,Proceedings of Software Engineering and Formal Methods - 19th International Conference,SEFM 2021,Springer,vol. 13085,2021, pp. 351-371
-
Bartali, Ruben; Christodoulaki, Rosie; Drosou, Vassiliki; Baker Derek, Keith; Svaizer, Piergiorgio; Alarcón-Padilla, Diego-César; Osório, Tiago; Kramer, Wolfgang; Bolognese, Michele; Pratticò, Luca; Viesi, Diego; Roca Sobrino, Lidia; Guillen Burrieza, Elena; Fluch, Juergen; Bayer, Özgür; Pınarlı, Deniz; Erdoğan, Selin; Brunner, Christoph; Cavada, Roberto; Bonizzi, Alberto; Cimatti, Alessandro; Zanetti, Alberto; Crema, Luigi,EuroSun 2020 Proceedings,2021, pp. 1-13
-
Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea,Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021,vol. 2987,2021, pp. 91-95
-
Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick,Frontiers of Combining Systems 13th International Symposium, FroCoS 2021,vol. 12941,2021, pp. 213-231
-
Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto,Proceedings of 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021),2021, pp. 262-269