Rosario Culmone

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 19

Top Topics

Data Acquisition

Formal Verification

Ontology Driven

Top Venues

Intelligent Environments (Workshops)

Publications

Ramiz Salama, Fadi M. Al-Turjman, Rosario Culmone
AI-Powered Drone to Address Smart City Security Issues. AINA (3) (2023)
Riccardo Petracci, Rosario Culmone, Leonardo Mostarda
Blockchain Application for Fish Origin Certification. BWCCA (2023)
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 Cacciagrano, Rosario Culmone, Leonardo Mostarda, Alfredo Navarra, Emanuele Scala
Robot Based Computing System: An Educational Experience. AINA (3) (2022)
Diletta Romana Cacciagrano, Rosario Culmone
IRON: Reliable domain specific language for programming IoT devices. Internet Things 9 (2020)
Rosario Culmone, Fabio Pagnotta
Energy Efficient Light Routing in Utility Network. AINA Workshops (2019)
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, 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) (2017)
Rosario Culmone, Maria Concetta De Vivo
Vanishing files: protocols and regulations for immaterial documents. Int. J. Electron. Secur. Digit. Forensics 9 (1) (2017)
Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda
Modeling temporal aspects of sensor data for MongoDB NoSQL database. J. Big Data 4 (2017)
Michela Quadrini, Rosario Culmone, Emanuela Merelli
Topological Classification of RNA Structures via Intersection Graph. TPNC (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)
Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz
Mechanism Design Approach for Energy Efficiency. CoRR (2016)
Nadeem Qaisar Mehmood, Rosario Culmone
A Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web. AINA Workshops (2016)
Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda
A Flexible and Scalable Architecture for Real-Time ANT+ Sensor Data Acquisition and NoSQL Storage. Int. J. Distributed Sens. Networks 12 (5) (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)
Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz
A Mechanism Design Approach for Allocation of Commodities. ICTCS (2016)
Nadeem Qaisar Mehmood, Rosario Culmone
An ANT+ Protocol Based Health Care System. AINA Workshops (2015)
Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops (2015)
Rosario Culmone
Light Routing Algorithm for Utility Networks. J. Networks 9 (6) (2014)
Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda
An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol. AINA Workshops (2014)
Rosario Culmone, M. Falcioni, Paolo Giuliodori, Emanuela Merelli, A. Orru, M. Quadrini, P. Ciampolini, Ferdinando Grossi, Guido Matrella
AAL domain ontology for event-based human activity recognition. MESA (2014)
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)
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)
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
Constraint-Based Dynamic Conversations. ICNS (2009)
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito
A model-prover for constrained dynamic conversations. iiWAS (2008)
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
Dynamic Constraint-Based Invocation of Web Services. WS-FM (2006)
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli
Integrating Ontologies in Mobile Agents. WOA (2005)
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini
Code Mobility for Pervasive Computing. WETICE (2004)
Diego Bonura, Rosario Culmone, Emanuela Merelli
Patterns for web applications. SEKE (2002)