| 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 | Compliance and Subtyping in Timed Session Types. Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu |
| 2015 | Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. Weifeng Wang, Li Jiao |
| 2015 | Dynamic Causality in Event Structures. Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann |
| 2015 | Extending Testing Automata to All LTL. Ala-Eddine Ben Salem |
| 2015 | Faster Linearizability Checking via P-Compositionality. Alex Horn, Daniel Kroening |
| 2015 | Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Susanne Graf, Mahesh Viswanathan |
| 2015 | Loop Freedom in AODVv2. Kedar S. Namjoshi, Richard J. Trefler |
| 2015 | On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. Alex Horn, Daniel Kroening |
| 2015 | Simple Isolation for an Actor Abstract Machine. Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani |
| 2015 | Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. Dirk Beyer, Stefan Löwe, Philipp Wendler |
| 2015 | Timely Dataflow: A Model. Martín Abadi, Michael Isard |
| 2015 | Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier |
| 2015 | Type Checking Privacy Policies in the π-calculus. Dimitrios Kouzapas, Anna Philippou |
| 2015 | Types for Deadlock-Free Higher-Order Programs. Luca Padovani, Luca Novara |