Simone Silvetti

According to our database, Simone Silvetti authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Is Machine Learning Model Checking Privacy Preserving?

Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

MoonLight: a lightweight tool for monitoring spatio-temporal properties.

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti

Int. J. Softw. Tools Technol. Transf., August, 2023

2021

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti

CoRR, 2021

2019

A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.

Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Bayesian Statistical parametric Verification and synthesis by Machine Learning.

Luca Bortolussi, Guido Sanguinetti, Simone Silvetti

Proceedings of the 2018 Winter Simulation Conference, 2018

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models.

Luca Bortolussi, Simone Silvetti

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Robust Genetic Algorithm for Learning Temporal Specifications from Data.

Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Signal Convolution Logic.

Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems.

Simone Silvetti, Alberto Policriti, Luca Bortolussi

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Logic-Based Multi-objective Design of Chemical Reaction Networks.

Luca Bortolussi, Alberto Policriti, Simone Silvetti

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016