A Hierarchy of Semantics for Normal Constraint Logic Programs. - François Fages; Roberta Gori (ALP, 1996)

Finite Failure is And-Compositional. - Roberta Gori; Giorgio Levi (J. Log. Comput., 1997)

Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. - Roberta Gori; E. Lastres; R. Moreno; Fausto Spoto (APPIA-GULP-PRODE, 1998)

Analysis of Normal Logic Programs. - François Fages; Roberta Gori (SAS, 1998)

A fixpoint semantics for reasoning about finite failure. - Roberta Gori (APPIA-GULP-PRODE, 1999)

Abstract Interpretation based Verification of Logic Programs. - Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe (Verification of Logic Programs@ICLP, 1999)

An Abstract Interpretation Approach to Termination of Logic Programs. - Roberta Gori (LPAR, 2000)

Assertion based Inductive Verification Methods for Logic Programs. - Marco Comini; Roberta Gori; Giorgio Levi (MFCSIT, 2000)

Boolean functions for finite-tree dependencies. - Roberto Bagnara; Enea Zaffanella; Roberta Gori; Patricia M. Hill (APPIA-GULP-PRODE, 2001)

How to transform an analyzer into a verifier. - Marco Comini; Roberta Gori; Giorgio Levi (APPIA-GULP-PRODE, 2001)

Logic programs as specifications in the inductive verification of logic programs. - Marco Comini; Roberta Gori; Giorgio Levi (APPIA-GULP-PRODE, 2001)

Enhancing the expressive power of the U-Datalog language. - Elisa Bertino; Barbara Catania; Roberta Gori (Theory Pract. Log. Program., 2001)

An Experiment in Type Inference and Verification by Abstract Interpretation. - Roberta Gori; Giorgio Levi (VMCAI, 2002)

Properties of a Type Abstract Interpreter. - Roberta Gori; Giorgio Levi (VMCAI, 2003)

An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. - Roberta Gori (Theor. Comput. Sci., 2003)

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version - Roberto Bagnara; Roberta Gori; Patricia M. Hill; Enea Zaffanella (CoRR, 2004)

Finite-tree analysis for constraint logic-based languages. - Roberto Bagnara; Roberta Gori; Patricia M. Hill; Enea Zaffanella (Inf. Comput., 2004)

A New Occurrence Counting Analysis for BioAmbients. - Roberta Gori; Francesca Levi (APLAS, 2005)

On the verification of finite failure. - Roberta Gori; Giorgio Levi (J. Comput. Syst. Sci., 2005)

An Analysis for Proving Temporal Properties of Biological Systems. - Roberta Gori; Francesca Levi (APLAS, 2006)

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. - Alessio Coletta; Roberta Gori; Francesca Levi (FBTC@ICALP, 2008)

Abstract Interpretation for Probabilistic Termination of Biological Systems - Roberta Gori; Francesca Levi (MeCBIC, 2009)

A Taxonomy of Causality-Based Biological Properties - Chiara Bodei; Andrea Bracciali; Davide Chiarugi; Roberta Gori (FBTC, 2010)

Abstract interpretation based verification of temporal properties for BioAmbients. - Roberta Gori; Francesca Levi (Inf. Comput., 2010)

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (ICST, 2013)

Filtering Floating-Point Constraints by Maximum ULP. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (CoRR, 2013)

An Analysis for Causal Properties of Membrane Interactions. - Chiara Bodei; Roberta Gori; Francesca Levi (CS2Bio, 2013)

An analysis for proving probabilistic termination of biological systems. - Roberta Gori; Francesca Levi (Theor. Comput. Sci., 2013)

A Global Occurrence Counting Analysis for Brane Calculi. - Chiara Bodei; Linda Brodo; Roberta Gori; Diana Hermith; Francesca Levi (LOPSTR, 2015)

Causal static analysis for Brane Calculi. - Chiara Bodei; Roberta Gori; Francesca Levi (Theor. Comput. Sci., 2015)

A Practical Approach to Interval Refinement for math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (CoRR, 2016)

Specialized Predictor for Reaction Systems with Context Properties. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2016)

Exploiting Binary Floating-Point Representations for Constraint Propagation. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (INFORMS J. Comput., 2016)

Investigating dynamic causalities in reaction systems. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Theor. Comput. Sci., 2016)

Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. - Arnaud Gotlieb; Marine Louarn; Mari Nygård; Tomás Ruiz-López; Sagar Sen; Roberta Gori (AAAI, 2017)

Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. - Roberto Barbuti; Roberta Gori; Paolo Milazzo (Int. Conf. on Membrane Computing, 2017)

A static analysis for Brane Calculi providing global occurrence counting information. - Chiara Bodei; Linda Brodo; Roberta Gori; Francesca Levi; Antonio Bernini; Diana Hermith (Theor. Comput. Sci., 2017)

