Roberto Bruttomesso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
2005–2021
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FMICS | Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. | Roberto Bruttomesso |
| 2012 | CADE | Reachability Modulo Theory Library. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2012 | CADE | Broadening the Scope of SMT-COMP: the Application Track. | Roberto Bruttomesso, Alberto Griggio |
| 2012 | CADE | From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
| 2012 | CADE | The 2012 SMT Competition. | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
| 2012 | CAV | SAFARI: SMT-Based Abstraction for Arrays with Interpolants. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2012 | LPAR | Lazy Abstraction with Interpolants for Arrays. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2010 | ICCAD | Flexible interpolation with local proof transformations. | Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich |
| 2010 | MEMOCODE | A flexible schema for generating explanations in lazy theory propagation. | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina |
| 2010 | TACAS | The OpenSMT Solver. | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich |
| 2009 | ICCAD | A scalable decision procedure for fixed-width bit-vectors. | Roberto Bruttomesso, Natasha Sharygina |
| 2008 | CAV | The MathSAT 4SMT Solver. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani |
| 2007 | ATVA | Verifying Heap-Manipulating Programs in an SMT Framework. | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
| 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 |
| 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 |
| 2005 | CADE | The MathSAT 3 System. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | CAV | Efficient Satisfiability Modulo Theories via Delayed Theory Combination. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
| 2005 | TACAS | An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |