Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Roberto
    Last name: Bruni
    DBLP: 30/1750
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 122  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari.
    Constraint design rewriting.
    Sci. Comput. Program. 2015, Volume 97 (0) 2015
    Journal article
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Modelling and analyzing adaptive self-assembly strategies with Maude.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Journal article
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    Revisiting causality, coalgebraically.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
    CaSPiS: a calculus of sessions, pipelines and services.
    Mathematical Structures in Computer Science 2015, Volume 25 (0) 2015
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    cJoin: Join with communicating transactions.
    Mathematical Structures in Computer Science 2015, Volume 25 (0) 2015
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    A White Box Perspective on Behavioural Adaptation.
    Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering 2015 (0) 2015
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Awareness and Control in Adaptable Transition Systems.
    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th Internationa 2015 (0) 2015
    Conference paper
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    A coalgebraic semantics for causality in Petri nets.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    A Normal Form for Stateful Connectors.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Book chapter
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    Reconfigurable and Software-Defined Networks of Connectors and Components.
    Software Engineering for Collective Autonomic Systems - The ASCENS Approach 2015, Volume 8998 (0) 2015
    Book chapter
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing.
    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
    Software Engineering for Collective Autonomic Systems - The ASCENS Approach 2015, Volume 8998 (0) 2015
    Conference paper
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    Causal Trees, Finally.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    A coalgebraic semantics for causality in Petri nets.
    J. Log. Algebr. Meth. Program. 2015, Volume 84 (0) 2015
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Behaviour, Interaction and Dynamics.
    Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi 2014 (0) 2014
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    From Hierarchical BIP to Petri Calculus.
    From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings 2014 (0) 2014
    Journal article
    Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi.
    A Flat Process Calculus for Nested Membrane Interactions.
    Sci. Ann. Comp. Sci. 2014, Volume 24 (0) 2014
    Conference paper
    Liang Zhao, Roberto Bruni, Zhiming Liu 0001.
    A sound and complete theory of graph transformations for service programming with sessions and pipelines.
    Sci. Comput. Program. 2014, Volume 94 (0) 2014
    Journal article
    Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni.
    On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.
    Fundam. Inform. 2014, Volume 134 (0) 2014
    Journal article
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Adaptation is a Game.
    TinyToCS 2013, Volume 2 (0) 2013
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski.
    Connector algebras for C/E and P/T nets' interactions.
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    A Conceptual Framework for Adaptation.
    Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Roberto Bruni, Carla Ferreira, Anne Kersten Kauer.
    First-Order Dynamic Logic for Compensable Processes.
    Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings 2012 (0) 2012
    Journal article
    Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva.
    Towards Interaction Reliability in Concurrent Applications.
    Sci. Ann. Comp. Sci. 2012, Volume 22 (0) 2012
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.
    Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012 (0) 2012
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Adaptable Transition Systems.
    Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013 (0) 2012
    Show item 1 to 25 of 122  

    Your query returned 122 matches in the database.