Claudia Vannucchi

According to our database, Claudia Vannucchi authored at least 5 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

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

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

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

Proceedings of the 2017 International Conference on Intelligent Environments, 2017

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

Proceedings of the Intelligent Environments 2016, 2016

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs.

Claudia Vannucchi, Diletta Romana Cacciagrano, Rosario Culmone, Leonardo Mostarda

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016