Ptolemy Project Papers for 2009

  1. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis, "Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude," ICFEM '09: Proceedings of the 11th International Conference on Formal Engineering Methods, 717-736, 9-12, December, 2009.
  2. Edward A. Lee, "Finite State Machines and Modal Models in Ptolemy II," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-151, Nov. 2009.
  3. Martin Schoeberl, Hiren D. Patel, Edward A. Lee, "Fun with a Deadline Instruction," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-149, October 30, 2009.
  4. Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee "On Relational Interfaces," Proceedings of the 7th ACM International Conference on Embedded Software (EMSOFT'09), pp. 67-76, ACM, 2009. Earlier Technical Report, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-60, May 10, 2009.
  5. Stavros Tripakis, Dai Bui, Bert Rodiers, 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-2009-143, October 20, 2009. Paper published at ACM Transactions on Embedded Computing Systems, 12(3), March, 2013.
  6. John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. "Time-centric Models For Designing Embedded Cyber-physical Systems," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-135, October 9, 2009. Updated version.
  7. Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, and Ben Lickly. "Scalable Semantic Annotation using Lattice-based Ontologies," ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS), Denver, CO, USA, 4-9 October, 2009.
  8. Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl, "A Disruptive Computer Design Idea: Architectures with Repeatable Timing," Proceedings of International Conference on Computer Design (ICCD), IEEE, Lake Tahoe, CA, 4-7, pp. 54-59, October, 2009.
  9. Edward A. Lee, Xiaojun Liu, and Stephen Neuendorffer, Classes and inheritance in actor-oriented design, ACM Transactions on Embedded Computing Systems (TECS), Vol 8, #4, Article No. 29, July, 2009. (2007 version) (original invited paper, 2004)
  10. Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. "The Case for Timing-Centric Distributed Software," IEEE International Conference on Distributed Computing Systems Workshops: Workshop on Cyber-Physical Systems, IEEE, pp. 57-64, June, 2009.
  11. Thomas Huining Feng. "Model Transformation with Hierarchical Discrete-Event Control," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-77, May 20, 2009.
  12. Edward A. Lee, "Time-Critical Networking - Extended Abstract for Invited Presentation," in Proceedings of IEEE Photonics Society Summer Topicals, Newport Beach, CA, July 20-22, 2009.
  13. Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee. "PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice," In languages, Compilers, and Tools for Embedded Systems (LCTES 2009), Dublin, Ireland, June 19-20, 2009. Springer LNCS.
  14. Edward A. Lee, "Computing Needs Time," Communications of the ACM, Vol. 52, Issue 5, May 2009. Earlier version , EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-30, February 18, 2009.
  15. Isaac Liu, Ben Lickly, Hiren D. Patel, Edward A. Lee. "Poster Abstract: Timing Instruction -- ISA Extensions for Timing Guarantees," 15th IEEE Real-Time and Embedded Technology and Applications Symposium, April, 2009.
  16. Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee, "Poster Abstract: PtidyOS: An Operating System based on the PTIDES Programming Model," 15th IEEE Real-Time and Embedded Technology and Applications Symposium, April, 2009.
  17. Timothy McPhillips, Shawn Bowers, Daniel Zinn, Bertram Ludäscher, "Scientific Workflow Design for Mere Mortals," Future Generation Computer Systems, 25(5):541-551, May 2009.
  18. Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Gobel, "Heterogeneous Composition of Models of Computation," Future Generation Computer Systems (FGCS), 25(5):552-560, May 2009.
  19. Jia Zou, Slobodan Matic, Edward A. Lee, Thomas H. Feng, Patricia Derler, "Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems," 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Press, pp. 77-86, April, 2009.
  20. Mohamed Feredj, Frederic Boulanger, Aime Mokhoo Mbobi, "A model of domain-polymorph component for heterogeneous system design," Journal of Systems and Software (JSS), 82(1):112-120, 2009; The paper discusses an implementation that uses Ptolemy II.
  21. Isaac Liu and David McGrogran, "Elimination of Side Channel attacks on a Precision Timed Architecture," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-15, January 26, 2009.
  22. Edward A. Lee, "Disciplined Message Passing," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2009-7, January 18, 2009. A Revised Version (May 24, 2009) is also available.