Since 2014 I work in Esteco, a
software-house company located in the Area Science Park of Trieste
(Italy). I am also finishing my PhD in computer science at the university
of Udine under the supervision of Prof. Alberto
Policriti and Prof. Luca
Bortolussi. My research focuses on the application of machine
learning techniques to formal verification of dynamical systems (details
from PhD yearly report 2016) . In 2013 I won a scholarship funded by the
Area Science Park and I started to work in the numerical methods group of
Esteco where I am currently employed. In that period I studied and
developed classifier algorithm (mainly Support Vector Machine) which was
then implemented in modeFrontier
(the core software developed by Esteco). I graduated in 2013 at the
University of Rome "La Sapienza" in mathematics. My dissertation
was on mathematical physics.
- (2014 - now) PhD student in Computer Science at the University
- (2014 - now) Researcher at the Numerical Methods Group in Esteco.
- (2013 - 2014) Area Science Park Scholarship at Esteco
in the field of Machine learning Algorithms for classification.
- (2006 - 2012) Bachelor and Master Degree in Mathematics at the
University of Rome I "La Sapienza".
Download my full cv
My research is currently focused on the joint application of quantitative
formal methods and machine learning techniques to Verification and
Model-based Testing of Complex Systems. I am trying to apply those
techniques in the industrial field (mainly Automotive): the idea consists in
using Active Learning techniques to test the satisfiability of a set of
requirements which could be expressed by using a Temporal Logic. I am
also interested in the modeling of Cyber-Physical-Systems and Internet of
Things devices which are going to be of paramount importance in the near
future. I have also worked on multi-objective optimization (Genetic
Algorithms and Bayesian optimization), surrogates models (Gaussian
Processes, Kriging, etc. ), clustering and classification algorithms.
- 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
- Simone Silvetti, Alberto Policriti and Luca Bortolussi.
An Active Learning Approach to the Falsification of Black Box
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. HSB
- LiVe 2018
- TACAS 2018
- IFM 2017
- HSB 2016
- CAE Conference 2016
- VTSA 2016
- ARVI COST Summer School (RV16)
- OP 2014
- MLSS14 & AISTATS14
- (May 2017 - August 2017) Visiting to Faculty of Informatics, Vienna
University of Technology in the group of Asst.-Prof.
I am employed in the Numerical Methods Group of Esteco. We take care of
the mathematical algorithms of the software developed by the
company. It means maintainability, implementation and developing of new
prototypes. We participate to different international conferences and
contribute to the industrial research community.
Copyright (c) 2018 Simone
Verbatim copying and redistribution of this entire page are permitted
provided this notice is preserved.