CNR Institutional Research Information System

CICIRELLI, FRANCO DOMENICO

CICIRELLI, FRANCO DOMENICO  

Istituto di Calcolo e Reti ad Alte Prestazioni - ICAR  

Mostra records
Risultati 1 - 20 di 30 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autore(i) File
Correctness Verification of Mutual Exclusion Algorithms by Model Checking 1-gen-2024 Nigro, L.; Cicirelli, F.
Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets 1-gen-2024 Nigro, L.; Cicirelli, F.
Leveraging distributed AI for multi-occupancy prediction in Cognitive Buildings 1-gen-2024 Khan, I.; Cicirelli, F.; Greco, E.; Guerrieri, A.; Mastroianni, C.; Scarcello, L.; Spezzano, G.; Vinci, A.
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms 1-gen-2024 Nigro, L.; Cicirelli, F.; Pupo, F.
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 1-gen-2023 Nigro, Libero; Cicirelli, Franco
Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding 1-gen-2023 Nigro, L.; Cicirelli, F.
Parallel random swap: An efficient and reliable clustering algorithm in java 1-gen-2023 Nigro, Libero; Cicirelli, FRANCO DOMENICO; Fra, Pasi
When edge intelligence meets cognitive buildings: The COGITO platform 1-gen-2023 Amadeo, Marica; Cicirelli, Franco; Guerrieri, Antonio; Ruggeri, Giuseppe; Spezzano, Giandomenico; Vinci, Andrea
Analyzing stochastic reward nets by model checking and parallel simulation 1-gen-2022 Cicirelli, F; Nigro, L
Guest Editorial Special Issue on Edge Intelligence for Sustainable Smart Environments 1-gen-2022 Mastroianni, C; Cicirelli, F; Jia, M; Maharjan, S; Taylor, I
Pursuing Energy Saving and Thermal Comfort With a Human-Driven DRL Approach 1-gen-2022 Scarcello, Luigi; Cicirelli, Franco; Guerrieri, Antonio; Mastroianni, Carlo; Spezzano, Giandomenico; Vinci, Andrea
A development methodology for cyber-physical systems based on deterministic Theatre with hybrid actors 1-gen-2021 Cicirelli, Franco; Nigro, Libero
Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors 1-gen-2021 Cicirelli, FRANCO DOMENICO; Cicirelli, FRANCO DOMENICO; Nigro, ; Libero,
Analysis of Global and Local Synchronization in Parallel Computing 1-gen-2021 Cicirelli, F; Giordano, A; Mastroianni, C
Emerging internet of things solutions and technologies 1-gen-2021 Cicirelli, F; Guerrieri, A; Mastroianni, C; Vinci, A
Smart Monitoring and Control in the Future Internet of Things 1-gen-2021 Cicirelli, FRANCO DOMENICO; Cicirelli, FRANCO DOMENICO; Guerrieri, Antonio; Guerrieri, Antonio; Vinci, Andrea; Vinci, Andrea
Seamless development in Java of distributed real-time systems using actors 1-gen-2020 Cicirelli, Franco; Nigro, Libero; Paolo, F Sciammarella
ITEMa: A methodological approach for cognitive edge computing IoT ecosystems 1-gen-2019 Cicirelli F.; Guerrieri A.; Mercuri A.; Spezzano G.; Vinci A.
Cognitive Smart Environment: an approach based on Concept Hierarchies and Sensor Data Fusion 1-gen-2018 Franco Cicirelli; Antonio Guerrieri; Alessandro Mercuri; Giandomenico Spezzano; Andrea Vinci
Model continuity in cyber-physical systems: A control-centered methodology based on agents 1-gen-2018 Franco Cicirelli; Libero Nigro; Paolo F. Sciammarella