Programme of X-TACAS

- 10th Anniversary of TACAS -

SATURDAY, March 27

14.00
14.15
Opening

The Classic Age
14.15
16.00
1995) 10 Years of UPPAAL: From Real-Time Verification to Real-Time Testing
Kim G. Larsen

1997) On Verification Modelling of Embedded Systems
Ed Brinksma and Angelika Mader

1996,1998) Regular Extrapolation: Treating Models without Specifications.
Bernhard Steffen

Discussion
16.00
16.30
Coffee

The Middle Age
16.30
18.00
2000) Integrating formal methods into the design flow of distributed software systems
Susanne Graf

2001) Aggressive Model Driven Development
Tiziana Margaria

2001) Timed vs Time-Triggered Automata
Pavel Krcal, Leonid Mokrushin, P.S. Thiagarajan and Wang Yi

Discussion
Evening
X-TACAS Dinner

SUNDAY, March 28


 The Modern Age
9.00
10.30
2002) Model checking and performance evaluation: a perfect match?
Joost-Pieter Katoen

2003) Model checking based approaches for testing and coverage of hardware and software systems
Hubert Garavel and John Hatcliff

Discussion
10.30
11.00
Coffee

Near Future and Future Perfect
11.00
12.15
2004) Transition Predicate Abstraction
Andreas Podelski

2005) to be announced
Lenore Zuck,

2005) to be announced
Nicholas Halbwachs

Discussion
12.15
12.30
Closing