Final Program
FORTE'06: Preliminary Program
Final Program
You can download the printable version of the final program: pdf. |
|
Tuesday, September 26th, 2006
|
|
09:00-12h30
|
Tutorial 1: Petri nets and Software Engineering
Rüdiger Valk, University of Hamburg, Germany
|
|
12:30-14:00
|
Lunch
|
|
14:00-17h30
|
Tutorial 2: The Event B Method
Dominique Méry, University Henri Poincaré Nancy 1 & LORIA, France
|
|
Wednesday, September 27th, 2006
|
|
09:00-09:15
|
Welcome
|
|
09:15-10:15
|
-
Invited Talk: Semantic-Based Development of Service-Oriented Systems
-
Martin Wirsing
-
Chair : Elie Najm
|
|
|
Session 1: Services
|
|
10:15-10:45
|
-
JSCL: a Middleware for Service Coordination
-
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
|
|
10:45-11:15
|
Break
|
|
11:15-11:45
|
-
Analysis of Realizability Conditions for Web Service Choreographies
-
Raman Kazhamiakin, Marco Pistore
|
|
11:45-12:15
|
-
Web Cube
-
Wishnu Prasetya, Tanja Vos, Doaitse Swierstra
|
|
12:15-12:30
|
-
Presence Interaction Management in SIP SOHO Architecture
-
Zohair Chentouf, Ahmed Khoumsi
|
|
12:30-14:00
|
Lunch
|
|
|
Session 2: Middleware
|
|
14:00-14:30
|
-
Formal Analysis of Dynamic, Distributed File-System Access Controls
-
Avik Chaudhuri, Martin Abadi
|
|
14:30-15:00
|
-
Analysing the Mute Anonymous File-Sharing System Using the Pi-calculus
-
Tom Chothia
|
|
15:00-15:15
|
-
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures
-
Luciano Baresi, Carlo Ghezzi, Luca Mottola
|
|
15:15-15:30
|
-
A LOTOS Framework for Middleware Specification
-
Nelson Souto Rosa, Paulo Roberto Freire Cunha
|
|
15:30-16:00
|
Break
|
|
|
Session 3: Composition and Synthesis
|
|
16:00-16:30
|
-
Automatic Synthesis of Assumptions for Compositional Model Checking
-
Bernd Finkbeiner, Sven Schewe, Matthias Brill
|
|
16:30-17:00
|
-
Refined Interfaces for Compositional Verification
-
Frédéric Lang
|
|
17:00-17:30
|
-
On Distributed Program Specification and Synthesis in Architectures with Cycles
-
Julien Bernet, David Janin
|
|
17:30-17:45
|
-
Generalizing the Submodule Construction Techniques for Extended State Machine Models
-
Bassel Daou, Gregor v. Bochmann
|
|
|
Social Events
Cocktail at the Musée des Arts et Métiers
|
|
Thursday, September 28th, 2006
|
|
09:00-10:00
|
-
Invited Talk: The +CAL Algorithm Language
-
Leslie Lamport
-
Chair : Jean-François Pradat Peyre
|
|
|
Session 4: Symbolic Verification & Slicing
|
|
10:00-10:30
|
-
Decidable Extensions of Hennessy-Milner Logic
-
Radu Mardare, Corrado Priami
|
|
10:30-11:00
|
Break
|
|
11:00-11:30
|
-
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
-
Christel Baier,Nathalie Bertrand, Philippe Schnoebelen
|
|
11:30-12:00
|
-
A New Approach for Concurrent Program Slicing
-
Pierre Rousseau
|
|
12:00-12:30
|
-
Reducing Software Architecture Models Complexity: a Slicing and Abstraction Approach
-
Daniela Colangelo, Daniele Compare,Paola Inverardi, Patrizio Pelliccione
|
|
12:30-14:00
|
Lunch
|
|
|
Session 5: Unified Modelling Languages
|
|
14:00-14:30
|
-
Formalizing Collaboration Goal Sequences for Service Choreography
-
Humberto Nicolas Castejon, Rolv Braek
|
|
14:30-15:00
|
-
Composition of Use Cases using Synchronization and Model Checking
-
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
|
|
15:00-15:30
|
Break
|
|
|
Session 6: Petri Nets
|
|
15:30-16:00
|
-
PN standardisation : a survey
-
Lom Hillah,Fabrice Kordon, Laure Petrucci, Nicolas Trèves
|
|
16:00-16:30
|
-
Resource Allocation Systems: Some complexity results on the S4PR class
-
Juan-Pablo Lopez-Grao, José-Manuel Colom
|
|
16:30-17:00
|
-
Optimized Colored Nets Unfolding
-
Fabrice Kordon,Alban Linard, Emmanuel Paviot-Adet
|
|
|
Social Events
Visit and Banquet at the Musée d'Orsay
|
|
Friday, September 29th, 2006
|
|
09:00-10:00
|
-
Invited Talk: Modelling of Complex
Software Systems: a Reasoned Overview
-
Daniel Krob
-
Chair : Véronique Viguié Donzeau-Gouge
|
|
|
Session 7: Parameterized Verification
|
|
10:00-10:30
|
-
Liveness by Invisible Invariants
-
Yi Fang, Kenneth McMillan, Amir Pnueli, Lenore D. Zuck
|
|
10:30-11:00
|
Break
|
|
|
Session 8: Real Time
|
|
11:00-11:30
|
-
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
-
Mercedes G. Merayo, Manuel Nunez, Ismael Rodriguez
|
|
11:30-12:00
|
-
Scenario-Based Timing Consistency Checking for Time Petri Nets
-
Li Xuandong, Bu Lei, Hu Jun, Zhao Jianhua, Zheng Tao, Zheng Guoliang
|
|
12:00-12:30
|
-
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
-
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
|
|
12:30-14:00
|
Lunch
|
|
|
Session 9: Testing
|
|
14:00-14:30
|
-
Grey Box Checking
-
Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu
|
|
14:30-15:00
|
-
Integration Testing of Distributed Components based on Learning Parameterized I/O Models
-
Keqin Li, Roland Groz, Muzammil Shahbaz
|
|
15:00-15:30
|
-
Minimizing Coordination Channels in Distributed Testing
-
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
|
|
15:30-16:00
|
-
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
-
Luis F. Llana-Diaz, Manuel Nunez,Ismael Rodriguez
|
|
16:00-16:30
|
Closing & Awards
|
All sessions will take place in
Amphithéatre Aimé-Laussedat (3)
at the Conservatoire National des Arts et Métiers, Annexe Mongolfier
(2, rue Conté, Paris 3ème);
Access to a map.