| 2016 | A Configurable CEGAR Framework with Interpolation-Based Refinements. Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik |
| 2016 | A Framework for Certified Self-Stabilization. Karine Altisen, Pierre Corbineau, Stéphane Devismes |
| 2016 | A Theory for the Composition of Concurrent Processes. Ludovic Henrio, Eric Madelaine, Min Zhang |
| 2016 | A Type Theory for Robust Failure Handling in Distributed Systems. Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster |
| 2016 | Branching Bisimulation Games. David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2016 | Choreographies in Practice. Luís Cruz-Filipe, Fabrizio Montesi |
| 2016 | Developing Honest Java Programs with Diogenes. Nicola Atzei, Massimo Bartoletti |
| 2016 | Enforcing Availability in Failure-Aware Communicating Systems. Hugo A. López, Flemming Nielson, Hanne Riis Nielson |
| 2016 | Fencing Programs with Self-Invalidation and Self-Downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu |
| 2016 | Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Elvira Albert, Ivan Lanese |
| 2016 | Multiparty Session Types Within a Canonical Binary Theory, and Beyond. Luís Caires, Jorge A. Pérez |
| 2016 | Multiple Mutation Testing from FSM. Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh |
| 2016 | On the Power of Attribute-Based Communication. Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2016 | Playing with Our CAT and Communication-Centric Applications. Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto |
| 2016 | Ransomware Steals Your Phone. Formal Methods Rescue It. Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed |
| 2016 | Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni |
| 2016 | The Challenge of Typed Expressiveness in Concurrency. Jorge A. Pérez |
| 2016 | Type-Based Analysis for Session Inference (Extended Abstract). Carlo Spaccasassi, Vasileios Koutavas |