• Sign in
  • Sign up
conf.researchr.org / Michele Loreti
  • ETAPS 2019 profile
  • ICSE 2019 profile
  • POPL 2019 profile
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

Share
xSun 3 Jul 19:44
using conf.researchr.org (v1.56.1)
Support page
Sign Up