Pubblicazioni

• 11 . Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems
  Corradini, F.; Pettinari, S.; Re, B.; Rossi, L.; Tiezzi, F.
  BIG DATA AND COGNITIVE COMPUTING;2023;Vol. 7;Pages:1 -14 [ Articolo ]
• 12 . FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development
  Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B.
  SOFTWARE AND SYSTEMS MODELING;2023;Vol. 22;Pages:131 -158 [ Articolo ]
• 13 . Implementing a CTL Model Checker with µG, a Language for Programming Graph Neural Networks
  Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M.
  2023;Vol. 13910;Pages:37 -54 [ Contributo in volume (capitolo o saggio) ]
• 14 . PlayWithUnicam: An extensible platform for serious games
  Catervi, Tommaso; Cipolletta, Leonardo; Corradini, Flavio; Re, Barbara; Rondini, Matteo; Rossi, Lorenzo
  2023;Vol. 90;Pages:33 -40 [ Contributo in atto di convegno su volume ]
• 15 . X-IoT: a model-driven approach to support IoT application portability across IoT platforms
  Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Ruschioni, Luca
  COMPUTING;2023;Vol. 105;Pages:1981 -2005 [ Articolo ]