Simone Fulvio Rollini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2012–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | VECoS | Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. | Dmitrii Kirov, Simone Fulvio Rollini |
| 2023 | VECoS | Benchmark: Object Detection for Maritime Search and Rescue. | Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant |
| 2023 | VECoS | Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. | Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer |
| 2014 | FMCAD | On interpolants and variable assignments. | Pavel Janck, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina |
| 2013 | ATVA | Interpolation Properties and SAT-Based Model Checking. | Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina |
| 2013 | LPAR | PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. | Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvrinen, Natasha Sharygina |
| 2013 | SAC | Using cross-entropy for satisfiability. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina |
| 2012 | CAV | Leveraging Interpolant Strength in Model Checking. | Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina |