| 2017 | Weak Nominal Modal Logic. | Joachim Parrow, Tjark Weber, Johannes Borgstrm, Lars-Henrik Eriksson |
| 2017 | Classical Higher-Order Processes - (Short Paper). | Fabrizio Montesi |
| 2017 | Privacy Assessment Using Static Taint Analysis (Tool Paper). | Marcel von Maltitz, Cornelius Diekmann, Georg Carle |
| 2017 | Weak Simulation Quasimetric in a Gossip Scenario. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2017 | Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. | J. Paul Gibson, Souad Kherroubi, Dominique Mry |
| 2017 | An Observational Approach to Defining Linearizability on Weak Memory Models. | John Derrick, Graeme Smith |
| 2017 | Procedural Choreographic Programming. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2017 | Session-Based Concurrency, Reactively. | Mauricio Cano, Jaime Arias, Jorge A. Prez |
| 2017 | Reasoning About Distributed Secrets. | Nicols E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2017 | On Futures for Streaming Data in ABS - (Short Paper). | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
| 2017 | Proving Opacity via Linearizability: A Sound and Complete Method. | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
| 2017 | Modularising Opacity Verification for Hybrid Transactional Memory. | Alasdair Armstrong, Brijesh Dongol |
| 2017 | Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. | tienne Andr, Shang-Wei Lin |
| 2017 | Session Types for Link Failures. | Manuel Adameit, Kirstin Peters, Uwe Nestmann |
| 2017 | EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). | Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2016 | SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. | Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed |
| 2016 | Type-Based Analysis for Session Inference (Extended Abstract). | Carlo Spaccasassi, Vasileios Koutavas |
| 2016 | Multiple Mutation Testing from FSM. | Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh |
| 2016 | The Challenge of Typed Expressiveness in Concurrency. | Jorge A. Prez |
| 2016 | Ransomware Steals Your Phone. Formal Methods Rescue It. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | Enforcing Availability in Failure-Aware Communicating Systems. | Hugo A. Lpez, Flemming Nielson, Hanne Riis Nielson |
| 2016 | A Theory for the Composition of Concurrent Processes. | Ludovic Henrio, Eric Madelaine, Min Zhang |
| 2016 | A Configurable CEGAR Framework with Interpolation-Based Refinements. | kos Hajdu, Tams Tth, Andrs Vrs, Istvn Majzik |
| 2016 | Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. | Fathiyeh Faghih, Borzoo Bonakdarpour, Sbastien Tixeuil, Sandeep S. Kulkarni |
| 2016 | Branching Bisimulation Games. | David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |