Roberto Bruni

According to our database1, Roberto Bruni
  • authored at least 123 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Models of Computation
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-42900-7, 2017

Concurrency and Probability: Removing Confusion, Compositionally.
CoRR, 2017

2015
Reconfigurable and Software-Defined Networks of Connectors and Components.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Constraint design rewriting.
Sci. Comput. Program., 2015

Modelling and analyzing adaptive self-assembly strategies with Maude.
Sci. Comput. Program., 2015

cJoin: Join with communicating transactions.
Mathematical Structures in Computer Science, 2015

CaSPiS: a calculus of sessions, pipelines and services.
Mathematical Structures in Computer Science, 2015

A coalgebraic semantics for causality in Petri nets.
J. Log. Algebr. Meth. Program., 2015

A coalgebraic semantics for causality in Petri nets.
CoRR, 2015

Revisiting causality, coalgebraically.
Acta Inf., 2015

Causal Trees, Finally.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

A Normal Form for Stateful Connectors.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

A White Box Perspective on Behavioural Adaptation.
Proceedings of the Software, 2015

Awareness and Control in Adaptable Transition Systems.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
A sound and complete theory of graph transformations for service programming with sessions and pipelines.
Sci. Comput. Program., 2014

On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.
Fundam. Inform., 2014

A Flat Process Calculus for Nested Membrane Interactions.
Sci. Ann. Comp. Sci., 2014

From Hierarchical BIP to Petri Calculus.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Behaviour, Interaction and Dynamics.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Adaptation is a Game.
TinyToCS, 2013

Connector algebras for C/E and P/T nets' interactions.
Logical Methods in Computer Science, 2013

2012
Towards Interaction Reliability in Concurrent Applications.
Sci. Ann. Comp. Sci., 2012

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Adaptable Transition Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Open Multiparty Interaction.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

LTS Semantics for Compensation-Based Processes.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

A Conceptual Framework for Adaptation.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

First-Order Dynamic Logic for Compensable Processes.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011
On Structured Model-Driven Transformations.
Int. J. Software and Informatics, 2011

Concurrency and Interaction in Complex Systems.
Sci. Ann. Comp. Sci., 2011

Applying Process Analysis to the Italian eGovernment Enterprise Architecture.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

A Survey on Basic Connectors and Buffers.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Evaluating the Performance of Model Transformation Styles in Maude.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Connector Algebras, Petri Nets, and BIP.
Proceedings of the Perspectives of Systems Informatics, 2011

A Connector Algebra for P/T Nets Interactions.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

A Formal Support to Business and Architectural Design for Service-Oriented Systems.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Hierarchical Models for Service-Oriented Systems.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Static Analysis Techniques for Session-Oriented Calculi.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Modeling a Service and Session Calculus with Hierarchical Graph Transformation.
ECEASST, 2010

An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
Sci. Ann. Comp. Sci., 2010

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

An Algebra of Hierarchical Graphs.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Graph Representation of Sessions and Pipelines for Structured Service Programming.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

On GS-Monoidal Theories for Graphs with Nesting.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Hierarchical Design Rewriting with Maude.
Electr. Notes Theor. Comput. Sci., 2009

On Symbolic Semantics for Name-decorated Contexts.
Electr. Notes Theor. Comput. Sci., 2009

Ten virtues of structured graphs.
ECEASST, 2009

A Graph Syntax for Processes and Services.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Calculi for Service-Oriented Computing.
Proceedings of the Formal Methods for Web Services, 2009

Static Detection of Logic Flaws in Service-Oriented Applications.
Proceedings of the Foundations and Applications of Security Analysis, 2009

A Service-Oriented UML Profile with Formal Support.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008
Parametric synchronizations in mobile nominal calculi.
Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Modelling Dynamic Software Architectures using Typed Graph Grammars.
Electr. Notes Theor. Comput. Sci., 2008

Style-Based Architectural Reconfigurations.
Bulletin of the EATCS, 2008

Tiles for Reo.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Provably Correct Implementations of Services.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Sessions and Pipelines for Structured Service Programming.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Multiparty Sessions in SOC.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Models of Computation: A Tribute to Ugo Montanari's Vision.
Proceedings of the Concurrency, 2008

