| 2018 | A Calculus for Modeling Floating Authorizations. Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira |
| 2018 | A Distributed Coordination Infrastructure for Attribute-Based Interaction. Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti |
| 2018 | A Modest Security Analysis of Cyber-Physical Systems: A Case Study. Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
| 2018 | Applied Choreographies. Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli |
| 2018 | Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings Christel Baier, Luís Caires |
| 2018 | Information Flow Tracking for Side-Effectful Libraries. Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld |
| 2018 | Monotonic Prefix Consistency in Distributed Systems. Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
| 2018 | On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. Kim Völlinger, Samira Akili |
| 2018 | Parameter Synthesis Algorithms for Parametric Interval Markov Chains. Laure Petrucci, Jaco van de Pol |
| 2018 | Preserving Contract Satisfiability Under Non-monotonic Composition. Jonas Westman, Mattias Nyberg |
| 2018 | Relating Process Languages for Security and Communication Correctness (Extended Abstract). Daniele Nantes, Jorge A. Pérez |