| 2018 | Progress-Preserving Refinements of CTA. | Massimo Bartoletti, Laura Bocchi, Maurizio Murgia |
| 2018 | A Universal Session Type for Untyped Asynchronous Communication. | Stephanie Balzer, Frank Pfenning, Bernardo Toninho |
| 2018 | Verifying Quantitative Temporal Properties of Procedural Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2018 | Effective Divergence Analysis for Linear Recurrence Sequences. | Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Jol Ouaknine, James Worrell |
| 2018 | On Runtime Enforcement via Suppressions. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2018 | Universal Safety for Timed Petri Nets is PSPACE-complete. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke |
| 2018 | A Semantics for Hybrid Iteration. | Sergey Goncharov, Julian Jakob, Renato Neves |
| 2017 | Probabilistic Programming (Invited Talk). | Hongseok Yang |
| 2017 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2017 | Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. | Qiyi Tang, Franck van Breugel |
| 2017 | k-Bounded Petri Net Synthesis from Modal Transition Systems. | Uli Schlachter, Harro Wimmel |
| 2017 | Higher-Order Linearisability. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2017 | Flow Logic. | Orna Kupferman, Gal Vardi |
| 2017 | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | Tobias Kapp, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |
| 2017 | Two Lower Bounds for BPA. | Mingzhang Huang, Qiang Yin |
| 2017 | On the Power of Name-Passing Communication. | Yuxi Fu |
| 2017 | Consistently-Detecting Monitors. | Adrian Francalanza |
| 2017 | Divide and Congruence III: Stability & Divergence. | Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik |
| 2017 | Probabilistic Automata of Bounded Ambiguity. | Nathanal Fijalkow, Cristian Riveros, James Worrell |
| 2017 | Model Checking Omega-regular Properties for Quantum Markov Chains . | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying |
| 2017 | A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk). | Azadeh Farzan, Zachary Kincaid |
| 2017 | Divergence and Unique Solution of Equations. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2017 | Efficient Coalgebraic Partition Refinement. | Ulrich Dorsch, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2017 | Forward Progress on GPU Concurrency (Invited Talk). | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson |
| 2017 | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |