| PeRIPLO: A framework for producing effective interpolants in SAT-based software verification SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 37 | 2013 |
| Leveraging interpolant strength in model checking SF Rollini, O Sery, N Sharygina International Conference on Computer Aided Verification, 193-209, 2012 | 33 | 2012 |
| An efficient and flexible approach to resolution proof reduction SF Rollini, R Bruttomesso, N Sharygina Hardware and Software: Verification and Testing: 6th International Haifa …, 2011 | 28 | 2011 |
| Interpolation properties and SAT-based model checking A Gurfinkel, SF Rollini, N Sharygina Automated Technology for Verification and Analysis: 11th International …, 2013 | 22 | 2013 |
| Resolution proof transformation for compression and interpolation SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich Formal Methods in System Design 45, 1-41, 2014 | 21 | 2014 |
| Flexible interpolation with local proof transformations R Bruttomesso, S Rollini, N Sharygina, A Tsitovich 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 770-777, 2010 | 19 | 2010 |
| On interpolants and variable assignments P Jancik, J Kofroň, SF Rollini, N Sharygina 2014 Formal Methods in Computer-Aided Design (FMCAD), 123-130, 2014 | 10 | 2014 |
| Using cross-entropy for satisfiability H Chockler, A Ivrii, A Matsliah, SF Rollini, N Sharygina Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1196-1203, 2013 | 7 | 2013 |
| Flexible interpolation generation in satisfiability modulo theories R Bruttomesso, S Rollini, N Sharygina, A Tsitovich Proceedings of the 14th International Conference on Computer-Aided Design …, 2010 | 7 | 2010 |
| Formal verification of a neural network based prognostics system for aircraft equipment D Kirov, SF Rollini, L Di Guglielmo, D Cofer International Conference on Bridging the Gap between AI and Reality, 225-240, 2023 | 3 | 2023 |
| Benchmark: remaining useful life predictor for aircraft equipment D Kirov, SF Rollini International Conference on Bridging the Gap between AI and Reality, 299-304, 2023 | 3 | 2023 |
| A parametric interpolation framework for first-order theories L Kovács, SF Rollini, N Sharygina Mexican International Conference on Artificial Intelligence, 24-40, 2013 | 2 | 2013 |
| Craig Interpolation and proof manipulation SF Rollini | 2 | 2013 |
| Benchmark: Object Detection for Maritime Search and Rescue D Kirov, SF Rollini, R Chandrahas, SR Chandupatla, R Sawant International Conference on Bridging the Gap between AI and Reality, 305-310, 2023 | 1 | 2023 |
| Optimizing Function Summaries Through Interpolation SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina Validation of Evolving Software, 73-82, 2015 | 1 | 2015 |
| Craig Interpolation and proof manipulation: Theory and applications to model checking SF Rollini Università della Svizzera italiana, 2013 | | 2013 |
| OpenSMT 1.0 alpha System Description R Bruttomesso, SF Rollini, N Sharygina, A Tsitovich | | |
