Roberto Bruni - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

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. ProceedingsRoberto Bruni, Jürgen Dingel, editors, Volume 6722 of Lecture Notes in Computer Science, Springer, 2011. [doi]

A Connector Algebra for P/T Nets InteractionsRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. concur 2011: 312-326 [doi]

2010

2009

Static Detection of Logic Flaws in Service-Oriented ApplicationsChiara Bodei, Linda Brodo, Roberto Bruni. ifip1-7 2009: 70-87 [doi]

On Symbolic Semantics for Name-decorated ContextsAndrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente. ENTCS, 229(3):37-58, 2009. [doi]

Calculi for Service-Oriented ComputingRoberto Bruni. sfm 2009: 1-41 [doi]

A Service-Oriented UML Profile with Formal SupportRoberto Bruni, Matthias M. HÃ¶lzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing. icsoc 2009: 455-469 [doi]

Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected PapersRoberto Bruni, Karsten Wolf, editors, Volume 5387 of Lecture Notes in Computer Science, Springer, 2009. [doi]

A Graph Syntax for Processes and ServicesRoberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente. wsfm 2010: 46-60 [doi]

Hierarchical Design Rewriting with MaudeRoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari. ENTCS, 238(3):45-62, 2009. [doi]

Ten virtues of structured graphsRoberto Bruni, Alberto Lluch-Lafuente. eceasst, 18, 2009. [doi]

2008

Tiles for ReoFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari. WADT 2009: 37-55 [doi]

Sessions and Pipelines for Structured Service ProgrammingMichele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti. fmoods 2008: 19-38 [doi]

PrefaceRoberto Bruni, Dániel Varró. ENTCS, 211:1-3, 2008. [doi]

Provably Correct Implementations of ServicesRoberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina. tgc 2009: 69-86 [doi]

Types and Deadlock Freedom in a Calculus of Services, Sessions and PipelinesRoberto Bruni, Leonardo Gaetano Mezzina. amast 2008: 100-115 [doi]

Models of Computation: A Tribute to Ugo Montanari s VisionRoberto Bruni, Vladimiro Sassone. birthday 2008: 503-509 [doi]

Parametric synchronizations in mobile nominal calculiRoberto Bruni, Ivan Lanese. TCS, 402(2-3):102-119, 2008. [doi]

Multiparty Sessions in SOCRoberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto. coordination 2008: 67-82 [doi]

Modelling Dynamic Software Architectures using Typed Graph GrammarsRoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti. ENTCS, 213(1):39-53, 2008. [doi]

Graph-Based Design and Analysis of Dynamic Software ArchitecturesRoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente. birthday 2008: 37-56 [doi]

2007

Deducing Interactions in Partially Unspecified Biological SystemsPaolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni. ab 2007: 262-276 [doi]

A semantic framework for open processesPaolo Baldan, Andrea Bracciali, Roberto Bruni. TCS, 389(3):446-483, 2007. [doi]

Prototype Platforms for Distributed AgreementsAlberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo. ENTCS, 180(2):21-40, 2007. [doi]

Service Oriented Architectural DesignRoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto. tgc 2008: 186-203 [doi]

Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected PapersUgo Montanari, Donald Sannella, Roberto Bruni, editors, Volume 4661 of Lecture Notes in Computer Science, Springer, 2007.

2006

SCC: A Service Centered CalculusMichele 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. wsfm 2006: 38-57 [doi]

A basic algebra of stateless connectorsRoberto Bruni, Ivan Lanese, Ugo Montanari. TCS, 366(1-2):98-120, 2006. [doi]

PRISMA: A Mobile Calculus with Parametric SynchronizationRoberto Bruni, Ivan Lanese. tgc 2007: 132-149 [doi]

Translating Orc Features into Petri Nets and the Join CalculusRoberto Bruni, Hernán C. Melgratti, Emilio Tuosto. wsfm 2006: 123-137 [doi]

Event Structure Semantics for Nominal CalculiRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. concur 2006: 295-309 [doi]

Non-sequential Behaviour of Dynamic NetsRoberto Bruni, Hernán C. Melgratti. apn 2006: 105-124 [doi]

Dynamic Graph Transformation SystemsRoberto Bruni, Hernán C. Melgratti. gg 2006: 230-244 [doi]

Semantic foundations for generalized rewrite theoriesRoberto Bruni, José Meseguer. TCS, 360(1-3):386-414, 2006. [doi]

Event Structure Semantics for Dynamic Graph GrammarsRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. eceasst, 2, 2006. [doi]

2005

Observational congruences for dynamically reconfigurable tile systemsRoberto Bruni, Ugo Montanari, Vladimiro Sassone. TCS, 335(2-3):331-372, 2005. [doi]

Deriving Weak Bisimulation Congruences from Reduction SystemsRoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski. concur 2005: 293-307 [doi]

Complete Axioms for Stateless ConnectorsRoberto Bruni, Ivan Lanese, Ugo Montanari. calco 2005: 98-113 [doi]

Theoretical foundations for compensations in flow composition languagesRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. POPL 2005: 209-220 [doi]

From Theory to Practice in Transactional Composition of Web ServicesRoberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto. epew 2005: 272-286 [doi]

Comparing Two Approaches to Compensable Flow CompositionRoberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari. concur 2005: 383-397 [doi]

2004

2003

Algebraic Theories for Contextual Pre-netsRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. ictcs 2003: 256-270 [doi]

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic NetsRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. ac 2004: 291-327 [doi]

Generalized Rewrite TheoriesRoberto Bruni, José Meseguer. icalp 2003: 252-266 [doi]

2002

Bisimulation by UnificationPaolo Baldan, Andrea Bracciali, Roberto Bruni. amast 2002: 254-270 [doi]

Pre-nets, Read Arcs and Unfolding: A Functorial PresentationPaolo Baldan, Roberto Bruni, Ugo Montanari. WADT 2003: 145-164 [doi]

Dynamic connectors for concurrencyRoberto Bruni, Ugo Montanari. TCS, 281(1-2):131-176, 2002. [doi]

Orchestrating Transactions in Join CalculusRoberto Bruni, Cosimo Laneve, Ugo Montanari. concur 2002: 321-337 [doi]

Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile LogicRoberto Bruni, José Meseguer, Ugo Montanari. mscs, 12(1):53-90, 2002.

Normal forms for algebras of connectionRoberto Bruni, Fabio Gadducci, Ugo Montanari. TCS, 286(2):247-292, 2002.

Tiling Transactions in Rewriting LogicRoberto Bruni, José Meseguer, Ugo Montanari. ENTCS, 71, 2002. [doi]

2001

2000

1999

Executable Tile Specifications for Process CalculiRoberto Bruni, José Meseguer, Ugo Montanari. FASE 1999: 60-76

Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-CalculusRoberto Bruni, Ugo Montanari. lics 1999: 246-265 [doi]

Functorial semantics for Petri nets under the individual token philosophyRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. TCS, 29, 1999. [doi]

1998

1997

Zero-safe nets, or transition synchronization made simpleRoberto Bruni, Ugo Montanari. ENTCS, 7, 1997. [doi]

Zero-safe nets: The individual token approachRoberto Bruni, Ugo Montanari. WADT 1997: 122-140