Cicirelli Franco
Cicirelli Franco
ICAR CNR
Geverifieerd e-mailadres voor icar.cnr.it
Titel
Geciteerd door
Geciteerd door
Jaar
An edge-based platform for dynamic smart city applications
F Cicirelli, A Guerrieri, G Spezzano, A Vinci
Future Generation Computer Systems 76, 106-118, 2017
832017
On the design of smart homes: A framework for activity recognition in home environment
F Cicirelli, G Fortino, A Giordano, A Guerrieri, G Spezzano, A Vinci
Journal of medical systems 40 (9), 1-17, 2016
742016
Edge computing and social internet of things for large-scale smart environments development
F Cicirelli, A Guerrieri, G Spezzano, A Vinci, O Briante, A Iera, G Ruggeri
IEEE Internet of Things Journal 5 (4), 2557-2571, 2017
522017
Metamodeling of smart environments: from design to implementation
F Cicirelli, G Fortino, A Guerrieri, G Spezzano, A Vinci
Advanced Engineering Informatics 33, 274-284, 2017
512017
An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination
F Cicirelli, A Furfaro, L Nigro
Simulation 85 (1), 17-32, 2009
422009
Modelling and simulation of complex manufacturing systems using statechart-based actors
F Cicirelli, A Furfaro, L Nigro
Simulation Modelling Practice and Theory 19 (2), 685-703, 2011
402011
Control centric framework for model continuity in time‐dependent multi‐agent systems
F Cicirelli, L Nigro
Concurrency and Computation: Practice and Experience 28 (12), 3333-3356, 2016
312016
Efficient environment management for distributed simulation of large‐scale situated multi‐agent systems
F Cicirelli, A Giordano, L Nigro
Concurrency and Computation: Practice and Experience 27 (3), 610-632, 2015
312015
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks
F Cicirelli, A Furfaro, L Nigro
Journal of Systems and Software 80 (11), 1817-1832, 2007
302007
A service-based architecture for dynamically reconfigurable workflows
F Cicirelli, A Furfaro, L Nigro
Journal of Systems and Software 83 (7), 1148-1164, 2010
292010
Model checking time-dependent system specifications using time stream Petri nets and UPPAAL
F Cicirelli, A Furfaro, L Nigro
Applied mathematics and computation 218 (16), 8160-8186, 2012
232012
HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations
F Cicirelli, A Furfaro, A Giordano, L Nigro
Simulation Modelling Practice and Theory 19 (1), 283-300, 2011
232011
The Internet of Things for smart urban ecosystems
F Cicirelli, A Guerrieri, C Mastroianni, G Spezzano, A Vinci
Springer, 2019
222019
MADAMS: A software architecture for the management of networked measurement services
F Cicirelli, A Furfaro, D Grimaldi, L Nigro, F Pupo
Computer Standards & Interfaces 28 (4), 396-411, 2006
222006
Transparent and efficient parallelization of swarm algorithms
F Cicirelli, A Forestiero, A Giordano, C Mastroianni
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (2), 1-26, 2016
202016
Model continuity in cyber-physical systems: A control-centered methodology based on agents
F Cicirelli, L Nigro, PF Sciammarella
Simulation Modelling Practice and Theory 83, 93-107, 2018
182018
iSapiens: A platform for social and pervasive smart environments
F Cicirelli, A Guerrieri, G Spezzano, A Vinci, O Briante, G Ruggeri
2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 365-370, 2016
182016
Distributed simulation of modular time Petri nets: an approach and a case study exploiting temporal uncertainty
F Cicirelli, A Furfaro, L Nigro
Real-Time Systems 35 (2), 153-179, 2007
182007
Development of a schedulability analysis framework based on pTPN and UPPAAL with stopwatches
F Cicirelli, A Furfaro, L Nigro, F Pupo
2012 IEEE/ACM 16th International Symposium on Distributed Simulation andá…, 2012
162012
Actor-based simulation of PDEVS systems over HLA
F Cicirelli, A Furfaro, L Nigro
41st Annual Simulation Symposium (anss-41 2008), 229-236, 2008
162008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20