Franco Cicirelli

According to our database1, Franco Cicirelli
  • authored at least 60 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
An edge-based platform for dynamic Smart City applications.
Future Generation Comp. Syst., 2017

Metamodeling of Smart Environments: from design to implementation.
Advanced Engineering Informatics, 2017

An edge-based approach to develop large-scale smart environments by leveraging SIoT.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Exploiting Model Continuity in Agent-Based Cyber-Physical Systems.
Proceedings of the Cybernetics and Mathematics Applications in Intelligent Systems, 2017

2016
Exploiting Social Capabilities in the Minority Game.
ACM Trans. Model. Comput. Simul., 2016

Transparent and Efficient Parallelization of Swarm Algorithms.
TAAS, 2016

On the Design of Smart Homes: A Framework for Activity Recognition in Home Environment.
J. Medical Systems, 2016

Control centric framework for model continuity in time-dependent multi-agent systems.
Concurrency and Computation: Practice and Experience, 2016

iSapiens: A platform for social and pervasive smart environments.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Edge enabled development of Smart Cyber-Physical Environments.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Parallel Execution of Space-Aware Applications in a Cloud Environment.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Concept Hierarchies For Sensor Data Fusion In The Cognitive IoT.
Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Agent-Based Model Continuity Of Stochastic Time Petri Nets.
Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Agents+Control: A Methodology for CPSs.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Modelling and Verification of Mutual Exclusion Algorithms.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Model Checking Mutual Exclusion Algorithms Using Uppaal.
Proceedings of the Software Engineering Perspectives and Application in Intelligent Systems, 2016

A meta-model framework for the design and analysis of smart cyber-physical environments.
Proceedings of the 20th IEEE International Conference on Computer Supported Cooperative Work in Design, 2016

2015
Efficient environment management for distributed simulation of large-scale situated multi-agent systems.
Concurrency and Computation: Practice and Experience, 2015

Statistical Model Checking of GSPN Models.
Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

Strategies for Parallelizing Swarm Intelligence Algorithms.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Qualitative and quantitative evaluation of stochastic Time Petri Nets.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014
Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE.
Proceedings of the Internet and Distributed Computing Systems, 2014

An approach for scalable parallel execution of ant algorithms.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Agent-Based Control Framework In Jade.
Proceedings of the 28th European Conference on Modelling and Simulation, 2014

A Control Framework for Model Continuity in JADE.
Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

2013
Using time stream Petri nets for workflow modelling analysis and enactment.
Simulation, 2013

Modelling Java Concurrency: An Approach and a Uppaal Library.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity.
Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Agent Methodological Layers In Repast Simphony.
Proceedings of the 27th European Conference on Modelling and Simulation, 2013

An Agent Framework for High Performance Simulations over Multi-core Clusters.
Proceedings of the AsiaSim 2013, 2013

2012
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal.
Applied Mathematics and Computation, 2012

Agents Over The Grid: An Experience Using The Globus Toolkit 4.
Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.
Proceedings of the 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2012

2011
Modelling and simulation of complex manufacturing systems using statechart-based actors.
Simulation Modelling Practice and Theory, 2011

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations.
Simulation Modelling Practice and Theory, 2011

Performance of a multi-agent system over a multi-core cluster managed by Terracotta.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Modelling And Verification Of Concurrent Programs Using UPPAAL.
Proceedings of the 25th European Conference on Modelling and Simulation, 2011

Dynamic Sociality Minority Game.
Proceedings of the 25th European Conference on Modelling and Simulation, 2011

Distributed Simulation of Situated Multi-agent Systems.
Proceedings of the 15th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2011

2010
A service-based architecture for dynamically reconfigurable workflows.
Journal of Systems and Software, 2010

Temporal verification of RT-DEVS models with implementation aspects.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Using time stream Petri nets over a service architecture for workflow modelling and enactment.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Parallel Simulation of Multi-agent Systems Using Terracotta.
Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010

2009
An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination.
Simulation, 2009

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems.
Proceedings of the European Conference on Modelling and Simulation, 2009

Distributing RePast Simulations Using Actors.
Proceedings of the European Conference on Modelling and Simulation, 2009

Distributed Simulation of RePast Models over HLA/Actors.
Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009

2008
Actor-Based Simulation of PDEVS systems over HLA.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.
Real-Time Systems, 2007

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.
Journal of Systems and Software, 2007

A General Brokering Architecture Layer and its application to Video on-Demand over the Internet.
Informatica (Slovenia), 2007

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles.
Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

Integration and Interoperability between Jini services andWeb Services.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
MADAMS: A software architecture for the management of networked measurement services.
Computer Standards & Interfaces, 2006

An Approach to Protocol Modeling and Validation.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.
Proceedings of the International Conference on Modeling, 2004

Deployment, configuration and management of mobile actor systems.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004


  Loading...