Teaching

• [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

Tools

• 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)

Publication

• 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 📄