Simulating Gene Regulatory Networks using Reaction Systems. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Francesca Levi; Paolo Milazzo (CS&P, 2018)

Hidden States in Reaction Systems. - Roberta Gori; Damas P. Gruska; Paolo Milazzo (CS&P, 2018)

Formalizing a Notion of Concentration Robustness for Biochemical Networks. - Lucia Nasti; Roberta Gori; Paolo Milazzo (STAF Workshops, 2018)

Computing Preimages and Ancestors in Reaction Systems. - Roberto Barbuti; Anna Bernasconi 001; Roberta Gori; Paolo Milazzo (TPNC, 2018)

Code Obfuscation Against Abstract Model Checking Attacks. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori (VMCAI, 2018)

Generalized contexts for reaction systems: definition and study of dynamic causalities. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Acta Informatica, 2018)

Code obfuscation against abstraction refinement attacks. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori (Formal Aspects Comput., 2018)

Predictors for flat membrane systems. - Roberto Barbuti; Roberta Gori; Paolo Milazzo (Theor. Comput. Sci., 2018)

Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. - Roberta Gori; Paolo Milazzo; Lucia Nasti (BIOINFORMATICS, 2019)

Studying Opacity of Reaction Systems through Formula Based Predictors. - Roberta Gori; Damas P. Gruska; Paolo Milazzo (Fundam. Informaticae, 2019)

A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. - Roberto Barbuti; Roberta Gori; Paolo Milazzo; Lucia Nasti (J. Membr. Comput., 2020)

Abstract extensionality: on the properties of incomplete abstract interpretations. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Isabel Garcia-Contreras; Dusko Pavlovic (Proc. ACM Program. Lang., 2020)

Analysis and Verification of Robustness Properties in Becker-Döring Model. - Lucia Nasti; Roberta Gori; Paolo Milazzo (DataMod, 2021)

Formal characterization and efficient verification of a biological robustness property. - Lucia Nasti; Roberta Gori; Paolo Milazzo (FormaliSE@ICSE, 2021)

A Logic for Locally Complete Abstract Interpretations. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (LICS, 2021)

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (TPNC, 2021)

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. - Lucia Nasti; Roberta Gori; Paolo Milazzo; Federico Poloni (CoRR, 2021)

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Damas P. Gruska; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2021)

Characterization and computation of ancestors in reaction systems. - Roberto Barbuti; Anna Bernasconi 001; Roberta Gori; Paolo Milazzo (Soft Comput., 2021)

Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. - Roberto Barbuti; Roberta Gori; Paolo Milazzo (Theor. Comput. Sci., 2021)

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (ACM Trans. Softw. Eng. Methodol., 2021)

Abstract interpretation repair. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (PLDI, 2022)

Deciding Program Properties via Complete Abstractions on Bounded Domains. - Roberto Bruni 001; Roberta Gori; Nicolas Manini (SAS, 2022)

Correct approximation of IEEE 754 floating-point arithmetic for program verification. - Roberto Bagnara; Abramo Bagnara; Fabio Biselli; Michele Chiari; Roberta Gori (Constraints An Int. J., 2022)

Exploiting Adjoints in Property Directed Reachability Analysis. - Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni 001; Roberta Gori; Ichiro Hasuo (CAV (2), 2023)

Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (DataMod, 2023)

Logics for Extensional, Locally Complete Analysis via Domain Refinements. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (ESOP, 2023)

Sufficient Incorrectness Logic: SIL and Separation SIL. - Flavio Ascari; Roberto Bruni 001; Roberta Gori; Francesco Logozzo (CoRR, 2023)

Local Completeness in Abstract Interpretation. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (Challenges of Software Verification, 2023)

Quantitative extensions of reaction systems based on SOS semantics. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (Neural Comput. Appl., 2023)

A Correctness and Incorrectness Program Logic. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (J. ACM, 2023)

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. - Juliana Bowles; Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (CMSB, 2024)

Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics. - Roberto Bruni 001; Roberta Gori; Paolo Milazzo; Hélène Siboulet (Nat. Comput., 2024)

Causal analysis of positive Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo; Valeria Montagna; Pasquale Pulieri (Int. J. Softw. Tools Technol. Transf., 2024)

Limits and Difficulties in the Design of Under-Approximation Abstract Domains. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (ACM Trans. Program. Lang. Syst., 2024)

Revealing Sources of (Memory) Errors via Backward Analysis. - Flavio Ascari; Roberto Bruni 001; Roberta Gori; Francesco Logozzo (Proc. ACM Program. Lang., 2025)

Broadening the applicability of local completeness analysis with intensional and extensional guarantees. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (Theor. Comput. Sci., 2025)