- [2019] Laboratorio di programmazione, DMG, Università di Trieste
- [2019] Una introduzione a Python, DEAMS, Università di Trieste
- [2018] Laboratorio di programmazione (with L. Nenzi), DMG, Università di Trieste
- [2017] Laboratorio di programmazione (with L. Nenzi), DMG, Università di Trieste
- pyCheck - a tool for STL/STREL monitoring, (see. TACAS 18)
- MoonLight - a light-weight Java-tool for monitoring temporal, spatial and spatio-temporal properties
- Eggloop - a genetic algorithm for Learning Temporal Specifications from Data, (see. QEST18)
- Josephine Lamp, Simone Silvetti, Marc Breton, Laura Nenzi, Lu Feng.
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CMSB 2019: 188-206 - Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi.
Signal Convolution Logic.
ATVA 2018: 267-283 - Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi.
A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
QEST 2018: 323-338 QEST18 - Luca Bortolussi and Simone Silvetti.
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. _Tools and Algorithms for the Construction and Analysis of Systems 2018. TACAS18 📄 - Simone Silvetti, Alberto Policriti and Luca Bortolussi.
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems.
Integrated Formal Methods 2017. IFM17 📄 - Simone Silvetti and Mariapia Marchi.
Validation of automotive Control applications using Formal Methods and metamodeling techniques.
Internation CAE Conference 2016. CAE16 📄 - Luca Bortolussi, Alberto Policriti and Simone Silvetti.
Logic-based Multi-Objective Design of Chemical Reaction Networks.
International Workshop on Hybrid Systems Biology. Springer International Publishing, 2016. HSB16 📄