GORI, ROBERTA Statistiche

GORI, ROBERTA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 70 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
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
Characterization and computation of ancestors in reaction systems 1-gen-2021 Barbuti, R.; Bernasconi, A.; Gori, R.; Milazzo, P.
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 1-gen-2021 Barbuti, R.; Gori, R.; Milazzo, P.
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 1-gen-2021 Barbuti, R.; Bove, P.; Gori, R.; Gruska, D.; Levi, F.; Milazzo, P.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Formal characterization and efficient verification of a biological robustness property 1-gen-2021 Nasti, L.; Gori, R.; Milazzo, P.
In silico modeling of biochemical pathways 1-gen-2021 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 1-gen-2020 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 1-gen-2020 Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
Abstract extensionality: on the properties of incomplete abstract interpretations 1-gen-2020 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko