GORI, ROBERTA Statistiche
GORI, ROBERTA
DIPARTIMENTO DI INFORMATICA
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.
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
Studying Opacity of Reaction Systems through Formula Based Predictors
2019-01-01 Gori, Roberta; Gruska, Damas; Milazzo, Paolo
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks
2019-01-01 Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
Code Obfuscation Against Abstract Model Checking Attacks
2018-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Code obfuscation against abstraction refinement attacks
2018-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Computing preimages and ancestors in reaction systems
2018-01-01 Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo