Faculty Publications - Edward A. Lee

Books

• E. A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, Boston: Addison Wesley, 2003.
• J. R. Barry, E. A. Lee, and D. G. Messerschmitt, Digital Communication, 3rd ed., Boston, MA: Kluwer Academic Publishers, 2003.
• P. Lapsley, J. Bier, A. Shoham, and E. A. Lee, DSP Processor Fundamentals: Architectures and Features, IEEE Press Series on Signal Processing, New York: IEEE Press, 1997.
• S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee, Software Synthesis from Dataflow Graphs, Boston: Kluwer Academic Publishers, 1996.
• E. A. Lee and D. G. Messerschmitt, Digital Communication, 2nd ed., Boston: Kluwer Academic Publishers, 1994.
• A. Kamas and E. A. Lee, Digital Signal Processing Experiments: Using a Personal Computer with Software Provided, Englewood Cliffs, N.J.: Prentice Hall, 1989.
• E. A. Lee and D. G. Messerschmitt, Digital Communication, Boston: Kluwer Academic Publishers, 1988.

Book chapters or sections

• E. A. Lee, "Concurrent Semantics without the Notions of State or State Transitions," in Proceedings of the International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Paris France, LNCS, Vol. 4202, Springer, 2006.
• X. Liu, E. Matsikoudis, and E. A. Lee, "Modeling Timed Concurrent Systems," in Proceedings of the 17th International Conference on Concurrency Theory (CONCUR), Bonn, Germany, LNCS, Vol. 4137, Springer, 2006, pp. 1-15.

Articles in journals or magazines

• B. Ludascher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E. A. Lee, J. Tao, and Y. Zhao, "Scientific workflow management and the Kepler system," Special Issue: Workflow in Grid Systems, vol. 18, no. 10, pp. 1039-1065, Aug. 2006.
• E. A. Lee, "The problem with threads," IEEE Computer, vol. 29, no. 5, pp. 33-42, May 2006.
• E. A. Lee, "Absolutely Positively On Time: What Would It Take?," IEEE Computer, vol. 38, pp. 85-87, July 2005.
• E. A. Lee and Y. Xiong, "A behavioral type system and its application in Ptolemy II," Formal Aspects of Computing, vol. 16, no. 3, pp. 210-237, Aug. 2004.
• S. A. Edwards and E. A. Lee, "The semantics and execution of a synchronous block-diagram language," Science of Computer Programming, vol. 48, no. 1, pp. 21-42, July 2003.
• J. Eker, J. W. Janneck, E. A. Lee, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity - The Ptolemy approach," Proc. IEEE, vol. 91, no. 1, pp. 127-144, Jan. 2003.
• P. K. Murthy and E. A. Lee, "Multidimensional synchronous dataflow," IEEE Trans. Signal Processing, vol. 50, no. 8, pp. 2064-2079, Aug. 2002.
• S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee, "Synthesis of embedded software from synchronous dataflow specifications," J. VLSI Signal Processing Systems for Signal, Image, and Video Technology, vol. 21, no. 2, pp. 151-166, June 1999.
• A. Girault, B. Lee, and E. A. Lee, "Hierarchical finite state machines with multiple concurrency models," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 6, pp. 742-760, June 1999.
• E. A. Lee and A. L. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 12, pp. 1217-1229, Dec. 1998.
• S. Ha and E. A. Lee, "Compile-time scheduling of dynamic constructs in dataflow program graphs," IEEE Trans. Computers, vol. 46, no. 7, pp. 768-778, July 1997.
• S. S. Bhattacharyya, S. Sriram, and E. A. Lee, "Optimizing synchronization in multiprocessor DSP systems," IEEE Trans. Signal Processing, vol. 45, no. 6, pp. 1605-1618, June 1997.
• S. Edwards, L. Lavagno, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Design of embedded systems: Formal models, validation, and synthesis," Proc. IEEE, vol. 85, no. 3, pp. 366-390, March 1997.
• E. A. Lee and T. M. Parks, "Dataflow process networks," Proc. IEEE, vol. 83, no. 5, pp. 773-801, May 1995.
• J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A framework for simulating and prototyping heterogeneous systems," Intl. J. Computer Simulation, vol. 4, no. 2, pp. 155-182, April 1994.
• E. A. Lee, "Consistency in dataflow graphs," IEEE Trans. Parallel and Distributed Systems, vol. 2, no. 2, pp. 223-235, April 1991.
• E. A. Lee and D. G. Messerschmitt, "Synchronous data flow," Proc. IEEE, vol. 75, no. 9, pp. 1235-1245, Sep. 1987.
• E. A. Lee and D. G. Messerschmitt, "Pipeline interleaved programmable DSPs: Architecture," IEEE Trans. Acoustics, Speech and Signal Processing, vol. 35, no. 9, pp. 1320-1333, Sep. 1987.
• E. A. Lee and D. G. Messerschmitt, "Static scheduling of synchronous data flow programs for digital signal processing," IEEE Trans. Computers, vol. C-3, no. 1, pp. 24-35, Jan. 1987.

