September 8-12, 2008 Autrans (near Grenoble), France | organised and funded by ARTIST |
![]() | Click on the orange links below to see the videos. A PDF version is also available on the right. Be sure to close your video before opening a new one, or you will hear both videos at once. | ![]() |
Luis Almeida (U. Aveiro) The challenges of flexible real-time communication | ![]() |
David Bacon (IBM) Real-Time Programming in Java | invited speaker![]() |
Sanjoy Baruah (U. N.C. at Chapel Hill) Multiprocessor Real-Time Computing: Formal Foundations | invited speaker![]() |
Hermann Haertig (TU Dresden) Enforceable Component-Based Realtime Contracts | ![]() |
Raj Rajkumar (Carnegie Mellon University) Building Blocks for Large-Scale Wireless Sensor Networks | ![]() |
Lothar Thiele (ETHZ) Performance analysis of distributed real-time systems | ![]() |
Reinhard Wilhelm (Saarland) Timing Analysis and Timing Predictability | ![]() |
Tarek Abdelzaher (U. Illinois U-Champaign) Feedback Control of Distributed Computing Systems | invited speaker![]() |
Karl Erik Arzen (Lund) & Pedro Albertos (UP Valencia) Implementation of control systems in resource-constrained embedded systems | ![]() |
Karl Johan Astrom (LTH) Control System Architectures | invited speaker![]() |
Giorgio Buttazzo (Pisa) Real-Time Scheduling and Resource Management | ![]() |
Michael Gonzalez (U. Cantabria) Contract-based resource reservation and scheduling | ![]() |
Kai Richter (Symtavision) Establishing Formal Scheduling Analysis in Automotive Design Processes | ![]() |
Marco Bekooij (NXP) Dataflow analysis for predictable multiprocessor design | ![]() |
Peter Marwedel & Heiko Falk (TU Dortmund) Memory architecture aware compilation | ![]() |
Giovanni De Micheli (EPFL) Heterogeneous Platforms for Embedded Systems | invited speaker![]() |
Diederik Verkest (IMEC) Mapping C code on MPSoC for Nomadic Embedded Systems | ![]() |
Gerard Berry (Esterel Technologies) The evolution of the synchronous model | ![]() |
Ed Brinksma (ESI) Quantitative Testing Theory | ![]() |
Rance Cleaveland (University of Maryland, USA) An Instrumentation-based Approach to Controller Model Validation | ![]() |
Klaus Havelund (NASA JPL) Rule-based Runtime Verification | ![]() |
Marta Kwiatkowska (Oxford U.) Quantitative Probabilistic Verification of Systems | ![]() |
Kim Larsen (Aalborg) Quantitative Verification and Synthesis for Embedded Systems | ![]() |
Steve Vestal (Honeywell) Automating compositional safety analysis for IMA systems | ![]() |
![]() | ![]() | ![]() |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009