Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs. - Claudia Vannucchi; Diletta Romana Cacciagrano; Rosario Culmone; Leonardo Mostarda (AINA Workshops, 2016)

A Formal Model for Event-Condition-Action Rules in Intelligent Environments. - Claudia Vannucchi; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Franco Raimondi; Luca Tesei (Intelligent Environments (Workshops), 2016)

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (Intelligent Environments, 2017)

Symbolic verification of event-condition-action rules in intelligent environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Cacciagrano; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (J. Reliab. Intell. Environ., 2017)

Analysis and verification of ECA rules in intelligent environments. - Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi; Claudia Vannucchi (J. Ambient Intell. Smart Environ., 2018)