default search action
Diletta Cacciagrano
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Farhan Ullah, Ali Turab, Shamsher Ullah, Diletta Cacciagrano, Yue Zhao:
Enhanced Network Intrusion Detection System for Internet of Things Security Using Multimodal Big Data Representation with Transfer Learning and Game Theory. Sensors 24(13): 4152 (2024) - [c29]Shamsher Ullah, Jianqiang Li, Farhan Ullah, Diletta Cacciagrano, Muhammad Tanveer Hussain, Victor C. M. Leung:
Homomorphic Cryptography Authentication Scheme to Eliminate Machine Tools Gaps in Industry 4.0. AINA (6) 2024: 76-85 - [c28]Ramiz Salama, Diletta Cacciagrano, Fadi Al-Turjman:
Blockchain and Financial Services a Study of the Applications of Distributed Ledger Technology (DLT) in Financial Services. AINA (6) 2024: 124-135 - [c27]Farhan Ullah, Gautam Srivastava, Leonardo Mostarda, Diletta Cacciagrano:
Collaborative Intrusion Detection System for Intermittent 10 Vs Using Federated Learning and Deep Swarm Particle Optimization. DSAA 2024: 1-8 - 2023
- [c26]Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli:
Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. AINA (3) 2023: 311-320 - [c25]Sarumi Usman Abidemi, Auwalu Saleh Mubarak, Olukayode Akanni, Zubaida Sa'id Ameen, Diletta Cacciagrano, Fadi M. Al-Turjman:
Attendance System via Internet of Things, Blockchain and Artificial Intelligence Technology: Literature Review. AINA (3) 2023: 321-330 - 2022
- [j11]Marco Marcozzi, Leonardo Mostarda, Diletta Cacciagrano:
Off-chain trading for micro grid systems. Frontiers Blockchain 5 (2022) - [j10]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): 384-410 (2022) - [c24]Diletta Cacciagrano, Rosario Culmone, Leonardo Mostarda, Alfredo Navarra, Emanuele Scala:
Robot Based Computing System: An Educational Experience. AINA (3) 2022: 265-274 - [i4]Fadi M. Al-Turjman, Diletta Cacciagrano, Leonardo Mostarda, Mattia Paccamiccio, Zaib Ullah:
Light Communication for Controlling Industrial Robots. CoRR abs/2205.03745 (2022) - 2021
- [c23]Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili:
Off-Chain Execution of IoT Smart Contracts. AINA (2) 2021: 608-619 - 2020
- [j9]Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda:
Applying REECHD to non-uniformly distributed heterogeneous devices. Int. J. Grid Util. Comput. 11(5): 629-645 (2020) - [j8]Diletta Romana Cacciagrano, Rosario Culmone:
IRON: Reliable domain specific language for programming IoT devices. Internet Things 9: 100020 (2020)
2010 – 2019
- 2018
- [j7]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): 261-273 (2018) - [c22]Diletta Romana Cacciagrano, Rosario Culmone:
Formal Semantics of an IoT-Specific Language. AINA Workshops 2018: 579-584 - [c21]Alfredo Navarra, Diletta Cacciagrano:
Energy Saving and Collision-Free Motion Planning for Oblivious Robots. AINA Workshops 2018: 591-596 - 2017
- [j6]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Uniformity in Multiscale Models: From Complex Automata to BioShape. J. Cell. Autom. 12(5): 333-359 (2017) - [j5]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): 117-130 (2017) - [c20]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: 92-99 - 2016
- [c19]Claudia Vannucchi, Diletta Romana Cacciagrano, Rosario Culmone, Leonardo Mostarda:
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs. AINA Workshops 2016: 319-324 - [c18]Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini:
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. AINA 2016: 339-345 - [c17]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: 56-65 - 2015
- [c16]Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann:
Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology. ES 2015: 21-32 - 2014
- [c15]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:
Interoperability issues among smart home technological frameworks. MESA 2014: 1-7 - 2012
- [j4]Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito:
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. J. Integr. Bioinform. 9(1) (2012) - 2011
- [c14]Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei:
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382 - [c13]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Uniform Multiscale Meta-model of BioShape. CS2Bio@DisCoTec 2011: 15-27 - [i3]Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
A Testing Framework for P Systems. CoRR abs/1108.3424 (2011) - [i2]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) - 2010
- [j3]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: 32-52 (2010) - [c12]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli:
Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127 - [c11]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84 - [c10]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani:
Bone Remodelling in BioShape. CS2Bio 2010: 17-29 - [c9]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS 2010: 827-835 - [i1]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus: Timed Operational Semantics and Well-formedness. CoRR abs/1011.2488 (2010)
2000 – 2009
- 2009
- [j2]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Explicit fairness in testing semantics. Log. Methods Comput. Sci. 5(2) (2009) - [c8]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito:
Constraint-Based Dynamic Conversations. ICNS 2009: 7-12 - 2008
- [c7]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito:
A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633 - 2007
- [j1]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007) - [c6]Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia:
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. EXPRESS 2007: 59-84 - 2006
- [c5]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito:
Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147 - [c4]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Fair Pi. EXPRESS 2006: 3-26 - 2005
- [c3]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing. EXPRESS 2005: 95-108 - 2004
- [c2]Diletta Cacciagrano, Flavio Corradini:
Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131 - 2001
- [c1]Diletta Cacciagrano, Flavio Corradini:
On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint