Programme
Tuesday
Invited Talk
Coordination - Hop, a Fast Server for the Diffuse Web (invited talk)
Manuel Serrano
Session 1 (
10:30
‐12:30
)
FMOODS: Analysis Techniques
- Recursive
Parametric
Automata
and
ε‐Removal
- Approximated
Context‐sensitive
Analysis
for
Parameterized
Verification
- Verification
of
Parameterized
Systems
with
Combinations
of
Abstract
Domains
- Distinguishing
Non‐deterministic
Timed
Finite
State
Machines
DAIS: Peer-to-Peer and Adhoc Networks
- D-Praxis : A peer-to-peer collaborative model edition framework (Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais)
- A Reflective Middleware to Support Peer-to-Peer Overlay Adaptation (Gareth Tyson, Paul Grace, Andreas Mauthe, Gordon Blair, Sebastian Kaune)
- WiSeKit: A Distributed Middleware to Support Application-level Adaptation in Sensor Network (Amirhosein Taherkordi, Quan Le-Trung, Romain Rouvoy, Frank Eliassen)
- Automated Assessment of Aggregate Query Imprecision in Dynamic Environments (Vasanth Rajamani, Christine Julien, Jamie Payton)
Session 2 (14:00-15:30)
FMOODS:
Process
Algebra
and
Calculus
- Epistemic
Logic
for
the
Applied
Pi
Calculus
- On
Process‐Algebraic
Proof
Methods
for
Fault
Tolerant
Distributed
Systems
- A
Software
Platform
for
Timed
Mobility
and
Timed
Interaction
DAIS: Dependability
- Fault-Tolerant Aggregation by Flow Updating (Paulo Jesus, Carlos Baquero, Paulo Sergio Almeida)
- Foraging for better deployment of replicated service components (Mate J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann)
- A Generic Group Communication Approach for Hybrid Distributed Systems (Raimundo Macedo, Allan Freitas)
Tutorial (16:00-17:30)
- Static Security Analysis of Service-Oriented Systems (Flemming Nielson)
Wednesday
Invited Talk (9:00-10:00)
(FMOODS)
Joint Session (10:30-12:30)
- FMOODS: Typing
Component‐Based
Communication
- DAIS: Exploiting Synergies Between Coexisting Overlays (Shen Lin, François Taiani, Gordon Blair)
- Coordination: Automata for Context-dependent Connectors (Marcello Bonsangue, Dave Clarke, Alexandra Silva)
Tutorial (14:00-15:30)
- Types for Alias Control and Verification (Sophia Drossopoulou)
Tutorial (16:00-17:30)
- A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro)
Thursday
Invited Talk (9:00-10:00)
(DAIS)
Session 3 (10:30-12:30)
FMOODS: Objects, Components, Services
- System
Model‐based
Definition
of
Modeling
Language
Semantics
- Keep
It
Small,
Keep
It
Real:
Efficient
Run‐Time
Verification
of
Web
Service
Compositions
- (S)
A
Type
Graph
Model
for
Java
Programs
- (S)
Dynamic
Symbolic
Execution
of
Distributed
Concurrent
Objects
- (S)
A
Model‐Checking
Approach
for
Service
Component
Architectures
- (S)
Checking
the
conformance
of
orchestrations
with
respect
to
choreographies
in
web
services:
A
formal
approach
DAIS: Infrastructure and Services
- A Flexible Approach for Business Processes Monitoring (Diana Comes, Steffen Bleul, Thomas Weise, Kurt Geihs)
- Distributed Contracting and Monitoring in the Internet of Services (Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso, Alexander Schill)
- Dependency Management in Smart Homes (Daniel Retkowitz, Sven Kulle)
- SoundPark: Towards Highly Collaborative Game Support in an Ubiquitous Computing Architecture (Romain Pellerin, Nicolas Bouillot, Tatiana Pietkiewicz, Mike Wozniewski, Zack Settel, Eric Gressier-Soudan, Jeremy R. Cooperstock)
Session 4 (14:00-15:30)
FMOODS: Verification and Testing
- On
Model‐Checking
Optimistic
Replication
Algorithms
- Modeling,
validation,
and
verification
of
PCEP
using
the
IF
language
- (S)
Conformance
Testing
of
Network
Simulators
based
on
Metamorphic
Testing
Technique
- (S)
Using
First‐Order
Logic
to
Reason
about
Submodule
Construction
Tutorial (16:00:17:30)
- Verification Methods for Software Security and Correctness (Gilles Barthe)