I agree that this site is using cookies. You can find further informations here.
X
Cicirelli, Franco
87  results:
?
1

Correctness Verification of Mutual Exclusion Algorithms by ..:

Nigro, Libero ; Cicirelli, Franco
Modelling.  5 (2024)  3 - p. 694-719 , 2024
Link: https://doi.org/10.3390/..
 
?
2

Formal Modeling and Verification of Embedded Real-Time Syst..:

Nigro, Libero ; Cicirelli, Franco
Mathematics.  12 (2024)  6 - p. 812 , 2024
Link: https://doi.org/10.3390/..
 
?
3

A K-Means Variation Based on Careful Seeding and Constraine..:

, In: Advances in Data-Driven Computing and Intelligent Systems; Lecture Notes in Networks and Systems,
Nigro, Libero ; Cicirelli, Franco ; Pupo, Francesco - p. 211-226 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Blockchain-Empowered PSO for Scalable Swarm Robotics:

, In: Communications in Computer and Information Science; Artificial Life and Evolutionary Computation,
Cicirelli, Franco ; Greco, Emilio ; Guerrieri, Antonio... - p. 214-227 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Leveraging distributed AI for multi-occupancy prediction in..:

Khan, Irfanullah ; Cicirelli, Franco ; Greco, Emilio...
Internet of Things.  26 (2024)  - p. 101181 , 2024
Link: https://doi.org/10.1016/..
 
?
6

Modeling and Analysis of Clustering by Medoids Using Uppaal:

, In: Intelligent Sustainable Systems; Lecture Notes in Networks and Systems,
Nigro, Libero ; Cicirelli, Franco - p. 417-428 , 2024
Link: https://doi.org/10.1007/..
 
?
7

Modeling and Analysis of Dekker-Based Mutual Exclusion Algo..:

Nigro, Libero ; Cicirelli, Franco ; Pupo, Francesco
Computers.  13 (2024)  6 - p. 133 , 2024
Link: https://doi.org/10.3390/..
 
?
8

IoT Edge Solutions for Cognitive Buildings 

Internet of Things, Technology, Communications and Computing
Cicirelli, Franco ; Guerrieri, Antonio ; Vinci, Andrea. - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
9

Pursuing Energy Saving and Thermal Comfort With a Human-Dri..:

Scarcello, Luigi ; Cicirelli, Franco ; Guerrieri, Antonio...
IEEE Transactions on Human-Machine Systems.  53 (2023)  4 - p. 707-719 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Parallel random swap: An efficient and reliable clustering ..:

Nigro, Libero ; Cicirelli, Franco ; Fränti, Pasi
Simulation Modelling Practice and Theory.  124 (2023)  - p. 102712 , 2023
Link: https://doi.org/10.1016/..
 
?
11

Assessing Time Behaviour in Disaster Management by Using Pe..:

, In: 2023 International Conference on Information and Communication Technologies for Disaster Management (ICT-DM),
Cicirelli, Franco ; Nigro, Libero - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
12

An Efficient Algorithm for Clustering Sets:

, In: 2023 IEEE/ACM 27th International Symposium on Distributed Simulation and Real Time Applications (DS-RT),
Nigro, Libero ; Cicirelli, Franco - p. 97-100 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Improving Clustering Accuracy of K-Means and Random Swap by..:

Nigro, Libero ; Cicirelli, Franco
Algorithms.  16 (2023)  12 - p. 572 , 2023
Link: https://doi.org/10.3390/..
 
?
14

Collaborative Learning over Cellular Automata:

, In: Communications in Computer and Information Science; Artificial Life and Evolutionary Computation,
Cicirelli, Franco ; Greco, Emilio ; Guerrieri, Antonio.. - p. 3-14 , 2023
Link: https://doi.org/10.1007/..
 
?
15

When edge intelligence meets cognitive buildings: The COGIT..:

Amadeo, Marica ; Cicirelli, Franco ; Guerrieri, Antonio...
Internet of Things.  24 (2023)  - p. 100908 , 2023
Link: https://doi.org/10.1016/..
 
1-15