Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation
| July 1-2, 2007 Berlin, Germany (satellite event of CAV 2007) | organised and funded by ARTIST |
Participants
| Kim Larsen | CISS Aalborg |
| Susanne Graf | Verimag, Grenoble |
| Alexandre David | CISS, Aalborg |
| Marc Pantel | IRIT, Toulouse |
| Pepijn Crouzen | Uni Saarland |
| Didier Delanote | K.U. Leuven |
| Huascar Espinoza | CEA, France |
| Mostafizur Mozumdar | Politec Torino |
| Ismail Assayad | Verimag, Grenoble |
| Jakub Chalupkka | Univ. Brno |
| Gjalt de Jong | Open Licence Society |
| Arne Hamann | TU Braunschweig |
| Steffen Prochnow | Uni Kiel |
| Balars Polgar | Bute, Budapest |
| Frank Slomka | Uni Ulm |
| Noel Plouzeau | IRISA Rennes |
| Thao Dang | Verimag, Grenoble |
| Sabine Glesner | TU Berlin |
| Tom Henzinger | EPFL Lausanne |
| Gerard Berry | Esterel Technologies |
| Martin Ouimet | MIT |
| Michael R. Hansen | DTU, Danmark |
| Torsten Kempf’ | ISS - RWTH Aachen |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009