Commands
Search pubs database

Quick search by ...

Year
	2008 2007 2006 2005 2004 2003
Group
	agv automotive bipeds car certafcs chess chesslocal cps dgc3 hcddes hyper naomi pret ptides ptolemy researchers

Presentations from the Chess Project

Chess Project Presentations

NOTE: Presentations are provided in both PDF and Powerpoint formats for convenience. Providing Powerpoint files makes it very easy and tempting to "borrow" the material. However, these presentations are owned by the author. Please do not use this material without permission from the author .

Chess Conferences and Reviews
Chess Meetings
Weekly presentations at the Chess Seminar.
Chess presenters should consider using a Chess Template when creating their talks.
New seminar speakers may want to review some guidelines.

2002

"Center for Hybrid and Embedded Software Systems," PDF PPT: Alex Aiken, Tom Henzinger, Edward A. Lee, Dave Messerschmitt, George Necula, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Pravin Varaiya, September 4, 2002, Research Fair, University of California, Berkeley.

All Chess presentations

2008

Girault Alain. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs, Talk or presentation, 10, June, 2008.
William Plishker. Functional DIF, Talk or presentation, 5, June, 2008.
Bernhard Rumpe. Advanced topics in model-based software development, Talk or presentation, 3, June, 2008.
Gerado Schneider. Specification and analysis of electronic contracts, Talk or presentation, 6, May, 2008.
Douglas Densmore. A Design Flow for the Development, Characterization, and Refinement of System Level Architectural Services, Talk or presentation, 15, May, 2008.
Janos Sztipanovits. Cyber Physical Systems: New Challenges for Model-based Design, Talk or presentation, 21, April, 2008; Presented at the " From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs" Workshop, St. Louis, MO.
Edward A. Lee. Making Time Essential in Computation, Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop", St. Louis, MO.
Jonathan Sprinkle, S. Shankar Sastry. CHESS: Building A Cyber-Physical Agenda on Solid Foundations, Talk or presentation, 21, April, 2008; Presented at the From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop, St. Louis, MO. .
Jonathan Sprinkle, Jerry Ding, S. Shankar Sastry, Claire Tomlin. When can a UAV get smart with its operator, and say 'NO!'?, Talk or presentation, 15, April, 2008.
Tom Henzinger. Designing Predictable and Robust Systems, Talk or presentation, 21, April, 2008; Presented at the " From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs" workshop, St. Louis, MO.
Helen Gill. CPS: A View from the HCSS Agencies, Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs" workshop, St. Louis, MO.
Sanjit A. Seshia, Edward A. Lee, Claire Tomlin. Teaching Embedded Systems to Berkeley Undergraduates: EECS124 at Berkeley, Talk or presentation, 21, April, 2008; Presented at the " From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop", St. Louis, MO.
Philippe Reynaert. Embedded Systems Research in Europe, Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop", St. Louis, MO.
Roberto Passerone. Multiple Viewpoint Contracts in SPEEDS, Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop," St. Louis, MO.
Nady Boules. Reinventing the Automobile: The Cyber-Physical Challenge, Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop," St. Louis, MO.
Alberto Sangiovanni-Vincentelli. Communication Infrastructure Synthesis and its Application to Cyber Physical Systems: The Intelligent Building Case, Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop," St. Louis, MO.
Luca Greco. Anytime Control Algorithms for Embedded Real-Time Systems, Talk or presentation, 29, April, 2008; Presented at the CHESS Seminar, Berkeley, CA.
David Yeh. Numerical solution of nonlinear differential equations in musical synthesis, Talk or presentation, 11, March, 2008; From the CHESS Seminar.
Koushik Sen. From Automated Software Testing to Likely Program Invariant Generation, Talk or presentation, 18, March, 2008.
Mike Winter. Inventing and Prototyping Social Devices, Talk or presentation, 5, February, 2008.
Hwayong Oh, Teale Fristoe. Using Ptolemy II to Re-architect Large C and C++ Programs, Talk or presentation, 21, February, 2008.
Achin Bowmik. Enhancing the Visual Experience on the Mobile Computing and Communications Platforms, Talk or presentation, 12, February, 2008.
Christopher Brooks, Edward A. Lee. Cyber-Physical Systems, Talk or presentation, 21, February, 2008; Poster presented at the 2008 Berkeley EECS Annual Research Symposium.
Christopher Brooks, Edward A. Lee. The Center for Hybrid and Embedded Software Systems, Talk or presentation, 21, February, 2008; Poster presented at the 2008 Berkeley EECS Annual Research Symposium. .
Chihhong Cheng, Edward A. Lee. Specification and Formal Verification of Real Time Systems under Ptolemy II, Talk or presentation, 21, February, 2008; Poster presented at the 2008 Berkeley EECS Annual Research Symposium.
Shanna-Shaye Forbes, Hiren Patel, Hugo A. Andrade, Ben Lickly, Isaac Liu. Mapping a Timed Functional Specification to a Precision Timed (PRET) Machine, Talk or presentation, 21, February, 2008.
Douglas Densmore, Qi Zhu, Alessandro Pinto, Trevor Meyerowitz, Alberto Sangiovanni-Vincentelli. Metro II - Design Environment Overview and Case Studies, Talk or presentation, 21, February, 2008.
Thomas Huining Feng, Edward A. Lee. Model Transformation for Systematic Development of Actor Models, Talk or presentation, 21, February, 2008; Poster presented at the 2008 Berkeley EECS Annual Research Symposium.
Sameer Iyengar, Alberto Sangiovanni-Vincentelli. Spine: Software Framework for Wireless Body Sensor Networks, Talk or presentation, 22, February, 2008.
Trevor Meyerowitz. Single and Multi-CPU Performance Modeling for Embedded Systems (Dissertation Talk), Talk or presentation, 26, February, 2008.
Alois Knoll, Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems, Talk or presentation, 19, February, 2008.
Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton, Jan Biermeyer, Jonathan Sprinkle, S. Shankar Sastry. Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems, Talk or presentation, 21, February, 2008; Poster presented at BEARS 2008 poster session.
Arkadeb Ghosal. A hierarchical coordination language for reliable real-time tasks, Talk or presentation, 22, January, 2008.
Edwin Olson. Algorithms for an Autonomous Car, Talk or presentation, 8, January, 2008.

