An Efficient and Flexible Approach to Resolution Proof Reduction. - Simone Rollini; Roberto Bruttomesso; Natasha Sharygina (Haifa Verification Conference, 2010)

Flexible interpolation with local proof transformations. - Roberto Bruttomesso; Simone Rollini; Natasha Sharygina; Aliaksei Tsitovich (ICCAD, 2010)

Leveraging Interpolant Strength in Model Checking. - Simone Fulvio Rollini; Ondrej Sery; Natasha Sharygina (CAV, 2012)

Propositional Interpolation Systems for Model Checking - Arie Gurfinkel; Simone Fulvio Rollini; Natasha Sharygina (CoRR, 2012)

Interpolation Properties and SAT-Based Model Checking. - Arie Gurfinkel; Simone Fulvio Rollini; Natasha Sharygina (ATVA, 2013)

PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. - Simone Fulvio Rollini; Leonardo Alt; Grigory Fedyukovich; Antti Eero Johannes Hyvärinen; Natasha Sharygina (LPAR, 2013)

A Parametric Interpolation Framework for First-Order Theories. - Laura Kovács; Simone Fulvio Rollini; Natasha Sharygina (MICAI (1), 2013)

Using cross-entropy for satisfiability. - Hana Chockler; Alexander Ivrii; Arie Matsliah; Simone Fulvio Rollini; Natasha Sharygina (SAC, 2013)

On interpolants and variable assignments. - Pavel Jancík; Jan Kofron; Simone Fulvio Rollini; Natasha Sharygina (FMCAD, 2014)

Resolution proof transformation for compression and interpolation. - Simone Fulvio Rollini; Roberto Bruttomesso; Natasha Sharygina; Aliaksei Tsitovich (Formal Methods Syst. Des., 2014)

Optimizing Function Summaries Through Interpolation. - Simone Fulvio Rollini; Leonardo Alt; Grigory Fedyukovich; Antti Eero Johannes Hyvärinen; Natasha Sharygina (Validation of Evolving Software, 2015)

Assuring Learning-Enabled Increasingly Autonomous Systems*. - Nandith Narayan; Parth Ganeriwala; Randolph M. Jones; Michael Matessa; Siddhartha Bhattacharyya; Jennifer A. Davis; Hemant Purohit; Simone Fulvio Rollini (SysCon, 2023)

Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. - Dmitrii Kirov; Simone Fulvio Rollini (AISoLA, 2023)

Benchmark: Object Detection for Maritime Search and Rescue. - Dmitrii Kirov; Simone Fulvio Rollini; Rohit Chandrahas; Shashidhar Reddy Chandupatla; Rajdeep Sawant (AISoLA, 2023)

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. - Dmitrii Kirov; Simone Fulvio Rollini; Luigi Di Guglielmo; Darren D. Cofer (AISoLA, 2023)

Design and Validation of Learning Aware HMI for Learning-Enabled Increasingly Autonomous Systems. - Parth Ganeriwala; Michael Matessa; Siddhartha Bhattacharyya; Randolph M. Jones; Jennifer A. Davis; Parneet Kaur; Simone Fulvio Rollini; Natasha A. Neogi (SysCon, 2025)