Cimatti, Alessandro
Cimatti, Alessandro
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-board Autonomy Verification and Validation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco
A comprehensive framework for the analysis of automotive systems
2022-01-01 Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano
A Context-Based Mechanization of Multi-Agent Reasoning
2000-01-01 Cimatti, Alessandro; Serafini, Luciano
A Data-driven Approach for RUL Prediction of an Experimental Filtration System
2020-01-01 Beirami, H.; Calzà, D.; Cimatti, A.; Islam, M.; Roveri, M.; Svaizer, P.
A first-order logic characterisation of safety and co-safety languages
2022-01-01 Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A first-order logic characterization of safety and co-safety languages
2023-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Formal IDE for Railways: Research Challenges
2023-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems
2007-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto
A Lazy Approach to Temporal Epistemic Logic Model Checking
2016-01-01 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Many Sorted Natural Deduction
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch
A Model Based Decision Procedure for Common Sense Temporal Reasoning
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A Model Checker for AADL
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
A planning language and a semantics for real world autonomous agents
1993-01-01 Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro
A Property-Based Proof System for Contract-Based Design
2012-01-01 Cimatti, Alessandro; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Comprehensive Approach to On-Board Autonomy Verification and Validation | 1-gen-2009 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev | |
A Comprehensive Approach to On-Board Autonomy Verification and Validation | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei | |
A Comprehensive Approach to On-board Autonomy Verification and Validation | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco | |
A comprehensive framework for the analysis of automotive systems | 1-gen-2022 | Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano | |
A Context-Based Mechanization of Multi-Agent Reasoning | 1-gen-2000 | Cimatti, Alessandro; Serafini, Luciano | |
A Data-driven Approach for RUL Prediction of an Experimental Filtration System | 1-gen-2020 | Beirami, H.; Calzà, D.; Cimatti, A.; Islam, M.; Roveri, M.; Svaizer, P. | |
A first-order logic characterisation of safety and co-safety languages | 1-gen-2022 | Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
A first-order logic characterization of safety and co-safety languages | 1-gen-2023 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
A Formal IDE for Railways: Research Challenges | 1-gen-2023 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo | |
A Framework for Planning with Extended Goals under Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo | |
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems | 1-gen-2007 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto | |
A Lazy Approach to Temporal Epistemic Logic Model Checking | 1-gen-2016 | Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
A Many Sorted Natural Deduction | 1-gen-1998 | Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch | |
A Model Based Decision Procedure for Common Sense Temporal Reasoning | 1-gen-1997 | Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo | |
A Model Checker for AADL | 1-gen-2010 | Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer | |
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System | 1-gen-2020 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo | |
A Modular Approach to MaxSAT Modulo Theories | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
A planning language and a semantics for real world autonomous agents | 1-gen-1993 | Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro | |
A Property-Based Proof System for Contract-Based Design | 1-gen-2012 | Cimatti, Alessandro; Tonetta, Stefano |