Zero-safe nets: The individual token approach. - Roberto Bruni 001; Ugo Montanari (WADT, 1997)

Zero-safe nets, or transition synchronization made simple. - Roberto Bruni 001; Ugo Montanari (EXPRESS, 1997)

A Comparison of Petri Net Semantics under the Collective Token Philosophy. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari; Vladimiro Sassone (ASIAN, 1998)

Normal Forms for Partitions and Relations. - Roberto Bruni 001; Fabio Gadducci; Ugo Montanari (WADT, 1998)

A logic for modular descriptions of asynchronous and synchronized concurrent systems. - Roberto Bruni 001 (WRLA, 1998)

Internal strategies in a rewriting implementation of tile systems. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari (WRLA, 1998)

Executable Tile Specifications for Process Calculi. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari (FASE, 1999)

Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. - Roberto Bruni 001; Ugo Montanari (LICS, 1999)

Functorial semantics for Petri nets under the individual token philosophy. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari; Vladimiro Sassone (CTCS, 1999)

Executing Transactions in Zero-Safe Nets. - Roberto Bruni 001; Ugo Montanari (ICATPN, 2000)

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. - Roberto Bruni 001; David de Frutos-Escrig; Narciso Martí-Oliet; Ugo Montanari (CONCUR, 2000)

Algebraic Models for Contextual Nets. - Roberto Bruni 001; Vladimiro Sassone (ICALP, 2000)

Open Ended Systems, Dynamic Bisimulation and Tile Logic. - Roberto Bruni 001; Ugo Montanari; Vladimiro Sassone (IFIP TCS, 2000)

Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. - Roberto Bruni 001; Ugo Montanari (Inf. Comput., 2000)

Transactions and Zero-Safe Nets. - Roberto Bruni 001; Ugo Montanari (Unifying Petri Nets, 2001)

Two Algebraic Process Semantics for Contextual Nets. - Roberto Bruni 001; Vladimiro Sassone (Unifying Petri Nets, 2001)

Some algebraic laws for spans. - Roberto Bruni 001; Fabio Gadducci (RelMiS, 2001)

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. - Roberto Bruni 001; Furio Honsell; Marina Lenisa; Marino Miculan (TOSCA, 2001)

Zero-safe net models for transactions in Linda. - Roberto Bruni 001; Ugo Montanari (ConCoord, 2001)

Functorial Models for Petri Nets. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari; Vladimiro Sassone (Inf. Comput., 2001)

An interactive semantics of logic programming. - Roberto Bruni 001; Ugo Montanari; Francesca Rossi 001 (Theory Pract. Log. Program., 2001)

Bisimulation by Unification. - Paolo Baldan; Andrea Bracciali; Roberto Bruni 001 (AMAST, 2002)

Orchestrating Transactions in Join Calculus. - Roberto Bruni 001; Cosimo Laneve; Ugo Montanari (CONCUR, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. - Paolo Baldan; Roberto Bruni 001; Ugo Montanari (WADT, 2002)

Tiling Transactions in Rewriting Logic. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari (WRLA, 2002)

Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari (Math. Struct. Comput. Sci., 2002)

Normal forms for algebras of connection. - Roberto Bruni 001; Fabio Gadducci; Ugo Montanari (Theor. Comput. Sci., 2002)

Dynamic connectors for concurrency. - Roberto Bruni 001; Ugo Montanari (Theor. Comput. Sci., 2002)

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Lectures on Concurrency and Petri Nets, 2003)

Generalized Rewrite Theories. - Roberto Bruni 001; José Meseguer 001 (ICALP, 2003)

Algebraic Theories for Contextual Pre-nets. - Roberto Bruni 001; José Meseguer 001; Ugo Montanari; Vladimiro Sassone (ICTCS, 2003)

Flat Committed Join in Join. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (COMETA, 2003)

Summary 3: On Graph(ic) Encodings. - Roberto Bruni 001; Ivan Lanese (Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004)

Symbolic Equivalences for Open Systems. - Paolo Baldan; Andrea Bracciali; Roberto Bruni 001 (Global Computing, 2004)

New Insights on Architectural Connectors. - Roberto Bruni 001; José Luiz Fiadeiro; Ivan Lanese; Antónia Lopes; Ugo Montanari (IFIP TCS, 2004)

Nested Commits for Mobile Calculi: Extending Join. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (IFIP TCS, 2004)

Prototype Platforms for Distributed Agreements. - Alberto Baragatti; Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari; Giorgio Spagnolo (FOCLASA, 2004)

Modeling Fresh Names in the π-calculus Using Abstractions. - Roberto Bruni 001; Furio Honsell; Marina Lenisa; Marino Miculan (CMCS, 2004)

