| 2015 | Lazy Probabilistic Model Checking without Determinisation. | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2015 | Expresiveness and Complexity Results for Strategic Reasoning. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2015 | SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. | Daniel Gebler, Simone Tini |
| 2015 | Rely/Guarantee Reasoning for Asynchronous Programs. | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | On Frequency LTL in Probabilistic Systems. | Vojtech Forejt, Jan Krcl |
| 2015 | A Modular Approach for Bchi Determinization. | Dana Fisman, Yoad Lustig |
| 2015 | Toward Automatic Verification of Quantum Cryptographic Protocols. | Yuan Feng, Mingsheng Ying |
| 2015 | Verification of Population Protocols. | Javier Esparza, Pierre Ganty, Jrme Leroux, Rupak Majumdar |
| 2015 | On Coinduction and Quantum Lambda Calculi. | Yuxin Deng, Yuan Feng, Ugo Dal Lago |
| 2015 | Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). | Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
| 2015 | On the Satisfiability of Indexed Linear Temporal Logics. | Taolue Chen, Fu Song, Zhilin Wu |
| 2015 | A Framework for Transactional Consistency Models with Atomic Visibility. | Andrea Cerone, Giovanni Bernardi, Alexey Gotsman |
| 2015 | Forward and Backward Bisimulations for Chemical Reaction Networks. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | Multiparty Session Types as Coherence Proofs. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann, Nobuko Yoshida |
| 2015 | To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege |
| 2015 | Assume-Admissible Synthesis. | Romain Brenguier, Jean-Franois Raskin, Ocan Sankur |
| 2015 | On the Value Problem in Weighted Timed Games. | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
| 2015 | Lax Bialgebras and Up-To Techniques for Weak Bisimulations. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2015 | Meeting Deadlines Together. | Laura Bocchi, Julien Lange, Nobuko Yoshida |
| 2015 | Synthesis of Bounded Choice-Free Petri Nets. | Eike Best, Raymond Devillers |
| 2015 | Distributed Local Strategies in Broadcast Networks. | Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier |
| 2015 | Partial Order Reduction for Security Protocols. | David Baelde, Stphanie Delaune, Lucca Hirschi |
| 2015 | Repairing Multi-Player Games. | Shaull Almagor, Guy Avni, Orna Kupferman |
| 2015 | An Automata-Theoretic Approach to the Verification of Distributed Algorithms. | C. Aiswarya, Benedikt Bollig, Paul Gastin |
| 2015 | Applications of Automata and Concurrency Theory in Networks (Invited Paper). | Alexandra Silva |