2007

Carlo Fischione. Reducing Energy Consumption in Wireless Sensor Networks, Talk or presentation, 11, December, 2007.
Orna Kupferman. From Formulas to Systems, Talk or presentation, 4, December, 2007.
Alessandro Pinto. Communication Synthesis with Applications to On-Chip Communication and Building Automation Systems, Talk or presentation, 27, November, 2007.
Naira Hovakimyan. The Theory of Fast and Robust Adaptation, Talk or presentation, 13, November, 2007.
Christopher Brooks. Software Development in an Academic Environment: Lessons learned and not learned, Talk or presentation, 1, November, 2007.
Reinhard von Hanxleden. Visual Modeling of Complex Systems: The Kiel System, Talk or presentation, 4, October, 2007.
Andrzej Banaszuk. Design of Robust Dynamic Networks, Talk or presentation, 16, October, 2007.
Christopher Brooks. Center for Hybrid and Embedded Software Systems (CHESS) Overview, Talk or presentation, 18, October, 2007.
Hiren Patel. Ingredients for Successful System Level Automation & Design Methodology - Support for Multiple Models of Computation, Directed test case generation, Reflection & Introspection and Service-oriented tool integration environment, Talk or presentation, 4, October, 2007.
Edward A. Lee. Using the Principles of Synchronous Languages in Discrete-event and Continuous-time Models, Talk or presentation, 23, October, 2007.
Jorn Janneck. From Actors to Gates, Talk or presentation, 9, October, 2007.
Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, Joe Porter, Ryan Thibodeaux, Harmon Nine, Sandeep Neema. Toward a Model-Based Tool Chain for High Confidence Design, Talk or presentation, 6, September, 2007.
Edward A. Lee. Principled Design of Embedded Systems, Talk or presentation, 6, September, 2007.
Bruce Krogh. Embedded Systems Modeling and Deep Compositionality, Talk or presentation, 6, September, 2007.
Janos Sztipanovits. High-Confidence Design for Distributed Embedded Systems MURI Project Overview, Talk or presentation, 6, September, 2007.
Claire Tomlin, S. Shankar Sastry, Jerry Ding, Gabe Hoffmann, Haomiao Huang, Vijay Pradeep, Jonathan Sprinkle, Steven Waslander, Edward A. Lee. Robust Hybrid and Embedded Systems Design for Quadrotor Platform, Talk or presentation, 6, September, 2007.
Stephen Boyd, Joelle Skaf. Controller Coefficient Truncation Using Lyapunov Performance Certificate, Talk or presentation, 6, September, 2007.
Gabe Hoffmann, Haomiao Huang, Vijay Pradeep, Steven Waslander, Claire Tomlin. STARMAC The Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control, Talk or presentation, 6, September, 2007.
Wolfgang Pree, Stefan Resmerita, Patricia Derler. The TDL Experimental Domain in Ptolemy, Talk or presentation, 13, September, 2007; Presented at the CHESS Seminar, Berkeley, CA.
Flavio Lerda, Edmund M. Clarke. Source Code Verification and Testing, Talk or presentation, 6, September, 2007.
David Fuller. Graphical System Design, Talk or presentation, 26, September, 2007.
Krishnendu Chatterjee. Stochastic Omega-Regular Games, Talk or presentation, 25, September, 2007.
Alex Aiken, Tom Henzinger, Edward A. Lee, David G. Messerschmitt, George Necula, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Pravin Varaiya. Center for Hybrid and Embedded Software Systems, Talk or presentation, 4, September, 2007.
Reinhard von Hanxleden, Xin Li, Marian Boldt. A Multi-Threaded Reactive Processor, Talk or presentation, 18, September, 2007.
Susmit Jha, Bryan Brady, Sanjit A. Seshia. Symbolic Reachability Analysis of Lazy Linear Hybrid Automata, Talk or presentation, 4, September, 2007.
Ramesh S.. A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems, Talk or presentation, 28, August, 2007.
Elaine Cheong. Actor-Oriented Programming for Wireless Sensor Networks, Talk or presentation, 24, August, 2007.
Stephen A. Edwards, Edward A. Lee. Precision-Timed (PRET) Machines, Talk or presentation, 5, June, 2007; Presented at the 44th Design Automation Conference, San Diego, California.
Jan F. Broenink, Marcel Groothuis, Peter Visser, Bojan Orlic. A Model-Driven Approach to Embedded Control System Implementation, Talk or presentation, 19, May, 2007.
Edward A.. Is Truly Real-Time Computing Becoming Unachievable?, Talk or presentation, 3, April, 2007.
Mike Case. Automated Extraction of Inductive Invariants to Aid Model Checking, Talk or presentation, 10, April, 2007.
Vason P. srini. From Concept to Silicon, Talk or presentation, 3, April, 2007.
Janos Sztipanovits. Defining Behavioral Semantics for Domain Specific Modeling Languages, Talk or presentation, March, 2007.
Nathan Kitchen. SAT Sweeping with Local Observability Don't-Cares, Talk or presentation, 20, March, 2007.
Edward A. Lee. Are new languages necessary for multicore?, Talk or presentation, 11, March, 2007.
Bryan Brady. Selective Term-Level Abstraction Using Type-Inference, Talk or presentation, 13, March, 2007.
Darryl Koivisto, Deepak Shankar. How to measure Multi-Instruction, Multi-Core Processor Performance using Simulation, Talk or presentation, 13, February, 2007.
Horst Salzwedel. Overcoming the Gap Between Design at Electronic System Level (ESL) and Implementation, Talk or presentation, 13, February, 2007.
Eleftherios Matsikoudis. Correctness in Causal Systems, Talk or presentation, 13, February, 2007.
Edward A. Lee. Extending Domains and the User Interface, Talk or presentation, 13, February, 2007.
Jonathan Sprinkle. Overview of the Chess Center, Talk or presentation, 14, February, 2007.
Jonathan Sprinkle. Making research out of contests, Talk or presentation, 14, February, 2007.
Alberto Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare. A General Synthesis Approach for Embedded Systems Design with Applications to Multi-media and Automotive Designs, Talk or presentation, 14, February, 2007.
A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, G. Yang, H. Zeng, Q. Zhu. Metropolis II: A Next-Generation Framework for Platform-based Design, Talk or presentation, 14, February, 2007.
K. Chatterjee, T. Henzinger. Games, Times, and Probabilities: Value Iteration in Verification and Control, Talk or presentation, 14, February, 2007.
J.K. Hedrick, C. Zavala, P. Sanketi. Model0Based Control for Automotive Cold Start Applications, Talk or presentation, 14, February, 2007.
J.K. Hedrick, C. Zavala, P. Sanketi. Model-Based Control for Automotive Cold Start Applications, Talk or presentation, 14, February, 2007.
Edward A. Lee. Discrete Event Models: Getting the Semantics Right, Talk or presentation, 14, February, 2007.
Claire Tomlin, Gabe Hoffmann, Maryam Kamgarpour, Robin Raffard, Steven Waslander. Decentralized Control of a Quadrotor Aircraft Fleet to seek Information, Talk or presentation, 14, February, 2007.
Takashi Nagata, Masayoshi Tomizuka, Tomoyuki Kaga. Model-Based Smooth Gear Shifting of Automotive Powertrain by Engine / Automatic-Transmission Collaboration, Talk or presentation, 15, February, 2007; Presented in conjunction with BEARS 2007.
Christoph Kirsch. Time-Portable Real-Time Programming with Exotasks, Talk or presentation, 27, February, 2007.
Mohamed A. Salem. Ptolemy Reconfigurable and Programmable Hardware Platform, Talk or presentation, 13, February, 2007.
Edward A. Lee. Ptolemy Project Vision, Talk or presentation, 13, February, 2007.
Timothy McPhillips, Shawn Bowers, Bertram Ludäscher. COMAD:Collection-Oriented Modeling and Design of Scientific Workflows and Data, Talk or presentation, 13, February, 2007.
Ye Zhou, Edward A. Lee. Causality Interfaces for Actor Networks, Talk or presentation, 13, February, 2007.
Gang Zhou, Edward A. Lee, Man-Kit Leung. Partial Evaluation for Optimized Compilation of Actor-oriented Models, Talk or presentation, 13, February, 2007.
A. Ngu, N. Haasch, T. Critchlow, S. Bowers, T. McPhillips, B. Ludaescher. S. Bowers, T. McPhillips, B. Ludaescher, Talk or presentation, 13, February, 2007.
Yang Zhao, Edward A. Lee, Jie Liu. PTIDES: Programming Temporally Integrated Distributed Embedded Systems, Talk or presentation, 13, February, 2007; For further information about PTIDES, see the ptides workgroup.
Daniel Zinn, Tim H. Wong, Bertram Ludäescher. Scheduling Data-Intensive Workflows in Kepler, Talk or presentation, 13, February, 2007.
Haiyang Zheng, Edward A. Lee. Leveraging synchronous language principles for continuous-time, discrete-event, and hybrid system models, Talk or presentation, 13, February, 2007.
Chad Berkley. The Kepler Actor Repository: Enabling Remote Storage, Query and Retrieval of Actors and other Workflow Components, Talk or presentation, 13, February, 2007.
Matthew Jones. Kepler Project Overview, Status, and Future Directions, Talk or presentation, 13, February, 2007.
Adam Cataldo. The Power of Higher-Order Components in System Design, Talk or presentation, 13, February, 2007.
Norbert Podhorszki, Ilkay Altintas. Provenance Framework in Kepler, Talk or presentation, 13, February, 2007.
Rodolfo Totaro. Actor Oriented as OpenOffice.org Macro Language, Talk or presentation, 13, February, 2007.
Vinayak Nagpal, Terry Filiba, Man-Kit Leung. VHDL code generation framework in Ptolemy II, Talk or presentation, 13, February, 2007.
Dan Higgins, Josh Madin. Using the RExpression Actor in Kepler Workflows, Talk or presentation, 13, February, 2007.
Edward A. Lee. Nesting and Unnesting Models of Computation, Talk or presentation, 13, February, 2007.
Efrat Jaeger-Frank, Ilkay Altintas. A Kepler-based Three Tier Architecture applied to LiDAR Interpolation, Talk or presentation, 13, February, 2007.
Edward A. Lee, Feng Zhao. Real-Time Fault-Tolerant Distributed DE for Embedded Systems, Talk or presentation, 13, February, 2007.
Edward A. Lee, Yang Zhao. Joint Modeling and Design of Wireless Networks and Sensor Node Design, Talk or presentation, 13, February, 2007.
Elaine Cheong. Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Talk or presentation, 13, February, 2007.
Edward A. Lee. Cyber-Physical Systems: A Vision of the Future, Talk or presentation, 13, February, 2007.
Jörn Janneck. The CAL Actor Language: Synthesizing Models to FPGA, Talk or presentation, 13, February, 2007.
Christopher X. Brooks, Edward A. Lee. Making Concurrency Mainstream, Talk or presentation, 16, January, 2007.
Mona D. Lee. The UC Discovery Grant Program, Talk or presentation, 13, January, 2007.

