Francesco Pupo

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 17

Top Topics

Mutual Exclusion

Predictive Control

Receding Horizon

Top Venues

Future Gener. Comput. Syst.

Publications

Giuseppe D'Aniello, Luca Greco, Francesco Pupo, Claudio Savaglio
Entrust: usEr ceNtric plaTform foR continoUS healThcare. DCOSS-IoT (2024)
Luigi D'Alfonso, Francesco Giannini, Giuseppe Franzè, Giuseppe Fedele, Francesco Pupo, Giancarlo Fortino
Autonomous Vehicle Platoons in Urban Road Networks: A Joint Distributed Reinforcement Learning and Model Predictive Control Approach. IEEE CAA J. Autom. Sinica 11 (1) (2024)
Libero Nigro, Franco Cicirelli, Francesco Pupo
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. Comput. 13 (6) (2024)
Nawaz Ali, Gianluca Aloi, Pasquale Pace, Michele Gianfelice, Francesco Pupo, Raffaele Gravina, Giancarlo Fortino
Simulators for system dataset generation in the Edge-to-Cloud Continuum. DCOSS-IoT (2024)
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
A Sustainable Multi-Agent Routing Algorithm for Vehicle Platoons in Urban Networks. IEEE Trans. Intell. Transp. Syst. 24 (12) (2023)
Syeda Nabila Akter, Afsana Kabir Sinthia, Palash Roy, Md. Abdur Razzaque, Mohammad Mehedi Hassan, Francesco Pupo, Giancarlo Fortino
Reputation aware optimal team formation for collaborative software crowdsourcing in industry 5.0. J. King Saud Univ. Comput. Inf. Sci. 35 (8) (2023)
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
Set-theoretic receding horizon control for nonlinear systems: a data-driven approach. EUROCON (2023)
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
A Set-Theoretic Receding Horizon Control Based on a Q-Learning Approach for Sustainability Purposes. CoDIT (2023)
Md. Mustakin Alam, Tanjim Ahmed, Meraz Hossain, Mehedi Hasan Emo, Md. Kausar Islam Bidhan, Md. Tanzim Reza, Md. Golam Rabiul Alam, Mohammad Mehedi Hassan, Francesco Pupo, Giancarlo Fortino
Federated Ensemble-Learning for Transport Mode Detection in Vehicular Edge Network. Future Gener. Comput. Syst. 149 (2023)
Francesco Giannini, Giancarlo Fortino, Giuseppe Franzè, Francesco Pupo
Path planning for vehicle platoons under routing decisions: a distributed approach combining Deep Reinforcement Learning and Model Predictive Control. CoDIT (2022)
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
Autonomous Vehicles in Smart Cities: a Deep Reinforcement Learning Solution. DASC/PiCom/CBDCom/CyberSciTech (2022)
Francesco Giannini, Giancarlo Fortino, Giuseppe Franzè, Francesco Pupo
A Deep Q Learning-Model Predictive Control Approach to vehicle routing and control with platoon constraints. CASE (2022)
Mauro Tropea, Angelo Arieta, Floriano De Rango, Francesco Pupo
A Proposal of a Troposphere Model in a GNSS Simulator for VANET Applications. Sensors 21 (7) (2021)
Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo
Performance Comparison of Two Java-Based Actor Systems. ICICT (3) (2021)
Mauro Tropea, Floriano De Rango, Nicolas Nevigato, Luigi Bitonti, Francesco Pupo
SCARE: A Novel Switching and Collision Avoidance pRocEss for Connected Vehicles Using Virtualization and Edge Computing Paradigm. Sensors 21 (11) (2021)
Marino Mangeruga, Alessandro Casavola, Francesco Pupo, Fabio Bruno
An Underwater Pathfinding Algorithm for Optimised Planning of Survey Dives. Remote. Sens. 12 (23) (2020)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Formal Modelling and Verification of Real-Time Self-Adaptive Systems. DS-RT (2019)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Agent-Based Control Framework In Jade. ECMS (2014)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Modelling Java Concurrency: An Approach and a Uppaal Library. FedCSIS (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Agent Methodological Layers In Repast Simphony. ECMS (2013)
Franco Cicirelli, Emmanuele Neri, Libero Nigro, Francesco Pupo
A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. ECMS (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Agents Over The Grid: An Experience Using The Globus Toolkit 4. ECMS (2012)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT (2012)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Modelling And Verification Of Concurrent Programs Using UPPAAL. ECMS (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Dynamic Sociality Minority Game. ECMS (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Temporal verification of RT-DEVS models with implementation aspects. SpringSim (2010)
Franco Cicirelli, Angelo Furfaro, Domenico Grimaldi, Libero Nigro, Francesco Pupo
MADAMS: A software architecture for the management of networked measurement services. Comput. Stand. Interfaces 28 (4) (2006)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. Real Time Syst. 32 (1-2) (2006)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. MSV/AMCS (2004)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Multimedia synchronization based on aspect oriented programming. Microprocess. Microsystems 28 (2) (2004)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Real-Time Systems Development Using Hierarchical State Machines. JMLC (2003)
Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
Modelling and simulation of complex systems using TPN Designer. Simul. Model. Pract. Theory 11 (7-8) (2003)
Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo
Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium (2002)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Distributed Simulation of Timed Coloured Petri Nets. DS-RT (2002)
Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM (2002)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Aspect Oriented Programming Using Actors. ICDCS Workshops (2002)
Giancarlo Fortino, Libero Nigro, Francesco Pupo
An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO (2001)
Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano
Super Actors for Real Time. WORDS (2001)
Libero Nigro, Francesco Pupo
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. Concurrent Object-Oriented Programming and Petri Nets (2001)
Domenico Grimaldi, Libero Nigro, Francesco Pupo
Java-based distributed measurement systems. IEEE Trans. Instrum. Meas. 47 (1) (1998)
Pasquale Daponte, Domenico Grimaldi, Libero Nigro, Francesco Pupo
Distributed measurement systems: An object-oriented architecture and a case study. Comput. Stand. Interfaces 18 (5) (1997)
Brian Kirk, Libero Nigro, Francesco Pupo
Using Real Time Constraints for Modularisation. JMLC (1997)
Libero Nigro, Francesco Pupo
Modeling and Analysing DART Systems Through High-Level Petri Nets. Application and Theory of Petri Nets (1996)