GORI, ROBERTA Statistiche
GORI, ROBERTA
DIPARTIMENTO DI INFORMATICA
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
Characterization and computation of ancestors in reaction systems
2021-01-01 Barbuti, R.; Bernasconi, A.; Gori, R.; Milazzo, P.
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation
2021-01-01 Barbuti, R.; Gori, R.; Milazzo, P.
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks
2021-01-01 Barbuti, R.; Bove, P.; Gori, R.; Gruska, D.; Levi, F.; Milazzo, P.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Formal characterization and efficient verification of a biological robustness property
2021-01-01 Nasti, L.; Gori, R.; Milazzo, P.