Alberto Griggio

Identifiers

• name variant Alberto Griggio 0.60 · backfill

Papers (8)

1. Verification of Configurable SRA Systems cs.LO · 2026 · author #2
2. Satisfiability Modulo Transcendental Functions via Incremental Linearization cs.LO · 2018 · author #2
3. Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF cs.LO · 2018 · author #2
4. The xSAP Safety Analysis Platform cs.SE · 2015 · author #6
5. Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories cs.LO · 2014 · author #2
6. IC3 Modulo Theories via Implicit Predicate Abstraction cs.LO · 2013 · author #2
7. Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories cs.LO · 2009 · author #2
8. Software Model Checking via Large-Block Encoding cs.SE · 2009 · author #3

Mentions

• 1401.3878 #2 · backfill · confidence 0.70 Alberto Griggio
• 1310.6847 #2 · backfill · confidence 0.70 Alberto Griggio
• 2605.21385 #2 · arxiv_oai · confidence 0.70 Alberto Griggio
• 0906.4492 #2 · backfill · confidence 0.70 Alberto Griggio
• 0904.4709 #3 · backfill · confidence 0.70 Alberto Griggio

Frequent Coauthors

• Alessandro Cimatti 8 shared papers
• Roberto Sebastiani 5 shared papers
• Ahmed Irfan 2 shared papers
• Marco Roveri 2 shared papers
• Andrea Micheli 1 shared papers
• Benjamin Bittner 1 shared papers
• Christian Lidstr\"om 1 shared papers
• Cristian Mattarei 1 shared papers
• Dirk Beyer 1 shared papers
• Dylan Trenti 1 shared papers
• Gianluca Redondi 1 shared papers
• Gianni Zampedri 1 shared papers
• Marco Bozzano 1 shared papers
• Marco Gario 1 shared papers
• M. Erkan Keremoglu 1 shared papers
• Roberto Cavada 1 shared papers
• Sergio Mover 1 shared papers
• Stefano Tonetta 1 shared papers