Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/