Roberto Bruni

183 papers A* 7A 1B 16C 3Journal 64Unranked 76
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Program Logic for Abstract (Hyper)Properties.
CoRR
Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
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
Experimenting with Reaction Systems using Graph Transformation and GROOVE.
Nat. Comput.
Roberto Bruni, Arend Rensink
2025 J jnl
Model Checking as Program Verification by Abstract Interpretation (Extended Version).
CoRR
Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
2025 B conf
Model Checking as Program Verification by Abstract Interpretation.
CONCUR
Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
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
Simulation and Analysis of Distributed Reaction Systems.
IEEE Access
Linda Brodo, Roberto Bruni, Moreno Falaschi, Ion Petre
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 — conf
A Process Algebraic View of In/Out Prisoners.
ISoLA (1)
Roberto Bruni
2024 J jnl
A framework for monitored dynamic slicing of reaction systems.
Nat. Comput.
Linda Brodo, Roberto Bruni, Moreno Falaschi
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 — 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 C conf
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.
PADL
Linda Brodo, Roberto Bruni, Moreno Falaschi
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 B conf
Local Completeness for Program Correctness and Incorrectness (Invited Talk).
CALCO
Roberto Bruni
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
2023 — ch.
Verification of Reaction Systems Processes.
Challenges of Software Verification
Linda Brodo, Roberto Bruni, Moreno Falaschi
2022 A* conf
Abstract interpretation repair.
PLDI
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
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 logical and graphical framework for reaction systems.
Theor. Comput. Sci.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 J jnl
A process algebraic approach to reaction systems.
Theor. Comput. Sci.
Linda Brodo, Roberto Bruni, Moreno Falaschi
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
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
2020 B conf
Algebras for Tree Decomposable Graphs.
ICGT
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2020 J jnl
Bayesian network semantics for Petri nets.
Theor. Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2020 — conf
SOS Rules for Equivalences of Reaction Systems.
WFLP
Linda Brodo, Roberto Bruni, Moreno Falaschi
2020 J jnl
SOS Rules for Equivalences of Reaction Systems.
CoRR
Linda Brodo, Roberto Bruni, Moreno Falaschi
2020 J jnl
The link-calculus for open multiparty interactions.
Inf. Comput.
Chiara Bodei, Linda Brodo, Roberto Bruni
2019 — conf
A Coalgebraic Approach to Unification Semantics of Logic Programming.
The Art of Modelling Computational Systems
Roberto Bruni, Ugo Montanari, Giorgio Mossa
2019 J jnl
A formal approach to open multiparty interactions.
Theor. Comput. Sci.
Chiara Bodei, Linda Brodo, Roberto Bruni
2019 J jnl
Concurrency and Probability: Removing Confusion, Compositionally.
Log. Methods Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2019 — conf
Data-Driven Choreographies à la Klaim.
Models, Languages, and Tools for Concurrent and Distributed Programming
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
2019 — conf
Enhancing Reaction Systems: A Process Algebraic Approach.
The Art of Modelling Computational Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
2019 — ch.
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems.
Carl Adam Petri: Ideas, Personality, Impact
Roberto Bruni, Ugo Montanari
2018 J jnl
A Formal Approach to Open Multiparty Interactions.
CoRR
Chiara Bodei, Linda Brodo, Roberto Bruni
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 A* conf
Concurrency and Probability: Removing Confusion, Compositionally.
LICS
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2018 J jnl
Event Structures for Petri nets with Persistence.
CoRR
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018 J jnl
Event Structures for Petri nets with Persistence.
Log. Methods Comput. Sci.
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018 J jnl
Unifying Inference for Bayesian and Petri Nets.
CoRR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2017 J jnl
Concurrency and Probability: Removing Confusion, Compositionally.
CoRR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2017 — book
Models of Computation
Roberto Bruni, Ugo Montanari
2015 — conf
A Normal Form for Stateful Connectors.
Logic, Rewriting, and Concurrency
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2015 — conf
A White Box Perspective on Behavioural Adaptation.
Software, Services, and Systems
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015 J jnl
A coalgebraic semantics for causality in Petri nets.
CoRR
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
A coalgebraic semantics for causality in Petri nets.
J. Log. Algebraic Methods Program.
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 — conf
Awareness and Control in Adaptable Transition Systems.
PNSE @ Petri Nets
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015 J jnl
CaSPiS: a calculus of sessions, pipelines and services.
Math. Struct. Comput. Sci.
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2015 — conf
Causal Trees, Finally.
Programming Languages with Applications to Biology and Security
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
Constraint design rewriting.
Sci. Comput. Program.
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2015 J jnl
Modelling and analyzing adaptive self-assembly strategies with Maude.
Sci. Comput. Program.
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015 — ch.
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
The ASCENS Approach
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2015 — ch.
Reconfigurable and Software-Defined Networks of Connectors and Components.
The ASCENS Approach
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
Revisiting causality, coalgebraically.
Acta Informatica
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
cJoin: Join with communicating transactions.
Math. Struct. Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014 J jnl
A Flat Process Calculus for Nested Membrane Interactions.
Sci. Ann. Comput. Sci.
Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
2014 J jnl
A sound and complete theory of graph transformations for service programming with sessions and pipelines.
Sci. Comput. Program.
Liang Zhao, Roberto Bruni, Zhiming Liu
2014 — conf
Behaviour, Interaction and Dynamics.
Specification, Algebra, and Software
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014 — conf
From Hierarchical BIP to Petri Calculus.
FPS@ETAPS
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014 J jnl
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.
Fundam. Informaticae
Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni
2013 J jnl
Adaptation is a Game.
Tiny Trans. Comput. Sci.
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2013 J jnl
Connector algebras for C/E and P/T nets' interactions.
Log. Methods Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
2012 B conf
A Conceptual Framework for Adaptation.
FASE
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012 — conf
Adaptable Transition Systems.
WADT
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012 C conf
First-Order Dynamic Logic for Compensable Processes.
COORDINATION
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
2012 — conf
LTS Semantics for Compensation-Based Processes.
TGC
Roberto Bruni, Anne Kersten Kauer
2012 — conf
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.
WRLA
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012 — conf
Open Multiparty Interaction.
WADT
Chiara Bodei, Linda Brodo, Roberto Bruni
2012 J jnl
Towards Interaction Reliability in Concurrent Applications.
Sci. Ann. Comput. Sci.
Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
2012 — ed.
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
TGC
Roberto Bruni, Vladimiro Sassone
2011 B conf
A Connector Algebra for P/T Nets Interactions.
CONCUR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011 — ch.
A Formal Support to Business and Architectural Design for Service-Oriented Systems.
Results of the SENSORIA Project
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2011 — conf
A Survey on Basic Connectors and Buffers.
FMCO
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011 — conf
Applying Process Analysis to the Italian eGovernment Enterprise Architecture.
WS-FM
Roberto Bruni, Andrea Corradini, Gian-Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo
2011 J jnl
Concurrency and Interaction in Complex Systems.
Sci. Ann. Comput. Sci.
Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina
2011 — conf
Connector Algebras, Petri Nets, and BIP.
Ershov Memorial Conference
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011 — conf
Evaluating the Performance of Model Transformation Styles in Maude.
FACS
Roberto Bruni, Alberto Lluch-Lafuente
2011 — ed.
Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
FMOODS/FORTE
Roberto Bruni, Jürgen Dingel
2011 — ch.
Hierarchical Models for Service-Oriented Systems.
Results of the SENSORIA Project
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2011 J jnl
On Structured Model-Driven Transformations.
Int. J. Softw. Informatics
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2011 — ed.
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.
ICE
Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone
2011 — ch.
Static Analysis Techniques for Session-Oriented Calculi.
Results of the SENSORIA Project
Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira
2010 — conf
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.
WADT
Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo
2010 J jnl
An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
Sci. Ann. Comput. Sci.
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2010 — conf
An Algebra of Hierarchical Graphs.
TGC
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2010 — conf
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
FMOODS/FORTE
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
2010 — conf
Graph Representation of Sessions and Pipelines for Structured Service Programming.
FACS
Roberto Bruni, Zhiming Liu, Liang Zhao
2010 J jnl
Modeling a Service and Session Calculus with Hierarchical Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Roberto Bruni, Andrea Corradini, Ugo Montanari
2010 — conf
On GS-Monoidal Theories for Graphs with Nesting.
Graph Transformations and Model-Driven Engineering
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2010 — ed.
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010.
ICE
Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva
2009 — conf
A Graph Syntax for Processes and Services.
WS-FM
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2009 — conf
A Service-Oriented UML Profile with Formal Support.
ICSOC/ServiceWave
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
2009 — conf
Calculi for Service-Oriented Computing.
SFM
Roberto Bruni
2009 — conf
Static Detection of Logic Flaws in Service-Oriented Applications.
ARSPA-WITS
Chiara Bodei, Linda Brodo, Roberto Bruni
2009 J jnl
Ten virtues of structured graphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Roberto Bruni, Alberto Lluch-Lafuente
2009 — ed.
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
WS-FM
Roberto Bruni, Karsten Wolf
2008 — conf
Graph-Based Design and Analysis of Dynamic Software Architectures.
Concurrency, Graphs and Models
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente
2008 — conf
Hierarchical Design Rewriting with Maude.
WRLA
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2008 — conf
Models of Computation: A Tribute to Ugo Montanari's Vision.
Concurrency, Graphs and Models
Roberto Bruni, Vladimiro Sassone
2008 C conf
Multiparty Sessions in SOC.
COORDINATION
Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto
2008 — conf
On Symbolic Semantics for Name-decorated Contexts.
ICE@ICALP
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente
2008 J jnl
Parametric synchronizations in mobile nominal calculi.
Theor. Comput. Sci.
Roberto Bruni, Ivan Lanese
2008 — ed.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006
GT-VMT@ETAPS
Roberto Bruni, Dániel Varró
2008 — conf
Provably Correct Implementations of Services.
TGC
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
2008 — conf
Sessions and Pipelines for Structured Service Programming.
FMOODS
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2008 J jnl
Style-Based Architectural Reconfigurations.
Bull. EATCS
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2008 — conf
Tiles for Reo.
WADT
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
2008 — conf
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.
AMAST
Roberto Bruni, Leonardo Gaetano Mezzina
2007 J jnl
A semantic framework for open processes.
Theor. Comput. Sci.
Paolo Baldan, Andrea Bracciali, Roberto Bruni
2007 — conf
Deducing Interactions in Partially Unspecified Biological Systems.
AB
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
2007 — conf
Modelling Dynamic Software Architectures using Typed Graph Grammars.
GT-VC@CONCUR
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti
2007 — conf
Service Oriented Architectural Design.
TGC
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2007 — ed.
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
TGC
Ugo Montanari, Donald Sannella, Roberto Bruni
2006 J jnl
A basic algebra of stateless connectors.
Theor. Comput. Sci.
Roberto Bruni, Ivan Lanese, Ugo Montanari
2006 B conf
Dynamic Graph Transformation Systems.
ICGT
Roberto Bruni, Hernán C. Melgratti
2006 J jnl
Event Structure Semantics for Dynamic Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2006 B conf
Event Structure Semantics for Nominal Calculi.
CONCUR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2006 — conf
Non-sequential Behaviour of Dynamic Nets.
ICATPN
Roberto Bruni, Hernán C. Melgratti
2006 — conf
PRISMA: A Mobile Calculus with Parametric Synchronization.
TGC
Roberto Bruni, Ivan Lanese
2006 — conf
Preface.
GT-VMT@ETAPS
Roberto Bruni, Dániel Varró
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2006 J jnl
Semantic foundations for generalized rewrite theories.
Theor. Comput. Sci.
Roberto Bruni, José Meseguer
2006 — conf
Translating Orc Features into Petri Nets and the Join Calculus.
WS-FM
Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
2005 B conf
Comparing Two Approaches to Compensable Flow Composition.
CONCUR
Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
2005 B conf
Complete Axioms for Stateless Connectors.
CALCO
Roberto Bruni, Ivan Lanese, Ugo Montanari
2005 B conf
Deriving Weak Bisimulation Congruences from Reduction Systems.
CONCUR
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
2005 — conf
From Theory to Practice in Transactional Composition of Web Services.
EPEW/WS-FM
Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
2005 J jnl
Observational congruences for dynamically reconfigurable tile systems.
Theor. Comput. Sci.
Roberto Bruni, Ugo Montanari, Vladimiro Sassone
2005 A* conf
Theoretical foundations for compensations in flow composition languages.
POPL
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2004 J jnl
Concurrent models for Linda with transactions.
Math. Struct. Comput. Sci.
Roberto Bruni, Ugo Montanari
2004 — conf
Modeling Fresh Names in the π-calculus Using Abstractions.
CMCS
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
2004 — conf
Nested Commits for Mobile Calculi: Extending Join.
IFIP TCS
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2004 — conf
New Insights on Architectural Connectors.
IFIP TCS
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
2004 — conf
Prototype Platforms for Distributed Agreements.
FOCLASA
Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
2004 — conf
Summary 3: On Graph(ic) Encodings.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Roberto Bruni, Ivan Lanese
2004 — conf
Symbolic Equivalences for Open Systems.
Global Computing
Paolo Baldan, Andrea Bracciali, Roberto Bruni
2003 — conf
Algebraic Theories for Contextual Pre-nets.
ICTCS
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2003 — conf
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Lectures on Concurrency and Petri Nets
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2003 — conf
Flat Committed Join in Join.
COMETA
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2003 A* conf
Generalized Rewrite Theories.
ICALP
Roberto Bruni, José Meseguer
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002 — conf
Bisimulation by Unification.
AMAST
Paolo Baldan, Andrea Bracciali, Roberto Bruni
2002 J jnl
Dynamic connectors for concurrency.
Theor. Comput. Sci.
Roberto Bruni, Ugo Montanari
2002 J jnl
Normal forms for algebras of connection.
Theor. Comput. Sci.
Roberto Bruni, Fabio Gadducci, Ugo Montanari
2002 B conf
Orchestrating Transactions in Join Calculus.
CONCUR
Roberto Bruni, Cosimo Laneve, Ugo Montanari
2002 — conf
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.
WADT
Paolo Baldan, Roberto Bruni, Ugo Montanari
2002 J jnl
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
Math. Struct. Comput. Sci.
Roberto Bruni, José Meseguer, Ugo Montanari
2002 — conf
Tiling Transactions in Rewriting Logic.
WRLA
Roberto Bruni, José Meseguer, Ugo Montanari
2001 J jnl
An interactive semantics of logic programming
CoRR
Roberto Bruni, Ugo Montanari, Francesca Rossi
2001 J jnl
An interactive semantics of logic programming.
Theory Pract. Log. Program.
Roberto Bruni, Ugo Montanari, Francesca Rossi
2001 — conf
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
TOSCA
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
2001 J jnl
Functorial Models for Petri Nets.
Inf. Comput.
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2001 — conf
Some algebraic laws for spans.
RelMiS
Roberto Bruni, Fabio Gadducci
2001 — conf
Transactions and Zero-Safe Nets.
Unifying Petri Nets
Roberto Bruni, Ugo Montanari
2001 — conf
Two Algebraic Process Semantics for Contextual Nets.
Unifying Petri Nets
Roberto Bruni, Vladimiro Sassone
2001 — conf
Zero-safe net models for transactions in Linda.
ConCoord
Roberto Bruni, Ugo Montanari
2000 A* conf
Algebraic Models for Contextual Nets.
ICALP
Roberto Bruni, Vladimiro Sassone
2000 B conf
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
CONCUR
Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
2000 — conf
Executing Transactions in Zero-Safe Nets.
ICATPN
Roberto Bruni, Ugo Montanari
2000 — conf
Open Ended Systems, Dynamic Bisimulation and Tile Logic.
IFIP TCS
Roberto Bruni, Ugo Montanari, Vladimiro Sassone
2000 J jnl
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches.
Inf. Comput.
Roberto Bruni, Ugo Montanari
1999 A* conf
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.
LICS
Roberto Bruni, Ugo Montanari
1999 B conf
Executable Tile Specifications for Process Calculi.
FASE
Roberto Bruni, José Meseguer, Ugo Montanari
1999 — conf
Functorial semantics for Petri nets under the individual token philosophy.
CTCS
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1998 — conf
A Comparison of Petri Net Semantics under the Collective Token Philosophy.
ASIAN
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1998 — conf
A logic for modular descriptions of asynchronous and synchronized concurrent systems.
WRLA
Roberto Bruni
1998 — conf
Internal strategies in a rewriting implementation of tile systems.
WRLA
Roberto Bruni, José Meseguer, Ugo Montanari
1998 — conf
Normal Forms for Partitions and Relations.
WADT
Roberto Bruni, Fabio Gadducci, Ugo Montanari
1997 — conf
Zero-safe nets, or transition synchronization made simple.
EXPRESS
Roberto Bruni, Ugo Montanari
1997 — conf
Zero-safe nets: The individual token approach.
WADT
Roberto Bruni, Ugo Montanari