Concurrent models for Linda with transactions. - Roberto Bruni 001; Ugo Montanari (Math. Struct. Comput. Sci., 2004)

Complete Axioms for Stateless Connectors. - Roberto Bruni 001; Ivan Lanese; Ugo Montanari (CALCO, 2005)

Comparing Two Approaches to Compensable Flow Composition. - Roberto Bruni 001; Michael J. Butler; Carla Ferreira 001; C. A. R. Hoare; Hernán C. Melgratti; Ugo Montanari (CONCUR, 2005)

Deriving Weak Bisimulation Congruences from Reduction Systems. - Roberto Bruni 001; Fabio Gadducci; Ugo Montanari; Pawel Sobocinski 001 (CONCUR, 2005)

From Theory to Practice in Transactional Composition of Web Services. - Roberto Bruni 001; Gian-Luigi Ferrari 002; Hernán C. Melgratti; Ugo Montanari; Daniele Strollo; Emilio Tuosto (EPEW/WS-FM, 2005)

Theoretical foundations for compensations in flow composition languages. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (POPL, 2005)

Observational congruences for dynamically reconfigurable tile systems. - Roberto Bruni 001; Ugo Montanari; Vladimiro Sassone (Theor. Comput. Sci., 2005)

Non-sequential Behaviour of Dynamic Nets. - Roberto Bruni 001; Hernán C. Melgratti (ICATPN, 2006)

Event Structure Semantics for Nominal Calculi. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (CONCUR, 2006)

Dynamic Graph Transformation Systems. - Roberto Bruni 001; Hernán C. Melgratti (ICGT, 2006)

