Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
ARTIST2 Summer School 2005
| September 29th - October 2nd 2005 Nässlingen, Sweden | organised and funded by ARTIST |
Programme
Programme
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