Ptolemy Project Publications for 2014

  1. Edward A. Lee. "Constructive Collisions," chapter in From Programs to Systems. The Systems perspective in Computing. Saddek Benwalem, Yassinie Lakhneck, Axek Legay (eds.), pp. 161-176, Springer, Berlin/Heidelberg, 2014.
  2. Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, and David Wessel. "Machine improvisation with formal specifications," In Proceedings of the 40th International Computer Music Conference (ICMC), St. Louis, MO, September 14, 2014.
  3. Christopher Brooks and Edward Lee. "Ptolemy Coding Style," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-164, September 5, 2014.
  4. David Broman, Lev Greenberg, Edward A. Lee, Michael Massin, Stavros Tripakis and Michael Wetter. " Requirements for Hybrid Cosimulation," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-157, August 16, 2014.
  5. Edward A. Lee. "Constructive Models of Discrete and Continuous Physical Phenomena," IEEE Access, Vol.2, pp. 797-821, August 7, 2014. Also as Technical Report, February 8, 2014.
  6. Armin Wasicek, Patricia Derler, and Edward A. Lee, "Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems," in ACM/EDAC/IEEE Proceedings of the 51st Annual Design Automation Conference (DAC), San Francisco, CA, June, 2014.
  7. Jeff C. Jensen, Edward A. Lee, and Sanjit A. Seshia. An Introductory Lab in Embedded and Cyber-Physical Systems, http://LeeSeshia.org/lab, 1st Edition v1.70, 2015.
  8. David Broman, Patricia Derler, Ankush Desai, John Eidson and Sanjit A. Seshia. "Endlessly Circulating Messages in IEEE 1588-2088 Systems," in IEEE Proceedings of the International Conference on Precision Clock Synchronization, Austin, TX, September, 2014, ISPCS-2014. Earlier Technical Report, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-62, May 13, 2014.
  9. Stavros Tripakis and David Broman. "Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-30, April 25, 2014.
  10. Insa Fuhrmann, David Broman, Steven Smyth and Reinhard von Hanxleden. "Towards Interactive Timing Analysis for Designing Reactive Systems," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-26, April 3, 2014.
  11. Michael Zimmer, David Broman, Chris Shaver, and Edward A. Lee. "FlexPRET: A Processor Platform for Mixed-Criticality Systems," In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
  12. Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastava. "WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores," In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
  13. Eugene Yip, Matthew Kuo, Partha Roop, and David Broman. "Relaxing the Synchronous Approach for Mixed-Criticality Systems," In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
  14. 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 A. Seshia, Tajana Simunic Rosing, Ben Taskar, John Wawrzynek, David Wessel. "The Swarm at the Edge of the Cloud," Design & Test, IEEE, pp. 1-17, March 2014.
  15. Maria Vasilevskaya, David Broman, and Kristian Sandahl. "An Assessment Model for Large Project Courses," Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE), Atlanta, GA, USA, March 5-8, 2014.
  16. Eleftherios Matsikoudis, Edward A. Lee. "Generalized Ultrametric Semilattices of Linear Signals," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-7, January 23, 2014.
  17. Eleftherios Matsikoudis, Christos Stergiou. "First Draft of the act Programming Language," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2014-5, January 22, 2014.
  18. Claudius Ptolemaeus, editor, System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, ISBN: 978-1-304-42106-7, 2014.
  19. Edward A. Lee, "Heterogeneous Modeling," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, ISBN: 978-1-304-42106-7, 2014.
  20. Christopher Brooks,Edward A. Lee, Stephen Neuendorffer, and John Reekie, "Building Graphical Models," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  21. Edward A. Lee, Stephen Neuendorffer, and Gang Zhou, "Dataflow," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  22. Neil Smyth, John S. Davis II, Thomas Huining Feng, Mudit Goel, Edward A. Lee, Thomas M. Parks, and Yang Zhao, "Process Networks and Rendezvous," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  23. Stephen A. Edwards, Edward A. Lee, Stavros Tripakis, and Paul Whitaker, " Synchronous-Reactive Models," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  24. Thomas Huining Feng, Edward A. Lee, Xiaojun Liu, Christian Motika, Reinhard von Hanxleden and Haiyang Zheng, "Finite State Machines," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  25. Edward A. Lee, Jie Liu, Lukito Muliadi, and Haiyang Zheng, "Discrete-Event Models," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  26. Thomas Huining Feng, Edward A. Lee, Xiaojun Liu, Stavros Tripakis, Haiyang Zheng, and Ye Zhou, "Modal Models," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  27. Janette Cardoso, Edward A. Lee, Jie Liu, and Haiyang Zheng, "Continuous-Time Models," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  28. Janette Cardoso, Patricia Derler, John C. Eidson, Edward A. Lee, Slobodan Matic, Yang Zhao, and Jia Zou, " Modeling Timed Systems," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  29. Thomas Huining Feng and Edward A. Lee, "Ptera: An Event-Oriented Model of Computation," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  30. Christopher Brooks, Joseph Buck, Elaine Cheong, John S. Davis II, Patricia Derler, Thomas Huining Feng, Geronica Galicia, Mudit Goel, Soonhoi Ha, Edward A. Lee, Jie Liu, Xiaojun Liu, David Messerschmitt, Lukito Muliadi, Stephen Neuendorffer, John Reekie, Bert Rodiers, Neil Smyth, Yuhong Xiong, and Haiyang Zheng, "Software Architecture," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  31. Christopher Brooks, Thomas Huining Feng, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Neil Smyth, Yuhong Xiong, "Expressions," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  32. Edward A. Lee, Marten Lohstroh, and Yuhong Xiong, "The Type System," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  33. Patricia Derler, Elizabeth A. Latronico, Edward A. Lee, Man-Kit Leung, Ben Lickly, and Charles Shelton, "Ontologies," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  34. Christopher Brooks and Edward A. Lee, "Signal Display," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
  35. Christopher Brooks, Edward A. Lee, Elizabeth A. Latronico, Baobing Wang, and Roxana Gheorghui, "Web Interfaces," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.