( en | de | ru )

 

Disambiguation of "Rollini, Simone Fulvio"

Author of the publication

copydeleteadd this publication to your clipboard
Optimizing Function Summaries Through Interpolation.

, , , , and . Validation of Evolving Software, Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fulvio Melito

Fulvio Cristofoli

Fulvio Fonzi

Fulvio Massimo Borsani

Simone Altmann

Funktionelle Analyse von 13-Lipoxygenaseabgeleiteten Oxylipinen in der Pathogenabwehr von Solanum tuberosum L.. NA Halle-Wittenberg, (2009)
 

Other publications of authors with the same name

A Parametric Interpolation Framework for First-Order Theories., , and . MICAI (1), volume 8265 of Lecture Notes in Computer Science, page 24-40. Springer, (2013)Resolution Proof Transformation for Compression and Interpolation., , , and . CoRR, (2013)Assuring Learning-Enabled Increasingly Autonomous Systems*., , , , , , , and . SysCon, page 1-7. IEEE, (2023)Leveraging Interpolant Strength in Model Checking., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 193-209. Springer, (2012)Resolution proof transformation for compression and interpolation., , , and . Formal Methods Syst. Des., 45 (1): 1-41 (2014)Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment., , , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 225-240. Springer, (2023)Optimizing Function Summaries Through Interpolation., , , , and . Validation of Evolving Software, Springer, (2015)Propositional Interpolation Systems for Model Checking, , and . CoRR, (2012)PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification., , , , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 683-693. Springer, (2013)Using cross-entropy for satisfiability., , , , and . SAC, page 1196-1203. ACM, (2013)