| 2022 | Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions. | James C. A. Main, Mickael Randour |
| 2022 | On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. | Ugo Dal Lago, Giulia Giusti |
| 2022 | Energy Games with Resource-Bounded Environments. | Orna Kupferman, Naama Shamash Halevy |
| 2022 | Strategies for MDP Bisimilarity Equivalence and Inequivalence. | Stefan Kiefer, Qiyi Tang |
| 2022 | Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. | Victor Khomenko, Maciej Koutny, Alex Yakovlev |
| 2022 | Checking Timed Bchi Automata Emptiness Using the Local-Time Semantics. | Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2022 | History-Deterministic Timed Automata. | Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke |
| 2022 | Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. | Kush Grover, Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger |
| 2022 | Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk). | Philippa Gardner |
| 2022 | Sequential Decision Making With Information Asymmetry (Invited Talk). | Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla |
| 2022 | Two-Player Boundedness Counter Games. | Emmanuel Filiot, Edwin Hamel-De le Court |
| 2022 | Towards Concurrent Quantitative Separation Logic. | Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll |
| 2022 | A Kleene Theorem for Higher-Dimensional Automata. | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
| 2022 | Regular Model Checking Upside-Down: An Invariant-Based Approach. | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
| 2022 | Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. | Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2022 | On the Sequential Probability Ratio Test in Hidden Markov Models. | Oscar Darwin, Stefan Kiefer |
| 2022 | Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable. | Wojciech Czerwinski, Piotr Hofman |
| 2022 | Involved VASS Zoo (Invited Talk). | Wojciech Czerwinski |
| 2022 | An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. | Luca Ciccone, Luca Padovani |
| 2022 | CONCUR Test-Of-Time Award 2022 (Invited Paper). | Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi |
| 2022 | Pareto-Rational Verification. | Vronique Bruyre, Jean-Franois Raskin, Clment Tamines |
| 2022 | Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. | Laura Bozzelli, Adriano Peron, Csar Snchez |
| 2022 | On an Invariance Problem for Parameterized Concurrent Systems. | Marius Bozga, Lucas Bueri, Radu Iosif |
| 2022 | Half-Positional Objectives Recognized by Deterministic Bchi Automata. | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | Non-Deterministic Abstract Machines. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Alan Schmitt |