Franco Cicirelli

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 61

Top Topics

Smart Environments

Parallel Execution

Mutual Exclusion

Top Venues

Simul. Model. Pract. Theory

Future Gener. Comput. Syst.

Publications

Libero Nigro, Franco Cicirelli, Francesco Pupo
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. Comput. 13 (6) (2024)
Franco Cicirelli, Libero Nigro
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking. ICT-DM (2023)
Marica Amadeo, Franco Cicirelli, Antonio Guerrieri, Giuseppe Ruggeri, Giandomenico Spezzano, Andrea Vinci
When edge intelligence meets cognitive buildings: The COGITO platform. Internet Things 24 (2023)
Franco Cicirelli, Emilio Greco, Antonio Guerrieri, Antonio Francesco Gentile, Giandomenico Spezzano, Andrea Vinci
Blockchain-Empowered PSO for Scalable Swarm Robotics. WIVACE (2023)
Libero Nigro, Franco Cicirelli, Pasi Fränti
Parallel random swap: An efficient and reliable clustering algorithm in Java. Simul. Model. Pract. Theory 124 (2023)
Libero Nigro, Franco Cicirelli
An Efficient Algorithm for Clustering Sets. DS-RT (2023)
Luigi Scarcello, Franco Cicirelli, Antonio Guerrieri, Carlo Mastroianni, Giandomenico Spezzano, Andrea Vinci
Pursuing Energy Saving and Thermal Comfort With a Human-Driven DRL Approach. IEEE Trans. Hum. Mach. Syst. 53 (4) (2023)
Libero Nigro, Franco Cicirelli
Performance of a K-Means Algorithm Driven by Careful Seeding. SIMULTECH (2023)
Libero Nigro, Franco Cicirelli
Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding. Algorithms 16 (12) (2023)
Libero Nigro, Franco Cicirelli, Pasi Fränti
Efficient and Reliable Clustering by Parallel Random Swap Algorithm. DS-RT (2022)
Franco Cicirelli, Antonio Guerrieri, Andrea Vinci
Smart Monitoring and Control in the Future Internet of Things. Sensors 22 (1) (2022)
Carlo Mastroianni, Franco Cicirelli, Min Jia, Sabita Maharjan, Ian J. Taylor
Guest Editorial Special Issue on Edge Intelligence for Sustainable Smart Environments. IEEE Trans. Green Commun. Netw. 6 (1) (2022)
Franco Cicirelli, Libero Nigro
Analyzing stochastic reward nets by model checking and parallel simulation. Simul. Model. Pract. Theory 116 (2022)
Franco Cicirelli, Emilio Greco, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
Collaborative Learning over Cellular Automata. WIVACE (2022)
Franco Cicirelli, Libero Nigro
Parallel Simulation of Stochastic Reward Nets using Theatre. DS-RT (2021)
Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo
Performance Comparison of Two Java-Based Actor Systems. ICICT (3) (2021)
Franco Cicirelli, Andrea Giordano, Carlo Mastroianni
Analysis of Global and Local Synchronization in Parallel Computing. IEEE Trans. Parallel Distributed Syst. 32 (5) (2021)
Franco Cicirelli, Antonio Guerrieri, Carlo Mastroianni, Luigi Scarcello, Giandomenico Spezzano, Andrea Vinci
Balancing Energy Consumption and Thermal Comfort with Deep Reinforcement Learning. ICHMS (2021)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Seamless development in Java of distributed real-time systems using actors. Int. J. Simul. Process. Model. 15 (1/2) (2020)
Franco Cicirelli, Antonio Francesco Gentile, Emilio Greco, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
An Energy Management System at the Edge based on Reinforcement Learning. DS-RT (2020)
Franco Cicirelli, Libero Nigro
Model Checking Actor-based Cyber-Physical Systems. DS-RT (2020)
Franco Cicirelli, Antonio Guerrieri, Carlo Mastroianni, Giandomenico Spezzano, Andrea Vinci
Thermal comfort management leveraging deep reinforcement learning and human-in-the-loop. ICHMS (2020)
Franco Cicirelli, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
A Cognitive Enabled, Edge-Computing Architecture for Future Generation IoT Environments. WF-IoT (2019)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Formal Modelling and Verification of Real-Time Self-Adaptive Systems. DS-RT (2019)
Franco Cicirelli, Libero Nigro
Home Energy Management Using Theatre With Hybrid Actors. DS-RT (2019)
Franco Cicirelli, Andrea Giordano, Carlo Mastroianni
Improving Efficiency in Parallel Computing Leveraging Local Synchronization. NUMTA(1) (2019)
Franco Cicirelli, Antonio Guerrieri, Alessandro Mercuri, Giandomenico Spezzano, Andrea Vinci
ITEMa: A methodological approach for cognitive edge computing IoT ecosystems. Future Gener. Comput. Syst. 92 (2019)
Franco Cicirelli, Antonio Guerrieri, Carlo Mastroianni, Fabio Palopoli, Giandomenico Spezzano, Andrea Vinci
Comfort-aware Cognitive Buildings Leveraging Deep Reinforcement Learning. DS-RT (2019)
Franco Cicirelli, Antonio Guerrieri, Alessandro Mercuri, Giandomenico Spezzano, Andrea Vinci
Cognitive smart environment: an approach based on concept hierarchies and sensor data fusion. Int. J. Simul. Process. Model. 13 (5) (2018)
Franco Cicirelli, Antonio Guerrieri, Alessandro Mercuri, Giandomenico Spezzano, Andrea Vinci
IoT-Centric Edge Computing for Context-Aware Smart Environments. ICIOT (2018)
Franco Cicirelli, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni
Parallelization of space-aware applications: Modeling and performance analysis. J. Netw. Comput. Appl. 122 (2018)
Franco Cicirelli, Giancarlo Fortino, Antonio Guerrieri, Alessandro Mercuri, Giandomenico Spezzano, Andrea Vinci
A Metamodel Framework for Edge-Based Smart Environments. IC2E (2018)
Franco Cicirelli, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci, Orazio Briante, Antonio Iera, Giuseppe Ruggeri
Edge Computing and Social Internet of Things for Large-Scale Smart Environments Development. IEEE Internet Things J. 5 (4) (2018)
Eugenio Cesario, Franco Cicirelli, Carlo Mastroianni
Distributed Computation of Mobility Patterns in a Smart City Environment. Euro-Par Workshops (2018)
Franco Cicirelli, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni, Rostislav V. Razumchik
Global And Local Synchronization In Parallel Space-Aware Applications. ECMS (2018)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Model continuity in cyber-physical systems: A control-centered methodology based on agents. Simul. Model. Pract. Theory 83 (2018)
Franco Cicirelli, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci, Orazio Briante, Antonio Iera, Giuseppe Ruggeri
An edge-based approach to develop large-scale smart environments by leveraging SIoT. ICNSC (2017)
Domenico Luca Carnì, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella, Franco Cicirelli
Agent-based software architecture for distributed measurement systems and cyber-physical systems design. I2MTC (2017)
Franco Cicirelli, Giancarlo Fortino, Antonio Guerrieri, Alessandro Mercuri, Giandomenico Spezzano, Andrea Vinci
Exploiting the SEM Framework for Modeling Smart Cities. IDCS (2017)
Franco Cicirelli, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
An edge-based platform for dynamic Smart City applications. Future Gener. Comput. Syst. 76 (2017)
Domenico Luca Carnì, Franco Cicirelli, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella
Exploiting Model Continuity in Agent-Based Cyber-Physical Systems. CSOC (2) (2017)
Franco Cicirelli, Giancarlo Fortino, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
Metamodeling of Smart Environments: from design to implementation. Adv. Eng. Informatics 33 (2017)
Franco Cicirelli, Giancarlo Fortino, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems. InterIoT/SaSeIoT (2017)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Agents+Control: A Methodology for CPSs. DS-RT (2016)
Franco Cicirelli, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci, Orazio Briante, Giuseppe Ruggeri
iSapiens: A platform for social and pervasive smart environments. WF-IoT (2016)
Franco Cicirelli, Libero Nigro
Control centric framework for model continuity in time-dependent multi-agent systems. Concurr. Comput. Pract. Exp. 28 (12) (2016)
Franco Cicirelli, Giandomenico Spezzano
Concept Hierarchies For Sensor Data Fusion In The Cognitive IoT. ECMS (2016)
Franco Cicirelli, Libero Nigro
Modelling and Verification of Mutual Exclusion Algorithms. DS-RT (2016)
Franco Cicirelli, Giancarlo Fortino, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
Edge enabled development of Smart Cyber-Physical Environments. SMC (2016)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Agent-Based Model Continuity Of Stochastic Time Petri Nets. ECMS (2016)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Model Checking Mutual Exclusion Algorithms Using Uppaal. CSOC (2) (2016)
Franco Cicirelli, Giancarlo Fortino, Andrea Giordano, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
On the Design of Smart Homes: A Framework for Activity Recognition in Home Environment. J. Medical Syst. 40 (9) (2016)
Franco Cicirelli, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni
Transparent and Efficient Parallelization of Swarm Algorithms. ACM Trans. Auton. Adapt. Syst. 11 (2) (2016)
Franco Cicirelli, Libero Nigro
Exploiting Social Capabilities in the Minority Game. ACM Trans. Model. Comput. Simul. 27 (1) (2016)
Franco Cicirelli, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni, Giandomenico Spezzano
Parallel Execution of Space-Aware Applications in a Cloud Environment. PDP (2016)
Franco Cicirelli, Giancarlo Fortino, Antonio Guerrieri, Giandomenico Spezzano, Andrea Vinci
A meta-model framework for the design and analysis of smart cyber-physical environments. CSCWD (2016)
Franco Cicirelli, Andrea Giordano, Libero Nigro
Efficient environment management for distributed simulation of large-scale situated multi-agent systems. Concurr. Comput. Pract. Exp. 27 (3) (2015)
Franco Cicirelli, Gianluigi Folino, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni, Giandomenico Spezzano
Strategies for Parallelizing Swarm Intelligence Algorithms. PDP (2015)
Franco Cicirelli, Christian Nigro, Libero Nigro
Qualitative and quantitative evaluation of stochastic Time Petri Nets. FedCSIS (2015)
Franco Cicirelli, Christian Nigro, Libero Nigro
Statistical Model Checking of GSPN Models. SIMULTECH (2015)
Franco Cicirelli, Libero Nigro
Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores. FedCSIS (2015)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Agent-Based Control Framework In Jade. ECMS (2014)
Franco Cicirelli, Libero Nigro
Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE. IDCS (2014)
Franco Cicirelli, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni
An approach for scalable parallel execution of ant algorithms. HPCS (2014)
Franco Cicirelli, Libero Nigro
A Control Framework for Model Continuity in JADE. DS-RT (2014)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Modelling Java Concurrency: An Approach and a Uppaal Library. FedCSIS (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Agent Methodological Layers In Repast Simphony. ECMS (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Using time stream Petri nets for workflow modelling analysis and enactment. Simul. 89 (1) (2013)
Franco Cicirelli, Emmanuele Neri, Libero Nigro, Francesco Pupo
A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. ECMS (2013)
Franco Cicirelli, Libero Nigro
An Agent Framework for High Performance Simulations over Multi-core Clusters. AsiaSim (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. Appl. Math. Comput. 218 (16) (2012)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Agents Over The Grid: An Experience Using The Globus Toolkit 4. ECMS (2012)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT (2012)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Modelling And Verification Of Concurrent Programs Using UPPAAL. ECMS (2011)
Franco Cicirelli, Andrea Giordano, Libero Nigro
Distributed Simulation of Situated Multi-agent Systems. DS-RT (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Modelling and simulation of complex manufacturing systems using statechart-based actors. Simul. Model. Pract. Theory 19 (2) (2011)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Performance of a multi-agent system over a multi-core cluster managed by Terracotta. SpringSim (TMS-DEVS) (2011)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations. Simul. Model. Pract. Theory 19 (1) (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Dynamic Sociality Minority Game. ECMS (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Using time stream Petri nets over a service architecture for workflow modelling and enactment. SpringSim (2010)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Temporal verification of RT-DEVS models with implementation aspects. SpringSim (2010)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Parallel Simulation of Multi-agent Systems Using Terracotta. DS-RT (2010)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
A service-based architecture for dynamically reconfigurable workflows. J. Syst. Softw. 83 (7) (2010)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Distributing RePast Simulations Using Actors. ECMS (2009)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Distributed Simulation of RePast Models over HLA/Actors. DS-RT (2009)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination. Simul. 85 (1) (2009)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. ECMS (2009)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium (2008)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC (2007)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Integration and Interoperability between Jini services andWeb Services. IEEE SCC (2007)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles. Annual Simulation Symposium (2007)
Franco Cicirelli, Libero Nigro
A General Brokering Architecture Layer and its application to Video on-Demand over the Internet. Informatica (Slovenia) 31 (1) (2007)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. Real Time Syst. 35 (2) (2007)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks. J. Syst. Softw. 80 (11) (2007)
Franco Cicirelli, Angelo Furfaro, Domenico Grimaldi, Libero Nigro, Francesco Pupo
MADAMS: A software architecture for the management of networked measurement services. Comput. Stand. Interfaces 28 (4) (2006)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
An Approach to Protocol Modeling and Validation. Annual Simulation Symposium (2006)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium (2005)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. MSV/AMCS (2004)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications (2004)