Alessandro Cimatti

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 128

Top Venues

Publications

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS (2024)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23 (2) (2024)
Elisa Tosello, Paolo Bonel, Alberto Buranello, Marco Carraro, Alessandro Cimatti, Lorenzo Granelli, Stefan Panjkovic, Andrea Micheli
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture. IEEE Robotics Autom. Mag. 31 (1) (2024)
Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione
Testing the Migration from Analog to Software-Based Railway Interlocking Systems. CAV (2) (2024)
Aïdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. CPAIOR (2) (2024)
Alessandro Cimatti, Ingo Pill, Alexander Diedrich
Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). Dagstuhl Reports 14 (1) (2024)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) (2024)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
P-stable abstractions of hybrid systems. Softw. Syst. Model. 23 (2) (2024)
Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) (2024)
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan
Invariant Checking for SMT-based Systems with Quantifiers. CoRR (2024)
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR (2024)
Stéfano Frizzo Stefenon, Marco Cristoforetti, Alessandro Cimatti
Towards Automatic Digitalization of Railway Engineering Schematics. AI*IA (2023)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19 (3) (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
GR(1) is equivalent to R(1). Inf. Process. Lett. 179 (2023)
Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
Symbolic Model Checking of Relative Safety LTL Properties. iFM (2023)
Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. ICSRS (2023)
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W (2023)
Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
Set-Based Invariants over Polynomial Systems. CILC (2023)
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
Formal Analysis and Verification of Max-Plus Linear Systems. CoRR (2023)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) (2023)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-based Runtime Verification. Formal Methods Syst. Des. 60 (2) (2022)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi
A Formal IDE for Railways: Research Challenges. SEFM Workshops (2022)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
Diagnosability of fair transition systems. Artif. Intell. 309 (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterisation of safety and co-safety languages. FoSSaCS (2022)
Stéfano Frizzo Stefenon, Gurmail Singh, Kin Choong Yow, Alessandro Cimatti
Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures. Sensors 22 (13) (2022)
Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ATVA (2022)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
Verification modulo theories. Formal Methods Syst. Des. 60 (3) (2022)
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) (2022)
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
A comprehensive framework for the analysis of automotive systems. MoDELS (2022)
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
The VMT-LIB Language and Tools. SMT (2022)
Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone
Symbolic Encoding of Reliability for the Design of Redundant Architectures. ICPS (2022)
Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. AAAI (2022)
Anna Becchi, Alessandro Cimatti
Abstraction Modulo Stability for Reverse Engineering. CAV (1) (2022)
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Verification of SMT Systems with Quantifiers. ATVA (2022)
Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) (2022)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
LTL falsification in infinite-state systems. Inf. Comput. 289 (Part) (2022)
Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
Analysis of Cyclic Fault Propagation via ASP. LPNMR (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. CoRR (2022)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) (2022)
Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei
Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Aspects Comput. 33 (2) (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Expressiveness of Extended Bounded Response LTL. GandALF (2021)
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE (2021)
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) (2021)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
Proving the Existence of Fair Paths in Infinite-State Systems. VMCAI (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM (2021)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-Based Runtime Verification of Infinite-State Systems. RV (2021)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF (2021)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME (2021)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) (2021)
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
SMT-Based Model Checking of Max-Plus Linear Systems. CONCUR (2021)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA (2021)
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS (2021)
Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone
Automatic Design Space Exploration of Redundant Architectures. ApplePies (2021)
Marco Bozzano, Alessandro Cimatti, Marco Roveri
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12 (4) (2021)
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
The VMT-LIB Language and Tools. CoRR (2021)
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS (2020)
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) (2020)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) (2020)
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. CoRR (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR (2020)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Synthesis of P-Stable Abstractions. SEFM (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD (2020)
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
Temporal Planning with Intermediate Conditions and Effects. AAAI (2020)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272 (2020)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-Based Runtime Verification with Partial Observability and Resets. RV (2019)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP (2019)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Robustness Envelopes for Temporal Plans. AAAI (2019)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
NuRV: A nuXmv Extension for Runtime Verification. RV (2019)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) (2019)
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
Temporal Planning with Intermediate Conditions and Effects. CoRR (2019)
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
COMPASS 3.0. TACAS (1) (2019)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR (2019)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31 (1) (2019)
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG (2019)
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith
Strong temporal planning with uncontrollable durations. Artif. Intell. 256 (2018)
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52 (1) (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR (2018)
Alessandro Cimatti, Ivan Stojic, Stefano Tonetta
Formal Specification and Verification of Dynamic Parametrized Architectures. FM (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT (2018)
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19 (3) (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR (2018)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN (2018)
Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. FMCAD (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. SYNASC (2018)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI (2017)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. TACAS (1) (2017)
Alessandro Cimatti, Sergio Mover, Mirko Sessa
SMT-based analysis of switching multi-domain linear Kirchhoff networks. FMCAD (2017)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE (2017)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA (2017)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49 (3) (2016)
Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) (2016)
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta
Tightening a Contract Refinement. SEFM (2016)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)

Alessandro Cimatti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Cimatti