Commands
Search pubs database

Quick search by ...

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

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

2009

Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren D. Patel, Martin Schoeberl. A Disruptive Computer Design Idea: Architectures with Repeatable Timing, Talk or presentation, 6, October, 2009; Invited Talk, IEEE International Conference on Compouter Design (ICCD), Squaw Valley, CA, October 6, 2009. .
Edward A. Lee, Ben Lickly, Jackie Man-Kit Leung, Thomas Mandl, Elizabeth Latronico, Charles Shelton, Stavros Tripakis. Ensuring Correct Composition of Components using Lattice-based Ontologies, Talk or presentation, 11, October, 2009; WFCD - Foundations and Applications of Component-based Design in Conjunction with ES Week, Grenoble, France, October 11, 2009.
Edward A. Lee. Model-Based Code Generation is not a Replacement for Programming, Talk or presentation, 16, October, 2009.
Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren D. Patel, Martin Schoeberl. Architectures with Repeatable Timing for Cyber-Physical Systems, Talk or presentation, 16, October, 2009; Invited Keynote Talk, Workshop on Cyber-Physical Systems (part of ES Week) Grenoble, France, October 16, 2009.
Edward A. Lee. Introdfucing Embedded Systems: A Cyber-Physical Approach, Talk or presentation, 15, October, 2009; Invited Keynote Talk, Workshop on Embedded Systems Education (WESE) ES Week, October 15, 2009, Grenoble, France.
Edward A. Lee. Model-Based Design for Signal Processing Systems, Talk or presentation, 7, October, 2009; Invited Keynote Talk, IEEE Workshop on Signal Processing Systems (SiPS), October 7-9, 2009, Tampere, Finland.
Tom Henzinger. From Boolean to Quantitative System Specifications, Talk or presentation, 6, August, 2009.
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. The Case for Timing-Centric Distributed Software, Talk or presentation, 22, June, 2009; Invited Talk. 2nd International Workshop on Cyber-Physical Systems (WCPS 2009). Montreal, Quebec, Canada.
Edward A. Lee. Beyond Embedded Systems: Integrating Computation, Networking, and Physical Dynamics, Talk or presentation, 19, June, 2009; Invited Keynote Talk. ACM SIGPLANISIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 19-20, 2009. Dublin, Ireland. .
Thomas Huining Feng. Model Transformation with Hierarchical Discrete-Event Control, Talk or presentation, 6, May, 2009; Dissertation Talk.
Edward A. Lee. Closing Remarks, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Hauke Fuhrmann, Reinhard von Hanxleden. Exploring Modeling Pragmatics with Ptolemy and KIELER, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Kaushik Ravindran, Hugo Andrade, Sadia Malik, Michael Rauser, Guoqiang Gerald Wang, Guang Yang. Taking LabVIEW further into the System Level Design Domain, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Darryl Koivisto. Using Actor-based design for IP Sharing, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Ben Leinfelder, Ilkay Altintas, Derik Barseghian, Daniel Crawl, Matt Jones, Aaron T Schultz, Staggs Debi. An integrated approach to managing workflow runs and generating reports in Kepler, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Elizabeth Latronico, Thomas Mandl, Man-Kit Leung. Model Ontologies: Generalizing Type System Ideas to Arbitrary Model, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Manish Anand. A Provenance Framework to Capture, Store, Query, and Browse Data Lineage in Kepler, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Jia Zou, Slobodan Matic. PTIDES (Programming Temporally Integrated Distributed Embedded Systems) and PtidyOS, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Hiren D. Patel, Ben Lickly, Isaac Liu. Precision Timed (PRET) Machines, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Stefan Resmerita, Patricia Derler. The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Daniel Zinn. Parallel Virtual Machines in Kepler, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Bertram Ludaescher. Kepler Project Overview, Status, and Future Directions, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Edward A. Lee. Ptolemy Project Vision, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Thomas Huining Feng. Model Transformation with the Ptera Controller, Talk or presentation, 16, April, 2009; Poster presented in 8th Biennial Ptolemy Miniconference.
Thomas Huining Feng. Model Transformation with the Ptera Controller, Talk or presentation, 16, April, 2009; Presented in the 8th Biennial Ptolemy Miniconference.
Alexandre Bayen. Mobile Millennium: using smartphones to monitor traffic in privacy aware environments, Talk or presentation, 7, April, 2009.
Silviu Craciunas. Everyone Virtualizes Everything But Time, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Ricardo Gonzalez. Modeling Network Lifetime in a WSN using Visual Sense, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Sean Riddle, Amber Hartman, Timothy McPhillips, Shawn Bowers, David Welker, Bertram Ludaescher. Optimizing Comad for growing input data sets, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Michael Wetter. Modeling, Simulation and Analysis of Integrated Building Energy and Control Systems, Talk or presentation, 21, April, 2009.
Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee. Poster Abstract: “PtidyOS: An Operating System based on the PTIDES Programming Model”, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Dai Nguyen Bui, Alessandro Pinto, Edward A. Lee. On-time Network On-Chip: Analysis and Architecture, Talk or presentation, 16, April, 2009.
Thomas Huining Feng. Model Transformation with the Ptera Controller, Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.
Paulo Tabuada. On the synthesis of correct-by-design embedded control software, Talk or presentation, 17, April, 2009.
Man-Kit Leung, Bert Rodiers, Christopher Brooks, Edward A. Lee. Retargetable Model-Based Code Generation in Ptolemy II, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Hiren D. Patel. A Precision Timed Architecture for Predictable and Repeatable Timing, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Albert Benveniste. Embedded system design with the Polychronous paradigm, Talk or presentation, 14, April, 2009.
Ben Lickly, Hiren D. Patel, Edward A. Lee. Timing-aware Exceptions for a Precision Timed (PRET) Target, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference .
Nimish Sane. A generalized framework for modeling and scheduling heterogeneous dataflow applications, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Faraaz Sareshwala. KAMon: A Kepler Module for Runtime Monitoring of Scientific Workflows, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Duarte Vieira. Simulating the Calculus for Sensor Networks in VisualSense, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Christopher Brooks, Isaac Liu, Ben Lickly, Stavros Tripakis, Man-Kit Leung, Thomas Huining Feng. Ptolemy Ptutorial, Talk or presentation, 15, April, 2009.
Bert Rodiers, Ben Lickly. New Width Inference Algorithm, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
Jeff Burch, Adam Cataldo, John Eidson. Uses of Synchronized Clocks in Test and Measurement Systems, Talk or presentation, 3, March, 2009.
Christopher Batten. Manycore Vector-Thread Architectures, Talk or presentation, 10, March, 2009.
Edward A. Lee, Claire Tomlin. Overview of CHESS (Center for Hybrid and Embedded Software Systems), Talk or presentation, 30, March, 2009; Supercedes "Center for Hybrid and Embedded Software Systems (CHESS) Overview.
Stavros Tripakis. Implementing Synchronous Models on Distributed Execution Platforms, Talk or presentation, 24, March, 2009.
J.D. Margulici. CCIT: Accelerating Deployment, Talk or presentation, 30, March, 2009; Presented at the 3/30/2009 Thales Visit.
James Misener. California PATH Overview, Talk or presentation, 30, March, 2009; Presented during the Thales visit.
Samer Madanat. Berkeley Institute of Transportation Studies Overview, Talk or presentation, 30, March, 2009; Presented during the Thales visit.
Gary Baldwin. An introduction to CITRIS: The Center for Information Technology Research in the Interest of Society A California Institute for Science and Innovation, Talk or presentation, 30, March, 2009; Presented during the Thales visit.
Wenchao LI. Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay, Talk or presentation, 31, March, 2009.
dan holcomb. Design as You See FIT: System-Level Soft Error Analysis of Sequential Circuits, Talk or presentation, 31, March, 2009.
Christopher Brooks. Center for Hybrid and Embedded Software Systems (CHESS) Overview, Talk or presentation, 3, March, 2009; Superceded by the 3/30/2009 presentation Overview of CHESS (Center for Hybrid and Embedded Software Systems).
Hiren D. Patel, Isaac Liu, Ben Lickly, Edward A. Lee. A Precision Timed Architecture for Timing Predictability and Repeatability, Talk or presentation, 12, February, 2009.
Christopher Brooks, Edward A. Lee. The Center for Hybrid and Embedded Software Systems (CHESS), Talk or presentation, 12, February, 2009; Poster presented at the 2008 Berkeley EECS Annual Research Symposium (BEARS).
Christopher Brooks, Edward A. Lee. Cyber-Physical Systems, Talk or presentation, 12, February, 2009; Poster presented at the 2009 Berkeley EECS Annual Research Symposium.
Stavros Tripakis. Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Reusability vs. Code Size, Talk or presentation, 3, February, 2009.
Thomas Huining Feng, Edward A. Lee. Model Transformation Using ERG Controller, Talk or presentation, 12, February, 2009; Poster presented at the 2008 Berkeley EECS Annual Research Symposium (BEARS).
Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems, Talk or presentation, 10, February, 2009.
Bert Rodiers, Ben Lickly. New Width Inference Algorithm, Talk or presentation, 12, February, 2009; Poster presented at 2009 Berkeley EECS Annual Research Symposium (BEARS).
Stefan Resmerita. The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Talk or presentation, 17, February, 2009.
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng. Simulation and Implementation of the PTIDES Programming Model, Talk or presentation, February, 2009.
Ben Lickly, Hiren D. Patel. Timing-aware Exceptions for a Precision Timed (PRET) Target, Talk or presentation, 12, February, 2009.
Christoph Kirsch. Time-Portable Programming the JAviator in Tiptoe OS, Talk or presentation, 13, January, 2009.

