Search results

• Computing Needs Time, Edward A. Lee, 10, December, 2010
• Computing Needs Time, Edward A. Lee, 6, December, 2010
• Statistical System Identification and Control, Anil Aswani, 1, December, 2010
• Programmable Temporal Isolation for Real-Time Systems, Silviu Craciunas, 30, November, 2010
• Beyond Human Factors: An Approach to Human/Automation Teams, Haomiao Huang, Jerry Ding, Wei Zhang, 17, November, 2010
• Computing Needs Time, Edward A. Lee, 12, November, 2010
• Digital Signal Processing with Protein Molecules and DNA Strands, Keshab K. Parhi, 10, November, 2010
• A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, Isaac Liu, Jan Reineke, Edward A. Lee, 44th Asilomar Conference on Signals, Systems, and Computers, 2111-2115, 7, November, 2010
• Fusing Machine Learning & Control Theory, Jeremy Gillula, 3, November, 2010
• Computing Needs Time, Edward A. Lee, 2, November, 2010
• CHESS ITR Annual Report 2009-2010: Foundations of Hybrid and Embedded Systems and Software, Shankar Sastry, Center for Hybrid and Embedded Software Systems, November, 2010
• CHESS ITR Final Report 2003-2010: Foundations of Hybrid and Embedded Systems and Software, Shankar Sastry, Center for Hybrid and Embedded Software Systems, November, 2010
• Strategic Directions in Software At Scale, Michael J. May, Edward A. Lee, Lindsay E. Jones, Office of Information Systems & Cyber Security (ISCS), Office of the Director, Defense Research & Engineering (DDR&E), DDRE-ISCS-2010-1, November, 2010
• Synthesis of Reliable Distributed Real-Time Software, Edward A. Lee, 29, October, 2010
• An Introductory Textbook on Cyber-Physical Systems, Edward A. Lee, 28, October, 2010
• Ptolemy II 8.0.1: An open-source software framework supporting experimentation with actor-oriented design, Edward A. Lee, Christopher Brooks, Thomas Huining Feng, Jackie Man-Kit Leung, Bert Rodiers, Kyungmin Bae, Chad Berkley, Chihhong Cheng, Teale Fristoe, Shanna-Shaye Forbes, Hauke Fuhrmann, Ben Lickly, Isaac Liu, Michael Wetter, University of California, Berkeley, 28, October, 2010
• Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems, Thomas Huining Feng, Edward A. Lee, Lee W. Schruben, EMSOFT, ACM Press, 219-228, 24, October, 2010
• Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems, Thomas Huining Feng, Edward A. Lee, Lee W. Schruben, 24, October, 2010
• PTIDES: A Discrete-Event-Based Programming Model for Distributed Embedded Systems, John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou, 24, October, 2010
• Exploring Models of Computation with Ptolemy II, Christopher Brooks, Edward A. Lee, Stavros Tripakis, 24, October, 2010
• Predictability, Repeatability, and Models for Cyber-Physical Systems, Edward A. Lee, 24, October, 2010
• Decentralized Path Planning For Air Traffic Management, Wei Zhang, 20, October, 2010
• Modeling, Simulation, and Analysis of Integrated Building Energy and Control Systems, Michael Wetter, 13, October, 2010
• Disciplined Heterogeneous Modeling, Edward A. Lee, 6, October, 2010
• A Time-Centric Model for Cyber-Physical Applications, John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou, 4, October, 2010
• Modal Models in Ptolemy, Edward A. Lee, Stavros Tripakis, Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010), 11-22, 3, October, 2010
• Disciplined Heterogeneous Modeling, Edward A. Lee, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS), D.C. Petriu, N. Rouquette, O. Haugen, LNCS 6395, Springer-Verlag, 273-287, 3, October, 2010
• Modal Models in Ptolemy, Edward A. Lee, Stavros Tripakis, 3, October, 2010
• Code Generation for Embedded Java with Ptolemy, Martin Schoeberl, Christopher Brooks, Edward A. Lee, Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), October, 2010
• A Time-Centric Model for Cyber-Physical Applications, John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou, Proceedings of 3rd International Workshop on Model Based Architecting and Construction of Embedded System (ACESMB 2010), 21-35, October, 2010
• The Earlier the Better: A Theory of Timed Actor Interfaces, Marc Geilen, Stavros Tripakis, Maarten Wiggers, UC Berkeley, UCB/EECS-2010-130, October, 2010
• An Introductory Textbook on Cyber-Physical Systems, Peter Marwedel, Jeff Jackson , Kenneth G. Ricks, ACM, October, 2010
• PTIDES Project Overview, Slobodan Matic, Jia Zou, Edward A. Lee, John Eidson, 29, September, 2010
• JOGL: An OpenGL Based Graphics Domain for Ptolemy II, Yasemin Demir, 22, September, 2010
• Cellphone as a Perceptual Platform for Micro UAVs, Nikhil Naikal, 15, September, 2010
• Short-term Memory for Self-collecting Mutators, Christoph Kirsch, 7, September, 2010
• Collecting and Managing Building Data, Jorge Ortiz, 1, September, 2010
• An Economic Map of Cybercrime, Alvaro Cardenas, Svetlana Radosavac, Jens Grossklags, John Chuang, Chris Hoofnagle, The 37th Research Conference on Communication, Information and Internet Policy (TPRC) 2009, George Mason University Law School, Arlington, VA, September, 2010
• Synthesis for Software Security, Jeff Foster, 20, August, 2010
• Scalable Methods for Managing Uncertainty in System Design, Andrzej Banaszuk, Alessandro Pinto, Brian Murray, 19, August, 2010
• Virtualization and Isolation for Cyber-Physical Systems, Silviu Craciunas, Andreas Haas, Christoph Kirsch, Hannes Payer, Harald Rock, Andreas Rottman, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta, 19, August, 2010
• The Effect of Software (and Communication) Reliability and Security on Control Systems, Bruno Sinopoli, 19, August, 2010
• Computer Aided Programming, Armando Solar-Lezama, 19, August, 2010
• Temporal Semantics in Concurrent and Distributed Software, Edward A. Lee, 19, August, 2010
• Reliability and Robustness of Large-Scale Systems, John Goodenough, 19, August, 2010
• Engineering Processes that Engineer Scalable Systems, Leon Osterweil, 19, August, 2010
• Quantitative Verification and Synthesis of Systems, Sanjit Seshia, 18, August, 2010
• Critical Defense Issues, Richard Turner, 18, August, 2010
• From Formal Verification to Synthesis, Rajeev Alur, 18, August, 2010
• Temporal Semantics in Concurrent and Distributed Software, Edward A. Lee, 18, August, 2010
• Composition at Scale, Janos Sztipanovits, 18, August, 2010
• Temporal Semantics, Vijay Saraswat, 18, August, 2010
• Synthesis of r Provably-correct Software using Discrete Control Theory, Yin Wang, 18, August, 2010
• Control Software for Systems that Change Structure, Raja Sengupta, 18, August, 2010
• Is Distributed Consistency Scalable?, Ken Birman, 18, August, 2010
• Is Distributed Consistency Scalable, Ken Birman, 14, August, 2010
• Deploying Hard Real-time Control Software on Chip-multiprocessors, Dai Bui, Hiren Patel, Edward A. Lee, 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), August, 2010
• Nonparametric identification of regulatory interactions from spatial and temporal gene expression data, Anil Aswani, Keranen Soile VE, James Brown, Charless C Fowlkes, David W Knowles, Mark D Biggin, Peter Bickel, Claire Tomlin, BMC Bioinformatics, 413, 11, August, 2010
• An ODE Model for the HER2/3-AKT Signaling Pathway in Cancers that Overexpress HER2, Sleiman Itani, J Gray, Claire Tomlin, American Control Conference (ACC), 30, July, 2010
• ActionWebs, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 23, July, 2010
• Toward a Theory of High Confidence Network Control System, Saurabh Amin, Shankar Sastry, 23, July, 2010
• Hybrid and Embedded Systems: Generalized Hybrid Systems, Edward A. Lee, 23, July, 2010
• The National Airspace System as a Cyber-Physical System, Hamsa Balakrishnan, 23, July, 2010
• ActionWebs: Education and Outreach, Kristen Gates, 23, July, 2010
• Towards the Building Integrated Operating System, David Culler, 23, July, 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
• Embedded Tutorial CPS Foundations, Edward A. Lee, 17, June, 2010
• Checking Non-Interference in SPMD Programs, Stavros Tripakis, Christos Stergiou, Roberto Lublinerman, 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010), 1-6, June, 2010
• CPS Foundations, Edward A. Lee, Proc. of the 47th Design Automation Conference (DAC), ACM, 737-742, June, 2010
• Nudge: Intermediaries Role in Interdependent Network Security, Jens Grossklags, Svetlana Radosavac, Alvaro Cardenas, John Chuang, 3rd International Conference on Trust and Trustworthy Computing (TRUST 2010), Berlin, Germany, June, 2010
• Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude, Kyungmin Bae, Peter Olveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis, UC Berkeley, UCB/EECS-2010-50, May, 2010
• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Stavros Tripakis, Dai Bui, Marc Geilen, Bert Rodiers, Edward A. Lee, UC Berkeley, UCB/EECS-2010-52, May, 2010
• NEDE Estimator, Anil Aswani, University of California, Berkeley, 26, April, 2010
• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (Poster Abstract), Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee, ACM/IEEE First International Conference on Cyber-Physical Systems, Raj Rajkumar, April, 2010
• Modeling and Simulation of Legacy Embedded Systems, Stefan Resmerita, Patricia Derler, Edward A. Lee, UC Berkeley, EECS-2010-38, April, 2010
• A Theory of Synchronous Relational Interfaces, Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee, UC Berkeley, UCB/EECS-2010-45, April, 2010
• Design Challenges for Cyber-Physical Systems, Edward A. Lee, 18, March, 2010
• Interface Theories in Ptolemy II, Ben Lickly, Stavros Tripakis, 11, February, 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
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 11, February, 2010
• Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, Edward A. Lee, 11, February, 2010
• Cyber-Physical Systems, Christopher Brooks, Edward A. Lee, 11, February, 2010
• Monotonicity and Run-Time Scheduling, Maarten Wiggers, Marco Bekooij, Gerard Smit, 11, February, 2010
• On PTIDES Programming Model, John Eidson, Jeff C. Jensen, Edward A. Lee, Slobodan Matic, Jia Zou, February, 2010
• NODE model for eve mRNA modeling in Drosophila melanogaster, Anil Aswani, University of California, Berkeley, 2010
• SYNCHRON 2009, Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden, Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider and Reinhard von Hanxleden, Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 1, 2010, 978-3-642-16276-3
• Model-Based Engineering of Embedded Real-Time Systems, Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz, Lecture Notes in Computer Science, Springer, 6100, 2010
• Regression on Manifolds: Estimation of the Exterior Derivative, Anil Aswani, Peter Bickel, Claire Tomlin, Annals of Statistics, 2010
• Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART), J. Biermeyer, T. Templeton, C. Berger, H. Gonzalez, N. Naikal, B. Rumpe, S. Sastry, Proceedings des 11. Braunschweiger Symposiums "Automatisierungssysteme, Assistenzsysteme und eingebettete Systeme für Transportmittel", ITS Niedersachsen, Braunschweig, 2010
• Matrix Multiplicative Weights and Non-Zero Sum Games, Milosh Drezgich, Shankar Sastry, 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, 2010
• On the NP in BQP, Milosh Drezgich, Shankar Sastry, 2010
• Computer-Aided Drug Discovery for Pathway and Genetic Diseases, Anil Aswani, Claire Tomlin, 2010
• The Design and Application of Structured Types in Ptolemy II, Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong, International Journal of Intelligent Systems, 25, 2, 118-136, 2010
• Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Edward A. Lee, Sanjit Seshia, Lee and Seshia, 1, 2010, 978-0-557-70857-4

Found 94 publications.