2006

Edward A. Lee. Discrete Event Models: Getting the Semantics Right, Talk or presentation, 4, December, 2006.
A. Abate, J. Lygeros, S. Sastry. Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, Talk or presentation, November, 2006.
Thomas Mandl. Diesel Engine ECU Overview Ptolemy Ideas, Talk or presentation, 12, December, 2006.
Edward A. Lee. The Case for Precision Timed (PRET) Machines, Talk or presentation, 30, November, 2006.
Stephen A. Edwards. SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems, Talk or presentation, 8, November, 2006.
Patrick Saint-Pierre. Dynamical constrained Impulse system analysis through viability approach and applications., Talk or presentation, 21, November, 2006.
Hugo A. Andrade and Zach Nelson. Graphical System Design: Bringing Embedded Design to the Masses in Science and Engineering, Talk or presentation, 28, November, 2006.
Shankar Sastry. Hybrid Systems: Theoretical Contributions Part I, Talk or presentation, 4, October, 2006.
Janos Sztipanovits. Embedded Systems Education: Vanderbilt University, Talk or presentation, 4, October, 2006.
Janos Sztipanovits. Embedded Systems Education: Vanderbilt University, Talk or presentation, 4, October, 2006.
Jonathan Sprinkle. Outreach, Talk or presentation, September, 2006.
Bela Bollobas, Svante Janson, Oliver Riordan. Heterogeneous Ad Hoc Networks, Talk or presentation, 4, October, 2006.
Alberto Sangiovanni-Vincentelli. Experimental Research, Talk or presentation, September, 2006.
Janos Sztipanovits. Model-Based Design, Talk or presentation, September, 2006.
Edward A. Lee. Advanced Tool Architectures, Talk or presentation, 4, October, 2006.
Tom Henzinger. Hybrid Systems: Theoretical Contributions Part II, Talk or presentation, 4, October, 2006.
Shankar Sastry. Foundations of Hybrid and Embedded Software Systems: Project Overview, Talk or presentation, 4, October, 2006.
Shankar Sastry. Foundations of Hybrid and Embedded Software Systems: Project Overview, Talk or presentation, 4, October, 2006.
Bela Bollobas. Heterogeneous Ad Hoc Networks, Talk or presentation, 4, October, 2006.
Jongho Lee, Mikael Eklund, Shankar Sastry. Multiple Targets: Pursuing and Monitoring, Talk or presentation, 4, October, 2006.
Vincent Duindam. Port-based Modeling and Control for Efficient Bipedal Walking Machines, Talk or presentation, September, 2006.
Vincent Duindam. Port-based Modeling and Control for Efficient Bipedal Walking Machines, Talk or presentation, 31, October, 2006.
Shankar Sastry. New Innovative Technologies for Cyber Physical Societal Scale Systems: Top Down Meets Bottom Up, Talk or presentation, September, 2006.
Edward A. Lee. Educating New Generation of Students in Embedded Systems, Talk or presentation, 4, October, 2006.
Gabor Karsai. Impact: Fault Tolerance and High Confidence Embedded System Design, Talk or presentation, 4, October, 2006.
Claire Tomlin. Systems Biology: Embedded Inter- and Intra-cellular dynamics, Talk or presentation, 4, October, 2006.
Janos. Tool Repositories, ESCHER and continuing the Legacy of the ITR, Talk or presentation, 4, October, 2006.
Alberto Sangiovanni-Vincentelli. New Vistas on Automotive Embedded Systems, Talk or presentation, 4, October, 2006.
Danielle Tarraf. Control of Hybrid Systems: a Robust Finite State Machine Approach, Talk or presentation, 29, September, 2006.
Wolfgang Pree. Modeling with the Timing Definition Language, Talk or presentation, 26, September, 2006.
Ernesto Wandeler, Lothar Thiele. Modular Performance Analysis and Interface-Based Design for Real-Time Systeems, Talk or presentation, 11, April, 2006.
Rachel Zhou, Edward A. Lee, Haiyang Zheng. Causality Interfaces, Talk or presentation, 7, March, 2006.
Adam Cataldo, Thomas Feng, Prof. Edward A. Lee. A First Look at Ptalon, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Sumitra Ganesh, Aaron D. Ames, Prof. Ruzena Bajcsy. Learning Nonlinear Dynamical Models for Human Motion Modeling, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Rachel Zhou, Haiyang Zheng, Prof. Edward A. Lee. Causality Interfaces and Compositional Causality Analysis, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Mark L. McKelvin Jr., Claudio Pinello, Sri Kanajan, Prof. Alberto Sangiovanni-Vincentelli. Fault Tree Generation for Distributed Fault Tolerant Systems, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Slobodan Matic, Prof. Thomas A. Henziger. An Interface Algebra for Real-Time Components, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Arkadeb Ghosal, Prof. Alberto Sangiovanni-Vincentelli. Hierarchical Timing Language, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Alexander Kurzhanskiy, Prof. Pravin Varaiya. Ellipsoidal Toolbox, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Haiyang Zheng, Prof. Edward A. Lee. HyVisual: a Hybrid System Visual Modeler, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Prof. Thomas A. Henziger, Marcin Jurdzinski, Freddy Mang, and Marielle Stoelinga. Behavioral Types for Open Software Systems, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Guang Yang, Prof. Alberto Sangiovanni-Vincentelli, Xi Chen, Harry Hsieh, Felice Balarin. Communication & Co-Simulation Infrastructure in Heterogeneous System Integration, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Gerald Wang, Prof. Alberto Sangiovanni-Vincentelli. Synthesis Methodology for Concurrent Communicating Processes, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Matt Harren, Prof. George Necula. Verifying Safety Properties in Assembly Code, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Trevor Meyerowitz, Rong Chen, Jens Harnisch, Prof. Alberto Sangiovanni-Vincentelli. Modeling a Heterogeneous Multiprocessor for Software Defined Radio, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Xiaojun Liu. Semantic Foundation of the Tagged Signal Model, Talk or presentation, 21, February, 2006.
David Mandelin, Prof. Ratislav Bodik. Prospector: A Sample Code Search Engine for Complex APIs, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Soonhoi Ha. HOPES: Embedded Software Development for MPSoC, Talk or presentation, 14, February, 2006.
Gang Zhou, Jackie Leung, Prof. Edward A. Lee, Christopher Brooks. Codegen, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Todd Templeton, Christopher Geyer, J. Mikael Eklund, David H.C. Shim, Jonathan Sprinkle, Prof. Shankar Sastry. Autonomous Rotorcraft Landing Using Computer Vision, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Jonathan Sprinkle, J. Mikael Eklund, David H.C. Shim, Christopher Brooks, Prof. Shankar Sastry. The Embedded Open Control Platform, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Christoph Kirsch. The JAviator Project, Talk or presentation, 7, February, 2006.
Jongho Lee, J. Mikael Eklund, Prof. Shankar Sastry. Group Pursuit Evasion Games of Unmanned Underwater Vehicles, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Takashi Nagata, Hwan Hur, Tomoyuki Kaga, Prof. Masayoshi Tomizuka. Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control for Automatic Transmissions, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Wei Zheng, Prof. Alberto Sangiovanni-Vincentelli. Time Triggered Scheduling of Architecture Exploration for Automotive Application, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Pannag Sanketi, Carlos Zavala, Prof. Karl Hedrick. Automotive Engine Hybrid Modeling and Control of Hydrocarbon Emissions, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Haibo Zheng, Prof. Alberto Sangiovanni-Vincentelli. Automotive Architecture Exploration in Metropolis, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Alessandro Abate, Saurabh Amin, Prof. Shankar Sastry. Reachability Analysis for Discrete Time Stochastic Hybrid Systems, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
John C. Eidson. Theoretical and Practical Challenges of LXI and IEEE 1588 Measurement Systems, Talk or presentation, 24, January, 2006.

