September 29th - October 2nd 2005 Nässlingen, Sweden | organised and funded by ARTIST |
Thursday September 29 |
Bengt Jonsson: Opening |
Invited Key Note Tutorial Ileana Ober: UML and UML 2.0 |
Sebastien Gerard: UML for Real Time Systems |
Invited Key Note Tutorial - Components & Modelling Alberto Ferrari: Modeling of Heterogeneous Systems in Metropolis |
Invited Key Note Tutorial - MDE Pierre Alain Muller: Applications of model transformations |
Reiko Heckel: Foundations of Model Transformations |
Friday September 30 |
Invited Key Note Tutorial Joseph Sifakis: Component-Based Modeling of Real-Time Systems |
Susanne Graf: Verification of UML models |
Invited Key Note Tutorial Björn Lisper |
Saturday October 1 |
Invited Key Note Tutorial Jean-Francois Raskin: Controller Synthesis and Code Generation |
Invited talk Reinhard Wilhelm: Runtime Guarantees for Real-Time Systems |
Invited Talk Reinhard Wilhelm: Worst Case Execution Time Analysis |
Invited Key Note Tutorial Ed Brinksma: Foundations of Testing |
Invited talk Thierry Jeron: Test Generation using Model Checking |
Invited talk Brian Nielsen: On-line Testing for Real-time Systems |
Sunday October 2 |
Invited Key Note Tutorial Patricia Bouyer: Foundation for Timed Systems |
Invited talk Gerd Behrmann: Real-time Model Checking |
Invited Talk Stavros Tripakis: Fault-Diagnosis for Real-time Systems |
Invited Key Note Tutorial Joost-Pieter Katoen: Foundations for Stochastic Systems |
Invited talk Joost-Pieter Katoen: Applications of Stochastic Model Checking |
Invited talk David Parker: PRISM a Tool for Stochastic Model Checking StatCounter - Free Web Tracker and Counter |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009