Diletta Cacciagrano

According to our database, Diletta Cacciagrano authored at least 42 papers between 2001 and 2024.

Collaborative distances:

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

2024

Homomorphic Cryptography Authentication Scheme to Eliminate Machine Tools Gaps in Industry 4.0.

Shamsher Ullah, Jianqiang Li, Farhan Ullah, Diletta Cacciagrano, Muhammad Tanveer Hussain, Victor C. M. Leung

Proceedings of the Advanced Information Networking and Applications, 2024

Blockchain and Financial Services a Study of the Applications of Distributed Ledger Technology (DLT) in Financial Services.

Ramiz Salama, Diletta Cacciagrano, Fadi Al-Turjman

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process.

Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli

Proceedings of the Advanced Information Networking and Applications, 2023

Attendance System via Internet of Things, Blockchain and Artificial Intelligence Technology: Literature Review.

Sarumi Usman Abidemi, Auwalu Saleh Mubarak, Olukayode Akanni, Zubaida Sa'id Ameen, Diletta Cacciagrano, Fadi M. Al-Turjman

Proceedings of the Advanced Information Networking and Applications, 2023

2022

Off-chain trading for micro grid systems.

Marco Marcozzi, Leonardo Mostarda, Diletta Cacciagrano

Frontiers Blockchain, July, 2022

NARUN: noise adaptive routing for utility networks.

Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini

Int. J. Web Grid Serv., 2022

Light Communication for Controlling Industrial Robots.

Fadi M. Al-Turjman, Diletta Cacciagrano, Leonardo Mostarda, Mattia Paccamiccio, Zaib Ullah

CoRR, 2022

Robot Based Computing System: An Educational Experience.

Diletta Cacciagrano, Rosario Culmone, Leonardo Mostarda, Alfredo Navarra, Emanuele Scala

Proceedings of the Advanced Information Networking and Applications, 2022

2021

Off-Chain Execution of IoT Smart Contracts.

Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili

Proceedings of the Advanced Information Networking and Applications, 2021

2020

IRON: Reliable domain specific language for programming IoT devices.

Diletta Romana Cacciagrano, Rosario Culmone

Internet Things, 2020

Applying REECHD to non-uniformly distributed heterogeneous devices.

Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda

Int. J. Grid Util. Comput., 2020

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

Energy Saving and Collision-Free Motion Planning for Oblivious Robots.

Alfredo Navarra, Diletta Cacciagrano

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Formal Semantics of an IoT-Specific Language.

Diletta Romana Cacciagrano, Rosario Culmone

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 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

Uniformity in Multiscale Models: From Complex Automata to BioShape.

Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

J. Cell. Autom., 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

A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED.

Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini

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

2015

Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology.

Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann

Proceedings of the International Conference on Enterprise Systems, 2015

2014

Interoperability issues among smart home technological frameworks.

Lorena Rossi, Alberto Belli, Adelmo De Santis, Claudia Diamantini, Emanuele Frontoni, Ennio Gambi, Lorenzo Palma, Luca Pernini, Paola Pierleoni, Domenico Potena, Laura Raffaeli, Susanna Spinsante, Primo Zingaretti, Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Francesco De Angelis, Emanuela Merelli, Barbara Re

Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

2012

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.

Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito

J. Integr. Bioinform., 2012

2011

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.

Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito

ERCIM News, 2011

A Uniform Multiscale Meta-model of BioShape.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

A Testing Framework for P Systems

Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

CoRR, 2011

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.

Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the End-User Development - Third International Symposium, 2011

2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the International Conference on Computational Science, 2010

Bone Remodelling in BioShape.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Timed Operational Semantics and Well-Formedness of Shape Calculus.

Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Sci. Ann. Comput. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness

Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

CoRR, 2010

Multiscale Bone Remodelling with Spatial P Systems

Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Bone Remodelling: A Complex Automata-Based Model Running in BioShape.

Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli

Proceedings of the Cellular Automata, 2010

2009

Explicit fairness in testing semantics

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi

Log. Methods Comput. Sci., 2009

Constraint-Based Dynamic Conversations.

Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito

Proceedings of the Fifth International Conference on Networking and Services, 2009

2008

A model-prover for constrained dynamic conversations.

Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito

Proceedings of the iiWAS'2008, 2008

2007

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.

Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

2006

Fair Pi.

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

Dynamic Constraint-Based Invocation of Web Services.

Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

2005

Separation of Synchronous and Asynchronous Communication Via Testing.

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

2004

Expressiveness of Timed Events and Timed Languages.

Diletta Cacciagrano, Flavio Corradini

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2001

On Synchronous and Asynchronous Communication Paradigms.

Diletta Cacciagrano, Flavio Corradini

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001