Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/