Michele Loreti -

Registered user since Mon 17 Nov 2014

Name: Michele Loreti

Country: Italy

Affiliation: University of Camerino

Personal website: http://www.micheleloreti.com

Research interests: Formal Methods, Performance Analysis, Collective Adaptive Systems, Programming Languages

Contributions

OPCT 2019	Author of Designing Resilient Large Scaled CPS: Models, Languages and Tools within the OPCT 2019-track
PLACES 2019	Committee Member in Program Committee within the PLACES-track
SEAMS 2019	Author of Modelling and Analysing ResilientCyber-Physical Systems within the SEAMS 2019-track Author of Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet-of-Things within the SEAMS 2019-track