Alessandro Cimatti

Identifiers

• name variant Alessandro Cimatti 0.60 · backfill

Papers (9)

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

Mentions

• 1310.6847 #1 · backfill · confidence 0.70 Alessandro Cimatti
• 2605.21385 #1 · arxiv_oai · confidence 0.70 Alessandro Cimatti
• 1003.1741 #1 · backfill · confidence 0.70 Alessandro Cimatti
• 0906.4492 #1 · backfill · confidence 0.70 Alessandro Cimatti
• 0904.4709 #2 · backfill · confidence 0.70 Alessandro Cimatti

Frequent Coauthors

• Alberto Griggio 8 shared papers
• Roberto Sebastiani 5 shared papers
• Marco Roveri 3 shared papers
• Ahmed Irfan 2 shared papers
• Stefano Tonetta 2 shared papers
• Andrea Micheli 1 shared papers
• Angelo Susi 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