Franco Cicirelli

According to our database1, Franco Cicirelli authored at least 81 papers between 2004 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Seamless development in Java of distributed real-time systems using actors.
Int. J. Simul. Process. Model., 2020

Model Checking Actor-based Cyber-Physical Systems.
Proceedings of the 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2020

An Energy Management System at the Edge based on Reinforcement Learning.
Proceedings of the 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2020

2019
ITEMa: A methodological approach for cognitive edge computing IoT ecosystems.
Future Gener. Comput. Syst., 2019

A Cognitive Enabled, Edge-Computing Architecture for Future Generation IoT Environments.
Proceedings of the 5th IEEE World Forum on Internet of Things, 2019

Improving Efficiency in Parallel Computing Leveraging Local Synchronization.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019

Formal Modelling and Verification of Real-Time Self-Adaptive Systems.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Home Energy Management Using Theatre With Hybrid Actors.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Comfort-aware Cognitive Buildings Leveraging Deep Reinforcement Learning.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

A Social and Pervasive IoT Platform for Developing Smart Environments.
Proceedings of the Internet of Things for Smart Urban Ecosystems., 2019

2018
Model continuity in cyber-physical systems: A control-centered methodology based on agents.
Simul. Model. Pract. Theory, 2018

Parallelization of space-aware applications: Modeling and performance analysis.
J. Netw. Comput. Appl., 2018

Edge Computing and Social Internet of Things for Large-Scale Smart Environments Development.
IEEE Internet Things J., 2018

Cognitive smart environment: an approach based on concept hierarchies and sensor data fusion.
Int. J. Simul. Process. Model., 2018

IoT-Centric Edge Computing for Context-Aware Smart Environments.
Proceedings of the 2018 IEEE International Congress on Internet of Things, 2018

A Metamodel Framework for Edge-Based Smart Environments.
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Distributed Computation of Mobility Patterns in a Smart City Environment.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

Global And Local Synchronization In Parallel Space-Aware Applications.
Proceedings of the European Conference on Modelling and Simulation, 2018

2017
An edge-based platform for dynamic Smart City applications.
Future Gener. Comput. Syst., 2017

Metamodeling of Smart Environments: from design to implementation.
Adv. Eng. Informatics, 2017

A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems.
Proceedings of the Interoperability, Safety and Security in IoT, 2017

Exploiting the SEM Framework for Modeling Smart Cities.
Proceedings of the Internet and Distributed Computing Systems, 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

Agent-based software architecture for distributed measurement systems and cyber-physical systems design.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 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.
ACM Trans. Auton. Adapt. Syst., 2016

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

Control centric framework for model continuity in time-dependent multi-agent systems.
Concurr. Comput. Pract. Exp., 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.
Concurr. Comput. Pract. Exp., 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.
Simul., 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.
Appl. Math. Comput., 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.
Simul. Model. Pract. Theory, 2011

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations.
Simul. Model. Pract. 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.
J. Syst. Softw., 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.
Simul., 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 Syst., 2007

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.
J. Syst. Softw., 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.
Comput. Stand. 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...