PROGRAM - meeting in september 2002
THURSDAY
9:15 OPENING with coffee

9:30 CASE STUDY SESSION - Smart Card Personalisation

Biniam Gebremichael
Control Synthesis for a Smart Card
Personalisation System using a Symbolic Model Checker

Thomas Krilavicus
A Uppaal Model for the Smart Card Personalisation Problem

11:00 Coffee Break

Peter Niebert
Optimality of the Super Single Mode

CASE STUDY SESSION - SERVICE ALLOCATION

Stefan Kowalewski
Description of the CPS system

13:00 Lunch

14:00 CASE STUDY SESSION - Memory Management

Thomas Hune:
Memory Management & Terma

Kim Larsen/Gerd Behrmann:
First Attacts on the Memory Management Case Study
(see report at the AMETIST homepage)

15:30 Coffee Break

16:00 UPPAAL SESSION

Gerd Behrmann:
Advances in UPPAAL

Martijn Hendriks
Enhancing Uppaal by exploiting symmetry

Patricia Bouyer:
Clock Difference Constraints Causes Problems!

Kim Larsen:
RAPTURE: A Step Towards UPPAAL with Probabilities?

18:00 Drinks

19:00 Dinner

FRIDAY

9:00 PCC MEETING

10:00 CASE STUDY SESSION - AXXOM

Dagmar Ludewig
Axxom case study

Sebastian Panek
First Modelling Results on the Axxom case study

11:00 Coffee Break

11:30 THEORY SESSION

Martijn Hendriks
Scheduling Complex Production Machines

Sarah Zennou
Timed Mazurkiewicz Traces and Partial Order Reductions of Timed Automata

Nicolas Baudru
On synthesis of Asynchronous Transition Systems

Eugene Asarin
Balanced timed expressions

13:00 Lunch