Alberto Griggio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
70
Venues
20
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
70 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Verification of Configurable SRA Systems. | Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Dylan Trenti |
| 2026 | SAFECOMP | A Safety Cage for Reliable GNSS and AI-Based PNT: An Experience Report. | Guillermo Gomez, Alberto Griggio, Luca Morelli, Theodore Russell, Stefano Tonetta, Pawel Trybala |
| 2025 | CADE | A Theorem Prover Based Approach for SAT-Based Model Checking Certification. | Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta |
| 2025 | CAV | Automated Parameterized Verification of a Railway Protection System with Dafny. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti |
| 2025 | CAV | Infinite-State Liveness Checking with rlive. | Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta |
| 2025 | FMCAD | Verification Modulo Theories. | Alberto Griggio |
| 2024 | CAV | Avoiding the Shoals - A New Approach to Liveness Checking. | Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li |
| 2024 | FMCAD | Combining Symbolic Execution with Predicate Abstraction and CEGAR. | Martin Jons, Jan Strejcek, Alberto Griggio |
| 2024 | FMCAD | Towards Verification Modulo Theories of Asynchronous Systems via Abstraction Refinement. | Gianluca Redondi, Alessandro Cimatti, Alberto Griggio |
| 2024 | FMICS | Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa |
| 2024 | ISoLA | Towards Formal Design of FDIR Components with AI. | Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta |
| 2024 | SEFM | Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. | Srajan Goyal, Alberto Griggio, Stefano Tonetta |
| 2024 | TACAS | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. | Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann |
| 2023 | CAV | Kratos2: An SMT-Based Model Checker for Imperative Programs. | Alberto Griggio, Martin Jons |
| 2023 | CAV | Searching for i-Good Lemmas to Accelerate Safety Model Checking. | Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu |
| 2023 | TACAS | EVA: a Tool for the Compositional Verification of AUTOSAR Models. | Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau |
| 2022 | ATVA | Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. | Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |
| 2022 | ATVA | Verification of SMT Systems with Quantifiers. | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
| 2022 | LPNMR | Analysis of Cyclic Fault Propagation via ASP. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2022 | MODELS | A comprehensive framework for the analysis of automotive systems. | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2022 | SEFM | A Formal IDE for Railways: Research Challenges. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi |
| 2022 | TACAS | Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons |
| 2021 | ATVA | Automatic Discovery of Fair Paths in Infinite-State Transition Systems. | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
| 2021 | CADE | Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
| 2021 | CAV | Efficient SMT-Based Analysis of Failure Propagation. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2021 | CAV | Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. | Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta |
| 2021 | TACAS | Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. | Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett |
| 2021 | VMCAI | Proving the Existence of Fair Paths in Infinite-State Systems. | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
| 2020 | ISoLA | A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. | Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi |
| 2020 | TACAS | Safe Decomposition of Startup Requirements: Verification and Synthesis. | Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta |
| 2019 | CAV | Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. | Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta |
| 2018 | FMCAD | Certifying Proofs for LTL Model Checking. | Alberto Griggio, Marco Roveri, Stefano Tonetta |
| 2018 | SAT | Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2018 | SYNASC | Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2017 | CADE | SC-square: when Satisfiability Checking and Symbolic Computation join forces. | Erika brahm, 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 |
| 2017 | CADE | Satisfiability Modulo Transcendental Functions via Incremental Linearization. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2017 | ISSAC | Benchmarking Solvers, SAT-style. | Martin Brain, James H. Davenport, Alberto Griggio |
| 2017 | TACAS | Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2016 | CAV | Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. | Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
| 2016 | DATE | Verilog2SMV: A tool for word-level verification. | Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2015 | CAV | Efficient Anytime Techniques for Model-Based Safety Analysis. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei |
| 2015 | TACAS | HyComp: An SMT-Based Model Checker for Hybrid Systems. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | CAV | The nuXmv Symbolic Model Checker. | Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2014 | CAV | Verifying LTL Properties of Hybrid Systems with K-Liveness. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | FMCAD | Towards Pareto-optimal parameter synthesis for monotonic cost functions. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio |
| 2014 | TACAS | IC3 Modulo Theories via Implicit Predicate Abstraction. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2013 | FMCAD | Parameter synthesis with IC3. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2013 | SAS | Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
| 2013 | SAT | A Modular Approach to MaxSAT Modulo Theories. | Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani |
| 2013 | TACAS | The MathSAT5 SMT Solver. | Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani |
| 2013 | VMCAI | An Abstract Interpretation of DPLL(T). | Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
| 2012 | CADE | Broadening the Scope of SMT-COMP: the Application Track. | Roberto Bruttomesso, Alberto Griggio |
| 2012 | CADE | The 2012 SMT Competition. | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
| 2012 | CaiSE | Optimizing Monitoring Requirements in Self-adaptive Systems. | Raian Ali, Alberto Griggio, Anders Franzn, Fabiano Dalpiaz, Paolo Giorgini |
| 2012 | CAV | Software Model Checking via IC3. | Alessandro Cimatti, Alberto Griggio |
| 2012 | FMCAD | Deciding floating-point logic with systematic abstraction. | Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening |
| 2011 | CAV | Kratos - A Software Model Checker for SystemC. | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
| 2011 | FMCAD | Effective word-level interpolation for software verification. | Alberto Griggio |
| 2011 | TACAS | Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. | Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani |
| 2010 | DATE | Tighter integration of BDDs and SMT for Predicate Abstraction. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri |
| 2010 | TACAS | Satisfiability Modulo the Theory of Costs: Foundations and Applications. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani, Cristian Stenico |
| 2009 | CADE | Interpolant Generation for UTVPI. | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
| 2009 | FMCAD | Software model checking via large-block encoding. | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani |
| 2008 | CAV | The MathSAT 4SMT Solver. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani |
| 2008 | TACAS | Efficient Interpolant Generation in Satisfiability Modulo Theories. | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
| 2007 | CAV | A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani |
| 2007 | SAT | A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
| 2006 | LPAR | Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani |
| 2006 | LPAR | To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani |