(Restored left-alignment inside the table) |
m (s%FMOODS%FMOODS/FORTE%g) |
||
Line 21: | Line 21: | ||
* '''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) | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS: Analysis Techniques'' | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Analysis Techniques'' |
* '''Recursive Parametric Automata and ε-Removal''' (Lin Liu and Jonathan Billington) | * '''Recursive Parametric Automata and ε-Removal''' (Lin Liu and Jonathan Billington) | ||
* '''Approximated Context-sensitive Analysis for Parameterized Verification''' (Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine) | * '''Approximated Context-sensitive Analysis for Parameterized Verification''' (Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine) | ||
Line 36: | Line 36: | ||
* '''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) | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS: Process Algebra and Calculus'' | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Process Algebra and Calculus'' |
* '''Epistemic Logic for the Applied Pi Calculus''' (Rohit Chadha, Stephanie Delaune and Steve Kremer) | * '''Epistemic Logic for the Applied Pi Calculus''' (Rohit Chadha, Stephanie Delaune and Steve Kremer) | ||
* '''On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems''' (Morten Kühnrich and Uwe Nestmann) | * '''On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems''' (Morten Kühnrich and Uwe Nestmann) | ||
Line 56: | Line 56: | ||
* Coordination: '''Multicore Scheduling for Lightweight Communicating Processes''' (Carl Ritson, Adam Sampson, Frederick Barnes) | * Coordination: '''Multicore Scheduling for Lightweight Communicating Processes''' (Carl Ritson, Adam Sampson, Frederick Barnes) | ||
* 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) | ||
- | * FMOODS: '''Typing Component-Based Communication''' (Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt and Jean-Bernard Stefani) | + | * FMOODS/FORTE: '''Typing Component-Based Communication''' (Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt and Jean-Bernard Stefani) |
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (14:00-15:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (14:00-15:30) | ||
Line 83: | Line 83: | ||
* '''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) | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS: Objects, Components, Services'' | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Objects, Components, Services'' |
* '''System Model-based Definition of Modeling Language Semantics''' (Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe) | * '''System Model-based Definition of Modeling Language Semantics''' (Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe) | ||
* '''Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions''' (Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini) | * '''Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions''' (Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini) | ||
Line 97: | Line 97: | ||
* '''Assume-Guarantee Verification of Concurrent Systems''' (Liliana D'Errico, Michele Loreti) | * '''Assume-Guarantee Verification of Concurrent Systems''' (Liliana D'Errico, Michele Loreti) | ||
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS: Verification and Testing'' | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Verification and Testing'' |
* '''On Model-Checking Optimistic Replication Algorithms''' (Hanifa Boucheneb and Abdessamad Imine) | * '''On Model-Checking Optimistic Replication Algorithms''' (Hanifa Boucheneb and Abdessamad Imine) | ||
* '''Modeling, validation, and verification of PCEP using the IF language''' (Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere) | * '''Modeling, validation, and verification of PCEP using the IF language''' (Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere) |
Contents |
Tuesday (9 June) | |||
Invited Talk (9:00-10:00) |
| ||
Session 1 (10:30-12:30) | Coordination: Languages and Systems
| DAIS: Peer-to-Peer and Adhoc Networks
| FMOODS/FORTE: Analysis Techniques
|
Session 2 (14:00-15:30) | Coordination: Semantic Models and Calculi
| DAIS: Dependability
| FMOODS/FORTE: Process Algebra and Calculus
|
Tutorial (16:00-17:30) |
| ||
Wednesday (10 June) | |||
Invited Talk (9:00-10:00) |
| ||
Joint Session (10:30-12:30) |
| ||
Tutorial (14:00-15:30) |
| ||
Tutorial (16:00-17:30) |
| ||
Thursday (11 June) | |||
Invited Talk (9:00-10:00) |
| ||
Session 3 (10:30-12:30) | Coordination: Composition and Components
| DAIS: Infrastructure and Services
| FMOODS/FORTE: Objects, Components, Services
|
Session 4 (14:00-15:30) | Coordination: Verification and Modeling
| FMOODS/FORTE: Verification and Testing
| |
Tutorial (16:00-17:30) |
|