Roberta Gori

According to our database, Roberta Gori authored at least 67 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A Correctness and Incorrectness Program Logic.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

J. ACM, April, 2023

Quantitative extensions of reaction systems based on SOS semantics.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Neural Comput. Appl., March, 2023

Sufficient Incorrectness Logic: SIL and Separation SIL.

Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo

CoRR, 2023

Logics for Extensional, Locally Complete Analysis via Domain Refinements.

Flavio Ascari, Roberto Bruni, Roberta Gori

Proceedings of the Programming Languages and Systems, 2023

Exploiting Adjoints in Property Directed Reachability Analysis.

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

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

Deciding Program Properties via Complete Abstractions on Bounded Domains.

Roberto Bruni, Roberta Gori, Nicolas Manini

Proceedings of the Static Analysis - 29th International Symposium, 2022

Abstract interpretation repair.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Limits and difficulties in the design of under-approximation abstract domains.

Flavio Ascari, Roberto Bruni, Roberta Gori

Proceedings of the Foundations of Software Science and Computation Structures, 2022

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

Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation.

Roberto Barbuti, Roberta Gori, Paolo Milazzo

Theor. Comput. Sci., 2021

Characterization and computation of ancestors in reaction systems.

Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo

Soft Comput., 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

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity.

Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni

CoRR, 2021

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the Theory and Practice of Natural Computing, 2021

A Logic for Locally Complete Abstract Interpretations.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Formal characterization and efficient verification of a biological robustness property.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Analysis and Verification of Robustness Properties in Becker-Döring Model.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Proceedings of the From Data to Models and Back, 2021

2020

Abstract extensionality: on the properties of incomplete abstract interpretations.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic

Proc. ACM Program. Lang., 2020

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

2019

Studying Opacity of Reaction Systems through Formula Based Predictors.

Roberta Gori, Damas P. Gruska, Paolo Milazzo

Fundam. Informaticae, 2019

Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks.

Roberta Gori, Paolo Milazzo, Lucia Nasti

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

Predictors for flat membrane systems.

Roberto Barbuti, Roberta Gori, Paolo Milazzo

Theor. Comput. Sci., 2018

Code obfuscation against abstraction refinement attacks.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Formal Aspects Comput., 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 Abstract Model Checking Attacks.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Computing Preimages and Ancestors in Reaction Systems.

Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo

Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Formalizing a Notion of Concentration Robustness for Biochemical Networks.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Proceedings of the Software Technologies: Applications and Foundations, 2018

Hidden States in Reaction Systems.

Roberta Gori, Damas P. Gruska, Paolo Milazzo

Proceedings of the 27th International Workshop on Concurrency, 2018

Simulating Gene Regulatory Networks using Reaction Systems.

Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the 27th International Workshop on Concurrency, 2018

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

Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems.

Roberto Barbuti, Roberta Gori, Paolo Milazzo

Proceedings of the Membrane Computing, 2017

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Investigating dynamic causalities in reaction systems.

Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

Theor. Comput. Sci., 2016

Exploiting Binary Floating-Point Representations for Constraint Propagation.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

INFORMS J. Comput., 2016

Specialized Predictor for Reaction Systems with Context Properties.

Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

Fundam. Informaticae, 2016

A Practical Approach to Interval Refinement for math.h/cmath Functions.

Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara

CoRR, 2016

2015

Causal static analysis for Brane Calculi.

Chiara Bodei, Roberta Gori, Francesca Levi

Theor. Comput. Sci., 2015

A Global Occurrence Counting Analysis for Brane Calculi.

Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2013

An analysis for proving probabilistic termination of biological systems.

Roberta Gori, Francesca Levi

Theor. Comput. Sci., 2013

An Analysis for Causal Properties of Membrane Interactions.

Chiara Bodei, Roberta Gori, Francesca Levi

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Filtering Floating-Point Constraints by Maximum ULP.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

CoRR, 2013

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2010

Abstract interpretation based verification of temporal properties for BioAmbients.

Roberta Gori, Francesca Levi

Inf. Comput., 2010

A Taxonomy of Causality-Based Biological Properties

Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

2009

Abstract Interpretation for Probabilistic Termination of Biological Systems

Roberta Gori, Francesca Levi

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

2008

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.

Alessio Coletta, Roberta Gori, Francesca Levi

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

2006

An Analysis for Proving Temporal Properties of Biological Systems.

Roberta Gori, Francesca Levi

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

On the verification of finite failure.

Roberta Gori, Giorgio Levi

J. Comput. Syst. Sci., 2005

A New Occurrence Counting Analysis for BioAmbients.

Roberta Gori, Francesca Levi

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Finite-tree analysis for constraint logic-based languages.

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

Inf. Comput., 2004

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

CoRR, 2004

2003

An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.

Roberta Gori

Theor. Comput. Sci., 2003

Properties of a Type Abstract Interpreter.

Roberta Gori, Giorgio Levi

Proceedings of the Verification, 2003

2002

An Experiment in Type Inference and Verification by Abstract Interpretation.

Roberta Gori, Giorgio Levi

Proceedings of the Verification, 2002

2001

Enhancing the expressive power of the U-Datalog language.

Elisa Bertino, Barbara Catania, Roberta Gori

Theory Pract. Log. Program., 2001

Logic programs as specifications in the inductive verification of logic programs.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the Declarative Programming, 2001

How to Transform an Analyzer into a Verifier.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the Logic for Programming, 2001

Boolean Functions for Finite-Tree Dependencies.

Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill

Proceedings of the Logic for Programming, 2001

2000

Assertion based Inductive Verification Methods for Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

An Abstract Interpretation Approach to Termination of Logic Programs.

Roberta Gori

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Abstract Interpretation based Verification of Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

A Fixpoint Semantics for Reasoning about Finite Failure.

Roberta Gori

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

Analysis of Normal Logic Programs.

François Fages, Roberta Gori

Proceedings of the Static Analysis, 5th International Symposium, 1998

Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.

Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Finite Failure is And-Compositional.

Roberta Gori, Giorgio Levi

J. Log. Comput., 1997

1996

A Hierarchy of Semantics for Normal Constraint Logic Programs.

François Fages, Roberta Gori

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996