(added missing time - →Invited Talk) |
(put them into a table (yes, styling still needs to be done and some titles/authors are missing)) |
||
Line 1: | Line 1: | ||
=Programme= | =Programme= | ||
+ | {| class="wikitable" | ||
+ | | colspan=3| | ||
==Tuesday== | ==Tuesday== | ||
- | + | |- | |
- | Coordination | + | | Invited Talk (9:00-10:00) |
- | Manuel Serrano | + | | colspan=2| Coordination: Hop, a Fast Server for the Diffuse Web (Manuel Serrano) |
- | + | |- | |
- | + | | Session 1 (
10:30
‐12:30
) | |
- | FMOODS: Analysis Techniques | + | | FMOODS: Analysis Techniques |
* Recursive
Parametric
Automata
and
ε‐Removal
| * Recursive
Parametric
Automata
and
ε‐Removal
| ||
* Approximated
Context‐sensitive
Analysis
for
Parameterized
Verification
| * Approximated
Context‐sensitive
Analysis
for
Parameterized
Verification
| ||
* Verification
of
Parameterized
Systems
with
Combinations
of
Abstract
Domains
| * Verification
of
Parameterized
Systems
with
Combinations
of
Abstract
Domains
| ||
* Distinguishing
Non‐deterministic
Timed
Finite
State
Machines
| * Distinguishing
Non‐deterministic
Timed
Finite
State
Machines
| ||
- | + | | DAIS: Peer-to-Peer and Adhoc Networks | |
- | DAIS: Peer-to-Peer and Adhoc Networks | + | |
* D-Praxis : A peer-to-peer collaborative model edition framework (Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais) | * 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) | * 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) | * 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) | * 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
| + | | FMOODS:
Process
Algebra
and
Calculus
|
* Epistemic
Logic
for
the
Applied
Pi
Calculus
| * Epistemic
Logic
for
the
Applied
Pi
Calculus
| ||
* On
Process‐Algebraic
Proof
Methods
for
Fault
Tolerant
Distributed
Systems
| * On
Process‐Algebraic
Proof
Methods
for
Fault
Tolerant
Distributed
Systems
| ||
* A
Software
Platform
for
Timed
Mobility
and
Timed
Interaction
| * A
Software
Platform
for
Timed
Mobility
and
Timed
Interaction
| ||
- | + | | DAIS: Dependability | |
- | DAIS: Dependability | + | |
* Fault-Tolerant Aggregation by Flow Updating (Paulo Jesus, Carlos Baquero, Paulo Sergio Almeida) | * 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) | * 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) | * A Generic Group Communication Approach for Hybrid Distributed Systems (Raimundo Macedo, Allan Freitas) | ||
- | + | |- | |
- | + | | Tutorial (16:00-17:30) | |
+ | | colspan=2| | ||
* Static Security Analysis of Service-Oriented Systems (Flemming Nielson) | * Static Security Analysis of Service-Oriented Systems (Flemming Nielson) | ||
- | + | |- | |
+ | | colspan=3| | ||
==Wednesday== | ==Wednesday== | ||
- | + | |- | |
- | (FMOODS) | + | | Invited Talk (9:00-10:00) |
- | + | | colspan=2| (FMOODS) | |
- | + | |- | |
+ | | Joint Session (10:30-12:30) | ||
+ | | colspan=2| | ||
* FMOODS: Typing
Component‐Based
Communication | * FMOODS: Typing
Component‐Based
Communication | ||
* DAIS: Exploiting Synergies Between Coexisting Overlays (Shen Lin, François Taiani, Gordon Blair) | * 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) | * Coordination: Automata for Context-dependent Connectors (Marcello Bonsangue, Dave Clarke, Alexandra Silva) | ||
- | + | |- | |
- | + | | Tutorial (14:00-15:30) | |
+ | | colspan=2| | ||
* Types for Alias Control and Verification (Sophia Drossopoulou) | * Types for Alias Control and Verification (Sophia Drossopoulou) | ||
- | + | |- | |
- | + | | Tutorial (16:00-17:30) | |
+ | | colspan=2| | ||
* A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro) | * A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro) | ||
- | + | |- | |
+ | | colspan=3| | ||
==Thursday== | ==Thursday== | ||
- | + | |- | |
- | (DAIS) | + | | Invited Talk (9:00-10:00) |
- | + | | colspan=2| (DAIS) | |
- | FMOODS: Objects, Components, Services | + | |- |
+ | | Session 3 (10:30-12:30) | ||
+ | | FMOODS: Objects, Components, Services | ||
* System
Model‐based
Definition
of
Modeling
Language
Semantics
| * System
Model‐based
Definition
of
Modeling
Language
Semantics
| ||
* Keep
It
Small,
Keep
It
Real:
Efficient
Run‐Time
Verification
of
Web
Service
Compositions
| * Keep
It
Small,
Keep
It
Real:
Efficient
Run‐Time
Verification
of
Web
Service
Compositions
| ||
Line 58: | Line 67: | ||
* (S)
A
Model‐Checking
Approach
for
Service
Component
Architectures
| * (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 | * (S)
Checking
the
conformance
of
orchestrations
with
respect
to
choreographies
in
web
services:
A
formal
approach | ||
- | DAIS: Infrastructure and Services | + | | DAIS: Infrastructure and Services |
- | + | ||
* A Flexible Approach for Business Processes Monitoring (Diana Comes, Steffen Bleul, Thomas Weise, Kurt Geihs) | * 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) | * 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) | * 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) | * 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 | + | | FMOODS: Verification and Testing |
* On
Model‐Checking
Optimistic
Replication
Algorithms
| * On
Model‐Checking
Optimistic
Replication
Algorithms
| ||
* Modeling,
validation,
and
verification
of
PCEP
using
the
IF
language
| * Modeling,
validation,
and
verification
of
PCEP
using
the
IF
language
| ||
* (S)
Conformance
Testing
of
Network
Simulators
based
on
Metamorphic
Testing
Technique
| * (S)
Conformance
Testing
of
Network
Simulators
based
on
Metamorphic
Testing
Technique
| ||
* (S)
Using
First‐Order
Logic
to
Reason
about
Submodule
Construction
| * (S)
Using
First‐Order
Logic
to
Reason
about
Submodule
Construction
| ||
- | + | | | |
- | + | |- | |
+ | | Tutorial (16:00:17:30) | ||
+ | | colspan=2| | ||
* Verification Methods for Software Security and Correctness (Gilles Barthe) | * Verification Methods for Software Security and Correctness (Gilles Barthe) | ||
+ | |} |
Contents |