2005

Alessandro D'Innocenzo. Observability of Hybrid Systems and applications to ATM, Talk or presentation, 6, December, 2005.
Giordano Pola, Arjan J. van der Schaft, Maria D. Di Benedetto. Achievable Bisimilar Behaviours of Abstract State Systems, Talk or presentation, 6, December, 2005.
Antoine Girard, George Pappas. Approximation Metrics for Discrete, Continuous and Hybrid Systems, Talk or presentation, 29, November, 2005.
Sinisa Srbljic. Programmable Internet Environment (PIE), Talk or presentation, 8, November, 2005.
Elaine Cheong, Jie Liu, Feng Zhao. Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, Talk or presentation, 15, November, 2005.
Sanjit A. Seshia, Randal Bryant, Kenneth Stevens. Reasoning about Timed Systems Using Boolean Methods, Talk or presentation, 11, October, 2005.
Edward A. Lee. Building Unreliable Systems out of Reliable Components, Talk or presentation, 23, September, 2005.
Edward A. Lee. The Operational Semantics of Hybrid Systems, Talk or presentation, 9, March, 2005.
Edward A. Lee. Embedded Software: Bulding the Foundations, Talk or presentation, 10, February, 2005.

2004

Edward A. Lee. Embedded Software: Leveraging Concurrent Models of Computation, Talk or presentation, 30, June, 2004.
Edward A. Lee. Actor-Oriented Design: A focus on domain-specific languages for embedded systems, Talk or presentation, 22, June, 2004.
Edward A. Lee. Hybrid Systems Modeling: Operational Semantics Issues, Talk or presentation, 4, February, 2004.

2003

Edward A. Lee. Behavioral Types as Interface Definitions, Talk or presentation, 12, October, 2003.
Edward A. Lee. Are "Embedded Systems" Just Systems Made with Small Computers?, Talk or presentation, 11, October, 2003.
Edward A. Lee. Model-Driven Development, From Object-Oriented Design to ASctor-Oriented Design, Talk or presentation, 24, September, 2003.
Edward A. Lee. Design Languages in 2010, Talk or presentation, 26, September, 2003.
Edward A. Lee. Embedded Software Challenges for the Next 10 Years, Talk or presentation, 29, September, 2003.
Edward A. Lee. Re-Architecting System Science in Engineering Education, Talk or presentation, 1, March, 2003.
Edward A. Lee. Center for Hybrid and Embedded Software Systems, Talk or presentation, 27, February, 2003.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in