Simone Silvetti

20 papers B 4Misc 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics.
CoRR
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2025 B conf
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.
RV
Simone Silvetti, Michele Loreti, Laura Nenzi
2025 — conf
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.
HSCC
Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh
2025 J jnl
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.
CoRR
Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh
2025 J jnl
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics.
CoRR
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 — conf
Is Machine Learning Model Checking Privacy Preserving?
ISoLA (2)
Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti
2023 J jnl
MoonLight: a lightweight tool for monitoring spatio-temporal properties.
Int. J. Softw. Tools Technol. Transf.
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
2021 J jnl
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
CoRR
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
2020 B conf
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
RV
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
2019 — conf
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CMSB
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
2019 J jnl
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CoRR
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
2018 — conf
A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
QEST
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
2018 — conf
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models.
TACAS (2)
Luca Bortolussi, Simone Silvetti
2018 Misc conf
Bayesian Statistical parametric Verification and synthesis by Machine Learning.
WSC
Luca Bortolussi, Guido Sanguinetti, Simone Silvetti
2018 B conf
Signal Convolution Logic.
ATVA
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018 J jnl
Signal Convolution Logic.
CoRR
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2017 J jnl
A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
CoRR
Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
2017 B conf
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems.
IFM
Simone Silvetti, Alberto Policriti, Luca Bortolussi
2017 J jnl
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems.
CoRR
Simone Silvetti, Alberto Policriti, Luca Bortolussi
2016 — conf
Logic-Based Multi-objective Design of Chemical Reaction Networks.
HSB
Luca Bortolussi, Alberto Policriti, Simone Silvetti