ASCARI, FLAVIO Statistiche
ASCARI, FLAVIO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.014 secondi).
Broadening the applicability of local completeness analysis with intensional and extensional guarantees
2025-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta
Revealing Sources of (Memory) Errors via Backward Analysis
2025-01-01 Ascari, F.; Bruni, R.; Gori, R.; Logozzo, F.
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
2025-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea
Limits and Difficulties in the Design of Under-Approximation Abstract Domains
2024-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Logics for Extensional, Locally Complete Analysis via Domain Refinements
2023-01-01 Ascari, F.; Bruni, R.; Gori, R.
Limits and difficulties in the design of under-approximation abstract domains
2022-01-01 Ascari, F.; Bruni, R.; Gori, R.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Broadening the applicability of local completeness analysis with intensional and extensional guarantees | 1-gen-2025 | Ascari, Flavio; Bruni, Roberto; Gori, Roberta | |
| Revealing Sources of (Memory) Errors via Backward Analysis | 1-gen-2025 | Ascari, F.; Bruni, R.; Gori, R.; Logozzo, F. | |
| U-Turn: Enhancing Incorrectness Analysis by Reversing Direction | 1-gen-2025 | Ascari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea | |
| Limits and Difficulties in the Design of Under-Approximation Abstract Domains | 1-gen-2024 | Ascari, Flavio; Bruni, Roberto; Gori, Roberta | |
| Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
| Logics for Extensional, Locally Complete Analysis via Domain Refinements | 1-gen-2023 | Ascari, F.; Bruni, R.; Gori, R. | |
| Limits and difficulties in the design of under-approximation abstract domains | 1-gen-2022 | Ascari, F.; Bruni, R.; Gori, R. |