Articles in conference proceedings

• E. A. Lee and Y. Zhao, "Reinventing Computing for Real Time," in Proceedings of the Monterey Workshop 2006, LNCS, Vol. 4322, Springer, 2007, pp. 1-25.
• E. A. Lee, "Application of Partial Orders to Timed Concurrent Systems," in Proceedings of the IEEE Conference on Decision and Control (CDC 07), 2007.
• E. A. Lee and H. Zheng, "Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems," in Proceedings of EMSOFT, ACM, 2007.
• S. Edwards and E. A. Lee, "The Case for the Precision Timed (PRET) Machine," in Proceedings of the 44th annual conference on Design automation, ACM Press, 2007, pp. 264-265.
• G. Zhou, M. Leung, and E. A. Lee, "A Code Generation Framework for Actor-Oriented Models with Partial Evaluation," in Proceedings of International Conference on Embedded Software and Systems, Daegu, South Korea, LNCS, Vol. 4523, Springer, 2007, pp. 786-799.
• A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble, "Composing Different Models of Computation in Kepler and Ptolemy II," in Proceedings, International Conference on Computational Science (ICCS), Vol. LNCS, Springer, 2007, pp. 182-190.
• Y. Zhao, J. Liu, and E. A. Lee, "A Programming Model for Time-Synchronized Distributed Real-Time Systems," in Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 07), 2007, pp. 259-268.
• E. A. Lee, "Are new languages necessary for multicore?," in International Symposium on Code Generation and Optimization (CGO), 2007.
• E. A. Lee and S. Matic, "Determinism in Event-Triggered Distributed Systems with Time Synchronization," in Proceedings of ISPCS07, 2007.
• E. A. Lee and S. Edwards, "Precision Timed (PRET) Computation in Cyber-Physical Systems," in National Workshop on High Confidence Software Platforms for Cyber-Physical Systems: Research Needs and Roadmap, 2007.
• T. H. Feng and E. A. Lee, "Incremental Checkpointing with Application to Distributed Discrete Event Simulation," in Proceedings of the Winter Simulation Conference (WSC 2006), 2006.
• E. A. Lee and Y. Zhou, "A Causality Interface for Deadlock Analysis in Dataflow," in Proceedings 6th ACM & IEEE Conference on Embedded Software (EMSOFT '06), ACM Press, 2006, pp. 44-52.
• E. A. Lee, Y. Zhao, and J. Liu, "Application of Programming Temporally Integrated Distributed Embedded Systems," in Proceedings of 2006 IEEE 1588 Conference, 2006.
• E. A. Lee, "Cyber-Physical Systems - Are Computing Foundations Adequate?," in NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, 2006.
• A. Cataldo, E. A. Lee, X. Liu, E. Matsikoudis, and H. Zheng, "A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems," in Proceedings of the 8th International Workshop on Discrete-Event Systems (WODES), 2006, pp. 27-32.
• E. A. Lee and H. Zheng, "HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II," in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'06), Elsevier Science, 2006.
• H. Zheng, E. A. Lee, and A. Ames, "Beyond Zeno: Get on with it!," in Proceedings of Hybrid Systems: Computation and Control (HSCC), LNCS, Vol. 3927, Springer, 2006, pp. 568-582.
• E. Wandeler, J. W. Janneck, E. A. Lee, and L. Thiele, "Counting Interface Automata and their Applications in Static Analysis of Actor Models," in Proceedings of the 3rd International Conference on Software Engineering and Formal Methods - SEFM 2005, 2005, pp. 106-116.
• E. A. Lee and H. Zheng, "Operational semantics of hybrid systems," in Lecture Notes in Computer Science; Hybrid Systems: Computation and Control, Vol. 341, Berlin: Springer-Verlag, 2005, pp. 25-53.

Conference proceedings (edited)

• H. Giese, G. Karsai, E. A. Lee, B. Rumpe, and B. Schätz, Eds., Model-based Engineering of Embedded Real-time Systems, Dagstuhl Seminar Proceedings, Vol. 07451, Internationales Begegnungs- und Forschungszentrum fur Informatik (IBFI), 2007.

Technical Reports

• C. P. Cheng, T. Fristoe, and E. A. Lee, "Applied Verification: The Ptolemy Approach," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-41, April 2008.
• B. Lickly, I. Liu, S. Kim, H. D. Patel, S. A. Edwards, and E. A. Lee, "Predictable Programming on a Precision Timed Architecture," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-40, April 2008.
• C. Brooks, C. P. Cheng, T. H. Feng, E. A. Lee, and R. von Hanxleden, "Model Engineering using Multimodeling," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-39, April 2008.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-37, April 2008.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-29, April 2008.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-28, April 2008.
• K. Asanovic, R. Bodik, J. Demmel, T. Keaveny, K. Keutzer, J. D. Kubiatowicz, E. A. Lee, N. Morgan, G. Necula, D. A. Patterson, K. Sen, J. Wawrzynek, D. Wessel, and K. A. Yelick, "The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-23, March 2008.
• E. A. Lee, "Cyber Physical Systems: Design Challenges," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-8, Jan. 2008.
• C. Brooks, T. H. Feng, E. A. Lee, and R. von Hanxleden, "Multimodeling: A Preliminary Case Study," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-7, Jan. 2008.
• A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble, "Heterogeneous Composition of Models of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-139, Nov. 2007.
• T. H. Feng and E. A. Lee, "Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-133, Nov. 2007.
• X. Liu and E. A. Lee, "CPO Semantics of Timed Interactive Actor Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-131, Nov. 2007.
• E. A. Lee and S. Neuendorffer, "Tutorial: Building Ptolemy II Models Graphically," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-129, Oct. 2007.
• E. A. Lee, "Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-72, May 2007.
• G. Zhou, M. Leung, and E. A. Lee, "A Code Generation Framework for Actor-Oriented Models with Partial Evaluation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-29, Feb. 2007.
• Y. Zhao, Y. Xiong, E. A. Lee, X. Liu, and L. C. Zhong, "The Design and Application of Structured Types in Ptolemy II," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-21, Jan. 2007.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-9, Jan. 2007.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-8, Jan. 2007.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-7, Jan. 2007.
• E. A. Lee, X. Liu, and S. A. Neuendorffer, "Classes and Inheritance in Actor-Oriented Design," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-154, Nov. 2006.
• E. Cheong, E. A. Lee, and Y. Zhao, "Joint Modeling and Design of Wireless Networks and Sensor Node Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-150, Nov. 2006.
• S. Edwards and E. A. Lee, "The Case for the Precision Timed (PRET) Machine," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-149, Nov. 2006.
• Y. Zhou and E. A. Lee, "Causality Interfaces for Actor Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-148, Nov. 2006.
• E. A. Lee and Y. Zhao, "Reinventing Computing for Real Time," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-83, May 2006.
• Y. Zhao, E. A. Lee, and J. Liu, "Programming Temporally Integrated Distributed Embedded Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-82, May 2006.
• X. Liu and E. A. Lee, "CPO Semantics of Timed Interactive Actor Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-67, May 2006.
• Y. Zhou and E. A. Lee, "A Causality Interface for Deadlock Analysis in Dataflow," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-51, May 2006.
• A. Cataldo, E. Cheong, T. H. Feng, E. A. Lee, and A. C. Mihal, "A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-48, May 2006.
• X. Liu, E. Matsikoudis, and E. A. Lee, "Modeling Timed Concurrent Systems using Generalized Ultrametrics," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-45, May 2006.
• T. H. Feng and E. A. Lee, "Incremental Checkpointing with Application to Distributed Discrete Event Simulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-37, April 2006.
• A. Cataldo and E. A. Lee, "Composition Languages," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-24, March 2006.
• E. Cheong, E. A. Lee, and Y. Zhao, "Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-15, Feb. 2006.
• A. Cataldo, E. A. Lee, X. Liu, E. D. Matsikoudis, and H. Zheng, "A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-4, Jan. 2006.
• E. A. Lee, "The Problem with Threads," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-1, Jan. 2006.
• E. A. Lee, "Building Unreliable Systems out of Reliable Components: The Real Time Story," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2005-5, Oct. 2005.
• P. Baldwin, S. Kohli, E. A. Lee, X. Liu, and Y. Zhao, "VisualSense: Visual Modeling for Wireless and Sensor Network Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/25, July 2005.
• C. Brooks, A. Cataldo, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, " HyVisual: A Hybrid System Visual Modeler," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/24, July 2005.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/23, July 2005.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/22, July 2005.
• C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, "Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/21, July 2005.
• A. Cataldo, E. A. Lee, X. Liu, E. Matsikoudis, and H. Zheng, "Discrete-Event Systems Generalizing Metric Spaces and Fixed-Point Semantics," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/12, April 2005.
• E. A. Lee, "Concurrent Models of Computation for Embedded Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M05/2, Jan. 2005.
• C. Brooks and E. A. Lee, "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/27, 2004.
• E. A. Lee and S. Neuendorfer, "Concurrent Models of Computations for Embedded Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/26, 2004.
• E. A. Lee, "Balance Between Formal and Informal Methods, Engineering and Artistry, Evolution and Rebuil," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/19, 2004.
• C. Brooks and E. A. Lee, "Hyvisual: A Hybrid System Visual Modeler," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/18, 2004.
• C. Brooks and E. A. Lee, "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java - Vol. 3 - Domains," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/17, 2004.
• C. Brooks and E. A. Lee, "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java - Vol. 2 - Software Architecture," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/16, 2004.
• S. Neuendorfer and E. A. Lee, "Hierarchical Reconfiguration of Dataflow Models," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/2, 2004.
• C. H. Brooks and E. A. Lee, "Ptolemy II Coding Style," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/44, 2003.
• E. A. Lee, "Soft Walls: Frequently Asked Questions," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/31, 2003.
• A. Cataldo, C. Hylands, E. A. Lee, X. Liu, S. Neuendorffer, H. Zheng, and J. Liu, "A Hybrid System Visual Modeler," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/30, 2003.
• C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, "HyVisual: A Hybrid System Visual Modeler," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/1, 2003.
• E. A. Lee, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/25, July 2003.
• C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, "Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 3: Ptolemy II Domains," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/29, July 2003.
• C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, "Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 2: Software Architecture," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/28, July 2003.
• C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, "Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 1: Introduction to Ptolemy II," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/27, July 2003.
• H. J. Reekie and E. A. Lee, "Lightweight Component Models for Embedded Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/30, 2002.
• E. A. Lee and Y. Xiong, "Behavioral Types for Component-based Design," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/29, 2002.
• E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, "Ptolemy II: in JAVA," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/23, 2002.
• J. A. Cataldo, E. A. Lee, X. Liu, A. B. Wagner, and V. Anantharam, "Preliminary Version of a Two-Dimensional Technical Specification for Softwalls. Designing a Contact Process: The Piecewise-Homogeneous Process on a Finite Set with Applications," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/9, 2002.
• S. A. Edwards and E. A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/33, 2001.
• E. A. Lee, "Soft Walls - Modifying Flight Control Systems to Limit the Flight Space of Commercial Aircraft," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/31, 2001.
• E. A. Lee, "Embedded Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/26, 2001.
• J. Davis II, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Tsay, B. Vogel, and Y. Xiong, "Ptolemy II : Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/12, 2001.
• E. A. Lee, C. Hylands, J. Janneck, J. Davis II, J. Liu, X. Liu, S. Neuendorffer, S. S. M. Stewart, K. Vissers, and P. Whitaker, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/11, 2001.
• E. A. Lee and S. Neuendorffer, "MOML-A Modeling Markup Language in XML-Version 0.4," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M00/12, 2000.
• E. A. Lee and Y. Xiong, "System-Level Types for Component-Based Design," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M00/8, 2000.
• E. A. Lee, "Embedded Software - An Agenda for Research," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/63, 1999.
• J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/40, 1999.
• J. Davis II, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/37, 1999.
• J. Davis II, M. Goel, G. Galicia, C. Hyland, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/72, 1998.
• E. A. Lee, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/71, 1998.
• E. A. Lee, "Modeling Concurrent Real-Time Processes Using Discrete Events," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/7, 1998.
• R. Stevens, M. Wan, P. Laramie, T. Parks, and E. A. Lee, "Implementation of Process Networks in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/84, 1997.
• P. Murthy and E. A. Lee, "Two Cycle-Related Problems of Regular Data Flow Graphs: Complexity and Heuristics," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/76, 1997.
• A. Girault, B. Lee, and E. A. Lee, "A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/57, 1997.
• C. Hylands, E. A. Lee, and H. Reekie, "The Tycho User Interface System," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/15, 1997.
• E. A. Lee and A. L. Sangiovanni-Vincentelli, "A Denotational Framework for Comparing Models of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/11, 1997.
• E. A. Lee, "A Denotational Semantics for Dataflow with Firing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/3, 1997.
• S. Bhattacharyya, S. Sriram, and E. A. Lee, "Resynchronization of Multiprocessor Schedules: Part 2 -- Latency Constrained Resynchronization," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/56, 1996.
• S. Bhattacharyya, S. Sriram, and E. A. Lee, "Resynchronization of Multiprocessor Schedules: Part 1 -- Fundamental Concepts and Unbounded-Latency Analysis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/55, 1996.
• E. A. Lee and A. L. Sangiovanni-Vincentelli, "The Tagged Signal Model A Preliminary Version of a Denotational Framework for Comparing Models of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/33, 1996.
• S. Bhattacharyya, S. Sriram, and E. A. Lee, "Resynchronization for Embedded Multiprocessors," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/70, 1995.
• P. Murthy and E. A. Lee, "A Generalization of Multidimensional Synchronous Dataflow to Arbitrary Sampling Lattices," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/59, 1995.
• S. Bhatacharyya, P. Murthy, and E. A. Lee, "Renesting Single Appearance Schedules to Minimize Buffer Memory," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/43, 1995.
• J. Pino, S. Bhattacharyya, and E. A. Lee, "A Hierarchical Multiprocessor Scheduling Framework for Synchronous Dataflow Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/36, 1995.
• S. Bhattacharyya, P. Murthy, and E. A. Lee, "Two Complementary Heuristics for Translating Graphical DSP Programs into Minimum Memory Implementations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/3, 1995.
• S. Bhattacharyya, S. Sriram, and E. A. Lee, "Optimizing Synchronization in Multiprocessor Implementations of Iterative Dataflow Programs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M95/2, 1995.
• P. Murthy, S. Bhattacharyya, and E. A. Lee, "Combined Code and Data Minimization for Synchronous Dataflow Programs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/93, 1994.
• S. Ha and E. A. Lee, "Performance Evaluation of an Optimal Processor Assignment," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/92, 1994.
• S. Ha and E. A. Lee, "Compile-Time Scheduling of Dynamic Constructs in Dataflow Program Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/91, 1994.
• S. Sriram and E. A. Lee, "Scheduling Communication Resources in Statically Scheduled Multiprocessor Architectures," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/74, 1994.
• E. A. Lee, "Dataflow Process Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/53, 1994.
• P. Murthy and E. A. Lee, "On the Optimal Blocking Factor for Blocked, Non-Overlapped Schedules," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/46, 1994.
• S. Bhattacharyya and E. A. Lee, "Looped Schedules for Dataflow Descriptions of Multirate DSP Algorithms," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/37, 1993.
• S. Bhattacharyya, J. Buck, S. Ha, and E. A. Lee, "Generating Compact Code from Dataflow Specifications of Multirate DSP Algorithms," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/36, 1993.
• S. Bhattacharyya, J. Buck, S. Ha, and E. A. Lee, "A Compiler Scheduling Framework for Minimizing Memory Requirements of Multirate DSP Systems Represented as Dataflow Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/31, 1993.
• S. Bhattacharyya, S. Ha, and E. A. Lee, "Single Appearance Schedules for Synchronous Dataflow Programs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M93/4, 1993.
• S. Bhattacharyya and E. A. Lee, "Memory Management for Synchronous Dataflow Programs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/128, 1992.
• E. A. Lee, "Data Parallelism in Graphical Signal Flow Representations of Algorithms," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M92/110, 1992.
• G. Sih and E. A. Lee, "A Multiprocessor Scheduling Strategy," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M90/119, 1990.
• E. A. Lee, "Architectures for Statically Scheduled Dataflow," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/129, 1989.
• E. A. Lee, "Consistency in Dataflow Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/125, 1989.
• S. Ha and E. A. Lee, "Compile-Time Scheduling and Assignment of Dataflow Program Graphs with Data-Dependent Iteration," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/57, 1989.
• E. A. Lee, "Recurrences, Iteration, and Conditionals in Statically Scheduled Data Flow," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/52, 1989.
• E. A. Lee, "Minimal Swapping Finite Element and Finite Difference Implementations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M84/59, 1984.

Unpublished articles

• E. A. Lee, X. Liu, and S. Neuendorffer, "Classes and Ineritance in Actor-Oriented Design," 2007.

Software

• E. A. Lee, "Ptolemy II version 6.0.1," 2006.

Patents

• E. A. Lee and J. Bier, "Multiprocessor system having statically determining resource allocation schedule at compile time and the using of static schedule with processor signals to control the execution time dynamically," U.S. Patent 5,367,678. Nov. 1994.
• V. B. Lawrence and E. A. Lee, "Apparatus and technique for timing jitter cancellation in a data receiver," U.S. Patent 4,831,637. May 1989.
• E. A. Lee and D. G. Shaw, "Simultaneous transmission of speech and data over an analog channel," U.S. Patent 4,523,311. June 1985.

Ph.D. Theses

• E. A. Lee, "A Coupled Hardware and Software Architecture for Programmable Digital Signal Processors," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M86/54, 1986.