Revision as of 15:52, 24 April 2009 (view source) Maxime (Talk | contribs) (Copied in raw data) ← Previous diff		Revision as of 15:52, 24 April 2009 (view source) Maxime (Talk | contribs) (added missing time - →Invited Talk) Next diff →
Line 1:		Line 1:
	=Programme=		=Programme=
	==Tuesday==		==Tuesday==
-	===Invited Talk===	+	===Invited Talk (9:00-10:00)===
	Coordination - Hop, a Fast Server for the Diffuse Web (invited talk)		Coordination - Hop, a Fast Server for the Diffuse Web (invited talk)
	Manuel Serrano		Manuel Serrano

---

Revision as of 15:52, 24 April 2009

Contents 1 Programme 1.1 Tuesday 1.1.1 Invited Talk (9:00-10:00) 1.1.2 Session 1 ( 10:30 ‐12:30 ) 1.1.3 Session 2 (14:00-15:30) 1.1.4 Tutorial (16:00-17:30) 1.2 Wednesday 1.2.1 Invited Talk (9:00-10:00) 1.2.2 Joint Session (10:30-12:30) 1.2.3 Tutorial (14:00-15:30) 1.2.4 Tutorial (16:00-17:30) 1.3 Thursday 1.3.1 Invited Talk (9:00-10:00) 1.3.2 Session 3 (10:30-12:30) 1.3.3 Session 4 (14:00-15:30) 1.3.4 Tutorial (16:00:17:30)

Programme

Tuesday

Invited Talk (9:00-10:00)

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)