| 2016 | Choreographies in Practice. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2016 | A Type Theory for Robust Failure Handling in Distributed Systems. | Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster |
| 2016 | Multiparty Session Types Within a Canonical Binary Theory, and Beyond. | Lus Caires, Jorge A. Prez |
| 2016 | Playing with Our CAT and Communication-Centric Applications. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto |
| 2016 | Developing Honest Java Programs with Diogenes. | Nicola Atzei, Massimo Bartoletti |
| 2016 | A Framework for Certified Self-Stabilization. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2016 | On the Power of Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2016 | Fencing Programs with Self-Invalidation and Self-Downgrade. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu |
| 2015 | Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. | Weifeng Wang, Li Jiao |
| 2015 | Extending Testing Automata to All LTL. | Ala-Eddine Ben Salem |
| 2015 | Types for Deadlock-Free Higher-Order Programs. | Luca Padovani, Luca Novara |
| 2015 | Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier |
| 2015 | Loop Freedom in AODVv2. | Kedar S. Namjoshi, Richard J. Trefler |
| 2015 | Type Checking Privacy Policies in the π-calculus. | Dimitrios Kouzapas, Anna Philippou |
| 2015 | Faster Linearizability Checking via P-Compositionality. | Alex Horn, Daniel Kroening |
| 2015 | On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. | Alex Horn, Daniel Kroening |
| 2015 | A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. | Ritwika Ghosh, Sayan Mitra |
| 2015 | Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. | Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal |
| 2015 | Simple Isolation for an Actor Abstract Machine. | Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani |
| 2015 | Compliance and Subtyping in Timed Session Types. | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu |
| 2015 | Dynamic Causality in Event Structures. | Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann |
| 2015 | Timely Dataflow: A Model. | Martn Abadi, Michael Isard |
| 2015 | Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. | Dirk Beyer, Stefan Lwe, Philipp Wendler |
| 2014 | Formal Specification and Verification of CRDTs. | Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2014 | Metrics for Differential Privacy in Concurrent Systems. | Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin |