Cicirelli Franco
TitoloCitata daAnno
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), 200, 2016
582016
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
532017
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
352009
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
342017
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
342011
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
282017
A service-based architecture for dynamically reconfigurable workflows
F Cicirelli, A Furfaro, L Nigro
Journal of Systems and Software 83 (7), 1148-1164, 2010
262010
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
252007
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
222016
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
212015
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
182012
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
172011
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
172007
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
172006
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
142016
Actor-based simulation of PDEVS systems over HLA
F Cicirelli, A Furfaro, L Nigro
41st Annual Simulation Symposium (anss-41 2008), 229-236, 2008
142008
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), 14, 2016
122016
Embedded real-time system for climate control in a complex greenhouse
A Candido, F Cicirelli, A Furfaro, L Nigro
International agrophysics 21 (1), 17, 2007
122007
Using time stream Petri nets for workflow modelling analysis and enactment
F Cicirelli, A Furfaro, L Nigro
Simulation 89 (1), 68-86, 2013
112013
Development of a schedulability analysis framework based on pTPN and UPPAAL with stopwatches
F Cicirelli, A Furfaro, L Nigro, F Pupo
Proceedings of the 2012 IEEE/ACM 16th International Symposium on Distributedá…, 2012
112012
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20