Table of Contents
|
Formal Techniques for Distributed Systems
Roberto Bruni, Juergen Dingel |
Front Matter |
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 Nicola |
29-43 |
A Model-Checking Tool for Families of Services
Patrizia Asirelli, Maurice Ter Beek, Alessandro Fantechi, Stefania Gnesi |
44-58 |
Partial Order Methods for Statistical Model Checking and Simulation
Jonathan Bogdoll, Luis 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 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 Boiten |
121-137 |
Galois Connections for Flow Algebras
Piotr Filipiuk, Michał Terepeta, Hanne 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 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, Frank Piessens, Jan Smans |
319-333 |
Analyzing BGP Instances in Maude
Anduo Wang, Carolyn Talcott, Limin Jia, Boon Loo, Andre Scedrov |
334-348 |
Hosted by HAL : 