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
Dirk Beyer, Michele Boreale (Eds.)
Front Matter

Invited Talk


Analyzing Interactions of Asynchronously Communicating Software Components
Tevfik Bultan
1-4

Session 1: Verification


Formal Analysis of a Distributed Algorithm for Tracking Progress
Martín Abadi, Frank Mcsherry, Derek Murray, Thomas Rodeheffer
5-19
A Case Study in Formal Verification Using Multiple Explicit Heaps
Wojciech Mostowski
20-34
Parameterized Verification of Track Topology Aggregation Protocols
Sergio Feo-Arenis, Bernd Westphal
35-49

Session 2: Types


Monitoring Networks through Multiparty Session Types
Laura Bocchi, Tzu-Chun Chen , Romain Demangeon, Nobuko Yoshida, Kohei Honda
50-65
Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla, Daniele Varacca
66-82
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
Viviana Bono, Luca Padovani, Andrea Tosatto
83-98

Session 3: Testing


Passive Testing with Asynchronous Communications
Robert Hierons, Mercedes Merayo, Manuel Núñez
99-113
Input-Output Conformance Simulation (iocos) for Model Based Testing
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
114-129

Session 4: DisCoTec Joint Session


Model Checking Distributed Systems against Temporal-Epistemic Specifications
Andreas Griesmayer, Alessio Lomuscio
130-145

Session 5: Model Checking


Formal Verification of Distributed Branching Multiway Synchronization Protocols
Hugues Evrard, Frédéric Lang
146-160
An Abstract Framework for Deadlock Prevention in BIP
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
161-177
Bounded Model Checking of Graph Transformation Systems via SMT Solving
Tobias Isenberg, Dominik Steenken, Heike Wehrheim
178-192

Session 6: Automata


Verification of Directed Acyclic Ad Hoc Networks
Parosh Abdulla, Mohamed Atig, Othmane Rezine
193-208
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels
Rajeev Alur, Jay Thakkar, Aditya Kanade
209-224
Asynchronously Communicating Visibly Pushdown Systems
Domagoj Babić, Zvonimir Rakamarić
225-241

Session 7: Distribution and Concurrency


A Timed Component Algebra for Services
Benoît Delahaye, José Fiadeiro, Axel Legay, Antónia Lopes
242-257
Probabilistic Analysis of the Quality Calculus
Hanne Nielson, Flemming Nielson
258-272
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects
Antonio Flores-Montoya, Elvira Albert, Samir Genaim
273-288

Session 8: Security


Lintent: Towards Security Type-Checking of Android Applications
Michele Bugliesi, Stefano Calzavara, Alvise Spanò
289-304
Honesty by Typing
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
305-320

 

 


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