| 2017 | An Observational Approach to Defining Linearizability on Weak Memory Models. John Derrick, Graeme Smith |
| 2017 | Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. J. Paul Gibson, Souad Kherroubi, Dominique Méry |
| 2017 | Classical Higher-Order Processes - (Short Paper). Fabrizio Montesi |
| 2017 | Creating Büchi Automata for Multi-valued Model Checking. Stefan J. J. Vijzelaar, Wan J. Fokkink |
| 2017 | EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2017 | Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings Ahmed Bouajjani, Alexandra Silva |
| 2017 | Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. Étienne André, Shang-Wei Lin |
| 2017 | Modularising Opacity Verification for Hybrid Transactional Memory. Alasdair Armstrong, Brijesh Dongol |
| 2017 | On Futures for Streaming Data in ABS - (Short Paper). Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
| 2017 | Privacy Assessment Using Static Taint Analysis (Tool Paper). Marcel von Maltitz, Cornelius Diekmann, Georg Carle |
| 2017 | Procedural Choreographic Programming. Luís Cruz-Filipe, Fabrizio Montesi |
| 2017 | Proving Opacity via Linearizability: A Sound and Complete Method. Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
| 2017 | Reasoning About Distributed Secrets. Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2017 | Session Types for Link Failures. Manuel Adameit, Kirstin Peters, Uwe Nestmann |
| 2017 | Session-Based Concurrency, Reactively. Mauricio Cano, Jaime Arias, Jorge A. Pérez |
| 2017 | Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
| 2017 | Weak Nominal Modal Logic. Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson |
| 2017 | Weak Simulation Quasimetric in a Gossip Scenario. Ruggero Lanotte, Massimo Merro, Simone Tini |