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

2017

Edward A. Lee. Living Digital Things, Talk or presentation, 15, October, 2017; 3rd IEEE International Conference on Collaboration and Internet Computing.
Edward A. Lee. Living Digital Things, Talk or presentation, 15, October, 2017; 3rd IEEE International Conference on Collaboration and Internet Computing.
Edward A. Lee. Fundamental Limits of Cyber-Physical and Hybrid System Modeling, Talk or presentation, 22, April, 2017; Invited Talk, The 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), a satellite event of ETAPS 17, Uppsala, Sweden.
Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman. A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, Talk or presentation, 19, April, 2017.

2016
Marta Kwiatkowska. Safety Verification of Deep Neural Networks, Talk or presentation, 8, November, 2016.
Edward A. Lee. Resurrecting Laplace's Demon: The Case for Deterministic Models, Talk or presentation, 4, October, 2016;
Keynote Talk: MODELS, St. Malo, France.
See video.
Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee. A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Talk or presentation, 5, June, 2016; Work-in-Progress Session, Design Automation Conference (DAC), Austin, TX, June 5-9, 2016.
Christopher Brooks, erwin de ley. Triquetrum: Models of Computation for Workflows, Talk or presentation, 8, March, 2016; Presented at EclipseCon NA 2016, Reston, VA.
Raechel Tan, Masayoshi Tomizuka. Turbocharged Engine Model Reduction For Discretization, Talk or presentation, 11, February, 2016.
Armin Wasicek. Automotive Intrusion Detection, Talk or presentation, 11, February, 2016; Poster presented at the 2016 Berkeley EECS Annual Research Symposium.
Christopher Brooks. Ptolemy II: An open-source platform for experimenting with actor-oriented design, Talk or presentation, 11, February, 2016; Poster presented at the 2016 Berkeley EECS Annual Research Symposium.
Christopher Brooks. The Center for Hybrid and Embedded Software Systems (CHESS), Talk or presentation, 11, February, 2016; Poster presented at the 2016 Berkeley EECS Annual Research Symposium.
Lotfi Zadeh. Stratification, target set reachability and incremental enlargement principle, Talk or presentation, 8, February, 2016.
Stefano Ermon. Probabilistic Inference by Hashing and Optimization, Talk or presentation, 25, January, 2016.
2015
Edward A. Lee. Better Engineering through Better Models, Talk or presentation, 11, November, 2015; Fundamental Limits of Cyber-Physical Systems Modeling, Invited Talk Edward A. Lee. Better Engineering through Better Models, Talk or presentation, 9, November, 2015; Plenary Talk International Conference on Complex Systems Engineering (ICCSE), Storrs, CT.
Ilge Akkaya, Edward A. Lee. From Streaming Data to Streaming Systems: Aspect-Oriented Data-Driven System Design, Talk or presentation, 9, November, 2015; Presented at the 2015 Rising Stars in EECS Workshop at MIT.
Lee Pike. Programming Languages for High-Assurance Air Vehicles, Talk or presentation, 2, November, 2015.
Siddharth Garg. Hardware Security: An Emerging Threat Landscape and Possible Solutions, Talk or presentation, 10, November, 2015.
Ilkay Altintas, Daniel Crawl. bioKepler: A Comprehensive Bioinformatics Scientific Workflow Module for Distributed Analysis of Large-Scale Biological Data, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Poster Presenters. Poster Summaries, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
David Come, Janette Cardoso. Scalable and reusable models for HLA-Ptolemy cosimulation framework, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Edward A. Lee. Ptolemy Miniconferences, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Ilkay Altintas, Daniel Crawl, Jianwu Wang. A Distributed Data-Parallel Execution Framework in the Kepler Scientific Workflow System, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Armin Wasicek. Composing Learning Internet-of-Things Applications with Accessors, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Ilge Akkaya. Building compositional learning and optimization applications for mobile sensor networks with PILOT, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Mai Nguyen, Daniel Crawl, Jianwu Wang, Ilkay Altintas. Machine Learning Module for Big Data Analysis in Kepler, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Chris Shaver, Marjan Sirjani. Representing Swarm Behaviors, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Jyotirmoy Deshmukh. Bridging the Gap between Research and Practice: Formal Methods in the Automotive Domain, Talk or presentation, 5, October, 2015.
Christopher Brooks, Fabio Cremona, Edward A. Lee, David Lorenzetti, Thierry Nouidui, Michael Wetter. CyPhySim - A Cyber-Physical Systems Simulator, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Edward A. Lee. Modeling and Simulating Cyber-Physical Systems using CyPhySim, Talk or presentation, 6, October, 2015; Invited Talk, Special Session on Design of Hybrid Systems, EMSOFT 2015, Amsterdam.
Edward A. Lee. The Ptolemy Project: Closing Remarks, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Giacomo Barbieri. Hybrid Cosimulation for Production Systems, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Shuo Han. A Theory of Privacy for Cyber-Physical Systems with Applications in Energy Systems, Talk or presentation, 13, October, 2015.
Yanxuan Li, Janette Cardoso, Pierre Siron. Adding time-step time management to a distributed Ptolemy-HLA framework, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Albert Cheng. Functional Reactive Programming for Real-Time and Cyber-Physical Systems, Talk or presentation, 23, October, 2015.
Osbert Bastani. Interactive Information Flow Analysis of Android Apps, Talk or presentation, October, 2015.
Jeronimo Castrillon. Analysis and software synthesis of KPN applications, Talk or presentation, 22, October, 2015.
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee. Modeling and Analyzing Air Traffic Control Systems using Ptolemy, Talk or presentation, 16, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Hokeun Kim, Yan Zhao. Fast Simulation Techniques for HP Multi Jet Fusion(TM) 3D Printing Technology using Ptolemy II, Talk or presentation, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Hokeun Kim, Armin Wasicek, Edward A. Lee. A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Talk or presentation, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee. FIDE - An FMI Integrated Design Environment, Talk or presentation, 16, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee. Automatic generation of master algorithms for FMI 2.0 Co-Simulation, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Patricia Derler, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Ankita Prasad, Trung N. Tran, Kaushik Ravindran. Challenges of Implementing Timed Models on Timed Platforms, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Marcus Pan, Amanda Prorok, Philip Dames, Mark Oehlberg, Edward A. Lee. Integration of Robotic Systems into an IoT Framework via Access\ ors, Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Matt Weber. Localize The World, Talk or presentation, 16, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Mehrdad Niknami. Code Generation for Quantized-State System (QSS) Simulation, Talk or presentation, 16, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.
Calin Belta. Formal Methods for Dynamical Systems, Talk or presentation, 28, September, 2015.
Rabe Markus. A Temporal Logic Approach to Information-Flow Control, Talk or presentation, 22, September, 2015.
Edward A. Lee. The Internet of Important Things, Talk or presentation, 11, September, 2015; Keynote, Software Engineering snd Formal Methods (SEFM), York, England, UK.
Oh Songhwai. Robust Navigation and Tracking in Dynamic Environments, Talk or presentation, 8, September, 2015.
Edward A. Lee. Controlling Timing vs. Measuring Timing, Talk or presentation, 7, June, 2015; Keynote, Workshop on Suite of Embedded Applications and Kernels (SEAK) Design Automation Conference (DAC) San Francisco, CA.
Matt Weber, Edward A. Lee. Poster Abstract: A Model For Semantic Localization, Talk or presentation, April, 2015.
Ilge Akkaya, Daniel J. Fremont, Alexandre Donze, Rafael Valle, Edward A. Lee, Sanjit Seshia. Control Improvisation with Probabilistic Temporal Specifications, Talk or presentation, 13, April, 2015; Presented at the Second International Workshop on the Swarm at the Edge of the Cloud.
Mahesh Viswanathan. Safety and Stability of Cyberphysical Systems, Talk or presentation, 28, April, 2015.
Edward A. Lee. The Internet of Important Things, Talk or presentation, 28, April, 2015; Keynote, Time Sensitive Networks and Applications (TSNA), Santa Clara, CA.
Edward A. Lee. Architectural Support for Cyber-Physical Systems, Talk or presentation, 14, March, 2015; Keynote Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015)
March 14-18, 2015, Istanbul, Turkey.
Edward A. Lee. Connecting the Cloud to Things, Talk or presentation, 27, February, 2015.
Christopher Brooks, Edward A. Lee. Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Talk or presentation, 12, February, 2015; A poster presented at the 2013 BEARS Day, Berkeley.
Christopher Brooks, Edward A. Lee. An Overview of the CHESS Center, Talk or presentation, 12, February, 2015; A poster presented at the 2013 BEARS Day, Berkeley.
Ilge Akkaya. PILOT: An Actor-Oriented Learning and Optimization Toolkit for the Swarm, Talk or presentation, 12, February, 2015; Presented at the Berkeley EECS Annual Research Symposium (BEARS).
Raechel Tan, Chung-Yen Lin, Masayoshi Tomizuka. Approximate Nonlinear Model Predictive Control For Gasoline Engines, Talk or presentation, 12, February, 2015; Poster presented at the 2015 Berkeley EECS Annual Research Symposium.
Dardaillon Mickael. Compilation of Parametric Dataflow Applications for Software-Defined-Radio-Dedicated MPSoCs, Talk or presentation, 3, February, 2015.
Klaus Doppler. 5G, the Next Major Wireless Standard, Talk or presentation, January, 2015.
2014
Edward A. Lee. It's About Time, Talk or presentation, 8, December, 2014; Keynote, ReConFig: Reconfigurable Computing and FPGAs, Cancun, Mexico.
Martin Torngren. Roadmapping efforts for research, education and innovation in Cyber-Physical Systems (CPS), Talk or presentation, 4, November, 2014.
Philip Koopman. A Case Study of Toyota Unintended Acceleration and Software Safety, Talk or presentation, 14, November, 2014.
Ilge Akkaya, Edward A. Lee, Shuhei Emoto. PILOT: A Machine Learning and Optimization Toolkit for the Swarm, Talk or presentation, 17, November, 2014.
Dave Parker. Probabilistic Model Checking andS trategy Synthesis, Talk or presentation, 28, October, 2014.
Arne Hamann. Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems, Talk or presentation, 7, October, 2014.
Edward A. Lee. Constructive Models of Discrete and Continuous Physical Phenomena, Talk or presentation, 6, July, 2014; Keynote speech, Summer Simulation Multi-conference, July 6-10, 2014, Monterey CA.
Joseph Ng. Technical and Practical Aspects for Locating and Tracking Mobile Users within a Wireless Local Area Network, Talk or presentation, 22, April, 2014.
Echeveste Jose. Antescofo, a dynamic language for real-time musician-computer interaction, Talk or presentation, 15, April, 2014.
Thomas Watteneye. The Internet of (Important) Things, Talk or presentation, 8, April, 2014.
Natarajan Shankar. Building Assurance Cases with the Evidential Tool Bus, Talk or presentation, 4, March, 2014.
Matt Gerring. The use of Ptolemy 2 and clusters for data analysis at the Diamond Synchrotron, Talk or presentation, 18, March, 2014; Presented at the DREAM Seminar, UC Berkeley.
Marc Pouzet. Zelus, a synchronous language with Ordinary Differential Equations, Talk or presentation, 11, February, 2014.
Wilfried Steiner. Deterministic Ethernet as Reliable Communication Infrastructure for Distributed Dependable Systems, Talk or presentation, 21, February, 2014.
Selina Pan, Andreas Hansen, Kyle Edelberg, Karl Hedrick. Enhancing Model-Based Control for Automotive Cold Start Emissions, Talk or presentation, 13, February, 2014; Poster presented at the 2014 BEARS conference.
Raechel Tan, Masayoshi Tomizuka. Turbocharged Engine Modeling & Control, Talk or presentation, 13, February, 2014; Poster presented at the 2014 Berkeley EECS Annual Research Symposium.
Patricia Derler. SCR in Ptolemy, Talk or presentation, 12, February, 2014.
Edward A. Lee. Leveraging Synchronized Clocks in Distributed Applications, Talk or presentation, 14, January, 2014; Swarm Lab Retreat, Berkeley, CA.
2013
Edward A. Lee. Cyber-Physical Systems, A Fundamental Intellectual Challenge, Talk or presentation, 11, December, 2013; Invited Talk, College de France, Paris, France.
Edward A. Lee. Cyber-Physical Systems:A Rehash or A New Intellectual Challenge?, Talk or presentation, 10, December, 2013; Video of presentation given by author at a seminar at Supélec in Gif-sur Yvette, France.
Edward A. Lee. Systems of Systems Modeling, Talk or presentation, 4, December, 2013; Invited Talk, International Conference on Complex Systems Design & Management, Paris, France.
Christos Stergiou. Efficient Schedulability Testing for PTIDES, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Hallvard Traetteberg. Modeling user interfaces with Cal and Ptolemy, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Ulf Ruegg, Christian Schneider, Christoph Daniel Schulze, Miro Spoenemann, Christian Motika, Reinhard von Hanxleden. Light-Weight Synthesis of Ptolemy Diagrams with KIELER, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Adam Cataldo. Data Flow in the Data Center, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley. .
David Broman. Precision Timed Compilers, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Beth Osyk. Web Service Architecture for Composable, Interdisciplinary Applications, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Philip Asare, John Lach, John A. Stankovic. Developing Faithful Models of Body Sensor Networks, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Hugo Andrade, Kaushik Ravindran, Alejandro Asenjo, Casey Weltzin. System-level Synthesis of Dataflow Applications for FPGA-based Distributed Platforms, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Wolfgang Muller, Edmund Widl, Atiyah Elsheikh, Peter Palensky. Linking FMI-based components with Ptolemy II's Discrete Event Domain, Talk or presentation, 7, November, 2013; Poster presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Wenchao Li. Specification Mining - New Formalisms, Algorithms and Applications, Talk or presentation, 12, November, 2013.
Edward A. Lee. Tenth Biennial Ptolemy Miniconference, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Chris Shaver, Marten Lohstroh. Taxonomies of MoC's, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference.
Marten Lohstroh, Edward A. Lee. Backward Type Inference, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference.
Alexandre Donze, Ilge Akkaya, Sanjit Seshia, Edward A. Lee, David Wessel. Real-Time Control Improvisation for the SmartJukebox, Talk or presentation, 3, November, 2013.
Puggelli Alberto . Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties and its Application to Cyber-Physical Systems, Talk or presentation, 26, November, 2013.
Edward A. Lee. The Ptolemy Project: Advancing System Design, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Chamberlain Fong. Claudius Ptolemaeus, Geographer, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference Dinner, Berkeley.
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur. BPDF: A Statically Analyzable DataFlow Model with Integer and Boolean Parameters, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley. .
Patricia Derler. Aspect Oriented Models and CPS, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley. .
Armin Wasicek. Attack Modeling in Ptolemy: Towards a Secure Design for Cyber-Physical Systems, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley.
Ilge Akkaya, Patricia Derler, Edward A. Lee. Aspect-Oriented Fault Modeling and Anomaly Detection in Ptolemy II, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference, Berkeley. .
Jorge Ortiz. A Platform Architecture for Sensor Data Processing and Verification in Buildings, Talk or presentation, 19, November, 2013.
Chris Shaver, Marten Lohstroh. A Formalization of the Ptolemy II Type System, Talk or presentation, 7, November, 2013; Presented at the 10th Biennial Ptolemy Miniconference.
Michael Tiller. Model-Based System Engineering: Past, Present and Future, Talk or presentation, 22, October, 2013.
Valerie Issarny. Emergent Middleware Facing the Interoperability Challenge, Talk or presentation, 15, October, 2013.
Alvaro Cardenas. Short and Long-Term Research Challenges for Protecting Critical Infrastructure Systems, Talk or presentation, October, 2013.
Chung-Wei Lin. Cyber-Security for Controller Area Network and its Security-Aware Mapping, Talk or presentation, 10, September, 2013; Bio: Chung-Wei Lin received the B.S. degree in computer science and the M.S. degree in electronics engineering from the National Taiwan University. He is currently a 5th-year Ph.D. student in the EECS Department, UC Berkeley. He is in the group of Professor Alberto Sangiovanni-Vincentelli. His research interest includes embedded systems and computer-aided design. He was a summer intern of General Motors in 2011, 2012, and 2013.
Christos Stergiou. Schedulability and Verification of Real-Time Discrete-Event Systems, Talk or presentation, 16, September, 2013.
Armin Wasicek. The ACROSS MPSoC: A New Generation of Multi-Core Processors Designed for Safety-Critical Embedded Systems, Talk or presentation, 24, September, 2013.
Dan Holcomb. Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks, Talk or presentation, 27, August, 2013.
Jeremy Gillula. Guaranteeing Safe Online Machin Learning via Reachability Analysis, Talk or presentation, 9, August, 2013; Presented at Actionwebs meeting on August 9th, UCB.
Baosen Zhang. Power Distribution Systems: Optimization, Control and Communication, Talk or presentation, 2, August, 2013; Presented at ActionWebs meeting, August 2nd.
Marjan Sirjani. Schedulability, Deadlock Freedom, and Performance Analysis of Timed Actors, Talk or presentation, 4, June, 2013.
David Broman. Precision Timed Infrastructure: Languages, Compilers, and Hardware with Ubiquitous Notion of Time, Talk or presentation, 28, June, 2013; Presented at ActionWebs meeting, June 28th.
Liangpeng Guo. Bridging Fundtional and Architectural Aspects of Controller Design in Cyber-physical System, Talk or presentation, 7, June, 2013; Presented at Actionwebs meeting, June 7th.
Edward A. Lee. Cyber-Physical Systems:A Rehash or A New Intellectual Challenge?, Talk or presentation, 4, June, 2013; Invited Talk in the Distinguished Speaker Series, sponsored by the IEEE Council on Electronic Design Automation (CEDA) held at the Design Automation Conference (DAC), Austin, Texas.
Alexandre Donze. Specification Mining of Industrial-scale Control Systems, Talk or presentation, 14, May, 2013.
Goran Frehse. Reachability of Hybrid Systems in Space-Time, Talk or presentation, 7, May, 2013.
Mehdi Maasoumy. Co-design of Control Algorithm and Embedded Platform for Building HVAC Systems, Talk or presentation, 21, May, 2013.
Edward A. Lee. Verifying Real-Time Software Is Not Reasonable (Today), Talk or presentation, 24, April, 2013; Invited talk.
Andreas Gerstlauer. Models and Architectures for Heterogeneous System Design, Talk or presentation, 16, April, 2013.
Yudong Ma. Model Predictive Control for Energy Efficient Buildings, Talk or presentation, 26, April, 2013; Presented at ActionWebs meeting, April 26th.
Melanie Zeilinger. Distributed and Real-time Predictive Control, Talk or presentation, 5, April, 2013; Presented at ActionWebs meeting April 5th.
Stavros Tripakis. Compositionality in system design: interfaces everywhere!, Talk or presentation, 19, March, 2013.
Mehdi Maasoumy. Control and Optimization of Cyber-Physical Energy Systems: Smart Buildings within Smart Grid, Talk or presentation, 1, March, 2013; Presented at ActionWebs meeting, March 1st.
Partha S. Roop. Components, Interfaces and Compositions: from SoCs to SOCs, Talk or presentation, 26, March, 2013.
Bob Iannucci. Tomorrow is Yesterday (or nearly so): Historical Lessons that Foretell the Future of Mobile and (Connected) Embedded Systems, Talk or presentation, 5, March, 2013.
Ben Zhang, Edward A. Lee. Semantic Localization in TerraSwarm, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.
Thomas Schon. DREAMS tutorial: The particle filter, Talk or presentation, 20, February, 2013.
Jan Vitek. Automated and semi-automated memory management in real-time, Talk or presentation, 19, February, 2013.
Christopher Brooks, Edward A. Lee. Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Talk or presentation, 14, February, 2013; A poster presented at the 2013 BEARS day, Berkeley.
Christopher Brooks, Edward A. Lee. An Overview of the CHESS Center, Talk or presentation, 14, February, 2013; A poster presented at the 2013 BEARS Day, Berkeley.
Song Han. Networking Infrastructure and Data Management for Cyber-Physical Systems, Talk or presentation, 5, February, 2013.
Sayak Ray. ABC - a tool for sequential logic verication and synthesis, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.
Patricia Derler. PTIDES AND PLATFORM-BASED DESIGN, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.
David Broman. Precision Timed Infrastructure, Talk or presentation, 14, February, 2013.
Stavros Tripakis. Overview of Research at CHESS, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley. .
Alexandre Donze, Sanjit Seshia. Specification Mining for Cyberphysical Systems, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.
David Broman. Precision Timed Infrastructure, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.
Mehdi Maasoumy. Platform-based Design Approach to Modeling and Control of Energy Cyber-Physical Systems, Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.
2012
Thomas B. Schön. Sensor fusion in dynamical systems - applications and research challenges, Talk or presentation, 11, December, 2012.
Edward A. Lee. Time for High-Confidence Distributed Embedded Systems, Talk or presentation, 4, December, 2012; Invited keynote talk, IEEE Real-Time Systems Symposium (RTSS), San Juan, Puerto Rico .
Rahul Mangharam. Closing the loop with Medical Cyber-Physical Modeling, Talk or presentation, 2, November, 2012.
Edward A. Lee. Verifying Real-Time Software is Not Reasonable (Today), Talk or presentation, 6, November, 2012; Invited Plenary Talk Haifa Verification Conference (HVC) Haifa, Israel.
Martin Schoeberl. T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems, Talk or presentation, 16, November, 2012.
Hilding Elmqvist. Synchronous Control and State Machines in Modelica, Talk or presentation, 27, November, 2012.
David Broman. Modeling, Simulating, and Compiling with Timing Semantics, Talk or presentation, October, 2012.
Walid Taha. Enclosing Hybrid Behavior, Talk or presentation, 17, October, 2012.
Marco Di Natale. Time and Schedulability analysis of Stateflow models, Talk or presentation, 23, October, 2012.
Aviral Shrivastava. Beyond the Hill of Multicores lies the Valley of Accelerators, Talk or presentation, 30, October, 2012.
David Broman, Stephen A. Edwards, Edward A. Lee. Precision Timed Infrastructure: Promoting Time to a First-Class Citizen in System Design, Talk or presentation, 26, October, 2012.
Edward A. Lee. Beyond Synchrony to Timed Systems, in honor of Paul Caspi, Talk or presentation, 9, October, 2012; Invited Talk at EMSOFT, Special Session: An Overview Of The Career of Paul Caspi, Tampere, Finland.
Edward A. Lee. Introducing Embedded Systems: A Cyber-Physical Systems Approach, Talk or presentation, 5, October, 2012; CPS PI Meeting Education KeynoteM National Harbor, Maryland.
Carlo Fischione. Fast-Lipschitz Optimization, Talk or presentation, 11, September, 2012.
Hallvard Traetteberg. User interface modelling - Model-based UI design, Talk or presentation, 18, September, 2012.
Edward A. Lee. Equations, Synchrony, Time, and Modes, Talk or presentation, 18, September, 2012; Invited Talk at Workshop: System Design meets Equation-based Languages: Workshop Program Lunds, Sweden.
Edward A. Lee. Time for High-Confidence Distributed Embedded Systems, Talk or presentation, 26, September, 2012; Invited Keynote Talk International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS). .
Anil Aswani, Humberto Gonzalez, Patrick M. Bouffard, Shankar Sastry, Claire Tomlin. Learning and Control: The Learning-Based Model Predictive Control Method, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Girault Alain. Tradeoff exploration between reliability, power consumption, and execution time for embedded systems, Talk or presentation, 14, August, 2012.
Lillian Ratliff, Sam Coogan, Daniel Calderone. Pricing in Non-cooperative Dynamic Games, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Maximilian Balandat, Claire Tomlin. Efficiency in Mean Field Differential Games, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012. .
Jerry Ding, Humberto Gonzalez, Maryam Kamgarpour, Shankar Sastry, Claire Tomlin. Hybrid Optimal Control for Safety-Critical Systems, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Edward A. Lee. Ptango: a modular prototyping framework for distributed heterogeneous services, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Pangun Park, Harshad Khadilkar, Hamsa Balakrishnan, Claire Tomlin. Hybrid Communication Protocols & Control Algorithms for Future Air Traffic Arrivals, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012 .
Wei Zhang. Decentralized Optimization and Control for NextGen, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012 .
Hamsa Balakrishnan. Energy-Efficient Air Traffic Operations, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin. Energy Efficient Buildings, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Haomiao Huang, Claire Tomlin, Zhengyuan Zhou, Andrew Sy, Scott Hoag, Steven Xu, Ayushi Samaddar, Catherine Pavlov. BEARCAT: Student Outreach and Human/Automation Systems Research, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Anil Aswani, Neal Master, Jay Taneja, Andrew Krioukov, David Culler, Claire Tomlin. Energy-Efficient Control using Learning-Based Model Predictive Control, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Maryam Kamgarpour, Claire Tomlin, David Culler, Shankar Sastry, Edward A. Lee. Links to Berkeley efforts (PiE, Kickstart, Berkeley Science Connections, SUPERB), Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Andrew Krioukov, Stephen Dawson-Haggerty, Jay Taneja, David Culler. Sutardja Dai Hall Control Infrastructure, Talk or presentation, 20, August, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Pangun Park, Claire Tomlin. Investigating Communication Infrastructure of Next Generation Air Traffic Management, Talk or presentation, 1, June, 2012; Presented at actionwebs meeting on June 1st, UCB.
Maximilian Balandat. A Mean Field Congestion Game Framework, Talk or presentation, 8, June, 2012; Presented at actionwebs meeting on June 8th, UCB.
Anil Aswani. Energy-Efficient HVAC Control in Sutardja Dai Hall, Talk or presentation, 15, June, 2012; Presented at actionwebs meeting on June 15th, UCB.
Anil Aswani. Incentive Design for Efficient Building Quality of Service, Talk or presentation, 22, June, 2012; Presented at actionwebs meeting on June 22nd, UCB.
David Broman. Extensible Modeling Languages and Precision Timed Infrastructures for Cyber-Physical Systems, Talk or presentation, 28, May, 2012.
David Broman. Precision Timed Infrastructure - Making Time an Engineering Abstraction, Talk or presentation, 22, May, 2012.
Daniel Calderone, Sam Coogan, Lillian Ratliff. Quadratic Incentives for Noncooperative, Distributed Control, Talk or presentation, 25, May, 2012; Presented at actionwebs meeting on May 25th, UCB.
Isaac Liu. Precision Timed (PRET) Machines, Talk or presentation, 24, April, 2012.
Edward A. Lee. Time for High-Confidence Cyber-Physical Systems, Talk or presentation, 20, March, 2012; Invited Plenary Talk, Perfomance Metrics for Intelligent Systems (PerMIS-12) Workshop, University of Maryland.
Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee. On decidability of schedulability analysis for distributed real-time systems, Talk or presentation, 20, March, 2012; Presented at NSF site visit for ActionWebs Monday, August 20, 2012.
Ljung Per. Opportunities for Energy Savings in Mobile Devices, Talk or presentation, 2, February, 2012.
Christopher Brooks. The Role of Project Management (PM) in Academic Information Technology (IT), Talk or presentation, 16, February, 2012; Presented at the College of Engineering IT Meeting, University of California, Berkeley.
Christopher Brooks, Edward A. Lee. Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Talk or presentation, 23, February, 2012; Poster presented at the 2012 Berkeley EECS Annual Research Symposium (BEARS).
Christopher Brooks, Edward A. Lee. An Overview of the Center for Hybrid and Embedded Software Systems (CHESS), Talk or presentation, 23, February, 2012; Poster presented at the 2012 Berkeley EECS Annual Research Symposium (BEARS).
Edward A. Lee. Modeling, Simulation, and Design of Concurrent Real-Time Embedded Systems Using Ptolemy, Talk or presentation, 7, February, 2012; Ptutorial, MODPROD, Workshop on Model-Based Product Development, Linkoping, Sweden.
Edward A. Lee. The Challenges of Embedded System Design, Talk or presentation, 1, February, 2012; Invited talk, Xilinx Emerging Technology Sympoisum (ETS), San Jose, CA.
Edward A. Lee. Precision Timed (PRET) Machines, Talk or presentation, February, 2012; BWRC Open House.
Christopher Brooks, Edward A. Lee. Cyber-Physical Systems, Talk or presentation, 23, February, 2012; Poster presented at the 2012 Berkeley EECS Annual Research Symposium (BEARS).
Adam Cataldo. Quick Deploy: A distributed systems approach to developer productivity, Talk or presentation, 24, January, 2012.
David Broman. Predictable Timing of Cyber-Physical Systems - Future Research Challenges, Talk or presentation, 17, January, 2012.
2011
Arkadeb Ghosal. From Streaming Models to Hardware Implementations, Talk or presentation, 7, November, 2011.
Rongxin Yin. Identifying efficient operations through linking measurements and models in commercial buildings, Talk or presentation, 17, November, 2011; Presentation to Actionwebs group, UC Berkeley.
Jan Reineke, Edward A. Lee. Timing Analysis of Embedded Software for Families of Microarchitectures, Talk or presentation, 17, November, 2011.
John Eidson. Clock Synchronization, IEEE 1588 and Recent Applications in Cyber-Physical Systems, Talk or presentation, 14, November, 2011.
Christian Motika. Synchronous statecharts for executing Esterel with Ptolemy, Talk or presentation, 3, October, 2011.
Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee. A Practical Ontology Framework for Static Model Analysis, Talk or presentation, 10, October, 2011; Presented at the 11th International Conference on Embedded Software (EMSOFT 2011) in Taipei, Taiwan; Accompanying paper available at http://chess.eecs.berkeley.edu/pubs/862.html.
Jan Reineke. PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation, Talk or presentation, 10, October, 2011.
Jan Rabaey. The Swarm at the Edge of the Cloud - the New Face of Wireless, Talk or presentation, 24, October, 2011.
Patricia Derler, John Eidson, Edward A. Lee, Slobodan Matic, Christos Stergiou, Michael Zimmer. Portable Real-Time Code from PTIDES Models, Talk or presentation, 9, October, 2011; Invited Talk
Workshop on Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments (TiMoBD)
ESWeek, Taipei, Taiwan.
Edward A. Lee. Repeatable Timing in Software and Networks, Talk or presentation, 9, October, 2011; ESWEEK 2011 Tutorial on Time-Predictable and Composable Architectures for Dependable Embedded Systems
Taipei, Taiwan.
Edward A. Lee. Heterogeneous Actor Models, Talk or presentation, 10, October, 2011; Invited Roadmap Talk, EMSOFT
Taipei, Taiwan.
Vigyan Singhal. Deploying Formal in a Simulation World, Talk or presentation, 17, October, 2011.
Anil Aswani. Statistics in Control, Talk or presentation, 6, October, 2011; Presented at actionwebs meeting on October 6th, UCB.
Martin Torngren. Timing problems and opportunities for embedded control systems; modeling and co-design, Talk or presentation, 19, September, 2011.
Donze Alexandre. Robust Satisfaction of Signal Temporal Logics and Applications, Talk or presentation, 26, September, 2011.
Edward A. Lee. Synthesis of Distributed Real-Time Embedded Software, Talk or presentation, 5, June, 2011; Keynote talk, Electronic System Level Synthesis Conference, June 5-6, 2011, San Diego, California.
Edward A. Lee. Time for High-Confidence Software Systems, Talk or presentation, 1, May, 2011.
Jerome Hugues. AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next, Talk or presentation, 19, April, 2011.
Kaushik Ravindran, Murali Parthasarathy. Design, Analysis, and Implementation of Static Dataflow Models for Hardware Targets, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Darryl Koivisto, Deepak Shankar. Using Ptolemy/VisualSim for Internet-based model Sharing and Communication., Talk or presentation, 16, February, 2011.
Gongjing Cao, Lei Dou, Quinn Hart, Bertram Ludaescher. Kepler/G-Pack: A Kepler Package Using the Google Cloud for Interactive Scientific Workflows, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Anne Ngu, George Chin Jr.. Context Aware Actors, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Dai Bui, Stavros Tripakis, Marc Geilen, Bert Rodiers, Edward A. Lee. Modular Code Generation, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Edward A. Lee. The Ptolemy Project: Advancing System Design, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Sven Koehler, Bertram Ludaescher, Timothy McPhillips. Workflow Recovery for Different Models of Computation and Models of Provenance, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Shuvra S. Bhattacharyya. The Dataflow Interchange Format: Towards Co-Design of DSP-oriented Dataflow Models and Transformations, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Jan Reineke, Isaac Liu, Gage Eads, Stephen A. Edwards, Sungjun Kim, Hiren Patel. To Meet or Not to Meet the Deadline, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Charles Shelton, Beth Osyk, Ben Lickly. Static Analysis using the Ptolemy II Ontologies Package, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Stavros Tripakis, Edward A. Lee. Semantics of Modal Models in Ptolemy, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Patricia Derler, Jia Zou, Slobodan Matic, John Eidson. Modeling Distributed Real-Time Systems with Ptolemy II, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Jianwu Wang, Daniel Crawl, Ilkay Altintas, Chad Berkley, Matt Jones. Distributed Execution Architectures in Kepler, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Edward A. Lee. Ptolemy Miniconferences, Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Gage Eads, Edward A. Lee, Isaac Liu, Jan Reineke, Hiren Patel. Deadline Instructions in a PRET Architecture, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Shanna-Shaye Forbes. Error Handling in Model-Based design for Real-Time Systems, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Claudius Ptolemaus. Ninth Biennial Ptolemy Miniconference Presentations and Posters, Talk or presentation, 16, February, 2011; This presentation includes all the presentations and posters that were included in the printed hand out at the Ninth Biennial Ptolemy Miniconference. The presentations included here are in 2-up format. See the individual presentations at http://ptolemy.eecs.berkeley.edu/conferences/11/presentations.htm for 1-up PDFs.
Jia Zou, Slobodan Matic, John Eidson. From PTIDES to PtidyOS: Programming Distributed Real-Time Embedded Systems, Talk or presentation, 16, February, 2011.
Michael Zimmer. IEEE 1588 Time Synchronization for Real-Time Distributed Systems, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Mike Wirthlin. Automated Bit-Width Analysis Using Ptolemy, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Stavros Tripakis, Marc Geilen, Maarten Wiggers. The Earlier the Better: A Theory of Timed Actor Interfaces, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Andreas Thuy. Towards flexible and robust cyber-physical-systems through self organization, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Ben Lickly, Charles Shelton, Beth Osyk. Practical Ontologies with Infinite Lattices, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Beth Osyk, Charles Shelton, Ben Lickly. Lattice Composition for Ontology Analysis, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Chris Shaver, Dai Bui, Stavros Tripakis. Multidimensional Dataflow Models, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Chris Shaver. Alternative Syntactic Representations of Graph-Based Models, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Christian Motika, Miro Sponemann, Reinhard von Hanxleden, Christoph Krueger, John Julian Carstens. KIELER Actor Oriented Modeling, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
John Eidson, Slobodan Matic, Casidhe Lee, Ilge Akkaya. The Distributed Power System Test Case for Distributed Real-Time Systems, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Isaac Liu, Jan Reineke. A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
Soheil Ghiasi. Malleable Dataflow Specification: An Essential Ingredient for Resource-Scalable Implementations, Talk or presentation, 16, February, 2011; Poster presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.
David Broman. Modeling Kernel Language (MKL) - A formal and extensible approach to, Talk or presentation, 17, February, 2011.
2010
Edward A. Lee. Computing Needs Time, Talk or presentation, 6, December, 2010; Presented at the Distinguished Systems Speakers Series, Purdue University.
Edward A. Lee. Computing Needs Time, Talk or presentation, 10, December, 2010; Presented at the Center for Embedded Systems -- Distinguished Lecture Series, Virginia Tech.
Anil Aswani. Statistical System Identification and Control, Talk or presentation, 1, December, 2010; presented at the ActionWebs Weekly Meeting.
Keshab K. Parhi. Digital Signal Processing with Protein Molecules and DNA Strands, Talk or presentation, 10, November, 2010.
Silviu Craciunas. Programmable Temporal Isolation for Real-Time Systems, Talk or presentation, 30, November, 2010.
Haomiao Huang, Jerry Ding, Wei Zhang. Beyond Human Factors: An Approach to Human/Automation Teams, Talk or presentation, 17, November, 2010; Presented at the ActionWebs Weekly Meeting. .
Edward A. Lee. Computing Needs Time, Talk or presentation, 2, November, 2010; Invited presentation at the Working Day on Time-oriented Embedded Systems at ENSEEIHT, Toulouse, France.
Edward A. Lee. Computing Needs Time, Talk or presentation, 12, November, 2010; Distinguished Lecture Series on Cyber-Physical Systems, Washington University, St. Louis.
Jeremy Gillula. Fusing Machine Learning & Control Theory, Talk or presentation, 3, November, 2010; Presented at weekly ActionWebs meeting.
Edward A. Lee. Disciplined Heterogeneous Modeling, Talk or presentation, 6, October, 2010; Invited Keynote Talk, MODELS 2010, Oslo, Norway, October 6-8, 2010.
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou. A Time-Centric Model for Cyber-Physical Applications, Talk or presentation, 4, October, 2010; 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2010).
In conjunction with MODELS Oslo, Norway, October 4, 2010.
Edward A. Lee, Stavros Tripakis. Modal Models in Ptolemy, Talk or presentation, 3, October, 2010; Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, in conjunction with MODELS.
Michael Wetter. Modeling, Simulation, and Analysis of Integrated Building Energy and Control Systems, Talk or presentation, 13, October, 2010; Presented at weekly ActionWebs meeting.
Wei Zhang. Decentralized Path Planning For Air Traffic Management, Talk or presentation, 20, October, 2010; presented at weekly ActionWebs meeting.
Christopher Brooks, Edward A. Lee, Stavros Tripakis. Exploring Models of Computation with Ptolemy II, Talk or presentation, 24, October, 2010; A tutorial presented at ESWeek 2010 in Scottsdale, AZ.
Edward A. Lee. Predictability, Repeatability, and Models for Cyber-Physical Systems, Talk or presentation, 24, October, 2010; Invited talk, Workshop on Foundations of Component Based Design (WFCD) at ESWeek 2010, Scottsdale, AZ.
Edward A. Lee. An Introductory Textbook on Cyber-Physical Systems, Talk or presentation, 28, October, 2010; Invited Keynote Address, Workshop on Embedded Systems Education (WESE), Scottsdale, AZ.
Thomas Huining Feng, Edward A. Lee, Lee W. Schruben. Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems, Talk or presentation, 24, October, 2010; EMSOFT 2010, Scottsdale, AZ. Conference Paper available at http://chess.eecs.berkeley.edu/pubs/680.html.
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou. PTIDES: A Discrete-Event-Based Programming Model for Distributed Embedded Systems, Talk or presentation, 24, October, 2010; in Tutorial on Modeling and Analyzing Real-Time Multiprocessor Systems, ESWeek 2010, Scottsdale, AZ.
Edward A. Lee. Synthesis of Reliable Distributed Real-Time Software, Talk or presentation, 29, October, 2010; Invited Keynote Talk, Workshop on Software Synthesis, ESWEEK 2010, Scottsdale, AZ.
Christoph Kirsch. Short-term Memory for Self-collecting Mutators, Talk or presentation, 7, September, 2010.
Jorge Ortiz. Collecting and Managing Building Data, Talk or presentation, 1, September, 2010; Presented at the ActionWebs Weekly Meeting.
Yasemin Demir. JOGL: An OpenGL Based Graphics Domain for Ptolemy II, Talk or presentation, 22, September, 2010; Presented at the ActionWebs Weekly Meeting.
Nikhil Naikal. Cellphone as a Perceptual Platform for Micro UAVs, Talk or presentation, 15, September, 2010; Presented at weekly ActionWebs meeting.
Slobodan Matic, Jia Zou, Edward A. Lee, John Eidson. PTIDES Project Overview, Talk or presentation, 29, September, 2010; Presented at weekly ActionWebs meeting.
Rajeev Alur. From Formal Verification to Synthesis, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .
Richard Turner. Critical Defense Issues, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .
Ken Birman. Is Distributed Consistency Scalable?, Talk or presentation, 18, August, 2010.
Edward A. Lee. Temporal Semantics in Concurrent and Distributed Software, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Janos Sztipanovits. Composition at Scale, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Silviu Craciunas, Andreas Haas, Christoph Kirsch, Hannes Payer, Harald Rock, Andreas Rottman, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta. Virtualization and Isolation for Cyber-Physical Systems, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Jeff Foster. Synthesis for Software Security, Talk or presentation, 20, August, 2010; Presented at Strategic Directions in Software at Scale (SaS), Berkeley.
Andrzej Banaszuk, Alessandro Pinto, Brian Murray. Scalable Methods for Managing Uncertainty in System Design, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Ken Birman. Is Distributed Consistency Scalable, Talk or presentation, 14, August, 2010; Presented at the Strategic Directions in Software at Scale (S@S) Workshop, Berkeley.
Vijay Saraswat. Temporal Semantics, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Yin Wang. Synthesis of r Provably-correct Software using Discrete Control Theory, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .
Sanjit Seshia. Quantitative Verification and Synthesis of Systems, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .
Raja Sengupta. Control Software for Systems that Change Structure, Talk or presentation, 18, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .
John Goodenough. Reliability and Robustness of Large-Scale Systems, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA. .
Leon Osterweil. Engineering Processes that Engineer Scalable Systems, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Edward A. Lee. Temporal Semantics in Concurrent and Distributed Software, Talk or presentation, 18, August, 2010; Workshop on Strategic Directions in Software at Scale (S@S).
Armando Solar-Lezama. Computer Aided Programming, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Bruno Sinopoli. The Effect of Software (and Communication) Reliability and Security on Control Systems, Talk or presentation, 19, August, 2010; Presented at the Strategic Directions in Software at Scale (SaS), Berkeley, CA.
Saurabh Amin, Shankar Sastry. Toward a Theory of High Confidence Network Control System, Talk or presentation, 23, July, 2010; Presented at the ActionWebs meeting, July 23, 2010, Berkeley, CA.
Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin. ActionWebs, Talk or presentation, 23, July, 2010; Presented at the ActionWebs meeting, July 23, 2010, Berkeley, CA.
Edward A. Lee. Hybrid and Embedded Systems: Generalized Hybrid Systems, Talk or presentation, 23, July, 2010; Presented at the ActionWebs meeting, July 23, 2010, Berkeley, CA.
Hamsa Balakrishnan. The National Airspace System as a Cyber-Physical System, Talk or presentation, 23, July, 2010; Presented at the ActionWebs meeting, July 23, 2010, Berkeley, CA.
Kristen Gates. ActionWebs: Education and Outreach, Talk or presentation, 23, July, 2010; Presented at the ActionWebs meeting, July 23, 2010, Berkeley, CA.
David Culler. Towards the Building Integrated Operating System, Talk or presentation, 23, July, 2010.
Edward A. Lee. Embedded Tutorial CPS Foundations, Talk or presentation, 17, June, 2010; Special Session: Cyber-Physical Systems Demystified, Design Automation Conference (DAC 2010).
Edward A. Lee. Design Challenges for Cyber-Physical Systems, Talk or presentation, 18, March, 2010; Strategies for Embedded Computing Research International policy conference.
Christopher Brooks, Edward A. Lee. Center for Hybrid and Embedded Software Systems (CHESS), Talk or presentation, 11, February, 2010; Poster presented at the 2010 Berkeley EECS Annual Research Symposium (BEARS).
Christopher Brooks, Edward A. Lee. Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Talk or presentation, 11, February, 2010; Poster presented at the 2010 Berkeley EECS Annual Research Symposium (BEARS).
Shanna-Shaye Forbes, Eloi Pereira, Edward A. Lee, Raja Sengupta , Seshia Sanjit. Directed Simulation of Networked Unmanned Aerial Vehicles Using Model Checking and Ptolemy II, Talk or presentation, 11, February, 2010; BEARS 2010 Poster Presentation.
Ben Lickly, Stavros Tripakis. Interface Theories in Ptolemy II, Talk or presentation, 11, February, 2010; Poster presented at the 2010 Berkeley EECS Annual Research Symposium (BEARS).
Maarten Wiggers, Marco Bekooij, Gerard Smit. Monotonicity and Run-Time Scheduling, Talk or presentation, 11, February, 2010; Poster presented at the 2010 Berkeley EECS Annual Research Symposium (BEARS).
John Eidson, Jeff C. Jensen, Edward A. Lee, Slobodan Matic, Jia Zou. On PTIDES Programming Model, Talk or presentation, February, 2010.
Christopher Brooks, Edward A. Lee. Cyber-Physical Systems, Talk or presentation, 11, February, 2010; Poster presented at the 2010 Berkeley EECS Annual Research Symposium (BEARS).
2009
Maryam Kamgarpour, Claire Tomlin, John Robinson. Fuel Efficient Air Traffic Control, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Hamsa Balakrishnan. ActionWebs: Energy-efficient Air Transportation Systems, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff in Berkeley, CA.
Songhwai Oh, Saurabh Amin, Alvaro Cardenas, Luca Schenato, Bruno Sinopoli, Shankar Sastry. Closing the Loop: Towards a theory for High Confidence Cyber Physical Systems for Societal Systems, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Edward A. Lee. Embedded Systems: A Focus on Time, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Edward A. Lee. Parallel, Concurrent, and Distributed Software in Cyber-Physical Systems, Talk or presentation, 8, December, 2009; Invited Talk, Int. Workshop on User-Centric Cyber-Physical Systems and Services (UC-CPS), Institute of Information Science, Academia Sinica, Taipei, Taiwan.
Edward A. Lee. Computing Needs Time, Talk or presentation, 7, December, 2009; Invited Talk, IIS 2009/2010 Distinguished Lecture Series, Institute of Information Science, Academia Sinica, Taipei, Taiwan.
Janos Sztipanovits. Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems: Project Overview, Talk or presentation, 2, December, 2009; Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems.
Yang Wang. Performance Bounds for Constrained Linear Stochastic Control, Talk or presentation, 2, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.
Edward A. Lee. Correctly Composing Components: Ontologies and Modal Behaviors, Talk or presentation, 2, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.
Nicholas Kottenstette, Joe Porter. Constructive Non-linear Control Design With Applications to Quad-Rotor and Fixed-Wing Aircraft, Talk or presentation, 1, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.
Jerry Ding, Jeremy Gillula, Huang Haomiao, Michael Vitus, Claire Tomlin. Robust Hybrid and Embedded Systems Design, Talk or presentation, 2, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.
Andre Platzer, Edmund M. Clarke. Model-based Testing and Verification of Embedded System Implementations, Talk or presentation, 2, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.
Ben Lickly, Jackie Man-Kit Leung, Thomas Mandl, Edward A. Lee, Beth Osyk, Charles Shelton, Stavros Tripakis. Semantic Type Annotation, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Pranav Shah, Claire Tomlin. Indoor Localization using WiFi & accelerometers, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin. Hybrid Systems: Model Identification and State Estimation, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin. ActionWebs, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin. Multiobjective control: safety and efficiency, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
David Culler. Action Webs Kickoff: Buildings, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Kristen Gates. ActionWebs: Education and Outreach, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
David Culler, Jorge Ortiz. Action Webs Kickoff: Embedded Networking and Software, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
David Culler, Jorge Ortiz. Organizing and Storing Building Data, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
Stephen Dawson-Haggerty, David Culler. Embedded Building Application Stack, Talk or presentation, 17, December, 2009; Presented at the ActionWebs kickoff, Berkeley, CA.
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), Tampere, Finland.
Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren 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.
Edward A. Lee. Introducing Embedded Systems: A Cyber-Physical Approach, Talk or presentation, 15, October, 2009; Invited Keynote Talk, Workshop on Embedded Systems Education (WESE) ES Week, Grenoble, France.
Edward A. Lee. Model-Based Code Generation is not a Replacement for Programming, Talk or presentation, 16, October, 2009; Invited Talk, Workshop on Software Synthesis (part of ES Week) Grenoble, France.
Edward A. Lee, Ben Lickly, Jackie Man-Kit Leung, Thomas Mandl, Beth Osyk, 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, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren Patel, Martin Schoeberl. A Disruptive Computer Design Idea: Architectures with Repeatable Timing, Talk or presentation, 6, October, 2009; Invited Talk, IEEE International Conference on Computer Design (ICCD), Squaw Valley, CA.
Edward A. Lee, Stephen A. Edwards, Isaac Liu, Sungjun Kim, Hiren 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.
Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Hiren Patel, Martin Schoeberl. Reconciling Repeatable Timing with Pipelining and Memory Hierarchy, Talk or presentation, 15, October, 2009; Workshop on Reconciling Performance with Predictability (RePP), Grenoble, France.
Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren Patel, Martin Schoeberl. A disruptive computer design idea: Architectures with repeatable timing, Talk or presentation, 6, October, 2009; IEEE International Conference on Computer Design(ICCD), Squaw Valley, CA.
Tom Henzinger. From Boolean to Quantitative System Specifications, Talk or presentation, 6, August, 2009.
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), Dublin, Ireland.
Edward A. Lee, Slobodan Matic, Sanjit 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.
Thomas Huining Feng. Model Transformation with Hierarchical Discrete-Event Control, Talk or presentation, 6, May, 2009; Dissertation Talk.
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.
Beth Osyk, 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.
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.
Darryl Koivisto. Using Actor-based design for IP Sharing, 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.
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.
Edward A. Lee. Closing Remarks, 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 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.
Thomas Huining Feng. Model Transformation with the Ptera Controller, 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.
Bert Rodiers, Ben Lickly. New Width Inference Algorithm, Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.
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 Bui, Alessandro Pinto, Edward A. Lee. On-time Network On-Chip: Analysis and Architecture, Talk or presentation, 16, April, 2009.
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 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 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.
Stavros Tripakis. Implementing Synchronous Models on Distributed Execution Platforms, Talk or presentation, 24, 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).
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.
Jeff Burch, Adam Cataldo, John Eidson. Uses of Synchronized Clocks in Test and Measurement Systems, Talk or presentation, 3, 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.
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.
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.
Samer Madanat. Berkeley Institute of Transportation Studies Overview, Talk or presentation, 30, March, 2009; Presented during the Thales visit.
Stavros Tripakis. Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Reusability vs. Code Size, Talk or presentation, 3, February, 2009.
Christopher Brooks, Edward A. Lee. Cyber-Physical Systems, Talk or presentation, 12, February, 2009; Poster presented at the 2009 Berkeley EECS Annual Research Symposium.
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).
Hiren Patel, Isaac Liu, Ben Lickly, Edward A. Lee. A Precision Timed Architecture for Timing Predictability and Repeatability, Talk or presentation, 12, 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.
Ben Lickly, Hiren Patel. Timing-aware Exceptions for a Precision Timed (PRET) Target, Talk or presentation, 12, 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.
Stefan Resmerita. The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Talk or presentation, 17, 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).
Christoph Kirsch. Time-Portable Programming the JAviator in Tiptoe OS, Talk or presentation, 13, January, 2009.
2008
Guoqiang Gerald Wang. Synchronous Reactive Communication: Generalization Implementation and Optimization, Talk or presentation, 9, December, 2008.
Luciano Resende. Service Component Architecture (SCA), Talk or presentation, 2, December, 2008.
Colin Endicott. The Nimrod/K director for the Kepler workflow environment, Talk or presentation, 12, November, 2008.
Mike Butts. Process Network in Silicon: A High-Productivity, Scalable Platform for High-Performance Embedded Computing, Talk or presentation, 25, November, 2008.
Douglas Densmore. Computer Aided Design of Synthetic Biological Systems Using Standardized Parts, Talk or presentation, 18, November, 2008.
Hiren Patel. Predictable Programming on a Precision Timed Architecture, Talk or presentation, 17, October, 2008.
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.
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.
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.
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, 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.
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.
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 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 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.
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.
Tim Hayles. Integrating Timing with Data and Space Availability as Firing Rules, Talk or presentation, 9, September, 2008.
Edward A. Lee. Disciplined Concurrent Models of Computation for Parallel Software, Talk or presentation, 3, August, 2008; Invited Keynote Talk, 2008 Summer Institute, The Concurrency Challenge: Can We Make Parallel Programming Popular?, Blaine, WA.
Michael Margaliot. Stability Analysis of Switched Systems using Variational Principles, Talk or presentation, 5, August, 2008.
Oded Maler. From Control Loops to Software, Talk or presentation, 21, 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. On Computer Science in Systems Biology, Talk or presentation, 22, August, 2008.
Hans Vangheluwe. Modular Timed Graph Transformation, Talk or presentation, 6, August, 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.
Edward A. Lee. Component Architectures for Time-Sensitive Systems, Talk or presentation, 22, July, 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.
Douglas Densmore. A Design Flow for the Development, Characterization, and Refinement of System Level Architectural Services, Talk or presentation, 15, May, 2008.
Gerado Schneider. Specification and analysis of electronic contracts, Talk or presentation, 6, May, 2008.
Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire Tomlin. When can a UAV get smart with its operator, and say 'NO!'?, Talk or presentation, 15, April, 2008.
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.
Sanjit 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.
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.
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, 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. .
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.
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.
Trevor Meyerowitz. Single and Multi-CPU Performance Modeling for Embedded Systems (Dissertation Talk), Talk or presentation, 26, 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 Patel, Hugo Andrade, Ben Lickly, Isaac Liu. Mapping a Timed Functional Specification to a Precision Timed (PRET) Machine, 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.
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.
Achin Bowmik. Enhancing the Visual Experience on the Mobile Computing and Communications Platforms, Talk or presentation, 12, 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.
Sameer Iyengar, Alberto Sangiovanni-Vincentelli. Spine: Software Framework for Wireless Body Sensor Networks, Talk or presentation, 22, February, 2008.
Hwayong Oh, Teale Fristoe. Using Ptolemy II to Re-architect Large C and C++ Programs, Talk or presentation, 21, February, 2008.
Mike Winter. Inventing and Prototyping Social Devices, Talk or presentation, 5, February, 2008.
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 .
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, 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.
Isaac Liu, Ben Lickly, Hiren Patel. Precision Timed Machine (PRET), Talk or presentation, 21, 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
Orna Kupferman. From Formulas to Systems, Talk or presentation, 4, December, 2007.
Carlo Fischione. Reducing Energy Consumption in Wireless Sensor Networks, Talk or presentation, 11, 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.
Edward A. Lee. Using the Principles of Synchronous Languages in Discrete-event and Continuous-time Models, Talk or presentation, 23, October, 2007; Invited talk, Workshop: Between Control and Software (in honor of Paul Caspi), Grenoble, France.
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.
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.
Jorn W 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.
Andrzej Banaszuk. Design of Robust Dynamic Networks, Talk or presentation, 16, 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.
David Fuller. Graphical System Design, Talk or presentation, 26, September, 2007.
Flavio Lerda, Edmund M. Clarke. Source Code Verification and Testing, 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.
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 Seshia. Symbolic Reachability Analysis of Lazy Linear Hybrid Automata, Talk or presentation, 4, September, 2007.
Alex Aiken, Tom Henzinger, Edward A. Lee, David G. Messerschmitt, George Necula, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Pravin Varaiya. Center for Hybrid and Embedded Software Systems, Talk or presentation, 4, 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.
Claire Tomlin, 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.
Janos Sztipanovits. High-Confidence Design for Distributed Embedded Systems MURI Project Overview, Talk or presentation, 6, 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.
Elaine Cheong. Actor-Oriented Programming for Wireless Sensor Networks, Talk or presentation, 24, August, 2007.
Edward A. Lee. An Overview of Concurrent Models of Computation for Real-Time Systems, Talk or presentation, 20, August, 2007; Tutorial at the ARTES Summer School, Sweden.
Ramesh S.. A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems, Talk or presentation, 28, August, 2007.
Edward A. Lee. Software Challenges and Opportunities for Real-Time on Multicore Machines, Talk or presentation, 21, August, 2007; Invited Talk, Real-Time in Sweden (RTiS), Swedish National Real-Time Association (SNART), Sweden.
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.
Mike Case. Automated Extraction of Inductive Invariants to Aid Model Checking, Talk or presentation, 10, April, 2007.
Edward A. Lee. Is Truly Real-Time Computing Becoming Unachievable?, Talk or presentation, 3, April, 2007; Key Note presentation at Real-Time and Embedded Technology and Applications Symposium (RTAS), Bellevue, WA.
Janos Sztipanovits. Defining Behavioral Semantics for Domain Specific Modeling Languages, Talk or presentation, April, 2007.
Vason P. srini. From Concept to Silicon, Talk or presentation, 3, April, 2007.
Edward A. Lee. Are new languages necessary for multicore?, Talk or presentation, 11, March, 2007.
Nathan Kitchen. SAT Sweeping with Local Observability Don't-Cares, Talk or presentation, 20, March, 2007.
Bryan Brady. Selective Term-Level Abstraction Using Type-Inference, Talk or presentation, 13, March, 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.
Edward A. Lee. Nesting and Unnesting Models of Computation, Talk or presentation, 13, February, 2007.
Jonathan Sprinkle. Making research out of contests, Talk or presentation, 14, February, 2007.
Jonathan Sprinkle. Overview of the Chess Center, Talk or presentation, 14, February, 2007.
Edward A. Lee. Extending Domains and the User Interface, 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.
Darryl Koivisto, Deepak Shankar. How to measure Multi-Instruction, Multi-Core Processor Performance using Simulation, Talk or presentation, 13, February, 2007.
Mohamed A. Salem. Ptolemy Reconfigurable and Programmable Hardware Platform, 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.
Daniel Higgins, Josh Madin. Using the RExpression Actor in Kepler Workflows, Talk or presentation, 13, 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.
Edward A. Lee, Feng Zhao. Real-Time Fault-Tolerant Distributed DE for Embedded Systems, 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.
Jorn W Janneck. The CAL Actor Language: Synthesizing Models to FPGA, Talk or presentation, 13, February, 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.
Adam Cataldo. The Power of Higher-Order Components in System Design, 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.
Eleftherios Matsikoudis. Correctness in Causal Systems, 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.
Efrat Jaeger-Frank, Ilkay Altintas. A Kepler-based Three Tier Architecture applied to LiDAR Interpolation, 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.
Daniel Zinn, Tim H. Wong, Bertram Ludaescher. Scheduling Data-Intensive Workflows in Kepler, Talk or presentation, 13, February, 2007.
Ye Zhou, Edward A. Lee. Causality Interfaces for Actor Networks, Talk or presentation, 13, February, 2007.
Matt Jones. Kepler Project Overview, Status, and Future Directions, Talk or presentation, 13, February, 2007.
Edward A. Lee. Ptolemy Project Vision, Talk or presentation, 13, February, 2007.
Norbert Podhorszki, Ilkay Altintas. Provenance Framework in Kepler, Talk or presentation, 13, 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.
Krishnendu Chatterjee, Tom Henzinger. Games, Times, and Probabilities: Value Iteration in Verification and Control, 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.
Karl Hedrick, Carlos Zavala, Pannag R 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.
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.
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, December, 2006.
Edward A. Lee. The Case for Precision Timed (PRET) Machines, Talk or presentation, 30, November, 2006.
Edward A. Lee. Concurrency Demands New Foundations for Computing, Talk or presentation, 16, November, 2006.
Patrick Saint-Pierre. Dynamical constrained Impulse system analysis through viability approach and applications., Talk or presentation, 21, 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.
Stephen A. Edwards. SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems, Talk or presentation, 8, November, 2006.
Gabor Karsai. Impact: Fault Tolerance and High Confidence Embedded System Design, Talk or presentation, 4, October, 2006.
Alberto Sangiovanni-Vincentelli. New Vistas on Automotive Embedded Systems, Talk or presentation, 4, October, 2006.
Janos Sztipanovits. Model-Based Design, Talk or presentation, October, 2006.
Edward A. Lee. Educating New Generation of Students in Embedded Systems, Talk or presentation, 4, October, 2006.
Shankar Sastry. New Innovative Technologies for Cyber Physical Societal Scale Systems: Top Down Meets Bottom Up, Talk or presentation, 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.
Janos Sztipanovits. Tool Repositories, ESCHER and continuing the Legacy of the ITR, Talk or presentation, 4, October, 2006.
Claire Tomlin. Systems Biology: Embedded Inter- and Intra-cellular dynamics, 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.
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.
Edward A. Lee. Advanced Tool Architectures, Talk or presentation, 4, October, 2006.
Alberto Sangiovanni-Vincentelli. Experimental Research, Talk or presentation, October, 2006.
Janos Sztipanovits. Embedded Systems Education: Vanderbilt University, Talk or presentation, 4, October, 2006.
Jonathan Sprinkle. Outreach, Talk or presentation, October, 2006.
Bela Bollobas. Heterogeneous Ad Hoc Networks, Talk or presentation, 4, October, 2006.
Bela Bollobas, Svante Janson, Oliver Riordan. Heterogeneous Ad Hoc Networks, Talk or presentation, 4, October, 2006.
Janos Sztipanovits. Embedded Systems Education: Vanderbilt University, Talk or presentation, 4, October, 2006.
Yang Zhao, Edward A. Lee, Jie Liu. PTIDES: Programming temporally Integrated Distributed Embedded Systems, Talk or presentation, 2, October, 2006.
Jongho Lee, J. Mikael Eklund, Shankar Sastry. Multiple Targets: Pursuing and Monitoring, Talk or presentation, 4, October, 2006.
Edward A. Lee. Actor Networks, Talk or presentation, 26, 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.
Edward A. Lee. Making Concurrency Mainstream, Talk or presentation, 27, August, 2006.
John Eidson. Theoretical and Practical Challenges of LXI and IEEE 1588 Measurement Systems, Talk or presentation, 24, August, 2006.
Yang Zhao, Edward A. Lee, Jie Liu. Programming temporally Integrated Distributed Embedded Systems, Talk or presentation, 18, June, 2006.
Edward A. Lee. The Future of Embedded Software, Talk or presentation, 22, May, 2006; ARTEMIS 2006 Annual Conference, Graz, Austria.
Edward A. Lee. The Future of Embedded Software, Talk or presentation, 22, May, 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.
Alessandro Abate, Saurabh Amin, 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.
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.
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.
Haiyang Zheng, Edward A. Lee. HyVisual: a Hybrid System Visual Modeler, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Haibo Zheng, Alberto Sangiovanni-Vincentelli. Automotive Architecture Exploration in Metropolis, 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.
Slobodan Matic, Tom Henzinger. An Interface Algebra for Real-Time Components, 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.
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, 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 Hyunchul Shim, Christopher Brooks, Shankar Sastry. The Embedded Open Control Platform, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Jongho Lee, J. Mikael Eklund, 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.
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.
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.
Matthew Harren, George Necula. Verifying Safety Properties in Assembly Code, Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.
Christoph Kirsch. The JAviator Project, Talk or presentation, 7, February, 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.
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.
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.
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.
Alessandro D'Innocenzo. Observability of Hybrid Systems and applications to ATM, 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 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; Presented at Hybrid Systems: Computation and Control: 8th International Workshop (HSCC), Zurich, Switzerland. See http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/ for the paper.
Edward A. Lee. Embedded Software: Building 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. Model-Driven Development, From Object-Oriented Design to Actor-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.
Janos Sztipanovits. Model-Integrated Computing Infrastructure for Fault Management, Talk or presentation, June, 2003; Invited talk. International Conference on Principles of Diagnosis (DX’2003), Arlington, VA.
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.