Alberto Griggio

120 papers A* 6A 17B 20C 2Misc 1Journal 34Unranked 38
YearRankTypeTitle / Venue / Authors
2025 A conf
A Theorem Prover Based Approach for SAT-Based Model Checking Certification.
CADE
Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta
2025 — conf
Automated Parameterized Verification of a Railway Protection System with Dafny.
CAV (4)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti
2025 — conf
Certifying rlive: A New Proof Strategy for Liveness Model Checking.
FroCoS
Giulia Sindoni, Alberto Griggio, Stefano Tonetta
2025 J jnl
Editorial: Special issue on formal methods in computer-aided design.
Formal Methods Syst. Des.
Alberto Griggio, Neha Rungta
2025 — conf
Formal Analysis of a Railway Signaling Block Designed in AIDA.
RSSRail
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti
2025 — conf
Infinite-State Liveness Checking with rlive.
CAV (1)
Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta
2025 J jnl
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator.
Sci. Comput. Program.
Srajan Goyal, Alberto Griggio, Stefano Tonetta
2025 — conf
Towards a Unifying View of Fault Propagation Analyses and Notations.
IMBSA
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Fajar Haifani
2025 B conf
Verification Modulo Theories.
FMCAD
Alberto Griggio
2024 — conf
Another Look at LTL Modulo Theory over Finite and Infinite Traces.
Principles of Verification (1)
Alberto Bombardelli, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2024 — conf
Avoiding the Shoals - A New Approach to Liveness Checking.
CAV (1)
Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li
2024 B conf
Combining Symbolic Execution with Predicate Abstraction and CEGAR.
FMCAD
Martin Jonás, Jan Strejcek, Alberto Griggio
2024 J jnl
Invariant Checking for SMT-Based Systems with Quantifiers.
ACM Trans. Comput. Log.
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth L. McMillan
2024 J jnl
Invariant Checking for SMT-based Systems with Quantifiers.
CoRR
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth L. McMillan
2024 B conf
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.
SEFM
Srajan Goyal, Alberto Griggio, Stefano Tonetta
2024 C conf
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report.
FMICS
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
2024 — conf
Towards Formal Design of FDIR Components with AI.
ISoLA (4)
Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta
2024 — conf
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
TACAS (2)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
2024 B conf
Towards Verification Modulo Theories of Asynchronous Systems via Abstraction Refinement.
FMCAD
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio
2024 J jnl
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.
CoRR
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
2023 — conf
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems.
FMAS@iFM
Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta
2023 — conf
EVA: a Tool for the Compositional Verification of AUTOSAR Models.
TACAS (2)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
2023 — conf
Kratos2: An SMT-Based Model Checker for Imperative Programs.
CAV (3)
Alberto Griggio, Martin Jonás
2023 — conf
Searching for i-Good Lemmas to Accelerate Safety Model Checking.
CAV (2)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
2022 B ed.
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022
FMCAD
Alberto Griggio, Neha Rungta
2022 — conf
A Formal IDE for Railways: Research Challenges.
SEFM Workshops
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi
2022 A conf
A comprehensive framework for the analysis of automotive systems.
MoDELS
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
2022 B conf
Analysis of Cyclic Fault Propagation via ASP.
LPNMR
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
2022 — conf
COMPASTA: Extending TASTE with Formal Design and Verification Functionality.
IMBSA
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
2022 J jnl
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
Log. Methods Comput. Sci.
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
2022 — conf
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation.
TACAS (2)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás
2022 B conf
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.
ATVA
Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani
2022 J jnl
LTL falsification in infinite-state systems.
Inf. Comput.
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
2022 J jnl
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Dagstuhl Reports
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio
2022 — conf
The VMT-LIB Language and Tools.
SMT
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2022 J jnl
Verification modulo theories.
Formal Methods Syst. Des.
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
2022 B conf
Verification of SMT Systems with Quantifiers.
ATVA
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
2021 B conf
Automatic Discovery of Fair Paths in Infinite-State Transition Systems.
ATVA
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
2021 J jnl
Certifying proofs for SAT-based model checking.
Formal Methods Syst. Des.
Alberto Griggio, Marco Roveri, Stefano Tonetta
2021 — conf
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
TACAS (1)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
2021 J jnl
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
CoRR
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
2021 — conf
Efficient SMT-Based Analysis of Failure Propagation.
CAV (2)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
2021 — conf
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems.
CAV (1)
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
2021 — conf
Optimization Modulo Non-linear Arithmetic via Incremental Linearization.
FroCoS
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
2021 B conf
Proving the Existence of Fair Paths in Infinite-State Systems.
VMCAI
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
2021 J jnl
The VMT-LIB Language and Tools.
CoRR
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2021 A conf
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning.
CADE
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
2020 — conf
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.
ISoLA (3)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
2020 J jnl
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.
Inf. Comput.
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2020 — conf
Safe Decomposition of Startup Requirements: Verification and Synthesis.
TACAS (1)
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
2020 J jnl
Symbolic computation and satisfiability checking.
J. Symb. Comput.
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSIoTWeek
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
2019 — conf
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties.
CAV (1)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2019 — conf
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
SC-square@SIAM AG
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
2019 — ed.
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019.
SC-square@SIAM AG
John Abbott, Alberto Griggio
2018 B conf
Certifying Proofs for LTL Model Checking.
FMCAD
Alberto Griggio, Marco Roveri, Stefano Tonetta
2018 A conf
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
SAT
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 J jnl
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Trans. Comput. Log.
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 Misc conf
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions.
SYNASC
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 J jnl
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
CoRR
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 J jnl
Satisfiability Modulo Transcendental Functions via Incremental Linearization.
CoRR
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 — conf
Symbolic execution with existential second-order constraints.
ESEC/SIGSOFT FSE
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
2017 — conf
Benchmarking Solvers, SAT-style.
SC²@ISSAC
Martin Brain, James H. Davenport, Alberto Griggio
2017 — conf
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
TACAS (1)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2017 J jnl
Preface to special issue on satisfiability modulo theories.
Formal Methods Syst. Des.
Alberto Griggio, Philipp Rümmer
2017 — conf
SC-square: when Satisfiability Checking and Symbolic Computation join forces.
ARCADE@CADE
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
2017 A conf
Satisfiability Modulo Transcendental Functions via Incremental Linearization.
CADE
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2016 J jnl
Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alberto Griggio, Marco Roveri
2016 — conf
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.
CAV (1)
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover
2016 J jnl
Infinite-state invariant checking with IC3 and predicate abstraction.
Formal Methods Syst. Des.
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2016 C conf
SC
CICM
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
2016 J jnl
Satisfiability Checking and Symbolic Computation.
CoRR
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
2016 J jnl
Satisfiability Checking meets Symbolic Computation (Project Paper).
CoRR
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
2016 J jnl
Satisfiability checking and symbolic computation.
ACM Commun. Comput. Algebra
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
2016 A conf
The xSAP Safety Analysis Platform.
TACAS
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2016 A conf
Verilog2SMV: A tool for word-level verification.
DATE
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
2015 — conf
Efficient Anytime Techniques for Model-Based Safety Analysis.
CAV (1)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei
2015 A conf
HyComp: An SMT-Based Model Checker for Hybrid Systems.
TACAS
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2015 — conf
Parameter Synthesis with IC3 (Informal Presentation).
SynCoP
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2015 J jnl
The xSAP Safety Analysis Platform.
CoRR
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2014 J jnl
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.
CoRR
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2014 J jnl
Deciding floating-point logic with abstract conflict driven clause learning.
Formal Methods Syst. Des.
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2014 A conf
IC3 Modulo Theories via Implicit Predicate Abstraction.
TACAS
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2014 A* conf
The nuXmv Symbolic Model Checker.
CAV
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
2014 B conf
Towards Pareto-optimal parameter synthesis for monotonic cost functions.
FMCAD
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio
2014 A* conf
Verifying LTL Properties of Hybrid Systems with K-Liveness.
CAV
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2013 A conf
A Modular Approach to MaxSAT Modulo Theories.
SAT
Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani
2013 B conf
An Abstract Interpretation of DPLL(T).
VMCAI
Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
2013 J jnl
IC3 Modulo Theories via Implicit Predicate Abstraction.
CoRR
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2013 B conf
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.
SAS
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2013 B conf
Parameter synthesis with IC3.
FMCAD
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2013 A conf
The MathSAT5 SMT Solver.
TACAS
Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani
2012 J jnl
A Practical Approach to Satisability Modulo Linear Integer Arithmetic.
J. Satisf. Boolean Model. Comput.
Alberto Griggio
2012 — conf
Broadening the Scope of SMT-COMP: the Application Track.
COMPARE
Roberto Bruttomesso, Alberto Griggio
2012 B conf
Deciding floating-point logic with systematic abstraction.
FMCAD
Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening
2012 — conf
Optimizing Monitoring Requirements in Self-adaptive Systems.
BMMDS/EMMSAD
Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini
2012 A* conf
Software Model Checking via IC3.
CAV
Alessandro Cimatti, Alberto Griggio
2012 — conf
The 2012 SMT Competition.
SMT@IJCAR
David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters
2011 J jnl
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.
J. Artif. Intell. Res.
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2011 B conf
Effective word-level interpolation for software verification.
FMCAD
Alberto Griggio
2011 A conf
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic.
TACAS
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
2011 A* conf
Kratos - A Software Model Checker for SystemC.
CAV
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
2011 — conf
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT.
FroCoS
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi
2010 J jnl
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Log. Methods Comput. Sci.
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
2010 J jnl
Efficient generation of craig interpolants in satisfiability modulo theories.
ACM Trans. Comput. Log.
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2010 A conf
Satisfiability Modulo the Theory of Costs: Foundations and Applications.
TACAS
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico
2010 A conf
Tighter integration of BDDs and SMT for Predicate Abstraction.
DATE
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
2009 — —
An Effective SMT Engine for Formal Verification.
Alberto Griggio
2009 J jnl
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis.
Ann. Math. Artif. Intell.
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
2009 J jnl
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
CoRR
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2009 A conf
Interpolant Generation for UTVPI.
CADE
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2009 J jnl
Software Model Checking via Large-Block Encoding
CoRR
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani
2009 B conf
Software model checking via large-block encoding.
FMCAD
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani
2008 A conf
Efficient Interpolant Generation in Satisfiability Modulo Theories.
TACAS
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2008 A* conf
The MathSAT 4SMT Solver.
CAV
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
2007 A* conf
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
CAV
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
2007 A conf
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.
SAT
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
2006 B conf
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.
LPAR
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
2006 B conf
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in
LPAR
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani
2004 — conf
Precise Analysis of π-Calculus in Cubic Time.
IFIP TCS
Livio Colussi, Gilberto Filé, Alberto Griggio