| 2019 | Energy Mean-Payoff Games. | Vronique Bruyre, Quentin Hautem, Mickael Randour, Jean-Franois Raskin |
| 2019 | Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour |
| 2019 | The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Aline Goeminne, Jean-Franois Raskin, Marie van den Bogaard |
| 2019 | A Sound Algorithm for Asynchronous Session Subtyping. | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2019 | Partial Order Reduction for Reachability Games. | Frederik M. Bnneland, Peter Gjl Jensen, Kim G. Larsen, Marco Muiz, Jir Srba |
| 2019 | Bialgebraic Semantics for String Diagrams. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | Good for Games Automata: From Nondeterminism to Alternation. | Udi Boker, Karoliina Lehtinen |
| 2019 | Expressive Power of Broadcast Consensus Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax |
| 2019 | Translating Asynchronous Games for Distributed Synthesis. | Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch |
| 2019 | Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. | Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder |
| 2019 | Reconfiguration and Message Losses in Parameterized Broadcast Networks. | Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar |
| 2019 | Robustness Against Transactional Causal Consistency. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2019 | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2019 | Determinacy in Discrete-Bidding Infinite-Duration Games. | Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2018 | The Siren Song of Temporal Synthesis (Invited Talk). | Moshe Y. Vardi |
| 2018 | Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems. | Ronny Tredup, Christian Rosenke |
| 2018 | Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. | Qiyi Tang, Franck van Breugel |
| 2018 | GPU Schedulers: How Fair Is Fair Enough?. | Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson |
| 2018 | Relating Syntactic and Semantic Perturbations of Hybrid Automata. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2018 | Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). | Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2018 | Automated Detection of Serializability Violations Under Weak Consistency. | Kartik Nagar, Suresh Jagannathan |
| 2018 | Non-deterministic Weighted Automata on Random Words. | Jakub Michaliszyn, Jan Otop |
| 2018 | Bounded Context Switching for Valence Systems. | Roland Meyer, Sebastian Muskalla, Georg Zetzsche |
| 2018 | Reachability in Parameterized Systems: All Flavors of Threshold Automata. | Jure Kukovec, Igor Konnov, Josef Widder |