Ptolemy Project Papers for 2005
- Xiaojun Liu, "Semantic Foundation of the Tagged Signal Model," Ph.D. Dissertation, Technical Report No. EECS-2005-31, EECS Department, University of California, Berkeley, December 20, 2005.
- Edward A. Lee, "Building Unreliable Systems out of Reliable Components: The Real Time Story", Technical Report No. EECS-2005-5, EECS Department, University of California, Berkeley, October 2005.
- Elaine Cheong, Edward A. Lee, and Yang Zhao, "Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks," Demo Abstract in Proceedings of the Third ACM Conference on Embedded Networked Sensor Systems (SenSys 2005), San Diego, California, USA, November 2-4, 2005, p.302.
- Jie Liu, Elaine Cheong, and Feng Zhao, "Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems," in Proceedings of the 5th ACM Conference on Embedded Software (EMSOFT 2005), Jersey City, New Jersey, September 18-22, 2005.
- Edward A. Lee, Haiyang Zheng, and Ye Zhou, "Causality Interfaces and Compositional Causality Analysis," Invited paper in Foundations of Interface Technologies (FIT), Satellite to CONCUR 2005, ENTCS TBD, San Francisco, California, USA, August 21, 2005.
- E. Wandeler, J.W. Janneck, E.A. Lee, L. Thiele, "Counting Interface Automata and their Applications in Static Analysis of Actor Models," Proceedings of the 3rd International Conference on Software Engineering and Formal Methods - SEFM 2005, Koblenz, Germany, September 5-9, 2005, pp.106-116.
- Y. Xiong, E.A. Lee, X. Liu, Y. Zhao, L.C. Zhong, "The Design and Application of Structured Types in Ptolemy II," IEEE Int. Conf. on Granular Computing (Grc 2005), Beijing, China, July 25-27, 2005.
Winner of the IEEE International Conference on Granular Computing Best Paper Award!
Published version, 2010. - 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)," Technical Memorandum UCB/ERL M05/21, University of California, Berkeley, CA USA 94720, July 15, 2005.
- 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)," Technical Memorandum UCB/ERL M05/22, University of California, Berkeley, CA USA 94720, July 15, 2005.
- 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)," Technical Memorandum UCB/ERL M05/23, University of California, Berkeley, CA USA 94720, July 15, 2005.
- C. Brooks, A. Cataldo, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, H. Zheng "HyVisual: A Hybrid System Visual Modeler," Technical Memorandum UCB/ERL M05/24, University of California, Berkeley, CA 94720, July 15, 2005.
- P. Baldwin, S. Kohli, E. A. Lee, X. Liu, and Y. Zhao, "VisualSense: Visual Modeling for Wireless and Sensor Network Systems," Technical Memorandum UCB/ERL M05/25, University of California, Berkeley, CA 94720, USA, July 15, 2005.
- Edward A. Lee, "Absolutely Positively On Time: What Would It Take?," Editorial, Draft version: May 18, 2005.
Published in: Embedded Systems Column, IEEE Computer, July 2005, 38, pp.85-87. - Edward Lee, "Engineering Education: A Focus on Systems," in Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya, E.H. Abed (Ed.), Systems and Control: Foundations and Applications Series, Birkhauser, Boston, 2005, pp. 69-78.
- A. Cataldo, E. A. Lee, X. Liu, E. Matsikoudis and H. Zheng, "Discrete-Event Systems: Generalizing Metric Spaces and Fixed Point Semantics," UCB/ERL M05/12, April 8, 2005.
- Edward A. Lee and Stephen Neuendorffer, "Concurrent Models of Computation for Embedded Software," IEE Proceedings, Computers and Digital Techniques, Vol. 152, Issue 2, pp. 239-250, March, 2005.
- B. Ludäscher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E. A. Lee, J. Tao, Y. Zhao, "Scientific Workflow Management and the KEPLER System," in Concurrency & Computation: Practice & Experience, Special Issue: Workflow in Grid Systems, edited by GeoffreyC. Fox, Dennis Gannon, 2006, John Wiley & Sons, Ltd. Draft version, March 2005.
- Edward A. Lee and Haiyang Zheng, "Operational Semantics of Hybrid Systems," Invited paper in Proceedings of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005, pp.25-53.
- Edward A. Lee, "What are the Key Challenges in Embedded Software?," System Design Frontier, Volume 2, Number 1, January 2005, guest Editorial, Shanghai Hometown Microsystems Inc.
- Elaine Cheong and Jie Liu, "galsC: A Language for Event-Driven Embedded Systems," Proceedings of Design, Automation and Test in Europe (DATE), March 7-11, 2005, Munich, Germany.
- Edward A. Lee, "Concurrent Models of Computation for Embedded Software," Lecture Notes for EECS 290N, Advanced Topics in Systems Theory, Technical Memorandum UCB/ERL M05/2, January 4, 2005, University of California, Berkeley, CA 94720.