2008

Luciano Resende. Service Component Architecture (SCA), Talk or presentation, 2, December, 2008.
Guoqiang Gerald Wang. Synchronous Reactive Communication: Generalization Implementation and Optimization, Talk or presentation, 9, December, 2008.
Mike Butts. Process Network in Silicon: A High-Productivity, Scalable Platform for High-Performance Embedded Computing, Talk or presentation, 25, November, 2008.
Colin Endicott. The Nimrod/K director for the Kepler workflow environment, Talk or presentation, 12, November, 2008.
Douglas Densmore. Computer Aided Design of Synthetic Biological Systems Using Standardized Parts, Talk or presentation, 18, November, 2008.
Stephen Boyd. Robust Control Design, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Stephen Boyd. Model-based Testing and Verification of Embedded System Implementations, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Peter Volgyesi, Gabor Karsai, Janos Sztipanovits. Model-Based Tool Chain for High Confidence Design, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.
Nicholas Kottenstette. Inertial Control of a Quad-Rotor Helicopter: A Passivity Based Approach, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Hiren D. Patel. Predictable Programming on a Precision Timed Architecture, Talk or presentation, 17, October, 2008.
Edward A. Lee, Man-Kit Leung. Principled Design of Embedded Software, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Claire Tomlin, S. Shankar Sastry. Demonstration of the Starmac Experimental Platform and Overview of Hybrid Control Design Challenges, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Janos Sztipanovits. High-Confidence Design for Distributed Embedded Systems (HCDDES) Project Overview, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Andre Platzer, Edmund M. Clarke. Saturation-based Scaling Techniques for Symbolic Verification of Hybrid Systems, Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.
Edward A. Lee. Multimodeling, Talk or presentation, 3, October, 2008; Panel: Addressing the Challenges of Multi-Modeling for Domain-Specific Modeling Languages ACM/IEEE 11th. Conference: International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), Toulouse, France. .
Edward A. Lee. Model Engineering, Talk or presentation, 21, October, 2008.
Shanna-Shaye Forbes, Hugo Andrade, Hiren D. Patel, Edward A. Lee. An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture, Talk or presentation, 27, October, 2008.
Marco Caccamo. Toward the Predictable Integration of Real-Time COTS Based Systems, Talk or presentation, 28, October, 2008.
Hiren D. Patel. Predictable Programming on a Precision Timed Architecture, Talk or presentation, 21, October, 2008.
Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden. Model Engineering using Multimodeling, Talk or presentation, 30, September, 2008; 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), Toulouse, France. Presentation of the paper found at http://chess.eecs.berkeley.edu/pubs/486.html.
Tim Hayles. Integrating Timing with Data and Space Availability as Firing Rules, Talk or presentation, 9, September, 2008.
Thomas Huining Feng, Edward A. Lee. Scalable Models Using Model Transformation, Talk or presentation, 29, September, 2008; 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2008). Paper may be found at http://chess.eecs.berkeley.edu/pubs/487.html.
Oded Maler. On Computer Science in Systems Biology, Talk or presentation, 22, August, 2008.
Oded Maler. Timed Automata: Modeling and Analysis, Talk or presentation, 20, August, 2008.
Oded Maler. Verification for Dummies: A Gentle Introduction to Formal Verification and Hybrid Systems, Talk or presentation, 19, August, 2008.
Oded Maler. From Control Loops to Software, Talk or presentation, 21, August, 2008.
Michael Margaliot. Stability Analysis of Switched Systems using Variational Principles, Talk or presentation, 5, August, 2008.
Hans Vangheluwe. Modular Timed Graph Transformation, Talk or presentation, 6, August, 2008.
Edward A. Lee. Disciplined Concurrent Models of Computation for Parallel Software, Talk or presentation, 3, August, 2008.
Edward A. Lee. Component Architectures for Time-Sensitive Systems, Talk or presentation, 22, July, 2008.
Maarten Wiggers. Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication, Talk or presentation, 31, July, 2008.
Edward A. Lee. Balancing Expressiveness and Analyzability in Stream Formalisms, Talk or presentation, 7, July, 2008; Invited Talk, Exploiting Concurrency: Efficiency and Correctness (EC2) A Workshop, in conjunction with the 20th International Conference on Computer aided Verification (CAV 2008) Princeton, NJ July 7 and 8, 2008.
Bernhard Rumpe. Advanced topics in model-based software development, Talk or presentation, 3, June, 2008.
William Plishker. Functional DIF, Talk or presentation, 5, June, 2008.
Girault Alain. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs, Talk or presentation, 10, 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.
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.
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.
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.
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.
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.
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.
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.
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. .
Luca Greco. Anytime Control Algorithms for Embedded Real-Time Systems, Talk or presentation, 29, April, 2008; Presented at the CHESS Seminar, Berkeley, CA.
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.
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.
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.
Isaac Liu, Ben Lickly, Hiren D. Patel. Precision Timed Machine (PRET), Talk or presentation, 21, February, 2008.
Sameer Iyengar, Alberto Sangiovanni-Vincentelli. Spine: Software Framework for Wireless Body Sensor Networks, Talk or presentation, 22, 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.
Shanna-Shaye Forbes, Hiren D. Patel, Hugo 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.
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.
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.
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. For an updated version, see the 2009 BEARS version .
Trevor Meyerowitz. Single and Multi-CPU Performance Modeling for Embedded Systems (Dissertation Talk), Talk or presentation, 26, February, 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. For an updated version, see the 2009 BEARS poster.
Alois Knoll, Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems, Talk or presentation, 19, February, 2008.
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.
Christopher Brooks. Software Development in an Academic Environment: Lessons learned and not learned, Talk or presentation, 1, November, 2007.
Naira Hovakimyan. The Theory of Fast and Robust Adaptation, Talk or presentation, 13, November, 2007.
Alessandro Pinto. Communication Synthesis with Applications to On-Chip Communication and Building Automation Systems, Talk or presentation, 27, November, 2007.
Christopher Brooks. Center for Hybrid and Embedded Software Systems (CHESS) Overview, Talk or presentation, 18, October, 2007; This 2007 CHESS Overview is has been superseded by the 2009 Version.
Edward A. Lee. Using the Principles of Synchronous Languages in Discrete-event and Continuous-time Models, Talk or presentation, 23, October, 2007.
Andrzej Banaszuk. Design of Robust Dynamic Networks, Talk or presentation, 16, October, 2007.
Jorn Janneck. From Actors to Gates, Talk or presentation, 9, October, 2007.
Reinhard von Hanxleden. Visual Modeling of Complex Systems: The Kiel System, Talk or presentation, 4, October, 2007.
Hiren D. 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.
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.
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.
Stephen Boyd, Joelle Skaf. Controller Coefficient Truncation Using Lyapunov Performance Certificate, Talk or presentation, 6, September, 2007.
Bruce Krogh. Embedded Systems Modeling and Deep Compositionality, 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.
David Fuller. Graphical System Design, Talk or presentation, 26, September, 2007.
Krishnendu Chatterjee. Stochastic Omega-Regular Games, Talk or presentation, 25, 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.
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.
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.
Janos Sztipanovits. High-Confidence Design for Distributed Embedded Systems MURI Project Overview, Talk or presentation, 6, September, 2007.
Elaine Cheong. Actor-Oriented Programming for Wireless Sensor Networks, Talk or presentation, 24, August, 2007.
Ramesh S.. A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems, Talk or presentation, 28, August, 2007.
Christopher Brooks, Edward A. Lee. Making Concurrency Mainstream, Talk or presentation, 16, July, 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.
Vason P. srini. From Concept to Silicon, Talk or presentation, 3, April, 2007.
Mike Case. Automated Extraction of Inductive Invariants to Aid Model Checking, Talk or presentation, 10, April, 2007.
Edward A.. Is Truly Real-Time Computing Becoming Unachievable?, Talk or presentation, 3, April, 2007.
Janos Sztipanovits. Defining Behavioral Semantics for Domain Specific Modeling Languages, Talk or presentation, April, 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.
Edward A. Lee. Cyber-Physical Systems: A Vision of the Future, 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.
Edward A. Lee, Feng Zhao. Real-Time Fault-Tolerant Distributed DE for Embedded Systems, 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. Nesting and Unnesting Models of Computation, Talk or presentation, 13, February, 2007.
Daniel Higgins, Josh Madin. Using the RExpression Actor in Kepler Workflows, 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.
Rodolfo Totaro. Actor Oriented as OpenOffice.org Macro Language, Talk or presentation, 13, February, 2007.
Mohamed A. Salem. Ptolemy Reconfigurable and Programmable Hardware Platform, Talk or presentation, 13, February, 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.
Edward A. Lee. Extending Domains and the User Interface, Talk or presentation, 13, February, 2007.
Jorn Janneck. The CAL Actor Language: Synthesizing Models to FPGA, 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. Ptolemy Project Vision, Talk or presentation, 13, February, 2007.
Matt Jones. Kepler Project Overview, Status, and Future Directions, 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.
Haiyang Zheng, Edward A. Lee. Leveraging synchronous language principles for continuous-time, discrete-event, and hybrid system models, Talk or presentation, 13, February, 2007.
Daniel Zinn, Tim H. Wong, Bertram Ludaescher. Scheduling Data-Intensive Workflows in Kepler, 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.
A. Ngu, N. Haasch, T. Critchlow, S. Bowers, T. McPhillips, B. Ludaescher. S. Bowers, T. McPhillips, B. Ludaescher, Talk or presentation, 13, February, 2007.
Eleftherios Matsikoudis. Correctness in Causal Systems, Talk or presentation, 13, February, 2007.
Ye Zhou, Edward A. Lee. Causality Interfaces for Actor Networks, Talk or presentation, 13, February, 2007.
Timothy McPhillips, Shawn Bowers, Bertram Ludaescher. COMAD:Collection-Oriented Modeling and Design of Scientific Workflows and Data, 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.
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.
Gang Zhou, Edward A. Lee, Man-Kit Leung. Partial Evaluation for Optimized Compilation of Actor-oriented Models, Talk or presentation, 13, 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.
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.
Christoph Kirsch. Time-Portable Real-Time Programming with Exotasks, Talk or presentation, 27, February, 2007.
Edward A. Lee. Discrete Event Models: Getting the Semantics Right, Talk or presentation, 14, February, 2007.
Karl Hedrick, Carlos Zavala, Pannag R Sanketi. Model-Based Control for Automotive Cold Start Applications, Talk or presentation, 14, February, 2007.
Karl Hedrick, Carlos Zavala, Pannag R Sanketi. Model0Based Control for Automotive Cold Start Applications, Talk or presentation, 14, February, 2007.
Krishnendu Chatterjee, Tom Henzinger. Games, Times, and Probabilities: Value Iteration in Verification and Control, Talk or presentation, 14, February, 2007.
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu. Metropolis II: A Next-Generation Framework for Platform-based Design, 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.
Mona D. Lee. The UC Discovery Grant Program, Talk or presentation, 13, January, 2007.