PRISMA: A Mobile Calculus with Parametric Synchronization. - Roberto Bruni 001; Ivan Lanese (TGC, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Translating Orc Features into Petri Nets and the Join Calculus. - Roberto Bruni 001; Hernán C. Melgratti; Emilio Tuosto (WS-FM, 2006)

Event Structure Semantics for Dynamic Graph Grammars. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Preface. - Roberto Bruni 001; Dániel Varró (GT-VMT@ETAPS, 2006)

A basic algebra of stateless connectors. - Roberto Bruni 001; Ivan Lanese; Ugo Montanari (Theor. Comput. Sci., 2006)

Semantic foundations for generalized rewrite theories. - Roberto Bruni 001; José Meseguer 001 (Theor. Comput. Sci., 2006)

Deducing Interactions in Partially Unspecified Biological Systems. - Paolo Baldan; Andrea Bracciali; Linda Brodo; Roberto Bruni 001 (AB, 2007)

Service Oriented Architectural Design. - Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari; Emilio Tuosto (TGC, 2007)

Modelling Dynamic Software Architectures using Typed Graph Grammars. - Roberto Bruni 001; Antonio Bucchiarone; Stefania Gnesi; Hernán C. Melgratti (GT-VC@CONCUR, 2007)

A semantic framework for open processes. - Paolo Baldan; Andrea Bracciali; Roberto Bruni 001 (Theor. Comput. Sci., 2007)

Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. - Roberto Bruni 001; Leonardo Gaetano Mezzina (AMAST, 2008)

Graph-Based Design and Analysis of Dynamic Software Architectures. - Roberto Bruni 001; Antonio Bucchiarone; Stefania Gnesi; Dan Hirsch; Alberto Lluch-Lafuente (Concurrency, Graphs and Models, 2008)

Models of Computation: A Tribute to Ugo Montanari's Vision. - Roberto Bruni 001; Vladimiro Sassone (Concurrency, Graphs and Models, 2008)

Multiparty Sessions in SOC. - Roberto Bruni 001; Ivan Lanese; Hernán C. Melgratti; Emilio Tuosto (COORDINATION, 2008)

Sessions and Pipelines for Structured Service Programming. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (FMOODS, 2008)

Provably Correct Implementations of Services. - Roberto Bruni 001; Rocco De Nicola; Michele Loreti; Leonardo Gaetano Mezzina (TGC, 2008)

Tiles for Reo. - Farhad Arbab; Roberto Bruni 001; Dave Clarke 001; Ivan Lanese; Ugo Montanari (WADT, 2008)

Style-Based Architectural Reconfigurations. - Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari (Bull. EATCS, 2008)

On Symbolic Semantics for Name-decorated Contexts. - Andrea Bracciali; Roberto Bruni 001; Alberto Lluch-Lafuente (ICE@ICALP, 2008)

Hierarchical Design Rewriting with Maude. - Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari (WRLA, 2008)

Parametric synchronizations in mobile nominal calculi. - Roberto Bruni 001; Ivan Lanese (Theor. Comput. Sci., 2008)

A Service-Oriented UML Profile with Formal Support. - Roberto Bruni 001; Matthias M. Hölzl; Nora Koch; Alberto Lluch-Lafuente; Philip Mayer; Ugo Montanari; Andreas Schroeder 001; Martin Wirsing (ICSOC/ServiceWave, 2009)

Static Detection of Logic Flaws in Service-Oriented Applications. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (ARSPA-WITS, 2009)

Calculi for Service-Oriented Computing. - Roberto Bruni 001 (SFM, 2009)

A Graph Syntax for Processes and Services. - Roberto Bruni 001; Fabio Gadducci; Alberto Lluch-Lafuente (WS-FM, 2009)

Ten virtues of structured graphs. - Roberto Bruni 001; Alberto Lluch-Lafuente (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

On GS-Monoidal Theories for Graphs with Nesting. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Ugo Montanari (Graph Transformations and Model-Driven Engineering, 2010)

Graph Representation of Sessions and Pipelines for Structured Service Programming. - Roberto Bruni 001; Zhiming Liu 001; Liang Zhao 022 (FACS, 2010)

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. - Artur Boronat; Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari; Generoso Paolillo (FMOODS/FORTE, 2010)

An Algebra of Hierarchical Graphs. - Roberto Bruni 001; Fabio Gadducci; Alberto Lluch-Lafuente (TGC, 2010)

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. - Roberto Bruni 001; Anne Kersten; Ivan Lanese; Giorgio Spagnolo (WADT, 2010)

An Algebra of Hierarchical Graphs and its Application to Structural Encoding. - Roberto Bruni 001; Fabio Gadducci; Alberto Lluch-Lafuente (Sci. Ann. Comput. Sci., 2010)

Modeling a Service and Session Calculus with Hierarchical Graph Transformation. - Roberto Bruni 001; Andrea Corradini 001; Ugo Montanari (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Static Analysis Techniques for Session-Oriented Calculi. - Lucia Acciai; Chiara Bodei; Michele Boreale; Roberto Bruni 001; Hugo Torres Vieira (Results of the SENSORIA Project, 2011)

Hierarchical Models for Service-Oriented Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Ugo Montanari (Results of the SENSORIA Project, 2011)

A Formal Support to Business and Architectural Design for Service-Oriented Systems. - Roberto Bruni 001; Howard Foster; Alberto Lluch-Lafuente; Ugo Montanari; Emilio Tuosto (Results of the SENSORIA Project, 2011)

A Connector Algebra for P/T Nets Interactions. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (CONCUR, 2011)

Connector Algebras, Petri Nets, and BIP. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Ershov Memorial Conference, 2011)

Evaluating the Performance of Model Transformation Styles in Maude. - Roberto Bruni 001; Alberto Lluch-Lafuente (FACS, 2011)

A Survey on Basic Connectors and Buffers. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (FMCO, 2011)

Applying Process Analysis to the Italian eGovernment Enterprise Architecture. - Roberto Bruni 001; Andrea Corradini 001; Gian-Luigi Ferrari 002; Tito Flagella; Roberto Guanciale; Giorgio Spagnolo (WS-FM, 2011)

Concurrency and Interaction in Complex Systems. - Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni 001; Alexandra Silva 001; Angelo Troina (Sci. Ann. Comput. Sci., 2011)

On Structured Model-Driven Transformations. - Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari (Int. J. Softw. Informatics, 2011)

First-Order Dynamic Logic for Compensable Processes. - Roberto Bruni 001; Carla Ferreira 001; Anne Kersten Kauer (COORDINATION, 2012)

A Conceptual Framework for Adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (FASE, 2012)

LTS Semantics for Compensation-Based Processes. - Roberto Bruni 001; Anne Kersten Kauer (TGC, 2012)

Open Multiparty Interaction. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (WADT, 2012)

Adaptable Transition Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (WADT, 2012)

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (WRLA, 2012)

Towards Interaction Reliability in Concurrent Applications. - Simon Bliudze; Roberto Bruni 001; Marco Carbone; Alexandra Silva 001 (Sci. Ann. Comput. Sci., 2012)

Connector algebras for C/E and P/T nets' interactions. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari; Pawel Sobocinski 001 (Log. Methods Comput. Sci., 2013)

Adaptation is a Game. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Tiny Trans. Comput. Sci., 2013)

Behaviour, Interaction and Dynamics. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Specification, Algebra, and Software, 2014)

From Hierarchical BIP to Petri Calculus. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (FPS@ETAPS, 2014)

