Franco Cicirelli

Giandomenico Spezzano

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Qualitative and quantitative evaluation of stochastic Time Petri Nets.

[BibT_eX]

[DOI]

Christian Nigro

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2014

An approach for scalable parallel execution of ant algorithms.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Agent-Based Control Framework In Jade.

[BibT_eX]

[DOI]

Francesco Pupo

Proceedings of the 28th European Conference on Modelling and Simulation, 2014

A Control Framework for Model Continuity in JADE.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Simul., 2013

Modelling Java Concurrency: An Approach and a Uppaal Library.

[BibT_eX]

[DOI]

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Agent Methodological Layers In Repast Simphony.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

An Agent Framework for High Performance Simulations over Multi-core Clusters.

[BibT_eX]

[DOI]

Proceedings of the AsiaSim 2013, 2013

2012

Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

Agents Over The Grid: An Experience Using The Globus Toolkit 4.

[BibT_eX]

[DOI]

Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

Performance of a multi-agent system over a multi-core cluster managed by Terracotta.

[BibT_eX]

[DOI]

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Modelling And Verification Of Concurrent Programs Using UPPAAL.

[BibT_eX]

[DOI]

Francesco Pupo

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

Dynamic Sociality Minority Game.

[BibT_eX]

[DOI]

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

Distributed Simulation of Situated Multi-agent Systems.

[BibT_eX]

[DOI]

Andrea Giordano

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Temporal verification of RT-DEVS models with implementation aspects.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Using time stream Petri nets over a service architecture for workflow modelling and enactment.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Parallel Simulation of Multi-agent Systems Using Terracotta.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Simul., 2009

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2009

Distributing RePast Simulations Using Actors.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2009

Distributed Simulation of RePast Models over HLA/Actors.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

A General Brokering Architecture Layer and its application to Video on-Demand over the Internet.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2007

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

Integration and Interoperability between Jini services andWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

Service and agent computing paradigms for the development of distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 2006

MADAMS: A software architecture for the management of networked measurement services.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2006

An Approach to Protocol Modeling and Validation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005

Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the International Conference on Modeling, 2004

Deployment, configuration and management of mobile actor systems.

[BibT_eX]