Giordano Scarso

Orcid: 0009-0009-2114-7435

According to our database¹, Giordano Scarso authored at least 5 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Software Engineering for Collective Cyber-Physical Ecosystems.

[BibT_eX]

[DOI]

CoRR, 2024

An Enhanced Exchange Operator for XC.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

2021

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

[BibT_eX]

[DOI]

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

Static analysis and family-based model checking with VMC.

[BibT_eX]

[DOI]

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

Giordano Scarso

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...