Name Card

Full name Familienname, Vorname
Loreti, Michele
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele MoonLight: a lightweight tool for monitoring spatio-temporal propertiesArticle Artikel 1-Aug-2023
2Nenzi, Laura ; Bartocci, E. ; Bortolussi, Luca ; Loreti, Michele A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical SystemsArticle Artikel 2022
3Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele ; Nenzi, Laura Online monitoring of spatio-temporal properties for imprecise signalsKonferenzbeitrag Inproceedings2021
4Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal PropertiesKonferenzbeitrag Inproceedings2020
5Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio Monitoring Spatio-Temporal Properties (Invited Tutorial)Konferenzbeitrag Inproceedings2020
6Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji ; Kehrer, Timo ; Weyns, Danny ; Calinescu, Radu ; Dustdar, Schahram ; Hu, Zhenjiang ; Honiden, Shinichi ; Ishikawa, Fuyuki ; Jin, Zhi ; Kramer, Jeffrey ; Litoiu, Marin ; Loreti, Michele ; Moreno, Gabriel A. ; Müller, Hausi A. ; Nenzi, Laura ; Nuseibeh, Bashar ; Pasquale, Liliana ; Reisig, Wolfgang ; Schmidt, Heinz ; Tsigkanos, Christos ; Zhao, Haiyan Modelling and Analysing Resilient Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2019
7Tsigkanos, Christos ; Nenzi, Laura ; Loreti, Michele ; Garriga, Martin ; Dustdar, Schahram ; Ghezzi, Carlo Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of ThingsKonferenzbeitrag Inproceedings 2019
8Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura Monitoring mobile and spatially distributed cyber-physical systemsKonferenzbeitrag Inproceedings2017