Modeling and Analysing DART Systems Through High-Level Petri Nets. - Libero Nigro; Francesco Pupo (Application and Theory of Petri Nets, 1996)

Using Real Time Constraints for Modularisation. - Brian Kirk; Libero Nigro; Francesco Pupo (JMLC, 1997)

Distributed measurement systems: An object-oriented architecture and a case study. - Pasquale Daponte; Domenico Grimaldi; Libero Nigro; Francesco Pupo (Comput. Stand. Interfaces, 1997)

Java-based distributed measurement systems. - Domenico Grimaldi; Libero Nigro; Francesco Pupo (IEEE Trans. Instrum. Meas., 1998)

Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. - Libero Nigro; Francesco Pupo (Concurrent Object-Oriented Programming and Petri Nets, 2001)

An MBone-Based On-Demand System for Cooperative Off-line Learning. - Giancarlo Fortino; Libero Nigro; Francesco Pupo (EUROMICRO, 2001)

Super Actors for Real Time. - Giancarlo Fortino; Libero Nigro; Francesco Pupo; D. Spezzano (WORDS, 2001)

Temporal Uncertainty Time Warp: An Agent-Based Implementation. - Roberto Beraldi; Libero Nigro; Antonino Orlando; Francesco Pupo (Annual Simulation Symposium, 2002)

Distributed Simulation of Timed Coloured Petri Nets. - Angelo Furfaro; Libero Nigro; Francesco Pupo (DS-RT, 2002)

A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. - Luigi Carullo; Angelo Furfaro; Libero Nigro; Francesco Pupo (ESM, 2002)

Aspect Oriented Programming Using Actors. - Angelo Furfaro; Libero Nigro; Francesco Pupo (ICDCS Workshops, 2002)

Real-Time Systems Development Using Hierarchical State Machines. - Angelo Furfaro; Libero Nigro; Francesco Pupo (JMLC, 2003)

Modelling and simulation of complex systems using TPN Designer. - Luigi Carullo; Angelo Furfaro; Libero Nigro; Francesco Pupo (Simul. Model. Pract. Theory, 2003)

Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (MSV/AMCS, 2004)

Multimedia synchronization based on aspect oriented programming. - Angelo Furfaro; Libero Nigro; Francesco Pupo (Microprocess. Microsystems, 2004)

MADAMS: A software architecture for the management of networked measurement services. - Franco Cicirelli; Angelo Furfaro; Domenico Grimaldi; Libero Nigro; Francesco Pupo (Comput. Stand. Interfaces, 2006)

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. - Angelo Furfaro; Libero Nigro; Francesco Pupo (Real Time Syst., 2006)

Temporal verification of RT-DEVS models with implementation aspects. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (SpringSim, 2010)

Dynamic Sociality Minority Game. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (ECMS, 2011)

Modelling And Verification Of Concurrent Programs Using UPPAAL. - Franco Cicirelli; Libero Nigro; Francesco Pupo (ECMS, 2011)

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (DS-RT, 2012)

Agents Over The Grid: An Experience Using The Globus Toolkit 4. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (ECMS, 2012)

Agent Methodological Layers In Repast Simphony. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (ECMS, 2013)

A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. - Franco Cicirelli; Emmanuele Neri; Libero Nigro; Francesco Pupo (ECMS, 2013)

Modelling Java Concurrency: An Approach and a Uppaal Library. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (FedCSIS, 2013)

Agent-Based Control Framework In Jade. - Franco Cicirelli; Libero Nigro; Francesco Pupo (ECMS, 2014)

Formal Modelling and Verification of Real-Time Self-Adaptive Systems. - Franco Cicirelli; Libero Nigro; Francesco Pupo (DS-RT, 2019)

An Underwater Pathfinding Algorithm for Optimised Planning of Survey Dives. - Marino Mangeruga; Alessandro Casavola; Francesco Pupo; Fabio Bruno (Remote. Sens., 2020)

Performance Comparison of Two Java-Based Actor Systems. - Franco Cicirelli; Christian Nigro; Libero Nigro; Francesco Pupo (ICICT (3), 2021)

A Proposal of a Troposphere Model in a GNSS Simulator for VANET Applications. - Mauro Tropea; Angelo Arieta; Floriano De Rango; Francesco Pupo (Sensors, 2021)