Graph-Based Design and Analysis of Dynamic Software Architectures.
Proceedings of the Concurrency, 2008

Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
A semantic framework for open processes.
Theor. Comput. Sci., 2007

Prototype Platforms for Distributed Agreements.
Electr. Notes Theor. Comput. Sci., 2007

Service Oriented Architectural Design.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Deducing Interactions in Partially Unspecified Biological Systems.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Semantic foundations for generalized rewrite theories.
Theor. Comput. Sci., 2006

A basic algebra of stateless connectors.
Theor. Comput. Sci., 2006

Event Structure Semantics for Dynamic Graph Grammars.
ECEASST, 2006

Translating Orc Features into Petri Nets and the Join Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

PRISMA: A Mobile Calculus with Parametric Synchronization.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Dynamic Graph Transformation Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006

Event Structure Semantics for Nominal Calculi.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Non-sequential Behaviour of Dynamic Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Observational congruences for dynamically reconfigurable tile systems.
Theor. Comput. Sci., 2005

Theoretical foundations for compensations in flow composition languages.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

From Theory to Practice in Transactional Composition of Web Services.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Deriving Weak Bisimulation Congruences from Reduction Systems.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Comparing Two Approaches to Compensable Flow Composition.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Complete Axioms for Stateless Connectors.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
Concurrent models for Linda with transactions.
Mathematical Structures in Computer Science, 2004

Flat Committed Join in Join.
Electr. Notes Theor. Comput. Sci., 2004

Modeling Fresh Names in the ?-calculus Using Abstractions.
Electr. Notes Theor. Comput. Sci., 2004

Nested Commits for Mobile Calculi: Extending Join.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

New Insights on Architectural Connectors.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Symbolic Equivalences for Open Systems.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Summary 3: On Graph(ic) Encodings.
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

2003
Algebraic Theories for Contextual Pre-nets.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Generalized Rewrite Theories.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Dynamic connectors for concurrency.
Theor. Comput. Sci., 2002

Normal forms for algebras of connection.
Theor. Comput. Sci., 2002

Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
Mathematical Structures in Computer Science, 2002

Tiling Transactions in Rewriting Logic.
Electr. Notes Theor. Comput. Sci., 2002

Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002


Orchestrating Transactions in Join Calculus.
Proceedings of the CONCUR 2002, 2002

Bisimulation by Unification.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
An interactive semantics of logic programming.
TPLP, 2001

Functorial Models for Petri Nets.
Inf. Comput., 2001

Zero-safe net models for transactions in Linda.
Electr. Notes Theor. Comput. Sci., 2001

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
Electr. Notes Theor. Comput. Sci., 2001

Some algebraic laws for spans.
Electr. Notes Theor. Comput. Sci., 2001

An interactive semantics of logic programming
CoRR, 2001

Two Algebraic Process Semantics for Contextual Nets.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Transactions and Zero-Safe Nets.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches.
Inf. Comput., 2000

Open Ended Systems, Dynamic Bisimulation and Tile Logic.
Proceedings of the Theoretical Computer Science, 2000

Algebraic Models for Contextual Nets.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
Proceedings of the CONCUR 2000, 2000

Executing Transactions in Zero-Safe Nets.
ICATPN, 2000

1999
Functorial semantics for Petri nets under the individual token philosophy.
Electr. Notes Theor. Comput. Sci., 1999

Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Executable Tile Specifications for Process Calculi.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998
Internal strategies in a rewriting implementation of tile systems.
Electr. Notes Theor. Comput. Sci., 1998

A logic for modular descriptions of asynchronous and synchronized concurrent systems.
Electr. Notes Theor. Comput. Sci., 1998

Normal Forms for Partitions and Relations.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Comparison of Petri Net Semantics under the Collective Token Philosophy.
Proceedings of the Advances in Computing Science, 1998

1997
Zero-safe nets, or transition synchronization made simple.
Electr. Notes Theor. Comput. Sci., 1997

Zero-safe nets: The individual token approach.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997


  Loading...