| 2013 | A Timed Component Algebra for Services. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2013 | Semantic Subtyping for Objects and Classes. | Ornela Dardha, Daniele Gorla, Daniele Varacca |
| 2013 | Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper). | Tevfik Bultan |
| 2013 | Lintent: Towards Security Type-Checking of Android Applications. | Michele Bugliesi, Stefano Calzavara, Alvise Span |
| 2013 | Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. | Viviana Bono, Luca Padovani, Andrea Tosatto |
| 2013 | Monitoring Networks through Multiparty Session Types. | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida |
| 2013 | Honesty by Typing. | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino |
| 2013 | Asynchronously Communicating Visibly Pushdown Systems. | Domagoj Babic, Zvonimir Rakamaric |
| 2013 | An Abstract Framework for Deadlock Prevention in BIP. | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket |
| 2013 | Parameterized Verification of Track Topology Aggregation Protocols. | Sergio Feo-Arenis, Bernd Westphal |
| 2013 | Verification of Directed Acyclic Ad Hoc Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine |
| 2013 | Formal Analysis of a Distributed Algorithm for Tracking Progress. | Martn Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer |
| 2012 | TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha |
| 2012 | Defining Distances for All Process Semantics. | David Romero-Hernndez, David de Frutos-Escrig |
| 2012 | Conformance Testing of Boolean Programs with Multiple Faults. | Pavithra Prabhakar, Mahesh Viswanathan |
| 2012 | Noninterference via Symbolic Execution. | Dimiter Milushev, Wim Beck, Dave Clarke |
| 2012 | A Reversible Abstract Machine and Its Space Overhead. | Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. | Kais Klai, Jrg Desel |
| 2012 | Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. | Roland Kindermann, Tommi A. Junttila, Ilkka Niemel |
| 2012 | A Small Model Theorem for Rectangular Hybrid Automata Networks. | Taylor T. Johnson, Sayan Mitra |
| 2012 | Verification of Timed Erlang Programs Using McErlang. | Clara Benac Earle, Lars-ke Fredlund |
| 2012 | Verification of Ad Hoc Networks with Node and Communication Failures. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2012 | Synchronous Interface Theories and Time Triggered Scheduling. | Benot Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
| 2012 | Modelling Probabilistic Wireless Networks - (Extended Abstract). | Andrea Cerone, Matthew Hennessy |
| 2012 | Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. | Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis |