default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessandro Cimatti
Person information
- affiliation: Fondazione Bruno Kessler, Trento, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j54]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): 72-83 (2024)- [j53]Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
P-stable abstractions of hybrid systems. Softw. Syst. Model. 23(2): 403-426 (2024) - [j52]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): 427-453 (2024) - [c213]Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione:
Testing the Migration from Analog to Software-Based Railway Interlocking Systems. CAV (2) 2024: 219-232 - [c212]Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li:
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) 2024: 234-254 - [c211]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: 176-192 - [c210]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: 170-181 - [c209]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: 44-65 - [i21]Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan:
Invariant Checking for SMT-based Systems with Quantifiers. CoRR abs/2402.19028 (2024) - [i20]Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR abs/2403.00087 (2024) - [i19]Alessandro Cimatti, Ingo Pill, Alexander Diedrich:
Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). Dagstuhl Reports 14(1): 25-48 (2024) - 2023
- [j51]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
GR(1) is equivalent to R(1). Inf. Process. Lett. 179: 106319 (2023) - [j50]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) - [c208]Stéfano Frizzo Stefenon, Marco Cristoforetti, Alessandro Cimatti:
Towards Automatic Digitalization of Railway Engineering Schematics. AI*IA 2023: 453-466 - [c207]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: 288-308 - [c206]Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta:
Set-Based Invariants over Polynomial Systems. CILC 2023 - [c205]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: 243-250 - [c204]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: 376-383 - [c203]Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni:
Symbolic Model Checking of Relative Safety LTL Properties. iFM 2023: 302-320 - [c202]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: 3-10 - [e8]Alessandro Cimatti, Laura Titolo:
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14290, Springer 2023, ISBN 978-3-031-43680-2 [contents] - [i18]Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti:
Formal Analysis and Verification of Max-Plus Linear Systems. CoRR abs/2308.10587 (2023) - 2022
- [j49]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová:
Diagnosability of fair transition systems. Artif. Intell. 309: 103725 (2022) - [j48]Alessandro Cimatti, Chun Tian, Stefano Tonetta:
Assumption-based Runtime Verification. Formal Methods Syst. Des. 60(2): 277-324 (2022) - [j47]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022) - [j46]Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
LTL falsification in infinite-state systems. Inf. Comput. 289(Part): 104977 (2022) - [j45]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): 4859 (2022) - [c201]Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti:
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. AAAI 2022: 9886-9893 - [c200]Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani:
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ATVA 2022: 137-153 - [c199]Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Verification of SMT Systems with Quantifiers. ATVA 2022: 154-170 - [c198]Anna Becchi, Alessandro Cimatti:
Abstraction Modulo Stability for Reverse Engineering. CAV (1) 2022: 469-489 - [c197]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c196]Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone:
Symbolic Encoding of Reliability for the Design of Redundant Architectures. ICPS 2022: 1-6 - [c195]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: 21-27 - [c194]Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly:
Analysis of Cyclic Fault Propagation via ASP. LPNMR 2022: 470-483 - [c193]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: 379-389 - [c192]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: 169-178 - [c191]Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi:
A Formal IDE for Railways: Research Challenges. SEFM Workshops 2022: 107-115 - [c190]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. SMT 2022: 80-89 - [c189]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: 125-142 - [c188]Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás:
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) 2022: 273-291 - [c187]Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová:
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) 2022: 543-560 - [i17]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. CoRR abs/2209.02307 (2022) - 2021
- [j44]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): 251-295 (2021) - [j43]Marco Bozzano, Alessandro Cimatti, Marco Roveri:
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12(4): 46:1-46:29 (2021) - [c186]Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone:
Automatic Design Space Exploration of Redundant Architectures. ApplePies 2021: 149-154 - [c185]Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA 2021: 32-47 - [c184]Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE 2021: 131-147 - [c183]Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly:
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) 2021: 209-230 - [c182]Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta:
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) 2021: 529-551 - [c181]Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti:
SMT-Based Model Checking of Max-Plus Linear Systems. CONCUR 2021: 22:1-22:20 - [c180]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: 213-231 - [c179]Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF 2021: 91-95 - [c178]Alessandro Cimatti, Chun Tian, Stefano Tonetta:
Assumption-Based Runtime Verification of Infinite-State Systems. RV 2021: 207-227 - [c177]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c176]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME 2021: 13:1-13:14 - [c175]Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
Proving the Existence of Fair Paths in Infinite-State Systems. VMCAI 2021: 104-126 - [c174]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - [i16]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. CoRR abs/2109.12821 (2021) - 2020
- [j42]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: 104502 (2020) - [c173]Alessandro Valentini, Andrea Micheli, Alessandro Cimatti:
Temporal Planning with Intermediate Conditions and Effects. AAAI 2020: 9975-9982 - [c172]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c171]Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020: 161-177 - [c170]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: 240-254 - [c169]Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
Synthesis of P-Stable Abstractions. SEFM 2020: 214-230 - [c168]Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172 - [i15]Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. CoRR abs/2007.00505 (2020) - [i14]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020)
2010 – 2019
- 2019
- [j41]Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31(1): 59-94 (2019) - [c167]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Robustness Envelopes for Temporal Plans. AAAI 2019: 7538-7545 - [c166]Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta:
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) 2019: 376-386 - [c165]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: 1-13 - [c164]Alessandro Cimatti, Chun Tian, Stefano Tonetta:
Assumption-Based Runtime Verification with Partial Observability and Resets. RV 2019: 165-184 - [c163]Alessandro Cimatti, Chun Tian, Stefano Tonetta:
NuRV: A nuXmv Extension for Runtime Verification. RV 2019: 382-392 - [c162]Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP 2019: 200-215 - [c161]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG 2019 - [c160]Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta:
COMPASS 3.0. TACAS (1) 2019: 379-385 - [i13]Alessandro Valentini, Andrea Micheli, Alessandro Cimatti:
Temporal Planning with Intermediate Conditions and Effects. CoRR abs/1909.11581 (2019) - [i12]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR abs/1911.07318 (2019) - 2018
- [j40]Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith:
Strong temporal planning with uncontrollable durations. Artif. Intell. 256: 1-34 (2018) - [j39]Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta:
Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52(1): 88-116 (2018) - [j38]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): 19:1-19:52 (2018) - [c159]Alessandro Cimatti, Ivan Stojic, Stefano Tonetta:
Formal Specification and Verification of Dynamic Parametrized Architectures. FM 2018: 625-644 - [c158]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: 1-9 - [c157]Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN 2018 - [c156]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT 2018: 383-398 - [c155]Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399 - [c154]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: 19-26 - [i11]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR abs/1801.08718 (2018) - [i10]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR abs/1801.08723 (2018) - 2017
- [c153]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI 2017: 3547-3554 - [c152]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: 6-10 - [c151]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE 2017: 95-113 - [c150]Alessandro Cimatti, Sergio Mover, Mirko Sessa:
SMT-based analysis of switching multi-domain linear Kirchhoff networks. FMCAD 2017: 188-195 - [c149]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA 2017: 255-271 - [c148]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: 58-75 - [e7]Marina Zanella, Ingo Pill, Alessandro Cimatti:
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 [contents] - [e6]Alessandro Cimatti, Marjan Sirjani:
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10469, Springer 2017, ISBN 978-3-319-66196-4 [contents] - 2016
- [j37]Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri:
Dynamic controllability via Timed Game Automata. Acta Informatica 53(6-8): 681-722 (2016) - [j36]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 and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j35]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49(3): 190-218 (2016) - [c147]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri:
Automated Verification and Tightening of Failure Propagation Models. AAAI 2016: 907-913 - [c146]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI 2016: 3116-3122 - [c145]Alessandro Cimatti, Marco Gario, Stefano Tonetta:
A Lazy Approach to Temporal Epistemic Logic Model Checking. AAMAS 2016: 1218-1226 - [c144]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: 3-22 - [c143]Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) 2016: 271-291 - [c142]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Verilog2SMV: A tool for word-level verification. DATE 2016: 1156-1159 - [c141]Alessandro Cimatti, Sergio Mover, Mirko Sessa:
From Electrical Switched Networks to Hybrid Automata. FM 2016: 164-181 - [c140]Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta:
Model-Based Design of an Energy-System Embedded Controller Using Taste. FM 2016: 741-747 - [c139]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
Automated Synthesis of Timed Failure Propagation Graphs. IJCAI 2016: 972-978 - [c138]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:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c137]