Distributed Computing Techniques 2009
9-12 June, 2009
Lisbon, Portugal
http://discotec09.di.fc.ul.pt

ACCEPTED PAPERS

Full papers

Entries are sorted by surname of first author.

• Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine :

Approximated Context-sensitive Analysis for Parameterized Verification

• Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini :

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions

• Hanifa Boucheneb and Abdessamad Imine :

On Model-Checking Optimistic Replication Algorithms

• Rohit Chadha, Stephanie Delaune and Steve Kremer :

Epistemic Logic for the Applied Pi Calculus

• Gabriel Ciobanu and Calin Juravle :

Software Framework for Mobility and Timed Interaction

• Naghmeh Ghafari, Arie Gurfinkel and Richard Trefler :

Verification of Parameterized Systems with Combinations of Abstract Domains

• Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina and Nina Yevtushenko :

Distinguing non-deterministic Timed Finite State Machines

• Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe :

System Model-based Definition of Modeling Language Semantics

• Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere :

Modeling, validation, and test generation of PCEP using formal method

• Morten Kühnrich and Uwe Nestmann :

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

• Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt and Jean-Bernard Stefani :

Typing Component-Based Communication

• Lin Liu and Jonathan Billington :

Recursive Parametric Automata and ε-Removal

Short papers

Entries are sorted by surname of first author.

• João Abreu, Franco Mazzanti, José Luiz Fiadeiro and Stefania Gnesi :

A Model-Checking Approach for Service Component Architectures

• Gregor Bochmann :

Using First-Order Logic to Reason about Submodule Construction

• Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu and Shengqiong Wang :

Conformance Testing of Network Simulators based on Metamorphic Testing Technique

• Gregorio Díaz and Ismael Rodriguez :

Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach

• Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte :

Dynamic Symbolic Execution of Distributed Concurrent Objects

• Arend Rensink and Eduardo Zambon :

A Type Graph Model for Java Programs