Search results

• Ptolemy II 10.0, Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Chihhong Patrick Cheng, Daniel Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, eric lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Christian Motika, Thierry Nouidui, Aaron T Schultz, Charles Shelton, Ishwinder Singh, Hallvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, University of California, Berkeley, 18, December, 2014
• It's About Time, Edward A. Lee, 8, December, 2014
• PILOT: A Machine Learning and Optimization Toolkit for the Swarm, Ilge Akkaya, Edward A. Lee, Shuhei Emoto, 17, November, 2014
• A Case Study of Toyota Unintended Acceleration and Software Safety, Philip Koopman, 14, November, 2014
• Roadmapping efforts for research, education and innovation in Cyber-Physical Systems (CPS), Martin Torngren, 4, November, 2014
• Probabilistic Model Checking andS trategy Synthesis, Dave Parker, 28, October, 2014
• Formal Analysis of Timing Effects on Closed-loop Properties of Cyber Physical Systems, Arne Hamann, 7, October, 2014
• Logically Synchronous Models of Distributed Systems with Explicit Timing Specifications, Patricia Derler, Edward A. Lee, Michael Zimmer, 20th IMEKO TC4 International Symposium and 18th International Workshop on ADC Modelling and Testing Research on Electric and Electronic Measurement for the Economic Upturn, Benevento, Italy, September, 2014
• Endlessly Circulating Messages in IEEE 1588-2088 Systems, Broman, D. Derler, P., Desai, A., Eidson J.C., Seshia, S.A., IEEE, September, 2014
• Requirements for Hybrid Cosimulation, David Broman, Lev Greenberg, Michael Masin, Stavros Tripakis, Michael Wetter, University of California, Berkeley, UCB/EECS-2014-157, August, 2014
• Constructive Models of Discrete and Continuous Physical Phenomena, Edward A. Lee, 6, July, 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
• The Swarm at the Edge of the Cloud, Edward A. Lee, Jan Rabaey, David Blaauw, Kevin Fu, Carlos Guestrin, Bjorn Hartmann, Roozbeh Jafari, Doug Jones, John Kubiatowicz, Vijay Kumar, Rahul Mangharam, Richard Murray, George Pappas, Kris Pister, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Ben Taskar, John Wawrzynek, David Wessel, Design & Test, IEEE, 31, 3, 1-13, June, 2014
• Technical and Practical Aspects for Locating and Tracking Mobile Users within a Wireless Local Area Network, Joseph Ng, 22, April, 2014
• Antescofo, a dynamic language for real-time musician-computer interaction, Echeveste Jose, 15, April, 2014
• The Internet of (Important) Things, Thomas Watteneye, 8, April, 2014
• FlexPRET: A Processor Platform for Mixed-Criticality Systems, Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014
• Relaxing the Synchronous Approach for Mixed-Criticality Systems, Eugene Yip, Matthew Kuo, Partha Roop, David Broman, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014
• Architecture-Parametric Timing Analysis, Jan Reineke, Johannes Doerfert, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Richard West, IEEE, 189--200, April, 2014
• WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores, Yooseong Kim, David Broman, Jian Cai, Aviral Shrivastava, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 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
• Towards Interactive Timing Analysis for Designing Reactive Systems, Insa Fuhrmann, David Broman, Steven Smyth, Reinhard von Hanxleden, EECS Department, University of California, Berkeley, UCB/EECS-2014-26, April, 2014
• The use of Ptolemy 2 and clusters for data analysis at the Diamond Synchrotron, Matt Gerring, 18, March, 2014
• Building Assurance Cases with the Evidential Tool Bus, Natarajan Shankar, 4, March, 2014
• An Assessment Model for Large Project Courses, Maria Vasilevskaya, David Broman, Kristian Sandahl, Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE), March, 2014
• Deterministic Ethernet as Reliable Communication Infrastructure for Distributed Dependable Systems, Wilfried Steiner, 21, February, 2014
• Enhancing Model-Based Control for Automotive Cold Start Emissions, Selina Pan, Andreas Hansen, Kyle Edelberg, Karl Hedrick, 13, February, 2014
• Turbocharged Engine Modeling & Control, Raechel Tan, Masayoshi Tomizuka, 13, February, 2014
• SCR in Ptolemy, Patricia Derler, 12, February, 2014
• Zelus, a synchronous language with Ordinary Differential Equations, Marc Pouzet, 11, February, 2014
• Constructive Models of Discrete and Continuous Physical Phenomena, Edward A. Lee, EECS Department, UC Berkeley, UCB/EECS-2014-15, February, 2014
• Leveraging Synchronized Clocks in Distributed Applications, Edward A. Lee, 14, January, 2014
• Ptolemy Coding Style, Christopher Brooks, Edward A. Lee, University of California, Berkeley, UCB/EECS-2014-164, 2014
• Constructive Collisions, chapter in From Programs To Systems. The Systems perspective in Computing., Edward A. Lee, Saddek Bensalem, Yassinie Lakhneck, Axel Legay, 11, 161-176, 8415, Springer Berling Heidelberg, 2014

Found 35 publications.