(added Coordination papers; some styling) |
(more links and authors) |
||
Line 6: | Line 6: | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk<br /> | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk<br /> | ||
(9:00-10:00) | (9:00-10:00) | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| Hop, a Fast Server for the Diffuse Web (Manuel Serrano) | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| |
+ | * [[Coordination/Invited_Speaker|Hop, a Fast Server for the Diffuse Web]] (Manuel Serrano) | ||
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 1<br /> | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 1<br /> | ||
- | (10: | + | (10:30-12:30) |
| 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: Analysis Techniques | ||
- | * Recursive Parametric Automata and ε | + | * '''Recursive Parametric Automata and ε-Removal''' (Lin Liu and Jonathan Billington) |
- | * Approximated | + | * '''Approximated Context-sensitive Analysis for Parameterized Verification''' (Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine) |
- | * Verification of Parameterized Systems with Combinations of Abstract Domains | + | * '''Verification of Parameterized Systems with Combinations of Abstract Domains''' (Naghmeh Ghafari, Arie Gurfinkel and Richard Trefler) |
- | * Distinguishing | + | * '''Distinguishing Non-deterministic Timed Finite State Machines''' (Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina and Nina Yevtushenko) |
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| DAIS: Peer-to-Peer and Adhoc Networks | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| 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) |
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Languages and Systems | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Languages and Systems | ||
- | * High-Performance Transactional Event Processing (Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek, Antonio Cunei) | + | * '''High-Performance Transactional Event Processing''' (Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek, Antonio Cunei) |
- | * Exceptionally Safe Futures (Armand Navabi, Suresh Jagannathan) | + | * '''Exceptionally Safe Futures''' (Armand Navabi, Suresh Jagannathan) |
- | * Enhanced Coordination in Sensor Networks through Flexible Service Provisioning (Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu) | + | * '''Enhanced Coordination in Sensor Networks through Flexible Service Provisioning''' (Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu) |
- | * Fairness for Chorded Languages (Alexis Petrounias, Susan Eisenbach) | + | * '''Fairness for Chorded Languages''' (Alexis Petrounias, Susan Eisenbach) |
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 2 (14:00-15:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 2 (14:00-15:30) | ||
| 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: Process Algebra and Calculus | ||
- | * Epistemic Logic for the Applied Pi Calculus | + | * '''Epistemic Logic for the Applied Pi Calculus''' (Rohit Chadha, Stephanie Delaune and Steve Kremer) |
- | * On | + | * '''On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems''' (Morten Kühnrich and Uwe Nestmann) |
- | * A Software Platform for Timed Mobility and Timed Interaction | + | * '''A Software Platform for Timed Mobility and Timed Interaction''' (Gabriel Ciobanu and Calin Juravle) |
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| DAIS: Dependability | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| 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) |
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Semantic Models and Calculi | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Semantic Models and Calculi | ||
- | * Mobility Models and Behavioural Equivalence for Wireless Networks (Jens ChrGodskesen, Sebastian Nanz) | + | * '''Mobility Models and Behavioural Equivalence for Wireless Networks''' (Jens ChrGodskesen, Sebastian Nanz) |
- | * Parametrised Constants and Replication for Spatial Mobility (Børn Haagensen, Hans Hüttel) | + | * '''Parametrised Constants and Replication for Spatial Mobility''' (Børn Haagensen, Hans Hüttel) |
- | * Biochemical Tuple Spaces for Self-Organising Coordination (Mirko Viroli, Matteo Casadei) | + | * '''Biochemical Tuple Spaces for Self-Organising Coordination''' (Mirko Viroli, Matteo Casadei) |
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30) | ||
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | ||
- | * Static Security Analysis of Service-Oriented Systems (Flemming Nielson) | + | * '''Static Security Analysis of Service-Oriented Systems''' (Flemming Nielson) |
|- | |- | ||
| colspan=4| | | colspan=4| | ||
Line 48: | Line 49: | ||
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk (9:00-10:00) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk (9:00-10:00) | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| Structured Application Development over Wide-Area Networks (Jayadev Misra) | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| |
+ | * [[FMOODS_FORTE/Invited_Speaker|Structured Application Development over Wide-Area Networks]] (Jayadev Misra) | ||
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Joint Session (10:30-12:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Joint Session (10:30-12:30) | ||
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | ||
- | * FMOODS: Typing | + | * FMOODS: '''Typing Component-Based Communication''' (Michael Lienhardt, Claudio antares mezzina, Alan Schmitt and Jean-Bernard Stefani) |
- | * 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: 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) |
|- | |- | ||
| 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) | ||
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | ||
- | * Types for Alias Control and Verification (Sophia Drossopoulou) | + | * '''Types for Alias Control and Verification''' (Sophia Drossopoulou) |
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30) | ||
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | ||
- | * A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro) | + | * '''A Formal Approach to Service-Oriented Modelling''' (José Luiz Fiadeiro) |
|- | |- | ||
| colspan=4| | | colspan=4| | ||
Line 68: | Line 70: | ||
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk (9:00-10:00) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk (9:00-10:00) | ||
- | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| Data Management in the Cloud (Raghu Ramakrishnan) | + | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| |
+ | * [[DAIS/Invited_Speaker|Data Management in the Cloud]] (Raghu Ramakrishnan) | ||
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 3 (10:30-12:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 3 (10:30-12:30) | ||
| 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: Objects, Components, Services | ||
- | * System | + | * '''System Model-based Definition of Modeling Language Semantics''' (Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe) |
- | * Keep It Small, Keep It Real: Efficient | + | * '''Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions''' (Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini) |
- | * (S) A Type Graph Model for Java Programs | + | * (S) '''A Type Graph Model for Java Programs''' (Arend Rensink and Eduardo Zambon) |
- | * (S) Dynamic Symbolic Execution of Distributed Concurrent Objects | + | * (S) '''Dynamic Symbolic Execution of Distributed Concurrent Objects''' (Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte) |
- | * (S) A | + | * (S) '''A Model-Checking Approach for Service Component Architectures''' (João Abreu, Franco Mazzanti, José Luiz Fiadeiro and Stefania Gnesi) |
- | * (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''' (Gregorio Díaz and Ismael Rodriguez) |
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| DAIS: Infrastructure and Services | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| 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) |
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Composition and Components | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Composition and Components | ||
- | * Automata for Context-dependent Connectors (Marcello Bonsangue, Dave Clarke, Alexandra Silva) | + | * '''Automata for Context-dependent Connectors''' (Marcello Bonsangue, Dave Clarke, Alexandra Silva) |
- | * Contract-Based Coordination of Hardware Components for the Development of Embedded Software (Tayeb Bouhadiba, Florence Maraninchi) | + | * '''Contract-Based Coordination of Hardware Components for the Development of Embedded Software''' (Tayeb Bouhadiba, Florence Maraninchi) |
- | * Coordination Model for Real-time Collaborative Editors (Abdessamad Imine) | + | * '''Coordination Model for Real-time Collaborative Editors''' (Abdessamad Imine) |
|- | |- | ||
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 4 (14:00-15:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 4 (14:00-15:30) | ||
| 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: Verification and Testing | ||
- | * On | + | * '''On Model-Checking Optimistic Replication Algorithms''' (Hanifa Boucheneb and Abdessamad Imine) |
- | * Modeling, validation, and verification of PCEP using the IF language | + | * '''Modeling, validation, and verification of PCEP using the IF language''' (Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere) |
- | * (S) Conformance Testing of Network Simulators based on Metamorphic Testing Technique | + | * (S) '''Conformance Testing of Network Simulators based on Metamorphic Testing Technique''' (Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu and Shengqiong Wang) |
- | * (S) Using | + | * (S) '''Using First-Order Logic to Reason about Submodule Construction''' (Gregor Bochmann) |
| 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;"| Coordination: Verification and Modeling | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Verification and Modeling | ||
- | * A Uniform Framework for Modeling and Verifying Components and Connectors (Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz ) | + | * '''A Uniform Framework for Modeling and Verifying Components and Connectors''' (Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz ) |
- | * From Coordination to Stochastic Models of QoS (Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chretien Verhoef) | + | * '''From Coordination to Stochastic Models of QoS''' (Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chretien Verhoef) |
- | * 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; background:PapayaWhip;"| Tutorial (16:00:17:30) | | valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00:17:30) | ||
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | | valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3| | ||
- | * Verification Methods for Software Security and Correctness (Gilles Barthe) | + | * '''Verification Methods for Software Security and Correctness''' (Gilles Barthe) |
|} | |} |
Contents |
Tuesday (June 9) | |||
Invited Talk (9:00-10:00) |
| ||
Session 1 (10:30-12:30) | FMOODS: Analysis Techniques
| DAIS: Peer-to-Peer and Adhoc Networks
| Coordination: Languages and Systems
|
Session 2 (14:00-15:30) | FMOODS: Process Algebra and Calculus
| DAIS: Dependability
| Coordination: Semantic Models and Calculi
|
Tutorial (16:00-17:30) |
| ||
Wednesday (June 10) | |||
Invited Talk (9:00-10:00) |
| ||
Joint Session (10:30-12:30) |
| ||
Tutorial (14:00-15:30) |
| ||
Tutorial (16:00-17:30) |
| ||
Thursday (June 11) | |||
Invited Talk (9:00-10:00) |
| ||
Session 3 (10:30-12:30) | FMOODS: Objects, Components, Services
| DAIS: Infrastructure and Services
| Coordination: Composition and Components
|
Session 4 (14:00-15:30) | FMOODS: Verification and Testing
| Coordination: Verification and Modeling
| |
Tutorial (16:00:17:30) |
|