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.
  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. E.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. E. 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. T. McPhillips, S. Bowers, D. Zinn, B. Ludäscher. Scientific Workflow Design for Mere Mortals, Future Generation Computer Systems, 25(5):541-551, May 2009.
  18. A. Goderis, C. Brooks, I. Altintas, E. A. Lee, C. Gobel. Heterogeneous Composition of Models of Computation, Future Generation Computer Systems (FGCS), 25(5):552-560, May 2009.
  19. J. Zou, S. Matic, E. A. Lee, T. H. Feng, P. 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. M. Feredj, F. Boulanger, A. M. 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. E. 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.