| 2015 | A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. Damiano Mazza, Luc Pellissier |
| 2015 | A Game of Attribute Decomposition for Software Architecture Design. Jiamou Liu, Ziheng Wei |
| 2015 | A Graphical Theorem of the Alternative for UTVPI Constraints. K. Subramani, Piotr Wojciechowski |
| 2015 | A Mathematical Game Semantics of Concurrency and Nondeterminism. Julian Gutierrez |
| 2015 | A Note on Monitors and Büchi Automata. Volker Diekert, Anca Muscholl, Igor Walukiewicz |
| 2015 | A Resource Aware Computational Interpretation for Herbelin's Syntax. Delia Kesner, Daniel Ventura |
| 2015 | A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers |
| 2015 | A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge |
| 2015 | A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari |
| 2015 | An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. Jean-Raymond Abrial |
| 2015 | Aspect-Oriented Development of Trustworthy Component-based Systems. José Dihego, Augusto Sampaio |
| 2015 | Asynchronous Announcements in a Public Channel. Sophia Knight, Bastien Maubert, François Schwarzentruber |
| 2015 | CAAL: Concurrency Workbench, Aalborg Edition. Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann |
| 2015 | CSP and Kripke Structures. Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock |
| 2015 | Converging from Branching to Linear Metrics on Markov Chains. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2015 | Deterministic Regular Expressions with Interleaving. Feifei Peng, Haiming Chen, Xiaoying Mou |
| 2015 | Enforcement of (Timed) Properties with Uncontrollable Events. Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand |
| 2015 | Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2015 | First Steps Towards Cumulative Inductive Types in CIC. Amin Timany, Bart Jacobs |
| 2015 | Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). César A. Muñoz |
| 2015 | Higher-Order Dynamics in Event Structures. David S. Karcher, Uwe Nestmann |
| 2015 | Inverse Monoids of Higher-Dimensional Strings. David Janin |
| 2015 | Learning Register Automata with Fresh Value Generation. Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
| 2015 | Location Privacy via Geo-Indistinguishability. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati |
| 2015 | MSO Logic and the Partial Order Semantics of Place/Transition-Nets. Mateus de Oliveira Oliveira |
| 2015 | Modeling Product Lines with Kripke Structures and Modal Logic. Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
| 2015 | Multi-rate System Design Through Integrating Synchronous Components. Ke Sun |
| 2015 | Newton Series, Coinductively. Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten |
| 2015 | On Probabilistic Distributed Strategies. Glynn Winskel |
| 2015 | Quotienting the Delay Monad by Weak Bisimilarity. James Chapman, Tarmo Uustalu, Niccolò Veltri |
| 2015 | Quotients of Unbounded Parallelism. Nils Erik Flick |
| 2015 | Rigid Families for CCS and the π-calculus. Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca |
| 2015 | Specifying and Analyzing the Kademlia Protocol in Maude. Isabel Pita, Adrián Riesco |
| 2015 | The Proof Technique of Unique Solutions of Contractions. Davide Sangiorgi |
| 2015 | Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings Martin Leucker, Camilo Rueda, Frank D. Valencia |
| 2015 | Undecidability Results for Multi-Lane Spatial Logic. Heinrich Ody |
| 2015 | Verifying Android's Permission Model. Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano |