S. Feo-arenis, B. Westphal, and .. , Types Monitoring Networks through Multiparty Session Types, p.50

O. Dardha and D. Gorla, and Daniele Varacca Polymorphic Types for Leak Detection in a Session-Oriented Functional

R. M. Hierons and G. Mercedes, Merayo, and Manuel Núñez Input-Output Conformance Simulation (iocos) for Model Based Testing, p.114

C. Gregorio-rodríguez, L. Llana, R. Martínez-torres, and X. , Table of Contents Session 4: DisCoTec Joint Session Model Checking Distributed Systems against Temporal-Epistemic Specifications 130 Andreas Griesmayer and Alessio Lomuscio Session 5: Model Checking Formal Verification of Distributed Branching Multiway Synchronization Protocols, 146 Hugues Evrard and Frédéric Lang

B. In, An Abstract Framework for Deadlock Prevention, p.161

C. Paul, S. Attie, M. Bensalem, M. Bozga, J. Jaber et al., Zaraket Bounded Model Checking of Graph Transformation Systems via, p.178

T. Isenberg, D. Steenken, H. Wehrheim, and .. , Automata Verification of Directed Acyclic Ad Hoc Networks

P. Aziz-abdulla and .. , Mohamed Faouzi Atig, and Othmane Rezine Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels, p.209

D. Babi´cbabi´c and Z. , Rakamari´cRakamari´c Session 7: Distribution and Concurrency A Timed Component Algebra for Services, p.242

J. Beno??tbeno??t-delahaye and .. Luiz-fiadeiro, Axel Legay, and Antónia Lopes Probabilistic Analysis of the Quality Calculus, p.258

E. Antonio, E. Flores-montoya, S. Albert, and . Genaim, Security Lintent: Towards Security Type-Checking of Android Applications, p.289