Pubblicazioni

• 26 . Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems"
  Loreti, Michele
  ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION;2019;Vol. 29;Pages:1 -2 [ Articolo ]
• 27 . Statistical analysis of CARMA models: An advanced tutorial
  Galpin, Vashti; Georgoulas, Anastasis; Loreti, Michele; Vandin, Andrea
  2019;Pages:395 -409 [ Contributo in volume (capitolo o saggio) ]
• 28 . Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings.
  Di Marzo Serugendo, Giovanna; Loreti, Michele
  2018;Vol. 10852;Pages:1 -279 [ Cura di atti, volumi e cataloghi ]
• 29 . Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)
  Ter Beek, Maurice H.; Loreti, Michele
  ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION;2018;Vol. 28;Pages:1 -4 [ EDITOR DI SPECIAL ISSUE ]
• 30 . Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
  Nenzi, Laura; and Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
  LOGICAL METHODS IN COMPUTER SCIENCE;2018;Vol. 14;Pages:1 -38 [ Articolo ]