GORI, ROBERTA Statistiche
GORI, ROBERTA
DIPARTIMENTO DI INFORMATICA
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.
In silico modeling of biochemical pathways
2021-01-01 Milazzo, Paolo; Gori, Roberta; Micheli, Alessio; Nasti, Lucia; Podda, Marco
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
2020-01-01 Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
2020-01-01 Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
Abstract extensionality: on the properties of incomplete abstract interpretations
2020-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko