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 |