![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Francesco Pupo
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]Libero Nigro
, Franco Cicirelli
, Francesco Pupo
:
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. Comput. 13(6): 133 (2024) - [j13]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): 141-156 (2024) - [c29]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: 583-588 - [c28]Giuseppe D'Aniello, Luca Greco, Francesco Pupo, Claudio Savaglio:
Entrust: usEr ceNtric plaTform foR continoUS healThcare. DCOSS-IoT 2024: 595-600 - 2023
- [j12]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: 89-104 (2023) - [j11]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): 101710 (2023) - [j10]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): 14830-14840 (2023) - [c27]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: 1049-1054 - [c26]Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino:
Set-theoretic receding horizon control for nonlinear systems: a data-driven approach. EUROCON 2023: 579-584 - 2022
- [c25]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: 563-568 - [c24]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: 734-739 - [c23]Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino:
Autonomous Vehicles in Smart Cities: a Deep Reinforcement Learning Solution. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - 2021
- [j9]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): 2491 (2021) - [j8]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): 3638 (2021) - [c22]Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo:
Performance Comparison of Two Java-Based Actor Systems. ICICT (3) 2021: 79-88 - 2020
- [j7]Marino Mangeruga
, Alessandro Casavola
, Francesco Pupo, Fabio Bruno
:
An Underwater Pathfinding Algorithm for Optimised Planning of Survey Dives. Remote. Sens. 12(23): 3974 (2020)
2010 – 2019
- 2019
- [c21]Franco Cicirelli, Libero Nigro, Francesco Pupo:
Formal Modelling and Verification of Real-Time Self-Adaptive Systems. DS-RT 2019: 1-8 - 2014
- [c20]Franco Cicirelli, Libero Nigro, Francesco Pupo:
Agent-Based Control Framework In Jade. ECMS 2014: 25-31 - 2013
- [c19]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Agent Methodological Layers In Repast Simphony. ECMS 2013: 68-74 - [c18]Franco Cicirelli, Emmanuele Neri, Libero Nigro, Francesco Pupo:
A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. ECMS 2013: 295-300 - [c17]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Modelling Java Concurrency: An Approach and a Uppaal Library. FedCSIS 2013: 1361-1368 - 2012
- [c16]Franco Cicirelli, Angelo Furfaro
, Libero Nigro, Francesco Pupo:
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT 2012: 57-64 - [c15]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Agents Over The Grid: An Experience Using The Globus Toolkit 4. ECMS 2012: 78-85 - 2011
- [c14]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Dynamic Sociality Minority Game. ECMS 2011: 27-33 - [c13]Franco Cicirelli, Libero Nigro, Francesco Pupo:
Modelling And Verification Of Concurrent Programs Using UPPAAL. ECMS 2011: 525-533 - 2010
- [c12]Franco Cicirelli, Angelo Furfaro
, Libero Nigro, Francesco Pupo:
Temporal verification of RT-DEVS models with implementation aspects. SpringSim 2010: 130
2000 – 2009
- 2006
- [j6]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): 396-411 (2006) - [j5]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): 105-123 (2006) - 2004
- [j4]Angelo Furfaro
, Libero Nigro, Francesco Pupo:
Multimedia synchronization based on aspect oriented programming. Microprocess. Microsystems 28(2): 47-56 (2004) - [c11]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: 277-288 - 2003
- [j3]Luigi Carullo, Angelo Furfaro
, Libero Nigro, Francesco Pupo:
Modelling and simulation of complex systems using TPN Designer. Simul. Model. Pract. Theory 11(7-8): 503-532 (2003) - [c10]Angelo Furfaro, Libero Nigro, Francesco Pupo:
Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121 - 2002
- [c9]Roberto Beraldi
, Libero Nigro, Antonino Orlando, Francesco Pupo:
Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium 2002: 72-79 - [c8]Angelo Furfaro
, Libero Nigro, Francesco Pupo:
Distributed Simulation of Timed Coloured Petri Nets. DS-RT 2002: 159-166 - [c7]Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo:
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM 2002: 37-41 - [c6]Angelo Furfaro
, Libero Nigro, Francesco Pupo:
Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502 - 2001
- [c5]Libero Nigro, Francesco Pupo:
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 493-513 - [c4]Giancarlo Fortino
, Libero Nigro, Francesco Pupo:
An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO 2001: 336- - [c3]Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano:
Super Actors for Real Time. WORDS 2001: 142-152
1990 – 1999
- 1998
- [j2]Domenico Grimaldi
, Libero Nigro, Francesco Pupo:
Java-based distributed measurement systems. IEEE Trans. Instrum. Meas. 47(1): 100-103 (1998) - 1997
- [j1]Pasquale Daponte, Domenico Grimaldi, Libero Nigro, Francesco Pupo:
Distributed measurement systems: An object-oriented architecture and a case study. Comput. Stand. Interfaces 18(5): 383-395 (1997) - [c2]Brian Kirk, Libero Nigro, Francesco Pupo:
Using Real Time Constraints for Modularisation. JMLC 1997: 236-251 - 1996
- [c1]Libero Nigro, Francesco Pupo:
Modeling and Analysing DART Systems Through High-Level Petri Nets. Application and Theory of Petri Nets 1996: 420-439
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 23:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint