ARTIST2 Summer School on Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems, Sept 29 - Oct 2, 2005
home | programme | venue & travel | registration | steering committee | local organisers | invitation | photos

Programme

Breakfast is served daily from 07.30. Dinner is served at 18.00.

Thursday September 29

08.50-09.00Bengt Jonsson: Opening
09.00-10.30Invited Key Note Tutorial
Ileana Ober: UML and UML 2.0
10-30-11.00COFFEE BREAK
11.00-12.00 Sebastien Gerard: UML for Real Time Systems
12.00-13.30 LUNCH
13.30-15.00Invited Key Note Tutorial
Components & Modelling
Alberto Ferrari: Modeling of Heterogeneous Systems in Metropolis
15.00-15.30 COFFEE BREAK
15.30-17.00 Invited Key Note Tutorial
MDE
PA Muller: Applications of model transformations
17.00-18.00Reiko Heckel: Foundations of Model Transformations

Friday September 30

09.00-10.30 Invited Key Note Tutorial
Joseph Sifakis: Component-Based Modeling of Real-Time Systems
10.30-11.00 COFFEE BREAK
11.00-12.00Susanne Graf: Verification of UML models.
12.00-14.00 LUNCH
14.00-15.30 Invited Key Note Tutorial
Björn Lisper
15.30-16.00 COFFEE BREAK
16.30- SOCIAL EVENT
Boat trip to Gistholmen
Dinner on Gistholmen

Saturday October 1

9.00-10.30 Invited Key Note Tutorial
Jean-Francois Raskin: Controller Synthesis and Code Generation
10-30-11.00 COFFEE BREAK
11.00-11.40 Invited talk
Reinhard Wilhelm: Runtime Guarantees for Real-Time Systems
11.40-12.20 Invited Talk
Reinhard Wilhelm: Worst Case Execution Time Analysis
12.20-14.00 LUNCH
14.00-15.30 Invited Key Note Tutorial
Ed Brinksma: Foundations of Testing
15.30-16.00 COFFEE BREAK
16.00-16.40 Invited talk
Thierry Jeron: Test Generation using Model Checking
16.40-17.20 Invited talk
Brian Nielsen: On-line Testing for Real-time Systems

Sunday October 2

09.00-10.30 Invited Key Note Tutorial
Foundation for Timed Systems, Patricia Bouyer
10-30-11.00 COFFEE BREAK
11.00-11.40 Invited talk
Gerd Behrmann: Real-time Model Checking
11.40-12.20 Invited Talk
Stavros Tripakis: Fault-Diagnosis for Real-time Systems
12.20-14.00 LUNCH
14.00-15.30 Invited Key Note Tutorial
Joost-Pieter Katoen: Foundations for Stochastic Systems
15.30-16.00 COFFEE BREAK
16.00-16.40 Invited talk
Joost-Pieter Katoen: Applications of Stochastic Model Checking
16.40-17.20 Invited talk
David Parker: PRISM a Tool for Stochastic Model Checking