Follow
Simone Fulvio Rollini
Title
Cited by
Cited by
Year
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
362013
Leveraging interpolant strength in model checking
SF Rollini, O Sery, N Sharygina
International Conference on Computer Aided Verification, 193-209, 2012
332012
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
282011
Resolution proof transformation for compression and interpolation
SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich
Formal Methods in System Design 45, 1-41, 2014
212014
Interpolation properties and SAT-based model checking
A Gurfinkel, SF Rollini, N Sharygina
Automated Technology for Verification and Analysis: 11th International …, 2013
212013
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
182010
On interpolants and variable assignments
P Jancik, J Kofroň, SF Rollini, N Sharygina
2014 Formal Methods in Computer-Aided Design (FMCAD), 123-130, 2014
102014
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
72013
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
72010
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
22023
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
22023
A parametric interpolation framework for first-order theories
L Kovács, SF Rollini, N Sharygina
Mexican International Conference on Artificial Intelligence, 24-40, 2013
22013
Craig Interpolation and proof manipulation
SF Rollini
22013
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
12023
Optimizing Function Summaries Through Interpolation
SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
Validation of Evolving Software, 73-82, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–17