| 2016 | On the Complexity of Heterogeneous Multidimensional Games. | Vronique Bruyre, Quentin Hautem, Jean-Franois Raskin |
| 2016 | Optimal Assumptions for Synthesis. | Romain Brenguier |
| 2016 | A Uniform Framework for Timed Automata. | Tomasz Brengos, Marco Peressotti |
| 2016 | Stability in Graphs and Games. | Toms Brzdil, Vojtech Forejt, Antonn Kucera, Petr Novotn |
| 2016 | Decentralized Asynchronous Crash-Resilient Runtime Verification. | Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers |
| 2016 | Complete Axiomatization for the Bisimilarity Distance on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2016 | Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. | Shaull Almagor, Orna Kupferman, Yaron Velner |
| 2016 | Analyzing Timed Systems Using Tree Automata. | S. Akshay, Paul Gastin, Shankara Narayanan Krishna |
| 2016 | The Benefits of Duality in Verifying Concurrent Programs under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2016 | Robustness against Consistency Models with Atomic Visibility. | Giovanni Bernardi, Alexey Gotsman |
| 2016 | Diagnosis in Infinite-State Probabilistic Systems. | Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |
| 2015 | Front Matter, Table of Contents, Preface, Committees, External Reviewers. | |
| 2015 | Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). | James Worrell |
| 2015 | Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. | Salvatore La Torre, Anca Muscholl, Igor Walukiewicz |
| 2015 | Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
| 2015 | On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. | Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
| 2015 | Unfolding-based Partial Order Reduction. | Csar Rodrguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening |
| 2015 | Modal Logics for Nominal Transition Systems. | Joachim Parrow, Johannes Borgstrm, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
| 2015 | Howe's Method for Contextual Semantics. | Sergue Lenglet, Alan Schmitt |
| 2015 | Polynomial Time Decidability of Weighted Synchronization under Partial Observability. | Jan Kretnsk, Kim Guldstrand Larsen, Simon Laursen, Jir Srba |
| 2015 | Characteristic Bisimulation for Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2015 | Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). | Narges Khakpour, Mohammad Reza Mousavi |
| 2015 | Reactive Synthesis Without Regret. | Paul Hunter, Guillermo A. Prez, Jean-Franois Raskin |
| 2015 | Behavioural Equivalences for Co-operating Transactions (Invited Paper). | Matthew Hennessy |
| 2015 | On the Succinctness of Idioms for Concurrent Programming. | David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |