Claudia Vannucchi

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 5

Top Topics

Hyper Heuristics

Active Database Systems

Intelligent Environments

Search Procedure

Top Venues

J. Reliab. Intell. Environ.

Intelligent Environments (Workshops)

J. Ambient Intell. Smart Environ.

Intelligent Environments

Publications

Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
Analysis and verification of ECA rules in intelligent environments. J. Ambient Intell. Smart Environ. 10 (3) (2018)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments (2017)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
Symbolic verification of event-condition-action rules in intelligent environments. J. Reliab. Intell. Environ. 3 (2) (2017)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) (2016)
Claudia Vannucchi, Diletta Romana Cacciagrano, Rosario Culmone, Leonardo Mostarda
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs. AINA Workshops (2016)