Ptolemy Project Papers for 2007

  1. Edward A. Lee, " Application of Partial Orders to Timed Concurrent Systems," article in Partial order techniques for the analysis and synthesis of hybrid and embedded systems, special tutorial session organized by Domitilla Del Vecchio and George Pappas, in Proceedings of the IEEE Conference on Decision and Control (CDC 07) , New Orleans, LA, United States, December 12-14, 2007.
  2. Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, and Bernhard Schätz, Model-based Engineering of Embedded Real-time Systems, Dagstuhl Seminar Proceedings 07451, Internationales Begegnungs- und Forschungszentrum fur Informatik (IBFI), Schloss Dagstuhl, Germany, Nov. 5-9, 2007.
  3. A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble, "Heterogeneous Composition of Models of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-139, Nov. 2007. International Conference on Computational Science (ICCS) 2007 version of this paper. A later version has been published in Future Generation Computer Systems (FGCS), Elsevier.
  4. Thomas Huining Feng, Edward A. Lee, "Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-133, November 8, 2007.
  5. Xiaojun Liu, Edward A. Lee, "CPO Semantics of Timed Interactive Actor Networks," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-131, November 5, 2007.
  6. Edward A. Lee and Stephen Neuendorffer, "Tutorial: Building Ptolemy II Models Graphically," Technical Report No. UCB/EECS-2007-129, EECS Department, University of California, Berkeley, October 31, 2007.
  7. Edward A. Lee, Haiyang Zheng, "Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems," EMSOFT ’07, September 30–October 3, 2007, Salzburg, Austria.
  8. Elaine Cheong, "Actor-Oriented Programming for Wireless Sensor Networks," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-112, August 30, 2007.
  9. Edward A. Lee, Xiaojun Liu, and Stephen Neuendorffer, "Classes and Inheritance in Actor-Oriented Design," to appear in ACM Transactions on Embedded Computing Systems, accepted August 23, 2007.
  10. Stephen A. Edwards, Edward A. Lee, "The Case for the Precision Timed (PRET) Machine," DAC 2007, June 4-8, 2007, San Diego, California.
  11. Edward A. Lee, "Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report," EECS Department University of California, Berkeley, Technical Report No. UCB/EECS-2007-72, May 21, 2007.
  12. Haiyang Zheng, "Operational Semantics of Hybrid Systems," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-68, May 18, 2007.
  13. Ye Zhou, "Interface Theories for Causality Analysis in Actor Networks," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-53, May 15, 2007.
  14. Gang Zhou, Man-Kit Leung, and Edward A. Lee, "A Code Generation Framework for Actor-Oriented Models with Partial Evaluation," in Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, pp. 786-799, Daegu, South Korea, May 14-16, 2007, Y.-H. Lee et al. (Eds.) © Springer-Verlag Berlin Heidelberg 2007. The 2007 Technical Report that preceded this publication.
  15. Antoon Goderis, Christopher Brooks, lkay Altintas, Edward A. Lee, "Composing Different Models of Computation in Ptolemy II and Kepler," 2007 Proceedings, International Conference on Computational Science (ICCS), May, 2007. 2007 Technical Report version of this paper. A later version has been published in Future Generation Computer Systems (FGCS), Elsevier.
  16. Edward A. Lee, "Are new languages necessary for multicore?," Position Statement for Panel, 2007 Internal Symposium on Code Generation and Optimization (CGO), March 11-14, 2007, San Jose, California.
  17. Gang Zhou, Man-Kit Leung and Edward A. Lee, "A Code Generation Framework for Actor-Oriented Models with Partial Evaluation," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-29, February 23, 2007. Here is the published version.
  18. Y. Zhao, Y. Xiong, E.A. Lee, X. Liu, L.C. Zhong, "The Design and Application of Structured Types in Ptolemy II," EECS Department, University of California, Berkeley, UCB/EECS-2007-21, January 30, 2007.
  19. Yang Zhao, Jie Liu and Edward A. Lee, "A Programming Model for Time-Synchronized Distributed Real-Time Systems," in Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 07), Bellevue, WA, United States, April 3-6, 2007.
  20. C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (eds.), "Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II)," EECS Department, University of California, Berkeley, UCB/EECS-2007-7, January 11, 2007.
  21. C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (eds.), "Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture)," EECS Department, University of California, Berkeley, UCB/EECS-2007-8, January 11, 2007.
  22. C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (eds.), "Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)," EECS Department, University of California, Berkeley, UCB/EECS-2007-9, January 11, 2007.
  23. Edward A. Lee and Stephen Edwards, "Precision Timed (PRET) Computation in Cyber-Physical Systems," Updated position paper for the National Workshop on High Confidence Software Platforms for Cyber-Physical Systems: Research Needs and Roadmap, November 30-December 1, 2006, Alexandria, Virginia. Date of update: January 8, 2007.
  24. Edward A. Lee and Yang Zhao, "Reinventing Computing for Real Time," in Proceedings of the Monterey Workshop 2006, LNCS 4322, pp. 1-25, 2007, F. Kordon and J. Sztipanovits (Eds.) © Springer-Verlag Berlin Heidelberg 2007. The 2006 Technical Report that preceded this publication.
  25. Edward A. Lee, Slobodan Matic, "Determinism in Event-Triggered Distributed Systems with Time Synchronization, in Proceedings of ISPCS07, January, 2007.