Roberta Gori

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 41

Top Topics

Gene Regulatory

Abstract Interpretation

Monotonicity Property

Top Venues

Theor. Comput. Sci.

Fundam. Informaticae

Publications

Roberto Bruni, Roberta Gori, Paolo Milazzo, Hélène Siboulet
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics. Nat. Comput. 23 (2) (2024)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) (2023)
Flavio Ascari, Roberto Bruni, Roberta Gori
Logics for Extensional, Locally Complete Analysis via Domain Refinements. ESOP (2023)
Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo
Sufficient Incorrectness Logic: SIL and Separation SIL. CoRR (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35 (9) (2023)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Correctness and Incorrectness Program Logic. J. ACM 70 (2) (2023)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
Abstract interpretation repair. PLDI (2022)
Flavio Ascari, Roberto Bruni, Roberta Gori
Limits and difficulties in the design of under-approximation abstract domains. FoSSaCS (2022)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. 27 (1-2) (2022)
Roberto Bruni, Roberta Gori, Nicolas Manini
Deciding Program Properties via Complete Abstractions on Bounded Domains. SAS (2022)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae 179 (2) (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formal characterization and efficient verification of a biological robustness property. FormaliSE@ICSE (2021)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. Theor. Comput. Sci. 881 (2021)
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
Characterization and computation of ancestors in reaction systems. Soft Comput. 25 (3) (2021)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Logic for Locally Complete Abstract Interpretations. LICS (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Analysis and Verification of Robustness Properties in Becker-Döring Model. DataMod (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. CoRR (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formal characterization and efficient verification of a biological robustness property. CoRR (2021)
Roberto Barbuti, Roberta Gori, Paolo Milazzo, Lucia Nasti
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. J. Membr. Comput. 2 (3) (2020)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4 (POPL) (2020)
Roberta Gori, Paolo Milazzo, Lucia Nasti
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. BIOINFORMATICS (2019)
Roberta Gori, Damas P. Gruska, Paolo Milazzo
Studying Opacity of Reaction Systems through Formula Based Predictors. Fundam. Informaticae 165 (3-4) (2019)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR (2019)
Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
Computing Preimages and Ancestors in Reaction Systems. TPNC (2018)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Code Obfuscation Against Abstract Model Checking Attacks. VMCAI (2018)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica 55 (3) (2018)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Code obfuscation against abstraction refinement attacks. Formal Aspects Comput. 30 (6) (2018)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Predictors for flat membrane systems. Theor. Comput. Sci. 736 (2018)
Roberta Gori, Damas P. Gruska, Paolo Milazzo
Hidden States in Reaction Systems. CS&P (2018)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formalizing a Notion of Concentration Robustness for Biochemical Networks. STAF Workshops (2018)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo
Simulating Gene Regulatory Networks using Reaction Systems. CS&P (2018)
Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
A static analysis for Brane Calculi providing global occurrence counting information. Theor. Comput. Sci. 696 (2017)
Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. AAAI (2017)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. Int. Conf. on Membrane Computing (2017)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. 28 (1) (2016)
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
A Practical Approach to Interval Refinement for math.h/cmath Functions. CoRR (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. Fundam. Informaticae 147 (2-3) (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623 (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. CS&P (2015)
Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
A Global Occurrence Counting Analysis for Brane Calculi. LOPSTR (2015)
Chiara Bodei, Roberta Gori, Francesca Levi
Causal static analysis for Brane Calculi. Theor. Comput. Sci. 587 (2015)
Chiara Bodei, Roberta Gori, Francesca Levi
An Analysis for Causal Properties of Membrane Interactions. Electron. Notes Theor. Comput. Sci. 299 (2013)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Filtering Floating-Point Constraints by Maximum ULP. CoRR (2013)
Roberta Gori, Francesca Levi
An analysis for proving probabilistic termination of biological systems. Theor. Comput. Sci. 471 (2013)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST (2013)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori
A Taxonomy of Causality-Based Biological Properties FBTC (2010)
Roberta Gori, Francesca Levi
Abstract interpretation based verification of temporal properties for BioAmbients. Inf. Comput. 208 (8) (2010)
Roberta Gori, Francesca Levi
Abstract Interpretation for Probabilistic Termination of Biological Systems MeCBIC (2009)
Alessio Coletta, Roberta Gori, Francesca Levi
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Roberta Gori, Francesca Levi
An Analysis for Proving Temporal Properties of Biological Systems. APLAS (2006)
Roberta Gori, Giorgio Levi
On the verification of finite failure. J. Comput. Syst. Sci. 71 (4) (2005)
Roberta Gori, Francesca Levi
A New Occurrence Counting Analysis for BioAmbients. APLAS (2005)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version CoRR (2004)
Elisa Bertino, Barbara Catania, Roberta Gori
Enhancing the expressive power of the U-Datalog language CoRR (2004)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-tree analysis for constraint logic-based languages. Inf. Comput. 193 (2) (2004)
Roberta Gori
An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. Theor. Comput. Sci. 290 (1) (2003)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49 (1-3) (2003)
Roberta Gori, Giorgio Levi
Properties of a Type Abstract Interpreter. VMCAI (2003)
Roberta Gori, Giorgio Levi
An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI (2002)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-tree analysis for constraint logic-based languages. APPIA-GULP-PRODE (2001)
Elisa Bertino, Barbara Catania, Roberta Gori
Enhancing the expressive power of the U-Datalog language. Theory Pract. Log. Program. 1 (1) (2001)
Marco Comini, Roberta Gori, Giorgio Levi
Logic programs as specifications in the inductive verification of logic programs. APPIA-GULP-PRODE 48 (2001)
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
Boolean Functions for Finite-Tree Dependencies. LPAR (2001)
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
Boolean functions for finite-tree dependencies. APPIA-GULP-PRODE (2001)
Marco Comini, Roberta Gori, Giorgio Levi
How to Transform an Analyzer into a Verifier. LPAR (2001)
Marco Comini, Roberta Gori, Giorgio Levi
How to transform an analyzer into a verifier. APPIA-GULP-PRODE (2001)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-Tree Analysis for Constraint Logic-Based Languages. SAS (2001)
Roberta Gori
An Abstract Interpretation Approach to Termination of Logic Programs. LPAR (2000)
Marco Comini, Roberta Gori, Giorgio Levi
Assertion based Inductive Verification Methods for Logic Programs. Electron. Notes Theor. Comput. Sci. 40 (2000)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract Interpretation based Verification of Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Roberta Gori
A Fixpoint Semantics for Reasoning about Finite Failure. LPAR (1999)
Roberta Gori
A fixpoint semantics for reasoning about finite failure. APPIA-GULP-PRODE (1999)
Roberta Gori, Giorgio Levi
On the Verification of Finite Failure. PPDP (1999)
Roberta Gori, Giorgio Levi
On the verification of finite failure. APPIA-GULP-PRODE (1999)
Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. APPIA-GULP-PRODE (1998)
François Fages, Roberta Gori
Analysis of Normal Logic Programs. SAS (1998)
Roberta Gori, Giorgio Levi
Finite Failure is And-Compositional. J. Log. Comput. 7 (6) (1997)
François Fages, Roberta Gori
A Hierarchy of Semantics for Normal Constraint Logic Programs. ALP (1996)
Roberta Gori, Giorgio Levi
Finite Failure is AND-Compositional. GULP-PRODE (1) (1994)