Diletta Romana Cacciagrano

12 papers B 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
NARUN: noise adaptive routing for utility networks.
Int. J. Web Grid Serv.
Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini
2020 J jnl
IRON: Reliable domain specific language for programming IoT devices.
Internet Things
Diletta Romana Cacciagrano, Rosario Culmone
2018 J jnl
Analysis and verification of ECA rules in intelligent environments.
J. Ambient Intell. Smart Environ.
Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
2018 — conf
Formal Semantics of an IoT-Specific Language.
AINA Workshops
Diletta Romana Cacciagrano, Rosario Culmone
2017 B conf
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.
Intelligent Environments
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
2016 B conf
A Formal Model for Event-Condition-Action Rules in Intelligent Environments.
Intelligent Environments (Workshops)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
2016 — conf
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs.
AINA Workshops
Claudia Vannucchi, Diletta Romana Cacciagrano, Rosario Culmone, Leonardo Mostarda
2015 — conf
Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology.
ES
Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann
2011 J jnl
A Testing Framework for P Systems
CoRR
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2011 J jnl
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito
2010 J jnl
Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei