SCARSO, Giordano
SCARSO, Giordano
INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
An Enhanced Exchange Operator for XC
2024-01-01 Audrito G.; Bortoluzzi D.; Damiani F.; Scarso G.; Torta G.
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
2022-01-01 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G.
Software Engineering for Collective Cyber-Physical Ecosystems
2025-01-01 Casadei, Roberto;Aguzzi, Gianluca;Audrito, Giorgio;Damiani, Ferruccio;Pianini, Danilo;Scarso, Giordano;Torta, Gianluca; Viroli, Mirko
Static analysis and family-based model checking of featured transition systems with VMC
2021-01-01 Beek M.H.T.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfre M.; Lienhardt M.
Static analysis and family-based model checking with VMC
2021-01-01 Ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Enhanced Exchange Operator for XC | 2024 | Audrito G.; Bortoluzzi D.; Damiani F.; Scarso G.; Torta G. | |
| FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC | 2022 | ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G. | |
| Software Engineering for Collective Cyber-Physical Ecosystems | 2025 | Casadei, Roberto;Aguzzi, Gianluca;Audrito, Giorgio;Damiani, Ferruccio;Pianini, Danilo;Scarso, Giordano;Torta, Gianluca; Viroli, Mirko | |
| Static analysis and family-based model checking of featured transition systems with VMC | 2021 | Beek M.H.T.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfre M.; Lienhardt M. | |
| Static analysis and family-based model checking with VMC | 2021 | Ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M. |