Roberto Bruni

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 38

Top Venues

CoRR

Theor. Comput. Sci.

Sci. Comput. Program.

The Art of Modelling Computational Systems

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)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A framework for monitored dynamic slicing of reaction systems. Nat. Comput. 23 (2) (2024)
Roberto Bruni, Annarita Colamatteo, Dusan Mladenovic
How the metaverse influences marketing and competitive advantage of retailers: predictions and key marketing research priorities. Electron. Commer. Res. 24 (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)
Roberto Bruni
Local Completeness for Program Correctness and Incorrectness (Invited Talk). CALCO (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)
Marco Tregua, Roberto Bruni
Three drivers for cities development: A focus on start-up contribution. IESS (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. PADL (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 Bruni, Roberta Gori, Nicolas Manini
Deciding Program Properties via Complete Abstractions on Bounded Domains. SAS (2022)
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)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A process algebraic approach to reaction systems. Theor. Comput. Sci. 881 (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A logical and graphical framework for reaction systems. Theor. Comput. Sci. 875 (2021)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Logic for Locally Complete Abstract Interpretations. LICS (2021)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Bayesian network semantics for Petri nets. Theor. Comput. Sci. 807 (2020)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Algebras for Tree Decomposable Graphs. ICGT (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. WFLP (2020)
Chiara Bodei, Linda Brodo, Roberto Bruni
The link-calculus for open multiparty interactions. Inf. Comput. 275 (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. CoRR (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)
Roberto Bruni, Ugo Montanari, Giorgio Mossa
A Coalgebraic Approach to Unification Semantics of Logic Programming. The Art of Modelling Computational Systems (2019)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Chiara Bodei, Linda Brodo, Roberto Bruni
A formal approach to open multiparty interactions. Theor. Comput. Sci. 763 (2019)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. 15 (4) (2019)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Enhancing Reaction Systems: A Process Algebraic Approach. The Art of Modelling Computational Systems (2019)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14 (3) (2018)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. CoRR (2018)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Code Obfuscation Against Abstract Model Checking Attacks. VMCAI (2018)
Chiara Bodei, Linda Brodo, Roberto Bruni
A Formal Approach to Open Multiparty Interactions. CoRR (2018)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Code obfuscation against abstraction refinement attacks. Formal Aspects Comput. 30 (6) (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Unifying Inference for Bayesian and Petri Nets. CoRR (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. LICS (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. CoRR (2017)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Revisiting causality, coalgebraically. Acta Informatica 52 (1) (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Causal Trees, Finally. Programming Languages with Applications to Biology and Security (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency (2015)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Constraint design rewriting. Sci. Comput. Program. 97 (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99 (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
A coalgebraic semantics for causality in Petri nets. CoRR (2015)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25 (3) (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. 25 (3) (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
A coalgebraic semantics for causality in Petri nets. J. Log. Algebraic Methods Program. 84 (6) (2015)
Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Informaticae 134 (3-4) (2014)
Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comput. Sci. 24 (1) (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software (2014)
Liang Zhao, Roberto Bruni, Zhiming Liu
A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94 (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
From Hierarchical BIP to Petri Calculus. FPS@ETAPS (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. 9 (3) (2013)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A Conceptual Framework for Adaptation. FASE (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptable Transition Systems. WADT (2012)
Roberto Bruni, Anne Kersten Kauer
LTS Semantics for Compensation-Based Processes. TGC (2012)
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
First-Order Dynamic Logic for Compensable Processes. COORDINATION (2012)
Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22 (1) (2012)
Chiara Bodei, Linda Brodo, Roberto Bruni
Open Multiparty Interaction. WADT (2012)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Survey on Basic Connectors and Buffers. FMCO (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference (2011)
Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Connector Algebra for P/T Nets Interactions. CONCUR (2011)
Roberto Bruni, Alberto Lluch-Lafuente
Evaluating the Performance of Model Transformation Styles in Maude. FACS (2011)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5 (1-2) (2011)
Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo
Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM (2011)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs. TGC (2010)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering (2010)
Roberto Bruni, Zhiming Liu, Liang Zhao
Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS (2010)
Roberto Bruni, Andrea Corradini, Ugo Montanari
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT (2010)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20 (2010)
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE (2010)
Chiara Bodei, Linda Brodo, Roberto Bruni
Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS (2009)
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave (2009)
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente
On Symbolic Semantics for Name-decorated Contexts. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Roberto Bruni, Alberto Lluch-Lafuente
Ten virtues of structured graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
A Graph Syntax for Processes and Services. WS-FM (2009)
Roberto Bruni
Calculi for Service-Oriented Computing. SFM (2009)
Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto
Multiparty Sessions in SOC. COORDINATION (2008)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Hierarchical Design Rewriting with Maude. WRLA (2008)
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente
Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models (2008)
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
Tiles for Reo. WADT (2008)
Roberto Bruni, Vladimiro Sassone
Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models (2008)
Roberto Bruni, Dániel Varró
Preface. Electron. Notes Theor. Comput. Sci. 211 (2008)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
Sessions and Pipelines for Structured Service Programming. FMOODS (2008)
Roberto Bruni, Ivan Lanese
Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402 (2-3) (2008)
Roberto Bruni, Leonardo Gaetano Mezzina
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. AMAST (2008)
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti
Modelling Dynamic Software Architectures using Typed Graph Grammars. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
Provably Correct Implementations of Services. TGC (2008)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Style-Based Architectural Reconfigurations. Bull. EATCS 94 (2008)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
Service Oriented Architectural Design. TGC (2007)
Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
Prototype Platforms for Distributed Agreements. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Paolo Baldan, Andrea Bracciali, Roberto Bruni
A semantic framework for open processes. Theor. Comput. Sci. 389 (3) (2007)
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
Deducing Interactions in Partially Unspecified Biological Systems. AB (2007)
Roberto Bruni, Hernán C. Melgratti
Non-sequential Behaviour of Dynamic Nets. ICATPN (2006)

Roberto Bruni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roberto Bruni