| 2018 | (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. Barbara König, Christina Mika-Michalski |
| 2018 | 29th International Conference on Concurrency Theory, CONCUR 2018, Beijing, China, September 4-7, 2018 Sven Schewe, Lijun Zhang |
| 2018 | A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves. Tomasz Brengos |
| 2018 | A Semantics for Hybrid Iteration. Sergey Goncharov, Julian Jakob, Renato Neves |
| 2018 | A Universal Session Type for Untyped Asynchronous Communication. Stephanie Balzer, Frank Pfenning, Bernardo Toninho |
| 2018 | Affine Extensions of Integer Vector Addition Systems with States. Michael Blondin, Christoph Haase, Filip Mazowiecki |
| 2018 | Alternating Nonzero Automata. Paulin Fournier, Hugo Gimbert |
| 2018 | Automated Detection of Serializability Violations Under Weak Consistency. Kartik Nagar, Suresh Jagannathan |
| 2018 | Automatic Analysis of Expected Termination Time for Population Protocols. Michael Blondin, Javier Esparza, Antonín Kucera |
| 2018 | Bisimulations for Probabilistic and Quantum Processes (Invited Paper). Yuxin Deng |
| 2018 | Bounded Context Switching for Valence Systems. Roland Meyer, Sebastian Muskalla, Georg Zetzsche |
| 2018 | Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). Ichiro Hasuo |
| 2018 | Completeness for Identity-free Kleene Lattices. Amina Doumane, Damien Pous |
| 2018 | Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. Qiyi Tang, Franck van Breugel |
| 2018 | Effective Divergence Analysis for Linear Recurrence Sequences. Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell |
| 2018 | Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2018 | GPU Schedulers: How Fair Is Fair Enough?. Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson |
| 2018 | Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). Rob van Glabbeek |
| 2018 | It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". Benedikt Bollig, Marie Fortin, Paul Gastin |
| 2018 | Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin |
| 2018 | Linear Equations with Ordered Data. Piotr Hofman, Slawomir Lasota |
| 2018 | Logics Meet 1-Clock Alternating Timed Automata. Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2018 | Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems. Ronny Tredup, Christian Rosenke |
| 2018 | Non-deterministic Weighted Automata on Random Words. Jakub Michaliszyn, Jan Otop |
| 2018 | On Runtime Enforcement via Suppressions. Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
| 2018 | Parameterized complexity of games with monotonically ordered omega-regular objectives. Véronique Bruyère, Quentin Hautem, Jean-François Raskin |
| 2018 | Progress-Preserving Refinements of CTA. Massimo Bartoletti, Laura Bocchi, Maurizio Murgia |
| 2018 | Reachability in Parameterized Systems: All Flavors of Threshold Automata. Jure Kukovec, Igor Konnov, Josef Widder |
| 2018 | Reachability in Timed Automata with Diagonal Constraints. Paul Gastin, Sayan Mukherjee, B. Srivathsan |
| 2018 | Regular Separability of Well-Structured Transition Systems. Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan |
| 2018 | Relating Syntactic and Semantic Perturbations of Hybrid Automata. Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2018 | Selective Monitoring. Radu Grigore, Stefan Kiefer |
| 2018 | Separable GPL: Decidable Model Checking with More Non-Determinism. Andrey Gorlin, C. R. Ramakrishnan |
| 2018 | Synchronizing the Asynchronous. Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
| 2018 | The Complexity of Rational Synthesis for Concurrent Games. Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard |
| 2018 | The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. Jan Kretínský, Alexej Rotar |
| 2018 | The Siren Song of Temporal Synthesis (Invited Talk). Moshe Y. Vardi |
| 2018 | Universal Safety for Timed Petri Nets is PSPACE-complete. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke |
| 2018 | Up-To Techniques for Behavioural Metrics via Fibrations. Filippo Bonchi, Barbara König, Daniela Petrisan |
| 2018 | Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König |
| 2018 | Verification of Immediate Observation Population Protocols. Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy |
| 2018 | Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2018 | Verifying Quantitative Temporal Properties of Procedural Programs. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |