Name Card

Full name Familienname, Vorname

Silvetti, Simone

Main Affiliation Organisationszuordnung

Esteco S.p.A., Italy

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele	MoonLight: a lightweight tool for monitoring spatio-temporal properties	Article Artikel	1-Aug-2023
	2		Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone	MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties	Konferenzbeitrag Inproceedings	2020
	3		Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca	Signal Convolution Logic	Konferenzbeitrag Inproceedings	2018
	4		Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio ; Bortolussi, Luca	A Robust Genetic Algorithm for Learning Temporal Specifications from Data	Konferenzbeitrag Inproceedings	2018