Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
WSS’10
| October 29th, 2010 Scottsdale, Arizona (USA), within ESWeek 2010 | organised and funded by ARTIST |
Programme
Program
| 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? |
Discussion |
| 12:30 | Close |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009