Search results

• An Architectural Mechanism for Resilient IoT Services, Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee, 1st ACM Workshop on Internet of Safe Things (SafeThings 2017), 5, November, 2017
• Contextual Callbacks for Resource Discovery and Trust Negotiation on the Internet of Things, Marten Lohstroh, Hokeun Kim, Edward A. Lee, Proceedings of The ACM SIGBED International Conference on Embedded Software (EMSOFT), October, 2017
• Authentication and Authorization for the Internet of Things, Hokeun Kim, Edward A. Lee, IEEE IT Professional, 19, 5, 27-33, October, 2017
• A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman, Proceedings of the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), 19, April, 2017
• A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman, 19, April, 2017
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee, The 4th IEEE International Conference on Future Internet of Things and Cloud, August, 2016
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee, 5, June, 2016
• Turbocharged Engine Model Reduction For Discretization, Raechel Tan, Masayoshi Tomizuka, 11, February, 2016
• The Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, 11, February, 2016
• Automotive Intrusion Detection, Armin Wasicek, 11, February, 2016
• Representing Swarm Behaviors, Chris Shaver, Marjan Sirjani, 16, October, 2015
• Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Alexandre Donze, Rafael Valle, Edward A. Lee, Sanjit Seshia, 13, April, 2015
• Recognizing Manipulated Electronic Control Units, Armin Wasicek, Weimerskirch Andre, SAE 2015 World Congress & Exhibition, April, 2015
• Approximate Nonlinear Model Predictive Control For Gasoline Engines, Raechel Tan, Chung-Yen Lin, Masayoshi Tomizuka, 12, February, 2015
• An Overview of the CHESS Center, Christopher Brooks, Edward A. Lee, 12, February, 2015
• Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems, Arne Hamann, 7, October, 2014
• Virtual CAN Lines in an Integrated MPSoC Architecture, Armin Wasicek, Oliver Hoftberger, Martin Elshuber, Haris Isakovic, Andreas Fleck, Proceedings of the 17th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Technology (ISORC), June, 2014
• Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems, Armin Wasicek, Patricia Derler, Edward A. Lee, Proceedings of the 51st Design Automation Conference (DAC), June, 2014
• Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI, Stavros Tripakis, David Broman, EECS Department, University of California, Berkeley, UCB/EECS-2014-30, April, 2014
• Data Flow in the Data Center, Adam Cataldo, 7, November, 2013
• Light-Weight Synthesis of Ptolemy Diagrams with KIELER, Ulf Ruegg, Christian Schneider, Christoph Daniel Schulze, Miro Spoenemann, Christian Motika, Reinhard von Hanxleden, 7, November, 2013
• Modeling user interfaces with Cal and Ptolemy, Hallvard Traetteberg, 7, November, 2013
• Efficient Schedulability Testing for PTIDES, Christos Stergiou, 7, November, 2013
• Tenth Biennial Ptolemy Miniconference, Edward A. Lee, 7, November, 2013
• System-level Synthesis of Dataflow Applications for FPGA-based Distributed Platforms, Hugo Andrade, Kaushik Ravindran, Alejandro Asenjo, Casey Weltzin, 7, November, 2013
• Developing Faithful Models of Body Sensor Networks, Philip Asare, John Lach, John A. Stankovic, 7, November, 2013
• Web Service Architecture for Composable, Interdisciplinary Applications, Beth Osyk, 7, November, 2013
• Precision Timed Compilers, David Broman, 7, November, 2013
• An Overview of the CHESS Center, Christopher Brooks, Edward A. Lee, 14, February, 2013
• The Coroutine Model of Computation, Chris Shaver, Edward A. Lee, University of California Berkeley, April, 2012
• An Overview of the Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, Edward A. Lee, 23, February, 2012
• A Template for Predictability Definitions with Supporting Evidence, Daniel Grund, Jan Reineke, Reinhard Wilhelm, Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 22-31, March, 2011
• Is Distributed Consistency Scalable, Ken Birman, 14, August, 2010
• Toward Precise PLRU Cache Analysis, Daniel Grund, Jan Reineke, Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, Bjoern Lisper, 28-39, July, 2010
• Directed Simulation of Networked Unmanned Aerial Vehicles Using Model Checking and Ptolemy II, Shanna-Shaye Forbes, Eloi Pereira, Edward A. Lee, Raja Sengupta , Seshia Sanjit, 11, February, 2010
• Cyber-Physical Systems, Christopher Brooks, Edward A. Lee, 11, February, 2010
• Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, Edward A. Lee, 11, February, 2010
• Understanding the Physical and Economic Consequences of Attacks Against Control Systems., YuLun Huang, Alvaro Cardenas, Saurabh Amin, Song-Zyun Lin , Hsin-Yi Tsai, Shankar Sastry, International Journal of Critical Infrastructure Protection, 2, 3, 72-83, October, 2009
• Challenges for Securing Cyber Physical Systems, Alvaro Cardenas, Saurabh Amin, Bruno Sinopoli, Annarita Giani, Adrian Perrig, Shankar Sastry, Workshop on Future Directions in Cyber-physical Systems Security, DHS, 23, July, 2009
• PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice, Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee, Languages, Compilers, and Tools for Embedded Systems (LCTES 2009), Dublin, Ireland, Published in ACM SIGPLAN Notices, 44(7), pp. 31-40, 19, June, 2009
• Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms, Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis, Workshop on Exploiting Concurrency Efficiently and Correctly, May, 2009
• Rethinking Security Properties, Threat Models and the Design Space in Sensor Networks : A case study in SCADA systems, Alvaro Cardenas, Tanya Roosta, Shankar Sastry, Ad Hoc Networks, in publication, May, 2009
• On Relational Interfaces, Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee, UC Berkeley, 8, May, 2009
• Safe and Secure Networked Control Systems Under Denial-of-Service Attacks., Saurabh Amin, Alvaro Cardenas, Shankar Sastry, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 31-45, 30, April, 2009
• Modeling, Simulation and Analysis of Integrated Building Energy and Control Systems, Michael Wetter, 21, April, 2009
• On the synthesis of correct-by-design embedded control software, Paulo Tabuada, 17, April, 2009
• A Precision Timed Architecture for Predictable and Repeatable Timing, Hiren Patel, 16, April, 2009
• Poster Abstract: “PtidyOS: An Operating System based on the PTIDES Programming Model”, Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee, 16, April, 2009
• Embedded system design with the Polychronous paradigm, Albert Benveniste, 14, April, 2009
• Mobile Millennium: using smartphones to monitor traffic in privacy aware environments, Alexandre Bayen, 7, April, 2009
• Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures, Mark McKelvin, Alberto Sangiovanni-Vincentelli, SAE World Congress and Exhibition 2009, April, 2009
• Poster Abstract: Timing Instructions - ISA Extensions for Timing Guarantees, IEEE Real-Time and Embedded Technology and Applications Symposium, April, 2009
• Design as You See FIT: System-Level Soft Error Analysis of Sequential Circuits, Dan Holcomb, 31, March, 2009
• Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay, Wenchao Li, 31, March, 2009
• Overview of CHESS (Center for Hybrid and Embedded Software Systems), Edward A. Lee, Claire Tomlin, 30, March, 2009
• Implementing Synchronous Models on Distributed Execution Platforms, Stavros Tripakis, 24, March, 2009
• Manycore Vector-Thread Architectures, Christopher Batten, 10, March, 2009
• Center for Hybrid and Embedded Software Systems (CHESS) Overview, Christopher Brooks, 3, March, 2009
• Uses of Synchronized Clocks in Test and Measurement Systems, Jeff Burch, Adam Cataldo, John Eidson, 3, March, 2009
• Checking Equivalence of SPMD Programs Using Non-Interference, Roberto Lublinerman, Stavros Tripakis, EECS Department, University of California, Berkeley, UCB/EECS-2009-42, March, 2009
• The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Stefan Resmerita, 17, February, 2009
• The Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, Edward A. Lee, 12, February, 2009
• A Precision Timed Architecture for Timing Predictability and Repeatability, Hiren Patel, Isaac Liu, Ben Lickly, Edward A. Lee, 12, February, 2009
• Model-Based Development of Fault-Tolerant Real-Time Systems, Christian Buckl, 10, February, 2009
• Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Reusability vs. Code Size, Stavros Tripakis, 3, February, 2009
• Simulation and Implementation of the PTIDES Programming Model, Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, February, 2009
• Time-Portable Programming the JAviator in Tiptoe OS, Christoph Kirsch, 13, January, 2009
• Center for Hybrid and Embedded Software Systems (CHESS) 2009 Prospectus, Edward A. Lee, Center for Hybrid and Embedded Software Systems (CHESS), UC Berkeley EECS Dept., January, 2009
• Model-Based Detection of Attacks for Process Control Systems, Zong-Syun Lin, Alvaro Cardenas, Saurabh Amin, Yu-Lun Huang, Chi-Yen Huang, Shankar Sastry, 16th ACM Computer and Communications Security Conference, ACM, submitted, 2009
• PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice, Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee, University of California, Berkeley, IBM Research, 2009
• CHESS ITR Annual Report 2008-2009: Foundations of Hybrid and Embedded Systems and Software, Shankar Sastry, Center for Hybrid and Embedded Software Systems, 2009
• Synchronous Reactive Communication: Generalization Implementation and Optimization, Guoqiang Gerald Wang, 9, December, 2008
• Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, Alessandro D’Innocenzo, Alessandro Abate, Maria D. Di Benedetto, Shankar Sastry, Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 221-226, 9, December, 2008
• Service Component Architecture (SCA), Luciano Resende, 2, December, 2008
• Process Network in Silicon: A High-Productivity, Scalable Platform for High-Performance Embedded Computing, Mike Butts, 25, November, 2008
• Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Automatica, 44, 11, 2724-2734, November, 2008
• Predictable Programming on a Precision Timed Architecture, Ben Lickly, Isaac Liu, Sungjun Kim, Hiren Patel, Stephen A. Edwards, Edward A. Lee, Proceedings of International Conference on Compilers, Architecture, and Synthesis from Embedded Systems (CASES), Atlanta, Georgia, Erik R. Altman, ACM, 137-146, 19, October, 2008
• Integrating Timing with Data and Space Availability as Firing Rules, Tim Hayles, 9, September, 2008
• NSF-ITR 2007-2008 Annual Report: Foundations of Hybrid and embedded Systems and Software, Christopher Brooks, Center for Hybrid and embedded Software Systems (CHESS), September, 2008
• On Computer Science in Systems Biology, Oded Maler, 22, August, 2008
• From Control Loops to Software, Oded Maler, 21, August, 2008
• Timed Automata: Modeling and Analysis, Oded Maler, 20, August, 2008
• Verification for Dummies: A Gentle Introduction to Formal Verification and Hybrid Systems, Oded Maler, 19, August, 2008
• Modular Timed Graph Transformation, Hans Vangheluwe, 6, August, 2008
• Stability Analysis of Switched Systems using Variational Principles, Michael Margaliot, 5, August, 2008
• Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication, Maarten Wiggers, 31, July, 2008
• Research Challenges for the Security of Control Systems., Alvaro Cardenas, Saurabh Amin, Shankar Sastry, Proceedings of the 3rd USENIX Workshop on Hot topics in security, USENIX, Article 6, 25, July, 2008
• Secure Control: Towards Survivable Cyber-Physical Systems, Alvaro Cardenas, Saurabh Amin, Shankar Sastry, First International Workshop on Cyber-Physical Systems, 495-500, 17, June, 2008
• A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs, Girault Alain, 10, June, 2008
• Functional DIF, William Plishker, 5, June, 2008
• Advanced topics in model-based software development, Bernhard Rumpe, 3, June, 2008
• Energy-Optimal Software Partitioning in Heterogeneous Multiprocessor Embedded Systems, Slobodan Matic, Michael Goraczko, Dimitrios Limberopoulos, Bodhi Priyantha, Jie Liu, Feng Zhao, DAC'08, accepted, June, 2008
• Specification and analysis of electronic contracts, Gerado Schneider, 6, May, 2008
• PTIDES: A Programming Model for Distributed Real-Time Embedded Systems, Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren Patel, Yang Zhao, Jia Zou, RTSS'08, submitted, May, 2008
• Anytime Control Algorithms for Embedded Real-Time Systems, Luca Greco, 29, April, 2008
• When can a UAV get smart with its operator, and say 'NO!'?, Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire Tomlin, 15, April, 2008
• Single and Multi-CPU Performance Modeling for Embedded Systems, Trevor Meyerowitz, University of California at Berkeley, April, 2008
• Controller Synthesis with Budget Constraints, Krishnendu Chatterjee, Tom Henzinger, Rupak Majumdar, Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, Magnus Egerstedt and Bud Mishra, HSCC, 72-86, April, 2008
• From Automated Software Testing to Likely Program Invariant Generation, Koushik Sen, 18, March, 2008
• Numerical solution of nonlinear differential equations in musical synthesis, David Yeh, 11, March, 2008
• Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor, Trevor Meyerowitz, Dominik Langen, Mirko Sauermann, Alberto Sangiovanni-Vincentelli, Design Automation Test Europe, IEEE, March, 2008
• Model-Checking omega-Regular Properties of Interval Markov Chains, Krishnendu Chatterjee, Tom Henzinger, Koushik Sen, Foundations of Software Science and Computation Structure (FoSSaCS) 2008, Roberto M. Amadio, 302-317, March, 2008
• Single and Multi-CPU Performance Modeling for Embedded Systems (Dissertation Talk), Trevor Meyerowitz, 26, February, 2008
• Using Ptolemy II to Re-architect Large C and C++ Programs, Hwayong Oh, Teale Fristoe, 21, February, 2008
• The Center for Hybrid and Embedded Software Systems, Christopher Brooks, Edward A. Lee, 21, February, 2008
• Metro II - Design Environment Overview and Case Studies, Douglas Densmore, Qi Zhu, Alessandro Pinto, Trevor Meyerowitz, Alberto Sangiovanni-Vincentelli, 21, February, 2008
• Model-Based Development of Fault-Tolerant Real-Time Systems, Alois Knoll, Christian Buckl, 19, February, 2008
• Enhancing the Visual Experience on the Mobile Computing and Communications Platforms, Achin Bowmik, 12, February, 2008
• Inventing and Prototyping Social Devices, Mike Winter, 5, February, 2008
• Metro II Execution Semantics for Mapping, Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu, Guang Yang, University of California, Berkeley, UCB/EECS-2008-16, February, 2008
• A hierarchical coordination language for reliable real-time tasks, Arkadeb Ghosal, 22, January, 2008
• Trading Infinite Memory for Uniform Randomness in Timed Games, Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu, EECS Department University of California, Berkeley, UCB/EECS-2008-4, January, 2008
• Trading Infinite Memory for Uniform Randomness in Timed Games, Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu, HSCC: Hybrid Systems -- Computation and Control, 2008
• A Platform-Based Design Methodology for the Electronic System Level, Douglas Densmore, Abhijit Davare, VDM Verlag, 2008, 978-3836473149
• Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, M. Egerstedt and B. Misra, 598 - 601, Springer Verlag, 2008
• Cyber Security: Basic Defenses and Attack Trends, Alvaro Cardenas, Tanya Roosta, Gelareh Taban, Shankar Sastry, Giorgio Franceschetti and Marina Grossi, 4, 73-101, First, Artech House, 2008
• Timed Parity Games: Complexity and Robustness, Tom Henzinger, Krishnendu Chatterjee, Vinayak Prabhu, FORMATS: Formal Modeling and Analysis of Timed Systems, 2008
• Neuro-Dynamic Programming for Probabilistic Reachability of Stochastic Hybrid Systems, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Submitted, 2008
• Markov Set-Chains as Abstractions of Stochastic Hybrid Systems, Alessandro Abate, Alessandro D'Innocenzo, Maria D Di Benedetto, Shankar Sastry, M. Egerstedt and B. Misra, 1, Springer Verlag, 2008
• Reducing Energy Consumption in Wireless Sensor Networks, Carlo Fischione, 11, December, 2007
• From Formulas to Systems, Orna Kupferman, 4, December, 2007
• CHIC: Checking Interface Compatibility, Dirk Beyer, Arindam Chakrabarti, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Cindy Song, UC Berkeley, December, 2007
• Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations, Aaron Ames, Alessandro Abate, Shankar Sastry, 46th IEEE Conference on Decision and Control and European Control, 4033-4038, December, 2007
• The concept of Box Invariance for biologically-inspired dynamical systems, Alessandro Abate, Ashish Tiwari, Shankar Sastry, 46th IEEE Conference on Decision and Control and European Control, 5162-5167, December, 2007
• A Framework for Compositional Design and Analysis of Systems, Arindam Chakrabarti, UC Berkeley, December, 2007
• Stochastic Muller Games are PSPACE-complete, Krishnendu Chatterjee, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 436-448, December, 2007
• Markov Decision Processes with Multiple Long-run Average Objectives, Krishnendu Chatterjee, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 473-484, December, 2007
• Communication Synthesis with Applications to On-Chip Communication and Building Automation Systems, Alessandro Pinto, 27, November, 2007
• The Theory of Fast and Robust Adaptation, Naira Hovakimyan, 13, November, 2007
• Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications, Alessandro Abate, University of California, Berkeley, November, 2007
• Using the Principles of Synchronous Languages in Discrete-event and Continuous-time Models, Edward A. Lee, 23, October, 2007
• From Actors to Gates, Jorn W Janneck, 9, October, 2007
• 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, Hiren Patel, 4, October, 2007
• Quantitative and Probabilistic Modeling in Pathway Logic, A. Abate, Y. Bai, N. Sznajder, C. Talcott, A. Tiwari, Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, 922-929, October, 2007
• Stochastic Omega-Regular Games, Krishnendu Chatterjee, 25, September, 2007
• A Multi-Threaded Reactive Processor, Reinhard von Hanxleden, Xin Li, Marian Boldt, 18, September, 2007
• Symbolic Reachability Analysis of Lazy Linear Hybrid Automata, Susmit Jha, Bryan Brady, Sanjit Seshia, 4, September, 2007
• Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering, 527-532, September, 2007
• A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems, Ramesh S., 28, August, 2007
• MIMO Control for Automotive Coldstart, Pannag R Sanketi, Carlos Zavala, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick, Fifth IFAC Symposium on Automotive Control, IFAC, August, 2007
• Simplified Models of Engine HC Emissions, Exhaust Temperature and Catalyst Temperature for Automotive Coldstart, Carlos Zavala, Pannag R Sanketi, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick, Fifth IFAC Symposium for Advances in Automotive Control, IFAC, August, 2007
• An Application of Web-Service Interfaces, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit Seshia, IEEE International Conference on Web Services (ICWS) 2007, IEEE Computer Society Press, 831-838, July, 2007
• Minimum-time reachability in timed games, Thomas Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-François Raskin, ICALP 2007 Automata, Languages and Programming, 825-837, July, 2007
• CHESS 2006-2007 Annual Report, Jonathan Sprinkle, Christopher Brooks, Center for Hybrid and Embedded Software Systems, June, 2007
• A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Gang Zhou, Man-Kit Leung, Edward A. Lee, Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al., 786-799, May, 2007
• Automated Extraction of Inductive Invariants to Aid Model Checking, Mike Case, 10, April, 2007
• From Concept to Silicon, Vason P. srini, 3, April, 2007
• Composition of Dynamical Systems for Estimation of Human Body Dynamics, Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy, Proceedings of 10th International Conference on Hybrid Systems Computation and Control 2007, Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo, 702-706, April, 2007
• An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli, SAE, April, 2007
• SAT Sweeping with Local Observability Don't-Cares, Nathan Kitchen, 20, March, 2007
• Selective Term-Level Abstraction Using Type-Inference, Bryan Brady, 13, March, 2007
• An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli, SAE 2007 Transactions: Journal of Passenger Cars: Electronic and Electrical Systems, 844-856, March, 2007
• Time-Portable Real-Time Programming with Exotasks, Christoph Kirsch, 27, February, 2007
• A Next-Generation Design Framework for Platform-based Design, Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu, DVCon 2007, February, 2007
• Homotopy Meaningful Hybrid Model Structures, Aaron Ames, Michael Farber, R . Ghrist, M. Burger, D . Koditschek, 121-144, American Mathematical Society, 2007
• Games, time, and probability: Graph models for system design and analysis, Tom Henzinger, Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Lecture Notes in Computer Science, Springer, 2007
• A Neural Hybrid-System Model of the Basal Ganglia, Joseph Makin, Alessandro Abate, University of California, Berkeley, UCB/EECS-2007-16, 2007
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems, A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry, A. Bemporad A. Bicchi and G. Buttazzo, 4-17, 4416, Springer Verlag, 2007
• The Concept of Deadlock and Livelock in Hybrid Control Systems, A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S. Sastry, A. Bemporad and A. Bicchi and G. Buttazzo, 628-632, 4416, Springer Verlag, 2007
• Domain-Specific Modeling, Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Aniruddha Gokhale, Sandeep Neema, Jonathan Sprinkle, Paul A. Fishwick, 7, 7-1--7-20, Chapman & Hall/CRC, 2007
• Domain-Specific Modeling (in CRC Handbook of Dynamic System Modeling), Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Anirudda Gokhale, Sandeep Neema, Jonathan Sprinkle, Paul A. Fishwick, 7, (in publication), CRC Press, 2007
• Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, A. Abate, J. Lygeros, S. Sastry, December, 2006
• Hybrid Geometric Reduction of Hybrid Systems, Aaron Ames, Shankar Sastry, 45th IEEE Conference on Decision and Control, 923 - 929, December, 2006
• The concept of Box Invariance for biologically-inspired dynamical systems, Alessandro Abate, Ashish Tiwari, Shankar Sastry, University of California, Berkeley, UCB/EECS-2006-185, December, 2006
• Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems, A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry, Proceedings of the 45th IEEE Conference on Decision and Control, IEEE, December, 2006
• Foundations of Hybrid and Embedded Software Systems: Project Overview, Shankar Sastry, 4, October, 2006
• Systems Biology: Embedded Inter- and Intra-cellular dynamics, Claire Tomlin, 4, October, 2006
• Hybrid Systems: Theoretical Contributions Part I, Shankar Sastry, 4, October, 2006
• Tool Repositories, ESCHER and continuing the Legacy of the ITR, Janos Sztipanovits, 4, October, 2006
• Hybrid Systems: Theoretical Contributions Part II, Tom Henzinger, 4, October, 2006
• New Vistas on Automotive Embedded Systems, Alberto Sangiovanni-Vincentelli, 4, October, 2006
• Advanced Tool Architectures, Edward A. Lee, 4, October, 2006
• Impact: Fault Tolerance and High Confidence Embedded System Design, Gabor Karsai, 4, October, 2006
• Educating New Generation of Students in Embedded Systems, Edward A. Lee, 4, October, 2006
• Embedded Systems Education: Vanderbilt University, Janos Sztipanovits, 4, October, 2006
• Embedded Systems Education: Vanderbilt University, Janos Sztipanovits, 4, October, 2006
• Heterogeneous Ad Hoc Networks, Bela Bollobas, 4, October, 2006
• Heterogeneous Ad Hoc Networks, Bela Bollobas, Svante Janson, Oliver Riordan, 4, October, 2006
• Model-Based Design, Janos Sztipanovits, October, 2006
• Experimental Research, Alberto Sangiovanni-Vincentelli, October, 2006
• New Innovative Technologies for Cyber Physical Societal Scale Systems: Top Down Meets Bottom Up, Shankar Sastry, October, 2006
• Outreach, Jonathan Sprinkle, October, 2006
• 6th OOPSLA Workshop On Domain-Specific Modeling, Juha-Pekka Tolvanen, Matti Rossi, Jonathan Sprinkle, University of Jyvaskala, October, 2006
• A Causality Interface for Deadlock Analysis in Dataflow, Ye Zhou, Edward A. Lee, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi, ACM, 44-52, October, 2006
• A Hierarchical Coordination Language for Interacting Real-Time Tasks, Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'06), Sang Lyul Min, Wang Yi, ACM, 132-141, October, 2006
• Modeling with the Timing Definition Language, Wolfgang Pree, 26, September, 2006
• Analysis of Low-Level Code Using Cooperating Decompilers, Bor-Yuh Evan Chang, Matthew Harren, George Necula, The 13th International Static Analysis Symposium (SAS), Kwangkeun Yi, 318-335, September, 2006
• Quantitative Compositional Pricing, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Tom Henzinger, Rupak Majumdar, Marielle Stoelinga, QEST 06, September, 2006
• Timed alternating-time temporal logic, Tom Henzinger, Vinayak Prabhu, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia, 1-17, September, 2006
• The embedded systems design challenge, Tom Henzinger, Joseph Sifakis, Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, Springer, August, 2006
• Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks, A. Abate, M. Chen, S. Sastry, Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, July, 2006
• Is There Life After Zeno? Taking Executions past the Breaking (Zeno) Point, Aaron Ames, Robert Gregg, Haiyang Zheng, Shankar Sastry, 2007 American Control Conference, ACS, 23, June, 2006
• Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, Aaron Ames, Shankar Sastry, American Control Conference, June, 2006
• A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proceedings of the 25th American Control Conference, June, 2006
• Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, Aaron Ames, Haiyang Zheng, Robert Gregg, Shankar Sastry, American Control Conference, June, 2006
• Box Invariance of hybrid and switched systems, A. Abate, A. Tiwari, Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ifac, June, 2006
• Functional Model Exploration for Multimedia Applications via Algebraic Operators, Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto Sangiovanni-Vincentelli, ACSD 2006 - Sixth International Conference on Application of Concurrency to System Design, 229-238, June, 2006
• Hybrid Routhian Reduction of Lagrangian Hybrid Systems, Aaron Ames, Shankar Sastry, American Control Conference, June, 2006
• Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proceedings of the 25th American Control Conference, June, 2006
• New real-time embedded software for an autonomous helicopter system using Giotto, Jongho Lee, UC Berkeley, May, 2006
• Automated Mapping from a Domain Specific Language to a Commercial Embedded Multiprocessor, William Plishker, Kurt Keutzer, May, 2006
• Chess 2006 Annual Report, Jonathan Sprinkle, Tracey Richards, Chess, May, 2006
• Design Space Exploration of Automotive Platforms in Metropolis, Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan, Claudio Pinello, Society of Automotive Engineers Congress, April, 2006
• Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study, Jike Chong, Abhijit Davare, Kelvin Lwin, UC Berkeley, April, 2006
• An Interface Algebra for Real-time Components, Tom Henzinger, Slobodan Matic, Proceedings of RTAS 2006, 253-263, April, 2006
• A Platform-based Design Flow for Kahn Process Networks, Abhijit Davare, Qi Zhu, Alberto Sangiovanni-Vincentelli, UC Berkeley, 2006-30, March, 2006
• Finitary Winning in \omega-Regular Games, Krishnendu Chatterjee, Tom Henzinger, TACAS, March, 2006
• Automotive Architecture Exploration in Metropolis, Haibo Zheng, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Communication & Co-Simulation Infrastructure in Heterogeneous System Integration, Guang Yang, Alberto Sangiovanni-Vincentelli, Xi Chen, Harry Hsieh, Felice Balarin, 23, February, 2006
• HyVisual: a Hybrid System Visual Modeler, Haiyang Zheng, Edward A. Lee, 23, February, 2006
• Verifying Safety Properties in Assembly Code, Matthew Harren, George Necula, 23, February, 2006
• Prospector: A Sample Code Search Engine for Complex APIs, David Mandelin, Rastislav Bodik, 23, February, 2006
• Reachability Analysis for Discrete Time Stochastic Hybrid Systems, Alessandro Abate, Saurabh Amin, Shankar Sastry, 23, February, 2006
• Ellipsoidal Toolbox, Alexander B. Kurzhanski, Pravin Varaiya, 23, February, 2006
• Codegen, Gang Zhou, Jackie Leung, Edward A. Lee, Christopher Brooks, 23, February, 2006
• Causality Interfaces and Compositional Causality Analysis, Rachel Zhou, Haiyang Zheng, Edward A. Lee, 23, February, 2006
• Fault Tree Generation for Distributed Fault Tolerant Systems, Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Autonomous Rotorcraft Landing Using Computer Vision, Todd Templeton, Christopher Geyer, J. Mikael Eklund, David Hyunchul Shim, Jonathan Sprinkle, Shankar Sastry, 23, February, 2006
• An Interface Algebra for Real-Time Components, Slobodan Matic, Tom Henzinger, 23, February, 2006
• Learning Nonlinear Dynamical Models for Human Motion Modeling, Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy, 23, February, 2006
• The Embedded Open Control Platform, Jonathan Sprinkle, J. Mikael Eklund, David Hyunchul Shim, Christopher Brooks, Shankar Sastry, 23, February, 2006
• Behavioral Types for Open Software Systems, Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle Stoelinga, 23, February, 2006
• Modeling a Heterogeneous Multiprocessor for Software Defined Radio, Trevor Meyerowitz, Rong Chen, Jens Harnisch, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Group Pursuit Evasion Games of Unmanned Underwater Vehicles, Jongho Lee, J. Mikael Eklund, Shankar Sastry, 23, February, 2006
• Hierarchical Timing Language, Arkadeb Ghosal, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control for Automatic Transmissions, Takashi Nagata, Hwan Hur, Tomoyuki Kaga, Masayoshi Tomizuka, 23, February, 2006
• Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Elaine Cheong, Edward A. Lee, Yang Zhao, Christopher Brooks, EECS Dept. UC Berkeley, 15, February, 2006
• Time Triggered Scheduling of Architecture Exploration for Automotive Application, wei zheng, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Synthesis Methodology for Concurrent Communicating Processes, Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Automotive Engine Hybrid Modeling and Control of Hydrocarbon Emissions, Pannag R Sanketi, Carlos Zavala, Karl Hedrick, 23, February, 2006
• A First Look at Ptalon, Adam Cataldo, Thomas Huining Feng, Edward A. Lee, 23, February, 2006
• Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games, Krishnendu Chatterjee, Tom Henzinger, STACS, February, 2006
• Markov Decision Processes with Multiple Objectives, Krishnendu Chatterjee, Rupak Majumdar, Tom Henzinger, STACS, February, 2006
• Reachability analysis for controlled discrete time stochastic hybrid systems, S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry, J. Hespanha and A. Tiwari, 49-63, 3927, Springer Verlag, 2006
• The Complexity of Quantitative Concurrent Parity Games, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, SODA, 2006
• Games with Secure Equilibria, Krishnendu Chatterjee, Tom Henzinger, Marcin Jurdzinski, Theoretica Computer Science, 2006
• Semi-perfect Information Games, Krishnendu Chatterjee, Tom Henzinger, FSTTCS, December, 2005
• Trading End-to-End Latency for Composability, Slobodan Matic, Tom Henzinger, Proceedings of RTSS 2005, 99-110, December, 2005
• On the Partitioning of Syntax and Semantics For Hybrid Systems Tools, Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry, 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), IEEE Controls Society, 4694-4699, December, 2005
• Reasoning about Timed Systems Using Boolean Methods, Sanjit Seshia, Randal Bryant, Kenneth Stevens, 11, October, 2005
• Verifying Quantitative Properties Using Bound Functions, Arindam Chakrabarti, Krishnendu Chatterjee, Tom Henzinger, Orna Kupferman, Rupak Majumdar, CHARME, 50--64, October, 2005
• 5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05), Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, Computer Science and Information System Reports, Technical Reports, TR-36, University of Jyv�skyl�, Finland, October, 2005
• Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living, J. Mikael Eklund, Thomas Riisgaard Hansen, Jonathan Sprinkle, Shankar Sastry, 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), 3931-3934, September, 2005
• Online Safety Calculations for Glideslope Recapture, Jonathan Sprinkle, Aaron Ames, J. Mikael Eklund, Ian Mitchell, Shankar Sastry, Innovations in Systems and Software Engineering, 1, 2, 157-175, September, 2005
• Using Dependent Types to Certify the Safety of Assembly Code, Matthew Harren, George Necula, Static Analysis Symposium (SAS), Springer-Verlag LNCS, 155-170, September, 2005
• An Interface Formalism for Web Services, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Foundations of Interface Technologies (FIT), 2005, August, 2005
• Computing Inverse MEG Signals in the Brain, J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle, Gregory V. Simpson, 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 332-335, August, 2005
• Two-player Nonzero-sum \omega-Regular Games, Krishnendu Chatterjee, CONCUR, August, 2005
• The Complexity of Stochastic Rabin and Streett Games, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, ICALP, July, 2005
• Counterexample-guided Planning, Krishnendu Chatterjee, Tom Henzinger, Ranjit Jhala, Rupak Majumdar, UAI, July, 2005
• Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft, J. Mikael Eklund, Jonathan Sprinkle, Shankar Sastry, Proceedings of American Control Conference (ACC) 2005, 1509-1514, June, 2005
• Simulation Based Deadlock Analysis for System Level Designs, Xi Chen, Abhijit Davare, Harry Hsieh, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, 42nd Annual Design Automation Conference, 260-265, June, 2005
• Deciding to Land a UAV Safely in Real Time, Jonathan Sprinkle, J. Mikael Eklund, Shankar Sastry, Proceedings of American Control Conference (ACC) 2005, 3506-3511, June, 2005
• Mean-Payoff Parity Games, Krishnendu Chatterjee, Tom Henzinger, Marcin Jurdzinski, LICS 05, June, 2005
• Composable Code Generation for Distributed Giotto, Tom Henzinger, Christoph Kirsch, Slobodan Matic, Proceedings of LCTES 2005, 21-30, June, 2005
• Web Service Interfaces, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Proceedings of the 14th World Wide Web Conference (WWW) 2005, 148-159, May, 2005
• Chess Project Proposal, Shankar Sastry, The Chess Center, 2003

Found 257 publications.