Simone Silvetti

According to our database, Simone Silvetti authored at least 13 papers between 2016 and 2025.

Collaborative distances:

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

2025

Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics.

Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi

CoRR, August, 2025

Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.

Simone Silvetti, Michele Loreti, Laura Nenzi

Proceedings of the Runtime Verification - 25th International Conference, 2025

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.

Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

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

2021

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

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti

CoRR, 2021

2020

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

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

Proceedings of the Runtime Verification - 20th International Conference, 2020

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