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