CICIRELLI, Franco
CICIRELLI, Franco
Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS
2021-01-01 Cicirelli, Franco; Nigro, Libero
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients
2023-01-01 Nigro, Libero; Cicirelli, Franco
A metamodel framework for edge-based smart environments
2018-01-01 Cicirelli, Franco; Fortino, Giancarlo; Guerrieri, Antonio; Mercuri, Alessandro; Spezzano, Giandomenico; Vinci, Andrea
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems
2018-01-01 Cicirelli, F.; Fortino, G.; Guerrieri, A.; Spezzano, G.; Vinci, A.
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets
2023-01-01 Nigro, Libero; Cicirelli, Franco
An Approach to Concurrent/Parallel Programming in Java
2015-01-01 Cicirelli, Franco; Nigro, Christian; Nigro, Libero
An Efficient Algorithm for Clustering Sets
2023-01-01 Nigro, Libero; Cicirelli, Franco
Analyzing Stochastic Reward Nets by Model Checking and Parallel Simulation
2022-01-01 Cicirelli, Franco; Nigro, Libero
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking
2023-01-01 Cicirelli, Franco; Nigro, Libero
Efficient and Reliable Clustering by Parallel Random Swap Algorithm
2022-01-01 Nigro, Libero; Cicirelli, Franco; Fränti, Pasi
Exploiting the sem framework for modeling smart cities
2018-01-01 Cicirelli, F.; Fortino, G.; Guerrieri, A.; Mercuri, A.; Spezzano, G.; Vinci, A.
Fast and Accurate K-means Clustering based on Density Peaks
2022-01-01 Nigro, Libero; Cicirelli, Franco
Formal Modelling and Verification of Real-Time Self-Adaptive Systems
2019-01-01 Cicirelli, Franco; Nigro, Libero; Pupo, Francesco
Home Energy Management Using Theatre With Hybrid Actors
2019-01-01 Cicirelli, Franco; Nigro, Libero
Improving K-means by an Agglomerative Method and Density Peaks
2022-01-01 Nigro, Libero; Cicirelli, Franco
Model checking actor-based cyber-physical systems
2020-01-01 Cicirelli, Franco; Nigro, Libero
Model Checking Mutual Exclusion Algorithms Using UPPAAL
2016-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents
2017-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores
2015-01-01 Cicirelli, Franco; Nigro, Libero
Parallel Clustering Method based on Density Peaks
2022-01-01 Nigro, Libero; Cicirelli, Franco