Giordano Scarso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach. | Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta |
| 2024 | Coordination | An Enhanced Exchange Operator for XC. | Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta |
| 2021 | SPLC | Static analysis and family-based model checking with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt |
| 2021 | SPLC | 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 |