SCARE: A Novel Switching and Collision Avoidance pRocEss for Connected Vehicles Using Virtualization and Edge Computing Paradigm. - Mauro Tropea; Floriano De Rango; Nicolas Nevigato; Luigi Bitonti; Francesco Pupo (Sensors, 2021)

A Deep Q Learning-Model Predictive Control Approach to vehicle routing and control with platoon constraints. - Francesco Giannini; Giancarlo Fortino; Giuseppe Franzè; Francesco Pupo (CASE, 2022)

Path planning for vehicle platoons under routing decisions: a distributed approach combining Deep Reinforcement Learning and Model Predictive Control. - Francesco Giannini; Giancarlo Fortino; Giuseppe Franzè; Francesco Pupo (CoDIT, 2022)

Autonomous Vehicles in Smart Cities: a Deep Reinforcement Learning Solution. - Francesco Giannini; Giuseppe Franzè; Francesco Pupo; Giancarlo Fortino (DASC/PiCom/CBDCom/CyberSciTech, 2022)

A Set-Theoretic Receding Horizon Control Based on a Q-Learning Approach for Sustainability Purposes. - Francesco Giannini; Giuseppe Franzè; Francesco Pupo; Giancarlo Fortino (CoDIT, 2023)

Set-theoretic receding horizon control for nonlinear systems: a data-driven approach. - Francesco Giannini; Giuseppe Franzè; Francesco Pupo; Giancarlo Fortino (EUROCON, 2023)

Reputation aware optimal team formation for collaborative software crowdsourcing in industry 5.0. - Syeda Nabila Akter; Afsana Kabir Sinthia; Palash Roy; Md. Abdur Razzaque; Mohammad Mehedi Hassan; Francesco Pupo; Giancarlo Fortino (J. King Saud Univ. Comput. Inf. Sci., 2023)

Federated Ensemble-Learning for Transport Mode Detection in Vehicular Edge Network. - 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 (Future Gener. Comput. Syst., 2023)

A Sustainable Multi-Agent Routing Algorithm for Vehicle Platoons in Urban Networks. - Francesco Giannini; Giuseppe Franzè; Francesco Pupo; Giancarlo Fortino (IEEE Trans. Intell. Transp. Syst., 2023)

A multi-tiered control framework designed for managing the logistical activities of self-driving vehicles within manufacturing environments. - Domenico Famularo; Giuseppe Franzè; Francesco Giannini; Francesco Pupo; Giancarlo Fortino; Francesco Tedesco (CASE, 2024)

Simulators for system dataset generation in the Edge-to-Cloud Continuum. - Nawaz Ali; Gianluca Aloi; Pasquale Pace; Michele Gianfelice; Francesco Pupo; Raffaele Gravina; Giancarlo Fortino (DCOSS-IoT, 2024)

Entrust: usEr ceNtric plaTform foR continoUS healThcare. - Giuseppe D'Aniello; Luca Greco 001; Francesco Pupo; Claudio Savaglio (DCOSS-IoT, 2024)

Few-shot image classification using graph neural network with fine-grained feature descriptors. - Priyanka Ganesan; Senthil Kumar Jagatheesaperumal; Mohammad Mehedi Hassan; Francesco Pupo; Giancarlo Fortino (Neurocomputing, 2024)

Autonomous Vehicle Platoons in Urban Road Networks: A Joint Distributed Reinforcement Learning and Model Predictive Control Approach. - Luigi D'Alfonso; Francesco Giannini; Giuseppe Franzè; Giuseppe Fedele; Francesco Pupo; Giancarlo Fortino (IEEE CAA J. Autom. Sinica, 2024)

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. - Libero Nigro; Franco Cicirelli; Francesco Pupo (Comput., 2024)

An Intelligent Multi-Layer Control Architecture for Logistics Operations of Autonomous Vehicles in Manufacturing Systems. - Domenico Famularo; Giancarlo Fortino; Francesco Pupo; Francesco Giannini; Giuseppe Franzè (IEEE Trans Autom. Sci. Eng., 2025)

EGCARL: A PPO-based reinforcement learning method with expert guidance and dynamic rewards for autonomous driving. - Qingzhong Yan; Xiang Wu; Jiacun Wang; Giancarlo Fortino; Francesco Pupo; Mingfeng Yin (Inf. Fusion, 2026)