A Flat Process Calculus for Nested Membrane Interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001; Davide Chiarugi (Sci. Ann. Comput. Sci., 2014)

On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. - Roberto Bruni 001; Ugo Montanari; Gordon D. Plotkin; Daniele Terreni (Fundam. Informaticae, 2014)

A sound and complete theory of graph transformations for service programming with sessions and pipelines. - Liang Zhao 021; Roberto Bruni 001; Zhiming Liu 001 (Sci. Comput. Program., 2014)

Awareness and Control in Adaptable Transition Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (PNSE @ Petri Nets, 2015)

A White Box Perspective on Behavioural Adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Software, Services, and Systems, 2015)

A Normal Form for Stateful Connectors. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Logic, Rewriting, and Concurrency, 2015)

Causal Trees, Finally. - Roberto Bruni 001; Ugo Montanari; Matteo Sammartino (Programming Languages with Applications to Biology and Security, 2015)

Revisiting causality, coalgebraically. - Roberto Bruni 001; Ugo Montanari; Matteo Sammartino (Acta Informatica, 2015)

A coalgebraic semantics for causality in Petri nets. - Roberto Bruni 001; Ugo Montanari; Matteo Sammartino (J. Log. Algebraic Methods Program., 2015)

CaSPiS: a calculus of sessions, pipelines and services. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (Math. Struct. Comput. Sci., 2015)

cJoin: Join with communicating transactions. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Math. Struct. Comput. Sci., 2015)

Constraint design rewriting. - Roberto Bruni 001; Alberto Lluch-Lafuente; Ugo Montanari (Sci. Comput. Program., 2015)

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Matthias M. Hölzl; Alberto Lluch-Lafuente; Andrea Vandin; Martin Wirsing (The ASCENS Approach, 2015)

Reconfigurable and Software-Defined Networks of Connectors and Components. - Roberto Bruni 001; Ugo Montanari; Matteo Sammartino (The ASCENS Approach, 2015)

Models of Computation - Roberto Bruni 001; Ugo Montanari (Springer, 2017)

Concurrency and Probability: Removing Confusion, Compositionally. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (LICS, 2018)

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

Unifying Inference for Bayesian and Petri Nets. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (CoRR, 2018)

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

Event Structures for Petri nets with Persistence. - Paolo Baldan; Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Hernán C. Melgratti; Ugo Montanari (Log. Methods Comput. Sci., 2018)

Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems. - Roberto Bruni 001; Ugo Montanari (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Enhancing Reaction Systems: A Process Algebraic Approach. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (The Art of Modelling Computational Systems, 2019)

Data-Driven Choreographies à la Klaim. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Hernán C. Melgratti; Ugo Montanari; Emilio Tuosto (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

A Coalgebraic Approach to Unification Semantics of Logic Programming. - Roberto Bruni 001; Ugo Montanari; Giorgio Mossa (The Art of Modelling Computational Systems, 2019)

A formal approach to open multiparty interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (Theor. Comput. Sci., 2019)

Algebras for Tree Decomposable Graphs. - Roberto Bruni 001; Ugo Montanari; Matteo Sammartino (ICGT, 2020)

SOS Rules for Equivalences of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (WFLP, 2020)

The link-calculus for open multiparty interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (Inf. 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)

Bayesian network semantics for Petri nets. - Roberto Bruni 001; Hernán C. Melgratti; Ugo Montanari (Theor. Comput. Sci., 2020)

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)

A logical and graphical framework for reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Theor. Comput. Sci., 2021)

A process algebraic approach to reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Theor. Comput. Sci., 2021)

Limits and difficulties in the design of under-approximation abstract domains. - Flavio Ascari; Roberto Bruni 001; Roberta Gori (FoSSaCS, 2022)

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)

Local Completeness for Program Correctness and Incorrectness (Invited Talk). - Roberto Bruni 001 (CALCO, 2023)

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)

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (PADL, 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)

Verification of Reaction Systems Processes. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (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)

A Process Algebraic View of In/Out Prisoners. - Roberto Bruni 001 (ISoLA (1), 2024)

A framework for monitored dynamic slicing of reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Nat. Comput., 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)

Model Checking as Program Verification by Abstract Interpretation. - Paolo Baldan; Roberto Bruni 001; Francesco Ranzato; Diletta Rigo (CONCUR, 2025)

Simulation and Analysis of Distributed Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Ion Petre (IEEE Access, 2025)

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)

Model Checking as Program Verification by Abstract Interpretation (Extended Version). - Paolo Baldan; Roberto Bruni 001; Francesco Ranzato; Diletta Rigo (CoRR, 2025)