Rosario Culmone

According to our database, Rosario Culmone authored at least 32 papers between 2002 and 2023.

Collaborative distances:

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

2023

Blockchain Application for Fish Origin Certification.

Riccardo Petracci, Rosario Culmone, Leonardo Mostarda

Proceedings of the Advances on Broad-Band and Wireless Computing, Communication and Applications, 2023

AI-Powered Drone to Address Smart City Security Issues.

Ramiz Salama, Fadi M. Al-Turjman, Rosario Culmone

Proceedings of the Advanced Information Networking and Applications, 2023

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

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

2020

IRON: Reliable domain specific language for programming IoT devices.

Diletta Romana Cacciagrano, Rosario Culmone

Internet Things, 2020

2019

Energy Efficient Light Routing in Utility Network.

Rosario Culmone, Fabio Pagnotta

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

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

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

Modeling temporal aspects of sensor data for MongoDB NoSQL database.

Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda

J. Big Data, 2017

Vanishing files: protocols and regulations for immaterial documents.

Rosario Culmone, Maria Concetta De Vivo

Int. J. Electron. Secur. Digit. Forensics, 2017

Topological Classification of RNA Structures via Intersection Graph.

Michela Quadrini, Rosario Culmone, Emanuela Merelli

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 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 Flexible and Scalable Architecture for Real-Time ANT+ Sensor Data Acquisition and NoSQL Storage.

Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda

Int. J. Distributed Sens. Networks, 2016

Mechanism Design Approach for Energy Efficiency.

Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz

CoRR, 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

A Mechanism Design Approach for Allocation of Commodities.

Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 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 Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web.

Nadeem Qaisar Mehmood, Rosario Culmone

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

2015

An ANT+ Protocol Based Health Care System.

Nadeem Qaisar Mehmood, Rosario Culmone

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.

Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014

Light Routing Algorithm for Utility Networks.

Rosario Culmone

J. Networks, 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

AAL domain ontology for event-based human activity recognition.

Rosario Culmone, Marco Falcioni, Paolo Giuliodori, Emanuela Merelli, Alessandro Orrù, Michela Quadrini, Paolo Ciampolini, Ferdinando Grossi, Guido Matrella

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

An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol.

Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

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

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

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

Integrating Ontologies in Mobile Agents.

Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

2004

Code Mobility for Pervasive Computing.

Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

2002

Patterns for web applications.

Diego Bonura, Rosario Culmone, Emanuela Merelli

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002