GARBI, Giulio
GARBI, Giulio
Dipartimento di Informatica/DI
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
CHC-Based Verification of Programs Through Graph Decompositions
2024 Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro
Static Data Race Detection via Lazy Sequentialization
2024 Fischer, Bernd; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro; Schrammel, Peter
μP: A Development Framework for Predicting Performance of Microservices by Design
2023 Garbi, G; Incerto, E; Tribastone, M
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CHC-Based Verification of Programs Through Graph Decompositions | 1-gen-2024 | Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro | |
Static Data Race Detection via Lazy Sequentialization | 1-gen-2024 | Fischer, Bernd; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro; Schrammel, Peter | |
μP: A Development Framework for Predicting Performance of Microservices by Design | 1-gen-2023 | Garbi, G; Incerto, E; Tribastone, M |