Accepted Papers

COORDINATION 2018

• Giorgio Audrito, Jacob Beal, Ferruccio Damiani and Mirko Viroli
  Space-Time Universality of Field Calculus


• Mario Bravetti and Gianluigi Zavattaro
  Foundations of Coordination and Contracts and their Contribution to Session Type Theory


• Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini and Franco Zambonelli
  Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives


• Denis Darquennes, Jean-Marie Jacquet and Isabelle Linden
  On Multiplicities in Tuple-based Coordination Languages : the Bach Family of Languages and its Expressivenss Study


• Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese and Francesco Tiezzi
  A Formal Approach to the Engineering of Domain-Specific Distributed Systems


• Kasper Dokter and Farhad Arbab
  Rule-Based Form for Stream Constraints


• Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo
  Forward to a Promising Future


• Linas Kaminskas and Alberto Lluch Lafuente
  Aggregation policies for tuple spaces


• Eva Kuhn, Sophie Therese Radschek and Nahla Elaraby
  Distributed Coordination Runtime Assertions for the Peer Model


• Pierre Leca, Ludovic Henrio, Ga ́etan Hains and Wijnand Suijlen
  Active objects for coordinating BSP computations


• Pierre Sutra, Patrick Marlier, Valerio Schiavoni and François Trahay
  Boosting Transactional Memory with Stricter Serializability


• Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei and Danilo Pianini
  From Field-Based Coordination to Aggregate Computing

DAIS 2018

• Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto
  Reversible Choreographies via Monitoring in Erlang


• Barbara Guidi, Andrea Michienzi and Laura Ricci
  SONIC-MAN: A distributed protocol for dynamic community detection and management


• Christian Berger and Hans P. Reiser
  WebBFT: Byzantine fault tolerance for resilient interactive web applications


• Christopher Eibel, Christian Gulden, Wolfgang Schröder-Preikschat and Tobias Distler
  Strome: Energy-Aware Data-Stream Processing


• Fahimeh Rahemi, Ehsan Khamespanah and Ramtin Khosravi
  Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique


• Francisco Javier Velazquez-García, Frank Eliassen, Pål Halvorsen and Håkon Kvale Stensland
  Autonomic adaptation of multimedia presentations adhering to application mobility


• Henner Heck, Olga Kieselmann, Arno Wacker and Nils Kopal
  A Decentralized Resilient Short-term Cache for Messaging


• João Rodrigues, Eduardo R. B. Marques, Joaquim Silva, Luis Lopes and Fernando Silva
  Video Dissemination in Untethered Edge-Clouds: a Case Study


• José Enes, Nuno Machado, Francisco Maia and Miguel Matos
  Totally Ordered Replication for Massive Scale Key-Value Stores


• Raad Bin Tareaf
  Malicious Behavior Identification in Online Social Networks (work in progress)


• Sophie Cerf, Sonia Ben Mokhtar, Sara Bouchenak, Nicolas Marchand and Bogdan Robu
  Dynamic Modeling of Location Privacy Protection Mechanisms


• Tetiana Yarygina and Christian Otterstad
  A Game of Microservices: Automated Intrusion Response (work in progress)



FORTE 2018

• Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi and Michele Loreti
  A Distributed Coordination Infrastructure for Attribute-based Interaction


• Saverio Giallorenzo, Fabrizio Montesi and Maurizio Gabbrielli
  Applied Choreographies


• Alain Girault, Gregor Goessler, Rachid Guerraoui, Jad Hamza and Dragos-Adrian Seredinschi
  Monotonic Prefix Consistency in Distributed Systems


• Ruggero Lanotte, Massimo Merro and Andrei Munteanu
  A Modest Security Analysis of Cyber-Physical Systems: A Case Study


• Daniele Nantes-Sobrinho and Jorge A. Pérez
  Relating Process Languages for Security and Communication Correctness (Extended Abstract)


• Jovanka Pantovic, Ivan Prokić and Hugo Torres Vieira
  A Calculus for Modeling Floating Authorizations


• Laure Petrucci and Jaco van de Pol
  Parameter Synthesis Algorithms for Parametric Interval Markov Chains


• Alexander Sjösten, Daniel Hedin and Andrei Sabelfeld
  Information Flow Tracking for Side-effectful Libraries


• Kim Vollinger and Samira Akili
  On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency


• Jonas Westman and Mattias Nyberg
  Preserving Contract Satisfiability under Non-Monotonic Composition

ICE 2018

• Eduard Kamburjan and Reiner Hähnle
  Prototyping Formal System Models with Active Objects


• Roberto Guanciale and Emilio Tuosto
  Realizability of pomsets via communicating automata


• Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto
  Experiments in Choreographed Reversibility of Erlang (oral communication)


• Alexandre Mansard
  Unfolding of finite concurrent automata


• Maurizio Murgia
  On urgency in asynchronous timed session types


• Franco Barbanera, Ugo De' Liguoro and Rolf Hennicker
  Global Types for Open Systems


• G. Michele Pinna and Eric Fabre
  Toward a uniform approach to the unfolding of nets


• Claudio Antares Mezzina
  RCADE: Reversible CAusally-consistent DEbugger (oral communication)


• Emilio Tuosto
  BehAPI: Behavioural types for the API economy (oral communication)


• Mauricio Cano, Jaime Arias and Jorge A. Pérez.
  Refined Encodings of Sessions in ReactiveML (oral communication)