FMOODS FORTE/Papers


From Discotec09
Jump to: navigation, search

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

ACCEPTED PAPERS

IFIP international conference on Formal Techniques for Distributed Systems
as joint international conference of FMOODS/FORTE
(11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems)

Lisbon, Portugal, 9-11 June, 2009

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

Personal tools