October 29th, 2010      Scottsdale, Arizona (USA), within ESWeek 2010 organised and funded by ARTIST 



8:30 am Opening Peter Marwedel (TU Dortmund, Germany) & Alberto Sangiovanni-Vincentelli (UC Berkeley, US)
8:40 am Keynote: Synthesis of Reliable Distributed Real-Time Software Edward Lee (UC Berkeley, US)
9:30 am coffee break
10:00 am Software Synthesis in the LabVIEW Graphical System Design Framework
Kaushik Ravindran and Hugo Andrade (National Instruments, US)
10:30 am Code generation or software synthesis? Are they the same? Alberto Sangiovanni-Vincentelli (UC Berkeley)
11:00 am Synthesizing Cyber-Physical Control Applications for Hybrid
Communication Protocols
Samarjit Chakraborty (TU Munich, Germany)
11:30 am Synthesizing real-time implementations from abstract specifications based on timed automata Jacques Combaz, Joseph Sifakis and Tesnim Abdellatif (IMAG, France)
11:45 am Are software synthesis and code generation widely accepted in industry? What are the urgent problems to solve to make it universally accepted?
12:30 Close

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet