Παρακολούθηση
Simone Silvetti
Simone Silvetti
ESTECO Spa
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα esteco.com - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A robust genetic algorithm for learning temporal specifications from data
L Nenzi, S Silvetti, E Bartocci, L Bortolussi
International Conference on Quantitative Evaluation of Systems, 323-338, 2018
522018
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
L Bortolussi, S Silvetti
International Conference on Tools and Algorithms for the Construction and …, 2018
432018
An active learning approach to the falsification of black box cyber-physical systems
S Silvetti, A Policriti, L Bortolussi
International Conference on Integrated Formal Methods, 3-17, 2017
352017
Moonlight: A lightweight tool for monitoring spatio-temporal properties
E Bartocci, L Bortolussi, M Loreti, L Nenzi, S Silvetti
International Conference on Runtime Verification, 417-428, 2020
202020
Signal convolution logic
S Silvetti, L Nenzi, E Bartocci, L Bortolussi
International Symposium on Automated Technology for Verification and …, 2018
142018
Logic-based multi-objective design of chemical reaction networks
L Bortolussi, A Policriti, S Silvetti
International Workshop on Hybrid Systems Biology, 164-178, 2016
92016
A logic-based learning approach to explore diabetes patient behaviors
J Lamp, S Silvetti, M Breton, L Nenzi, L Feng
International Conference on Computational Methods in Systems Biology, 188-206, 2019
22019
Bayesian statistical parametric verification and synthesis by machine learning
L Bortolussi, G Sanguinetti, S Silvetti
2018 Winter Simulation Conference (WSC), 381-394, 2018
12018
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
E Bartocci, L Bortolussi, M Loreti, L Nenzi, S Silvetti
arXiv preprint arXiv:2104.14333, 2021
2021
A robust genetic algorithm for learning temporal specifications from data
S Silvetti, L Nenzi, L Bortolussi, E Bartocci
arXiv preprint arXiv:1711.06202, 2017
2017
Combining Machine Learning and Formal Methods for Complex Systems Design
S Silvetti, A Policriti, L Bortolussi, E Rigoni
Parametric Verification and Synthesis based on Gaussian Processes
L Bortolussi, L Nenzi, S Silvetti
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–12