Roberta Gori - RankMe

94 papers A* 3A 2B 13C 2Journal 44Unranked 28

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