2006

Thomas Mandl. Diesel Engine ECU Overview Ptolemy Ideas, Talk or presentation, 12, December, 2006.
A. Abate, J. Lygeros, S. S. Sastry. Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, Talk or presentation, December, 2006.
Edward A. Lee. Discrete Event Models: Getting the Semantics Right, Talk or presentation, 4, December, 2006.
Patrick Saint-Pierre. Dynamical constrained Impulse system analysis through viability approach and applications., Talk or presentation, 21, November, 2006.
Stephen A. Edwards. SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems, Talk or presentation, 8, November, 2006.
Hugo Andrade, Zach Nelson. Graphical System Design: Bringing Embedded Design to the Masses in Science and Engineering, Talk or presentation, 28, November, 2006.
Edward A. Lee. The Case for Precision Timed (PRET) Machines, Talk or presentation, 30, November, 2006.
Edward A. Lee. Educating New Generation of Students in Embedded Systems, Talk or presentation, 4, October, 2006.
S. Shankar Sastry. New Innovative Technologies for Cyber Physical Societal Scale Systems: Top Down Meets Bottom Up, Talk or presentation, October, 2006.
Gabor Karsai. Impact: Fault Tolerance and High Confidence Embedded System Design, Talk or presentation, 4, October, 2006.
S. Shankar Sastry. Foundations of Hybrid and Embedded Software Systems: Project Overview, Talk or presentation, 4, October, 2006.
S. Shankar Sastry. Foundations of Hybrid and Embedded Software Systems: Project Overview, Talk or presentation, 4, October, 2006.
S. Shankar Sastry. Hybrid Systems: Theoretical Contributions Part I, Talk or presentation, 4, October, 2006.
Tom Henzinger. Hybrid Systems: Theoretical Contributions Part II, Talk or presentation, 4, October, 2006.
Claire Tomlin. Systems Biology: Embedded Inter- and Intra-cellular dynamics, Talk or presentation, 4, October, 2006.
Janos Sztipanovits. Model-Based Design, Talk or presentation, October, 2006.
Bela Bollobas, Svante Janson, Oliver Riordan. Heterogeneous Ad Hoc Networks, Talk or presentation, 4, October, 2006.
Bela Bollobas. Heterogeneous Ad Hoc Networks, 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.
Alberto Sangiovanni-Vincentelli. Experimental Research, Talk or presentation, October, 2006.
Alberto Sangiovanni-Vincentelli. New Vistas on Automotive Embedded Systems, Talk or presentation, 4, October, 2006.
Edward A. Lee. Advanced Tool Architectures, Talk or presentation, 4, October, 2006.
Janos Sztipanovits. Tool Repositories, ESCHER and continuing the Legacy of the ITR, Talk or presentation, 4, October, 2006.
Jongho Lee, J. Mikael Eklund, S. 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, 31, October, 2006.
Vincent Duindam. Port-based Modeling and Control for Efficient Bipedal Walking Machines, Talk or presentation, October, 2006.
Jonathan Sprinkle. Outreach, Talk or presentation, 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.
John Eidson. Theoretical and Practical Challenges of LXI and IEEE 1588 Measurement Systems, Talk or presentation, 24, August, 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.
Haibo Zheng, Alberto Sangiovanni-Vincentelli. Automotive Architecture Exploration in Metropolis, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Haiyang Zheng, Edward A. Lee. HyVisual: a Hybrid System Visual Modeler, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Alessandro Abate, Saurabh Amin, S. Shankar Sastry. Reachability Analysis for Discrete Time Stochastic Hybrid Systems, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Rachel Zhou, Haiyang Zheng, Edward A. Lee. Causality Interfaces and Compositional Causality Analysis, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Slobodan Matic, Tom Henzinger. An Interface Algebra for Real-Time Components, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle Stoelinga. Behavioral Types for Open Software Systems, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Arkadeb Ghosal, Alberto Sangiovanni-Vincentelli. Hierarchical Timing Language, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Pannag R Sanketi, Carlos Zavala, Karl Hedrick. Automotive Engine Hybrid Modeling and Control of Hydrocarbon Emissions, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
wei zheng, Alberto Sangiovanni-Vincentelli. Time Triggered Scheduling of Architecture Exploration for Automotive Application, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. Fault Tree Generation for Distributed Fault Tolerant Systems, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Jonathan Sprinkle, J. Mikael Eklund, David Hyunchul Shim, Christopher Brooks, S. 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.
Soonhoi Ha. HOPES: Embedded Software Development for MPSoC, Talk or presentation, 14, February, 2006.
Xiaojun Liu. Semantic Foundation of the Tagged Signal Model, Talk or presentation, 21, February, 2006.
Gang Zhou, Jackie Leung, 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 Hyunchul Shim, Jonathan Sprinkle, S. Shankar Sastry. Autonomous Rotorcraft Landing Using Computer Vision, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Jongho Lee, J. Mikael Eklund, S. 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, 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.
Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli. Synthesis Methodology for Concurrent Communicating Processes, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Adam Cataldo, Thomas Huining Feng, Edward A. Lee. A First Look at Ptalon, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Guang Yang, 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.
Trevor Meyerowitz, Rong Chen, Jens Harnisch, Alberto Sangiovanni-Vincentelli. Modeling a Heterogeneous Multiprocessor for Software Defined Radio, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy. Learning Nonlinear Dynamical Models for Human Motion Modeling, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Alexander B. Kurzhanski, Pravin Varaiya. Ellipsoidal Toolbox, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
David Mandelin, Rastislav Bodik. Prospector: A Sample Code Search Engine for Complex APIs, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Matthew Harren, George Necula. Verifying Safety Properties in Assembly Code, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 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. Actor-Oriented Design: A focus on domain-specific languages for embedded systems, Talk or presentation, 22, June, 2004.
Edward A. Lee. Embedded Software: Leveraging Concurrent Models of Computation, Talk or presentation, 30, 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. 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. Model-Driven Development, From Object-Oriented Design to ASctor-Oriented Design, Talk or presentation, 24, 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