| 2014 | Qualitative Concurrent Parity Games: Bounded Rationality. | Krishnendu Chatterjee |
| 2014 | Choreographies, Logically. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann |
| 2014 | Adding Negative Prices to Priced Timed Games. | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi |
| 2014 | Averaging in LTL. | Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel |
| 2014 | A Categorical Semantics of Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | Timed Multiparty Session Types. | Laura Bocchi, Weizhen Yang, Nobuko Yoshida |
| 2014 | Using Higher-Order Contracts to Model Session Types (Extended Abstract). | Giovanni Bernardi, Matthew Hennessy |
| 2014 | Compositional Controller Synthesis for Stochastic Games. | Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche |
| 2014 | A Semantic Deconstruction of Session Types. | Massimo Bartoletti, Alceste Scalas, Roberto Zunino |
| 2014 | Synthesis from Component Libraries with Costs. | Guy Avni, Orna Kupferman |
| 2014 | Parameterized Model Checking of Rendezvous Systems. | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
| 2014 | Controllers for the Verification of Communicating Multi-pushdown Systems. | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
| 2014 | Robust Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | Lost in Abstraction: Monotonicity in Multi-threaded Programs. | Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2013 | Reachability Probabilities of Quantum Markov Chains. | Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying |
| 2013 | The Power of Well-Structured Systems. | Sylvain Schmitz, Philippe Schnoebelen |
| 2013 | Robust Controller Synthesis in Timed Automata. | Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2013 | Reversibility and Asymmetric Conflict in Event Structures. | Iain Phillips, Irek Ulidowski |
| 2013 | A General Proof System for Modalities in Concurrent Constraint Programming. | Vivek Nigam, Carlos Olarte, Elaine Pimentel |
| 2013 | Compositional Choreographies. | Fabrizio Montesi, Nobuko Yoshida |
| 2013 | Expand, Enlarge, and Check for Branching Vector Addition Systems. | Rupak Majumdar, Zilong Wang |
| 2013 | Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. | Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao |
| 2013 | A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness. | Jrme Leroux, M. Praveen, Grgoire Sutre |
| 2013 | Causality-Based Verification of Multi-threaded Programs. | Andrey Kupriyanov, Bernd Finkbeiner |
| 2013 | Globally Governed Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida |