Diletta Romana Cacciagrano

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 7

Top Topics

Logical Reasoning

Intelligent Environments

Top Venues

Int. J. Web Grid Serv.

Intelligent Environments (Workshops)

J. Ambient Intell. Smart Environ.

Publications

Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini
NARUN: noise adaptive routing for utility networks. Int. J. Web Grid Serv. 18 (4) (2022)
Diletta Romana Cacciagrano, Rosario Culmone
IRON: Reliable domain specific language for programming IoT devices. Internet Things 9 (2020)
Diletta Romana Cacciagrano, Rosario Culmone
Formal Semantics of an IoT-Specific Language. AINA Workshops (2018)
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, 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)
Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann
Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology. ES (2015)
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011 (87) (2011)
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
A Testing Framework for P Systems CoRR (2011)
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comput. Sci. 20 (2010)
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Shape Calculus: Timed Operational Semantics and Well-formedness CoRR (2010)