| DAY 1, Wed
15 May |
| 9:00 |
Registration |
| 9:45 |
Opening |
| 10:00 |
Invited Talk |
| "Rhapsody: A practical approach
to model-based development" |
Eran Gery |
| 11:00 |
Coffee break |
| 11:30 |
Integration, Simulation, Animation |
| "An
Integrated Semantics for UML Class, Object and State Diagrams Based
on Graph Transformation" |
Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski |
| "Stochastic
Process Algebras meet Eden" |
Natalia López, Manuel Núñez, Fernando Rubio |
| 13:00 |
Lunch break |
| 14:30 |
From Specification to Verification |
| "From
Implicit Specifications to Explicit Designs in Reactive System Development" |
K. Lano, D. Clark, K. Androutsopoulus |
| "Basic-REAL:
integrated approach for design, specification and verification of
distributed systems" |
V.A. Nepomniaschy, N.V. Shilov, E.V. Bodin, V.E. Kozura |
| "Assume-Guarantee
Algorithms for Automatic Detection of Software Failures" |
Mohammad Zulkernine, Rudolph Seviora |
| 16:30 |
Coffee break |
17:00-
18:20 |
Statecharts and B: Integration and Translation |
| "Contributions
for Modelling UML State-Charts in B" |
Hung Ledang, Jeanine Souquières |
| "Translating
Statecharts to B" |
Emil Sekerinski, Rafik Zurob |
19:00-
21:00 |
Welcome Reception |
| DAY 2, Thu
16 May |
| 9:00 |
Invited Talk |
| "A Framework for Translating Models and
Specifications" |
Shmuel Katz |
| 10:00 |
Coffee break |
| 10:30 |
Model Checkers and Theorem Provers |
| "Model
Checking Object-Z using ASM" |
Kirsten Winter, Roger Duke |
| "Formalization
of Cadence SPW Fixed-Point Arithmetic in HOL" |
Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar |
| "Formally
Linking MDG and HOL Based on a Verified MDG System" |
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
| 12:45 |
Lunch break |
| 14:15 |
Links between Object-Z and CSP |
| "Refinement
in Object-Z and CSP" |
Christie Bolton, Jim Davies |
| "Combining
Specification Techniques for Processes, Data and Time" |
Jochen Hoenicke, Ernst-Rüdiger Olderog |
| "An
integration of Real-Time Object-Z and CSP for Specifying Concurrent
Real-Time Systems" |
Graeme Smith |
| 16:15 |
Coffee break |
|
16:45-
18:00
|
Discussion Session |
20:00-
01:00 |
Excursion & Banquet |
|