Simone Fulvio Rollini

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Top Venues

Formal Methods Syst. Des.

Publications

Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant
Benchmark: Object Detection for Maritime Search and Rescue. AISoLA (2023)
Nandith Narayan, Parth Ganeriwala, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer Davis, Hemant Purohit, Simone Fulvio Rollini
. SysCon (2023)
Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. AISoLA (2023)
Dmitrii Kirov, Simone Fulvio Rollini
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. AISoLA (2023)
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
Resolution proof transformation for compression and interpolation. Formal Methods Syst. Des. 45 (1) (2014)
Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina
On interpolants and variable assignments. FMCAD (2014)
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina
Interpolation Properties and SAT-Based Model Checking. ATVA (2013)
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR (2013)
Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina
A Parametric Interpolation Framework for First-Order Theories. MICAI (1) (2013)
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
Resolution Proof Transformation for Compression and Interpolation. CoRR (2013)
Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
Using cross-entropy for satisfiability. SAC (2013)
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina
Leveraging Interpolant Strength in Model Checking. CAV (2012)
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina
Propositional Interpolation Systems for Model Checking CoRR (2012)