GORI, ROBERTA Statistiche
GORI, ROBERTA
DIPARTIMENTO DI INFORMATICA
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems
2025-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo
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.
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks
2025-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
2025-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea
Causal analysis of positive Reaction Systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P.
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
2024-01-01 Bowles, Juliana; Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo
Limits and Difficulties in the Design of Under-Approximation Abstract Domains
2024-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics
2024-01-01 Bruni, R.; Gori, R.; Milazzo, P.; Siboulet, H.
A Correctness and Incorrectness Program Logic
2023-01-01 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Local Completeness in Abstract Interpretation
2023-01-01 Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F.
Logics for Extensional, Locally Complete Analysis via Domain Refinements
2023-01-01 Ascari, F.; Bruni, R.; Gori, R.
Quantitative extensions of reaction systems based on SOS semantics
2023-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Abstract Interpretation Repair
2022-01-01 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Analysis and Verification of Robustness Properties in Becker-Döring Model
2022-01-01 Nasti, L.; Gori, R.; Milazzo, P.
Correct approximation of IEEE 754 floating-point arithmetic for program verification
2022-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
Deciding Program Properties via Complete Abstractions on Bounded Domains
2022-01-01 Bruni, Roberto; Gori, Roberta; Manini, Nicolas
Limits and difficulties in the design of under-approximation abstract domains
2022-01-01 Ascari, F.; Bruni, R.; Gori, R.
A Logic for Locally Complete Abstract Interpretations
2021-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems | 1-gen-2025 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo | |
| 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. | |
| Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks | 1-gen-2025 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P. | |
| U-Turn: Enhancing Incorrectness Analysis by Reversing Direction | 1-gen-2025 | Ascari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea | |
| Causal analysis of positive Reaction Systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P. | |
| Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies | 1-gen-2024 | Bowles, Juliana; Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo | |
| Limits and Difficulties in the Design of Under-Approximation Abstract Domains | 1-gen-2024 | Ascari, Flavio; Bruni, Roberto; Gori, Roberta | |
| Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics | 1-gen-2024 | Bruni, R.; Gori, R.; Milazzo, P.; Siboulet, H. | |
| A Correctness and Incorrectness Program Logic | 1-gen-2023 | Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F | |
| Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
| Local Completeness in Abstract Interpretation | 1-gen-2023 | Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F. | |
| Logics for Extensional, Locally Complete Analysis via Domain Refinements | 1-gen-2023 | Ascari, F.; Bruni, R.; Gori, R. | |
| Quantitative extensions of reaction systems based on SOS semantics | 1-gen-2023 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| Abstract Interpretation Repair | 1-gen-2022 | Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F | |
| Analysis and Verification of Robustness Properties in Becker-Döring Model | 1-gen-2022 | Nasti, L.; Gori, R.; Milazzo, P. | |
| Correct approximation of IEEE 754 floating-point arithmetic for program verification | 1-gen-2022 | Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta | |
| Deciding Program Properties via Complete Abstractions on Bounded Domains | 1-gen-2022 | Bruni, Roberto; Gori, Roberta; Manini, Nicolas | |
| Limits and difficulties in the design of under-approximation abstract domains | 1-gen-2022 | Ascari, F.; Bruni, R.; Gori, R. | |
| A Logic for Locally Complete Abstract Interpretations | 1-gen-2021 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco |