Monday
Sept 8th | Tuesday
Sept 9th | Wednesday
Sept 10th | Thursday
Sept 11th | Friday
Sept 12th |
Invited
Speaker:
Sanjoy Baruah
(U. N.C. at Chapel Hill)
Multiprocessor Real-Time Computing: Formal Foundations | Invited
Speaker:
Giovanni De Micheli
(EPFL)
Heterogeneous Platforms for Embedded Systems | Invited
Speaker:
Karl Johan Astrom
(LTH)
Control
System
Architectures | Invited
Speaker:
David Bacon
(IBM)
Real-Time Programming in Java | Invited
Speaker:
Tarek Abdelzaher
(U. Illinois U-Champaign)
Feedback Control of Distributed Computing Systems |
Klaus Havelund (NASA JPL)
Rule-based Runtime Verification | Giorgio Buttazzo
(Pisa)
Real-Time Scheduling and Resource Management | Reinhard Wilhelm
(Saarland)
Timing Analysis and Timing Predictability | Kai Richter
(Symtavision)
Establishing Formal Scheduling Analysis in Automotive Design Processes | Karl Erik Arzen (Lund)
Pedro Albertos
(UP Valencia)
Implementation of control systems in resource-constrained embedded systems |
Ed Brinksma
(ESI)
Quantitative Testing Theory | Michael Gonzalez
(U. Cantabria)
Contract-based resource reservation and scheduling | Lothar Thiele
(ETHZ)
Performance analysis of distributed real-time systems | Diederik Verkest
(IMEC)
Mapping C code on MPSoC for Nomadic Embedded Systems | Luis Almeida
(U. Aveiro)
The challenges of flexible real-time communication |
Kim Larsen
(Aalborg)
Quantitative Verification and Synthesis for Embedded Systems | Hermann Haertig
(TU Dresden)
Enforceable Component-Based Realtime Contracts | Peter Marwedel & Heiko Falk
(TU Dortmund)
Memory architecture aware compilation | Rance Cleaveland
(University of Maryland, USA) An instrumentation -based Approach to Controller Model Validation | Raj Rajkumar
(Carnegie Mellon University)
Building Blocks for Large-Scale Wireless Sensor Networks |
Marta Kwiatkowska
(Oxford U.)
Quantitative Probabilistic Verification of Systems | Gerard Berry (Esterel Technologies)
The evolution of the synchronous model | Marco Bekooij
(NXP)
Dataflow analysis for predictable multiprocessor design | Steve Vestal
(Honeywell)
Automating compositional safety analysis for IMA systems | |
