Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures von Stefenon, Stefano Frizzo, Singh, Gurmail, Yow, Kin-Choong, Cimatti, Alessandro

Volltext

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings von Cimatti, Alessandro, Titolo, Laura

Volltext

Assumption-based Runtime Verification von Cimatti, Alessandro, Tian, Chun, Tonetta, Stefano

Volltext

Formal reliability analysis of redundancy architectures von Bozzano, Marco, Cimatti, Alessandro, Mattarei, Cristian

Volltext

A first-order logic characterization of safety and co-safety languages von Cimatti, Alessandro, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Tonetta, Stefano

Volltext

Model-based Safety Assessment of a Triple Modular Generator with xSAP von Bozzano, Marco, Cimatti, Alessandro, Gario, Marco, Jones, David, Mattarei, Cristian

Volltext

Verification modulo theories von Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Roveri, Marco, Tonetta, Stefano

Volltext

COMPASTA = COMPASS + TASTE von Bombardelli, Alberto, Bonizzi, Alberto, Bozzano, Marco, Cavada, Roberto, Cimatti, Alessandro, Griggio, Alberto, Nicolodi, Edoardo, Tonetta, Stefano, Zampedri, Gianni

Volltext

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 von Cimatti, Alessandro, Titolo, Laura

Volltext

Abstraction Modulo Stability von Becchi, Anna, Cimatti, Alessandro

Volltext

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic von Bozzano, Marco, Cimatti, Alessandro, Gario, Marco, Tonetta, Stefano

Volltext

Contracts-refinement proof system for component-based embedded systems von Cimatti, Alessandro, Tonetta, Stefano

Volltext

LTL falsification in infinite-state systems von Cimatti, Alessandro, Griggio, Alberto, Magnago, Enrico

Volltext

P-stable abstractions of hybrid systems von Becchi, Anna, Cimatti, Alessandro, Zaffanella, Enea

Volltext

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Volltext

Extended bounded response LTL: a new safety fragment for efficient reactive synthesis von Cimatti, Alessandro, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Tonetta, Stefano

Volltext

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System von Cimatti, Alessandro, Corvino, Raffaele, Lazzaro, Armando, Narasamdya, Iman, Rizzo, Tiziana, Roveri, Marco, Sanseviero, Angela, Tchaltsev, Andrei

Volltext

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions von Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Roveri, Marco, Sebastiani, Roberto

Volltext

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings von Cimatti, Alessandro, Sirjani, Marjan

Volltext

Star formation rates and masses of z∼ 2 galaxies from multicolour photometry von Maraston, Claudia, Pforr, Janine, Renzini, Alvio, Daddi, Emanuele, Dickinson, Mark, Cimatti, Andrea, Tonini, Chiara

Volltext