Ptolemy Project Papers for 2012

  1. Ilge Akkaya, Yan Liu, and Ian Gorton. "Modeling and Analysis of Middleware Design for Streaming Power-Grid Applications," in Proceedings of the 13th International Middleware Conference (Middleware'12), Montreal, QC, CA, December, 2012.
  2. David Broman. "High-Confidence Cyber-Physical Co-Design," in Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), Page 12, San Juan, Puerto Rico, 2012.
  3. Ben Lickly. "Static Model Analysis with Lattice-Based Ontologies," PhD Thesis, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2012-212, November 20, 2012.
  4. David Broman, Edward A. Lee, Stavros Tripakis, and Martin Törngren. "Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems," in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12), Innsbruck, Austria, October, 2012.
  5. Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee. "A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance," in Proceedings of International Conference on Computer Design (ICCD), Montreal, Quebec, Canada, October, IEEE, 2012.
  6. Edward A. Lee, Sanjit Seshia, Jeff C. Jensen, "Teaching Embedded Systems the Berkeley Way," Workshop on Embedded Systems Education (WESE), a part of Embedded Systems Week (ESWeek), Tampere, Finland, October 12, 2012.
  7. M. Toerngren, S. Tripakis, P. Derler, and E. A. Lee, "Design Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-191, Aug. 2012.
  8. Sandor Brockhauser, Olof Svensson, Matthew W. Bowler, Max Nanao, Elspeth Gordon, Ricardo M.F. Leal, Alexander Popov, Matthew Gerring, Andrew McCarthy, Andy Gotz. "The use of workflows in the design and implementation of complex experiments in macromolecular crystallography," Acta Crystallographica Section D, 68(8):975-984, August 2012; (The workflows use Ptolemy II as an engine.)
  9. David Broman, Jeremy G. Siek. "Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages," Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2012-173, June, 2012.
  10. Kyungmin Bae, Peter Olveczky, Thomas Feng, Edward A. Lee, Stavros Tripakis, "Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude," Science of Computer Programming, Vol. 77, Issue 12, October 1, 2012, pp 1235-1271. Previous version, EECS Department, University of California, Berkeley, Technical Report No. UCB/EE CS-2010-50, May 6, 2010.
  11. Chris Shaver, Edward A. Lee. "The Coroutine Model of Computation," Proceedings of the International Conference on Model Driven Engineering (MODELS), (A Technical report preprint is available), 2012.
  12. Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran and Guoqiang Wang. "On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2012-164, June 8, 2012.
  13. A. Ghosal, R. Limaye, K. Ravindran, S. Tripakis, A. Prasad, G. G. Wang, T. N. Tran, H. Andrade, "Static dataflow with access patterns: semantics and analysis," DAC 2012.
  14. Isaac Liu. "Precision Timed Machines," Ph.D. Thesis, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2012-113, May 14, 2012.
  15. Chris Shaver, Edward A. Lee. "The Coroutine Model of Computation," Technical report, University of California Berkeley, April, 2012.
  16. Reinhard von Hanxleden, Edward A. Lee, Christian Motika, and Hauke Fuhrmann. "Multi-View Modeling and Pragmatics in 2020, Position Paper on Designing Complex Cyber-Physical Systems," Proceedings of the 17th Monterey Workshop, Oxford, UK, March 19-21, 2012. Published in SpringerLink Lecture Notes in Computer Science, 2012, Volume 7539/2012, pp 209-223. Earlier version.
  17. Eleftherios Matsikoudis, Edward A. Lee. "From Transitions to Executions," In D. Pattinson and L. Schröder, editors, Coalgebraic Methods in Computer Science, vol. 7399 of Lecture Notes in Computer Science, pp. 170-190, Springer Berlin / Heidelberg, 2012.
  18. Eleftherios Matsikoudis, Edward A. Lee. "Labelled Execution Systems," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2012-64, May 7, 2012.
  19. Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Gerald Wang, Hugo Andrade. "A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs," IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), Toronto, Canada, April 29-May 1, 2012.
  20. Jia Zou, Slobodan Matic, Edward A. Lee. "PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems," In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Beijing, China, 2012.
  21. John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. "Distributed Real-Time Software for Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), 100(1):45-59, January 2012.
  22. Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. "Modeling Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.
  23. Christopher Brooks, Edward A. Lee. Creating Web Pages, Claudius Ptolemaeus (ed.), 348-365, 0.05, Ptolemy Project, 2012; This is a draft chapter for the book "System Design, Modeling, and Simulation," Claudius Ptolemaeus, Editor, Draft Version 0.05, January 7, 2012.