Ptolemy Project Papers for 2010

  1. Isaac Liu, Jan Reineke, and Edward A. Lee, "PRET Architecture Supporting Concurrent Programs with Composable Timing Properties," in Signals, Systems, and Computers (ASILOMAR), Conference Record of the Forty Fourth Asilomar Conference, November 2010, Pacific Grove, California.
  2. Edward A. Lee, "CPS Foundations," in Proc. Design Automation Conference (DAC), ACM, 2010.
  3. Thomas Huining Feng, Edward A. Lee, Lee W. Schruben, "Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems," in Proceedings of the tenth ACM international conference on Embedded Software (EMSOFT), October 24-29, 2010, Scottsdale, Arizona.
  4. Edward A. Lee, Sanjit A. Seshia, "An Introductory Textbook on Cyber-Physical Systems," in Proceedings of the 2010 Workshop on Embedded Systems Education (WESE), October 28, 2010, Scottsdale, Arizona.
  5. Marc Geilen, Stavros Tripakis and Maarten Wiggers, "The Earlier the Better: A Theory of Timed Actor Interfaces," Technical Report UCB/EECS-2010-130, EECS Department, University of California, Berkeley, Oct 2010.
  6. Edward A. Lee, "Disciplined Heterogeneous Modeling," in D.C. Petriu, N. Rouquette, O. Haugen (Eds.): MODELS 2010, PRT II, LNCS 6395, Springer-Verlag, pp. 273-287, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS), Oslo, Norway, Oct. 3-8, 2010.
  7. Edward A. Lee and Stavros Tripakis,"Modal Models in Ptolemy," Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Oslo, Norway, October, 2010.
  8. John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia and Jia Zou, "A Time-Centric Model for Cyber-Physical Applications," Proceedings of 3rd International Workshop on Model Based Architecting and Construction of Embedded System (ACESMB 2010), pp. 21-35, Oslo, Norway, October, 2010. Earlier version.
  9. Martin Schoeberl, Christopher Brooks, Edward A. Lee, "Code Generation for Embedded Java with Ptolemy," Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), October, 2010.
  10. Dai Bui, Hiren Patel and Edward Lee, "Deploying Hard Real-time Control Software on Chip-Multiprocessors," IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 23-25 Aug. 2010, Macau, China.
  11. Bert Rodiers and Ben Lickly, "Width Inference Documentation," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-120, August 24, 2010.
  12. Daniel Grund and Jan Reineke," Toward Precise PLRU Cache Analysis," Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, July, 2010.
  13. Stavros Tripakis, Christos Stergiou, Roberto Lublinerman, "Checking Non-Interference in SPMD Programs," 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010), 1-6, Berkeley, CA, June, 2010.
  14. Stavros Tripakis, Dai Bui, Marc Geilen, Bert Rodiers and Edward A. Lee, "Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-52, May 7, 2010. Extended and revised version to appear at ACM TECS.
  15. Kyungmin Bae, Peter Olveczky, Thomas Feng, Edward A. Lee, Stavros Tripakis, "Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-50, May 6, 2010. Published version.
  16. Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee, "A Theory of Synchronous Relational Interfaces," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-45, April 23, 2010. Published in ACM Transactions on Programming Languages and Systems (TOPLAS). Vol. 33, Issue 4, July 2011.
  17. Stavros Tripakis, Dai Bui, Bert Rodiers and Edward A. Lee, " Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (Poster Abstract)." ACM/IEEE First International Conference on Cyber-Physical Systems, Stockholm, Sweden, Apr 13-15, 2010.
  18. Thomas Huining Feng, Edward A. Lee and Lee W. Schruben, "Ptera: An Event-Oriented Model of Computation," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-40, April 10, 2010.
  19. Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden SYNCHRON 2009, Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider and Reinhard von Hanxleden (eds.), Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010.
  20. Stefan Resmerita, Patricia Derler and Edward A. Lee, "Modeling and Simulation of Legacy Embedded Systems," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-38, April 8, 2010.
  21. Jeff C. Jensen, Elements of Model-Based Design, Master's Report, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-19, February 19, 2010.
  22. Ye Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, and Lizhi C. Zhong, "The Design and Application of Structured Types in Ptolemy II," International Journal of Intelligent Systems, Volume 25, Issue 2, pp. 118-136, Wiley Periodicals, Inc., 2010. Earlier version.