Pubblicazioni

• 1 . Analysis and verification of ECA rules in intelligent environments
  Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco; Vannucchi, Claudia
  JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS;2018;Vol. 10;Pages:261 -273 [ Articolo ]
• 2 . Symbolic verification of event–condition–action rules in intelligent environments
  Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
  JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS;2017;Vol. 3;Pages:117 -130 [ Articolo ]
• 3 . Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
  Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
  2016;Pages:319 -324 [ Contributo in atto di convegno su volume ]