Francesco Pupo

Proceedings of the 8th International Conference on Control, 2022

A Deep Q Learning-Model Predictive Control Approach to vehicle routing and control with platoon constraints.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

SCARE: A Novel Switching and Collision Avoidance pRocEss for Connected Vehicles Using Virtualization and Edge Computing Paradigm.

[BibT_eX]

[DOI]

Sensors, 2021

A Proposal of a Troposphere Model in a GNSS Simulator for VANET Applications.

[BibT_eX]

[DOI]

Sensors, 2021

Performance Comparison of Two Java-Based Actor Systems.

[BibT_eX]

[DOI]

Proceedings of Sixth International Congress on Information and Communication Technology, 2021

2020

An Underwater Pathfinding Algorithm for Optimised Planning of Survey Dives.

[BibT_eX]

[DOI]

Remote. Sens., 2020

2019

Formal Modelling and Verification of Real-Time Self-Adaptive Systems.

[BibT_eX]

[DOI]

Franco Cicirelli

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

2014

Agent-Based Control Framework In Jade.

[BibT_eX]

[DOI]

Franco Cicirelli

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

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

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 Verification Of Concurrent Programs Using UPPAAL.

[BibT_eX]

[DOI]

Franco Cicirelli

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

2010

Temporal verification of RT-DEVS models with implementation aspects.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

2006

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.

[BibT_eX]

[DOI]

Real Time Syst., 2006

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

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2006

2004

Multimedia synchronization based on aspect oriented programming.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 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

2003

Modelling and simulation of complex systems using TPN Designer.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2003

Real-Time Systems Development Using Hierarchical State Machines.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002

Aspect Oriented Programming Using Actors.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.

[BibT_eX]

Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002

Distributed Simulation of Timed Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002

Temporal Uncertainty Time Warp: An Agent-Based Implementation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), 2002

2001

Super Actors for Real Time.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

An MBone-Based On-Demand System for Cooperative Off-line Learning.

[BibT_eX]

[DOI]

Giancarlo Fortino

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1998

Java-based distributed measurement systems.

[BibT_eX]

[DOI]

Domenico Grimaldi

IEEE Trans. Instrum. Meas., 1998

1997

Distributed measurement systems: An object-oriented architecture and a case study.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 1997

Using Real Time Constraints for Modularisation.

[BibT_eX]

[DOI]

Brian Kirk

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1996

Modeling and Analysing DART Systems Through High-Level Petri Nets.

[BibT_eX]

[DOI]