Simone Fulvio Rollini

17 papers A* 1B 3Misc 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems.
CoRR
Parth Ganeriwala, Michael Matessa, Siddhartha Bhattacharyya, Randolph M. Jones, Jennifer A. Davis, Parneet Kaur, Simone Fulvio Rollini, Natasha A. Neogi
2025 — conf
Design and Validation of Learning Aware HMI for Learning-Enabled Increasingly Autonomous Systems.
SysCon
Parth Ganeriwala, Michael Matessa, Siddhartha Bhattacharyya, Randolph M. Jones, Jennifer A. Davis, Parneet Kaur, Simone Fulvio Rollini, Natasha A. Neogi
2025 J jnl
Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning-Enabled Autonomous Agent.
Syst. Eng.
Parth Ganeriwala, Nandith Narayan, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Simone Fulvio Rollini, Hemant Purohit, Natasha A. Neogi
2023 — conf
Assuring Learning-Enabled Increasingly Autonomous Systems
SysCon
Nandith Narayan, Parth Ganeriwala, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Hemant Purohit, Simone Fulvio Rollini
2023 — conf
Benchmark: Object Detection for Maritime Search and Rescue.
AISoLA
Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant
2023 — conf
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment.
AISoLA
Dmitrii Kirov, Simone Fulvio Rollini
2023 — conf
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment.
AISoLA
Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer
2015 — ch.
Optimizing Function Summaries Through Interpolation.
Validation of Evolving Software
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2014 B conf
On interpolants and variable assignments.
FMCAD
Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina
2014 J jnl
Resolution proof transformation for compression and interpolation.
Formal Methods Syst. Des.
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
2013 — conf
A Parametric Interpolation Framework for First-Order Theories.
MICAI (1)
Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina
2013 B conf
Interpolation Properties and SAT-Based Model Checking.
ATVA
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina
2013 B conf
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.
LPAR
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2013 J jnl
Resolution Proof Transformation for Compression and Interpolation.
CoRR
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
2013 Misc conf
Using cross-entropy for satisfiability.
SAC
Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
2012 A* conf
Leveraging Interpolant Strength in Model Checking.
CAV
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina
2012 J jnl
Propositional Interpolation Systems for Model Checking
CoRR
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina