On Global Types and Multi-party Sessions.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

 1-28

Linear-Time and May-Testing in a Probabilistic Reactive Setting.

Lucia Acciai, Michele Boreale, Rocco De Nicola

 29-43

A Model-Checking Tool for Families of Services.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi

 44-58

Partial Order Methods for Statistical Model Checking and Simulation.

Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns

 59-74

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.

Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám

 75-89

Adaptable Processes (Extended Abstract).

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

 90-105

A Framework for Verifying Data-Centric Protocols.

Yuxin Deng, Stéphane Grumbach, Jean-François Monin

 106-120

Relational Concurrent Refinement: Timed Refinement.

John Derrick, Eerke A. Boiten

 121-137

Galois Connections for Flow Algebras.

Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson

 138-152

An Accurate Type System for Information Flow in Presence of Arrays.

Séverine Fratani, Jean-Marc Talbot

 153-167

Analysis of Deadlocks in Object Groups.

Elena Giachino, Cosimo Laneve

 168-182

Monitoring Distributed Systems Using Knowledge.

Susanne Graf, Doron Peled, Sophie Quinton

 183-197

Global State Estimates for Distributed Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

 198-212

A Process Calculus for Dynamic Networks.

Dimitrios Kouzapas, Anna Philippou

 213-227

On Asynchronous Session Semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda

 228-243

Towards Verification of the Pastry Protocol Using TLA + .

Tianxiang Lu, Stephan Merz, Christoph Weidenbach

 244-258

Dynamic Soundness in Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

 259-273

SimGrid MC: Verification Support for a Multi-API Simulation Platform.

Stephan Merz, Martin Quinson, Cristian Daniel Rosa

 274-288

Ownership Types for the Join Calculus.

Marco Patrignani, Dave Clarke, Davide Sangiorgi

 289-303

Contracts for Multi-instance UML Activities.

Vidar Slåtten, Peter Herrmann

 304-318

Annotation Inference for Separation Logic Based Verifiers.

Frédéric Vogels, Bart Jacobs 0002, Frank Piessens, Jan Smans

 319-333

Analyzing BGP Instances in Maude.

Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov

 334-348