Presentions

• 8:30 - 9:00 Overview of Project PDF PPT
  S. Sastry (UC Berkeley)
• 9:00 - 9:15 Comments from last review and response PDF PPT
  Alberto Sangiovanni-Vincentelli (UC Berkeley)

9:15 - 12:00 Research: Thrust Overviews

• 9:15 - 9:45 Hybrid Systems Theory PDF PPT
  Tom Henzinger
• 9:45 - 10:15 Model Based Design PDF PPT
  Janos Sztipanovits (Vanderbilt)
• 10:30 - 11:00 Advanced Tool Architectures PDF PPT
  Edward A. Lee (UC Berkeley)
• 11:00 - 11:30 Experimental Research PDF PPT MPEG
  Alberto Sangiovanni-Vincentelli (UC Berkeley)

11:50 - 12:30 Research: Student Highlight Talks

• 11:50 - 12:10 Semantics of Hybrid Systems PDF PPT
  Roberto Passerone (Cadence Berkeley Lab and UC Berkeley)
  
• 12:10 - 12:30 New Directions in Hybrid Systems Theory PDF
  Aaron Ames (UC Berkeley)
• 1:30 - 1:50 Timed Languages for Embedded Software PDF PPT
  Ethan Jackson
  
• 1:50 - 2:10 Formal Models for Embedded Software Interfaces and Verification PDF PPT
  Ranjit Jhala

2:45 - 3:45 Poster Session (organized by research thrust)

• Abate, Ames, Sastry - Stochastic Approximations of Deterministic Hybrid Systems
• Ames, Sastry - Blowing Up Hybrid Systems
• Beyer, Chakrabarti, de Alfaro, Henzinger, Jurdzinski, Mang, Stoelinga - Rich Interface Theories for Component-based Design
• Chatterjee, de Alfaro, Henzinger, Jurdzinski, Majumdar - Stochastic Omega-regular Games
• Passerone, Pinto, Burch, Sangiovanni-Vincentelli - Conservative Approximations for Heterogeneous Design
• Prabhu, Majumdar, Henzinger - Quantitative Verification for Real Time Systems
• Zheng, Lee - Piecewise Continuous Signals in Hybrid Systems

• Davare, Zhu - A Platform-based Design Flow for Kahn Process Networks
• Eames, Neema - Tools and Techniques for Design Space Exploration
• Emerson, Sztipanovits - Adaptable Architecture for Meta-Programmable Modeling Tools
• Ghosal, Pinto, Gasperini, Sangiovanni-Vincentelli - Embedded System Design Flow
• Jhala, Majumdar, Henzinger - BLAST
• Yang, Sangiovanni-Vincentelli - Performance Modeling and Built-in Logic of Constraints in Metropolis

• Bollobas - Random Geometric Graphs
• De Bernardinis, Gambini, Sangiovanni-Vincentelli - Optimization of a UMTS Receiver with Analog Platforms
• Hedrick, Kaga, Lee, Sanketi, Jurado, Zheng - Automotive Engine Modeling for Control
• Hur, Nagata, Kaga, Tomizuka - Automatic Transmission Modeling and Control Applications
• Koushanfar, Taft, Potkonjak, Sangiovanni-Vincentelli - Energy Efficient Data Gathering
• Kwong, Bajcsy - Youngest Path Many-to-One Routing
• Li, De Bernardinis, Rabaey, Sangiovanni-Vincentelli - Platform-Based Mixed Signals Design in Picoradio Baseband Design Exploration
• McKelvin, Sangiovanni-Vincentelli - Implementing Run-Time Support for Distributed Real-Time Fault Tolerant Data Flow Applications
• Zhao, Lee, Ludaescher - Kepler: Application of Ptolemy II to Scientific Workflows
• Zheng, Pinello, Kanajan, Sangiovanni-Vincentelli - Reusability and Scalability of Time Triggered Scheduling

• Chen, Sangiovanni-Vincentelli - High-Level Architecture Modeling for Embedded System Design
• Cheong, Liu, Lee - GalsC - A Language for Event-Driven Embedded Systems
• Kurzhanskiy, Varaiya - Reach Set Computation: Ellipsoidal Toolbox
• Matic, Henzinger - Distributed Schedule-Carrying Code
• Meyerowitz, Sangiovanni-Vincentelli - Abstract CPU Modeling and Use in a System-Level Environment
• Sinopoli, Sastry - On the Control of Networked Embedded Systems (NESs)
• Sprinkle, Davis, Nordstrom - A Paradigm for Teaching Modeling Environment Design
• Sprinkle, Eklund, Sastry - Model-based design for safe UAV landing
• Zeng, Sonalkar, Davare, Kanajana, Zheng, Pinello, Sangiovanni-Vicentelli - Architecture Exploration using Metropolis

• Etefia, Sastry, Sprinkle, Roosta - Implementation of Routing Protocols for Wireless Sensor Networks
• Fatusin, Sastry, Sprinkle - Multi-View Configuration of Flight Dynamic Playback
• Garcia, Ames, Sastry - Singular Event Detection
• Howard, Palfy, Remenyi, Garay, Pap - Adaptive Learning Technologies

3:45 - 4:45 Educational and Outreach Programs

• 3:45 - 4:05 Outreach PDF PPT
  Jonathan Sprinkle
  
• 4:05 - 4:25 Course Development PDF PPT
  Edward Lee
  
• 4:25 - 4:45 Industrial Collaboration PDF PPT
  Alberto Sangiovanni-Vincentelli