Simone Silvetti

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Temporal Properties

Machine Learning

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR (2021)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV (2020)
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CoRR (2019)
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CMSB (2019)
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
Signal Convolution Logic. CoRR (2018)
Luca Bortolussi, Guido Sanguinetti, Simone Silvetti
Bayesian Statistical parametric Verification and synthesis by Machine Learning. WSC (2018)
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST (2018)
Luca Bortolussi, Simone Silvetti
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. TACAS (2) (2018)
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
Signal Convolution Logic. ATVA (2018)
Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR (2017)
Simone Silvetti, Alberto Policriti, Luca Bortolussi
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR (2017)
Simone Silvetti, Alberto Policriti, Luca Bortolussi
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM (2017)
Luca Bortolussi, Alberto Policriti, Simone Silvetti
Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB (2016)