Accepted Papers


  • 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