|
|
mardi 7 juin |
mercredi 8 juin |
jeudi 9 juin |
|---|---|---|---|
|
08h15 |
Enregistrement |
|
|
|
08h30 |
|
Orateur invité : Werner Damm |
|
|
08h45 |
Session inaugurale |
|
|
|
09h00 |
Oratrice invitée : Anca Muscholl |
|
Orateur invité : Kees Goossens |
|
09h30 |
|
Session 5 : Analysis and Synthesis of Timed Systems Robert Clariso and Jordi Cortadella. Verification of Concurrent Systems with Parametric Delays Using Octahedra |
|
|
10h00 |
Session 1: Specification of Communication Protocols Radu Grosu and Scott Smolka. Safety-Liveness Semantics for UML 2.0 Sequence Diagrams |
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan and Alberto Sangiovanni-Vincentelli. Extensible and Scalable Time Triggered Scheduling |
Pause Café |
|
10h30 |
Jukka Honkola, Sari Leppänen and Teemu Tynjala. Modeling the SpaceWire Architecture with Lyra |
Pause Café |
Session 8 : Languages and Calculi Franck van Breugel and Mariya Koshkina. Dead-Path-Elimination in BPEL4WS |
|
11h00 |
Pause Café |
Session 6 : Models of Simulation Techniques Juan de Lara and Gabriele Taentzer. Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation |
Samuele Carpineti, Cosimo Laneve and Paolo Milazzo. BoPi: A distributed machine for experimenting Web Service technologies |
|
11h30 |
Session 2: Formal Models and Property Analysis Matthieu Moy, Florence Maraninchi and Laurent Maillet-Contoz. LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level |
Timo Kellomäki and Antti Valmari. A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems |
Marjan Sirjani, Frank de Boer, Ali Movaghar and Amin Shali. Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing |
|
12h00 |
Nicolas Rivierre, Francois Horn and Frederic Dang Tran. On Monitoring Concurrent Systems with TLA: an Example |
Pause déjeuner |
Pause déjeuner |
|
12h30 |
Pause déjeuner |
|
|
|
13h30 |
|
Session 7 : Communication Synthesis Jordi Cortadella, Kyller Gorgonio, Fei Xia and Alex Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms |
Tool exhibition |
|
14h00 |
Session 3 : Asynchronies Dumitru Potop-Butucaru and Benoit Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications |
Yinghua Li, Alex Kondrayev and Robert Brayton. Gaining Predictability and Noise Immunity in Global Interconnects |
Session 9 : Approaches based on Petri Nets Rachid Hadjidj and Hanifa Boucheneb. Much compact Time Petri Net state class spaces useful to restore CTL* properties |
|
14h30 |
Hemangee Kapoor and Mark Josephs. Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation |
Tool Exhibition |
Christian Stahl, Wolfgang Reisig and Milos Krstic. Hazard Detection in a GALS Wrapper: a Case study |
|
15h00 |
Alexander Smirnov, Alexander Taubin, Ming Su and Mark Karpovsky. An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library |
Bus leaves for Mt St Michel |
Walter Vogler and Ben Kangsah. Improved Decomposition of STGs |
|
15h30 |
Pause café |
|
Closing Session |
|
16h00 |
Session 4 : Theoretical Approaches Alin Stefanescu and Keijo Heljanko. Complexity Results for Checking Distributed Implementability |
Excursion to Mt St Michel |
|
|
16h30 |
Marc Geilen, Twan Basten, Bart Theelen and Ralph Otten. An Algebra of Pareto Points |
|
|
|
17h00 |
Stavros Tripakis. Two-phase distributed observation problems |
|
|
|
17h30 |
Klaus Schneider, Jens Brandt, Tobias Schuele and Thomas Tuerk. Maximal Causality Analysis |
|
|
|
18h00 |
|
|
|
|
19h00 |
|
Bus leaves for the Gala Dinner |
|