Giordano Scarso

According to our database, Giordano Scarso authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Exploiting Aggregate Programming in a Multi-Robot Service Prototype.

Giorgio Audrito, Andrea Basso, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta

CoRR, April, 2026

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels.

Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta, Andrea Basso, Monica Cochi, Lorenzo Gusman, Lorenzo Comba, Paolo Gay, Paola Dal Zovo, Giada Galati, Francesco Gallo, Aljaz Grdadolnik, Massimo Pescarollo, Paola Pisano

CoRR, March, 2026

Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach.

Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Software Engineering for Collective Cyber-Physical Ecosystems.

Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli

ACM Trans. Softw. Eng. Methodol., June, 2025

2024

An Enhanced Exchange Operator for XC.

Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta

Proceedings of the Coordination Models and Languages, 2024

2022

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso

Sci. Comput. Program., 2022

2021

Static analysis and family-based model checking of featured transition systems with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021