Books

• E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Berkeley, CA: LeeSeshia.org, 2011.
• 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.
• J. Bier, P. Lapsley, 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.
• D. G. Messerschmitt and E. A. Lee, Digital Communication, 2nd ed., Boston: Kluwer Academic Publishers, 1994.
• E. A. Lee and A. Kamas, 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 and E. Matsikoudis, "The semantics of dataflow with firing," in From Semantics to Computer Science: Essays in Honour of Gilles Kahn, Y. Bertot, G. Huet, J. J. Levy, and G. Plotkin, Eds., Cambridge, UK: Cambridge University Press, 2009, ch. 4.
• G. Zhou, M. Leung, and E. A. Lee, "A code generation framework for actor-oriented models with partial evaluation," in Embedded Software and Systems: Proc. 3rd Intl. Conf. (ICESS 2007), Y. Lee, H. Kim, J. Kim, Y. Park, L. T. Yang, and S. W. Kim, Eds., Lecture Notes in Computer Science, Vol. 4523, Berlin, Germany: Springer-Verlag, 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 Computational Science: Proc. 7th Intl. Conf. (ICCS 2007), Y. Shi, G. D. van Albada, J. Dongarra, and P. M. A. Sloot, Eds., Lecture Notes in Computer Science, Vol. 4489, Berlin, Germany: Springer-Verlag, 2007, pp. 182-190.
• E. A. Lee and Y. Zhao, "Reinventing computing for real time," in Reliable Systems on Unreliable Networked Platforms: Proc. 12th Monterey Workshop (MW 2005). Revised Selected Papers, F. Kordon and J. Sztipanovits, Eds., Lecture Notes in Computer Science, Vol. 4322, Belin, Germany: Springer-Verlag, 2007, pp. 1-25.
• E. A. Lee and H. Zheng, "HyVisual: A hybrid system modeling framework based on Ptolemy II," in Analysis and Design of Hybrid Systems 2006: Proc. 2nd IFAC Conf. (ADHS '06), C. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon, Eds., Kidlington, Oxford, UK: Elsevier, 2006, pp. 270-271.
• E. A. Lee, "Concurrent semantics without the notions of state or state transitions (Invited Talk)," in Formal Modeling and Analysis of Timed Systems: Proc. 4th Intl. Conf. (FORMATS 2006), E. Asarin and P. Bouyer, Eds., Lecture Notes in Computer Science, Vol. 4202, Berlin, Germany: Springer-Verlag, 2006, pp. 18-31.
• X. Liu, E. Matsikoudis, and E. A. Lee, "Modeling timed concurrent systems (Invited Contribution)," in 17th International Conference on Concurrency Theory (CONCUR 2006), C. Baier and H. Hermanns, Eds., Lecture Notes in Computer Science, Vol. 4137, Berlin, Germany: Springer-Verlag, 2006, pp. 1-15.
• H. Zheng, E. A. Lee, and A. D. Ames, "Beyond Zeno: Get on with it!," in Hybrid Systems: Computation and Control--Proc. 9th Intl. Workshop (HSCC 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Germany: Springer-Verlag, 2006, pp. 568-582.
• E. A. Lee and H. Zheng, "Operational semantics of hybrid systems (Invited Paper)," in Hybrid Systems: Compuation and Control--Proc. 8th Intl. Workshop (HCSS 2005), M. Morari, L. Thiele, and F. Rossi, Eds., Lecture Notes in Computer Science, Vol. 3414, Berlin, Germany: Springer-Verlag, 2005, pp. 25-53.

Articles in journals or magazines

• E. Latronico, E. A. Lee, M. Lohstroh, C. Shaver, A. Wasicek, and M. Weber, "A Vision of Swarmlets," IEEE Internet Computing, Special Issue on Building Internet of Things Software, vol. 19, no. 2, pp. 20-29, March 2015.
• S. Tripakis, C. Stergiou, C. Shaver, and E. A. Lee, "A modular formal semantics for Ptolemy," Mathematical Structures in Computer Science, vol. 23, pp. 834--881, Aug. 2013.
• J. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, "Distributed Real-Time Software for Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 45 - 59, Jan. 2012.
• P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 13 - 28, Jan. 2012.
• S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, July 2011.
• A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Gobel, "Heterogeneous Composition of Models of Computation," Future Generation Computer Systems (FGCS), vol. 25, no. 5, pp. 552-560, May 2009.
• E. A. Lee, "Computing Needs Time," Communication of the ACM, vol. 52, no. 5, May 2009.
• X. Liu and E. A. Lee, "CPO semantics of timed interactive actor networks," Theoretical Computer Science 409, pp. 110-125, Dec. 2008.
• Y. Zhou and E. A. Lee, "Causality interfaces for actor networks," ACM Trarns. Embedded Computing Systems, vol. 7, no. 3, pp. Article 29, April 2008.
• 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.
• A. L. Sangiovanni-Vincentelli and E. A. Lee, "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

• H. Kim, E. Kang, E. A. Lee, and D. Broman, "A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things," in Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, IoTDI '17, New York, NY, USA: ACM, 2017, pp. 147--158.
• F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. A. Lee, "FIDE - An FMI Integrated Development Environment," in Symposium on Applied Computing, 2016.
• F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. A. Lee, "FIDE -- An FMI Integrated Development Environment," in 31st ACM/SIGAPP Symposium on Applied Computing, Embedded Systems Track (SAC), 2016.
• H. Kim, A. Wasicek, B. Mehne, and E. A. Lee, "A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities," in IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud), 2016, pp. 114-122.
• M. Lohstroh, C. Brooks, and E. A. Lee, "Building IoT applications with accessors in CapeCode: demo abstract," in Proceedings of the 7th International Conference on Cyber-Physical Systems, 2016, pp. 41.
• D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Requirements for Hybrid Cosimulation Standards," in Hybrid Systems: Computation and Control (HSCC 2015), 2015.
• M. Weber and E. A. Lee, "A model for semantic localization," in International Conference on Information Processing in Sensor Networks, ACM Press, 2015, pp. 350--351.
• M. Lohstroh and E. A. Lee, "An Interface Theory for the Internet of Things," in Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, 2015.
• B. Zhang, N. Mor, J. Kolb, D. S. Chan, N. Goyal, K. Lutz, E. Allman, J. Wawrzynek, E. A. Lee, and J. D. Kubiatowicz, "The Cloud is Not Enough: Saving IoT from the Cloud," in Proceedings of the 7th USENIX Conference on Hot Topics in Cloud Computing, HotCloud'15, Berkeley, CA, USA: USENIX Association, 2015, pp. 21--21.
• A. Wasicek, E. A. Lee, H. Kim, L. Greenberg, A. Iwai, and I. Akkaya, "System Simulation from Operational Data," in Proceedings of the 52Nd Annual Design Automation Conference, DAC '15, New York, NY, USA: ACM, 2015, pp. 3:1--3:6.
• H. Kim, D. Broman, E. A. Lee, M. Zimmer, A. Shrivastava, and J. Oh, "A predictable and command-level priority-based DRAM controller for mixed-criticality systems," in Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE, 2015, pp. 317-326.
• B. Zhang, Y. Chen, C. Tuna, A. Dave, Y. Li, E. A. Lee, and B. Hartmann, "HOBS: Head Orientation-based Selection in Physical Spaces," in Proceedings of the 2nd ACM Symposium on Spatial User Interaction, SUI '14, New York, NY, USA: ACM, 2014, pp. 17--25.
• D. Broman, M. Zimmer, Y. Kim, H. Kim, J. Cai, A. Shrivastava, S. A. Edwards, and E. A. Lee, "Precision timed infrastructure: Design challenges," in Electronic System Level Synthesis Conference (ESLsyn), 2013, 2013, pp. 1-6.
• M. Zimmer, Y. Kim, H. Kim, J. Cai, D. Broman, A. Shrivastava, S. A. Edwards, and E. A. Lee, "Precision Timed Infrastructure: Design Challenges," in Proceedings of the Electronic System Level Synthesis Conference (to appear). IEEE, 2013.
• H. Kim, L. Guo, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "A tool integration approach for architectural exploration of aircraft electric power systems," in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, 2013, pp. 38--43.
• H. Kim, L. Guo, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "A tool integration approach for architectural exploration of aircraft electric power systems," in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, 2013, pp. 38-43.
• S. Matic, I. Akkaya, M. Zimmer, J. Eidson, and E. A. Lee, "PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications," in IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), 2011.
• S. Forbes, J. Zou, S. Matic, and E. A. Lee, "Poster Abstract: PtidyOS: An Operating System based on the PTIDES Programming Model," in Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.
• J. Auerbach, D. F. Bacon, E. A. Lee, and J. Zou, "PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice," in In languages,Compilers, and Tools for Embedded Systems (LCTES 2009), Springer LNCS, 2009.
• J. Zou, S. Matic, E. A. Lee, and P. Derler, "Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems," in 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.
• P. Derler, E. A. Lee, and S. Matic, "Simulation and Implementation of the PTIDES Programming Model," in 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications, 2008.
• S. Forbes, H. Andrade, H. Patel, and E. A. Lee, "An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture," in 12th IEEE International Symposium on Distributed Simulation and Real Time Applications, 2008.
• B. Lickly, I. Liu, S. Kim, H. D. Patel, S. A. Edwards, and E. A. Lee, "Predictable programming on a precision timed architecture," in Proc.2008 Intl. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '08), Piscataway, NJ: IEEE Press, 2008.
• T. H. Feng and E. A. Lee, "Scalable models using model transformations," in Proc. 1st Intl. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES^MB 2008), New York, NY: The Association for Computing Machinery, Inc., 2008, pp. 24 slides.
• C. Brooks, C. Cheng, T. H. Feng, E. A. Lee, and R. von Hanxleden, "Model engineering using multimodeling," in Proc. 1st Intl. Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), New York, NY: The Association for Computing Machinery, Inc., 2008, pp. 16 pg.
• E. A. Lee, "Cyber physical systems: Design challenges (Invited Paper)," in Proc. 11th IEEE Intl. Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2008), Los Alamitos, CA: IEEE Computer Society, 2008, pp. 363-369.
• E. A. Lee, "Time is a resource, and other stories," in Proc. 11th IEEE Intl. Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2008), Los Alamitos, CA: IEEE Computer Society, 2008, pp. 355-355.
• T. H. Feng, E. A. Lee, H. D. Patel, and J. Zou, "Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems," in Proc. of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), IEEE PRESS, 2008, pp. 205-214.
• T. H. Feng and E. A. Lee, "Real-time distributed discrete-event execution with fault tolerance," in Proc. 14th IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS 2008), Los Alamitos, CA: IEEE PRESS, 2008, pp. 205-214.
• M. Leung and E. A. Lee, "An Extensible Software Synthesis Framework for Heterogeneous Actor Models," in Proceedings of the 7th Model-driven High-level Programming of Embedded Systems Workshop, IEEE Press, 2008.
• E. A. Lee, "Application of Partial Orders to Timed Concurrent Systems (Tutorial Contribution)," in Proc. 46th IEEE Conf. on Decision and Control (DAC 2007), Piscataway, NJ: IEEE Press, 2007, pp. 165-167.
• E. A. Lee and H. Zheng, "Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems," in Proc. 7th ACM/IEEE Intl. Conf. on Embedded Software (EMSOFT 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 114-123.
• E. A. Lee and S. Matic, "On determinism in event-triggered distributed systems with time synchronization," in Proc. 2007 IEEE Intl. Symp. on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS '07), Piscataway, NJ: IEEE Press, 2007, pp. 56-63.
• S. A. Edwards and E. A. Lee, "The case for the precision timed (PRET) machine," in Proc. 44th ACM/IEEE Design Automation Conf. (DAC 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 264-265.
• Y. Zhao, J. Liu, and E. A. Lee, "A programming model for time-synchronized distributed real-time systems," in Proc. 13th IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS 2007), S. Brandt and F. Mueller, Eds., Los Alamitos, CA: IEEE Computer Society, 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. 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.
• E. A. Lee, "Discrete Event Models: Getting the Semantics Right (Keynote Address)," in Proc. 38th Winter Simulation Conf. (WSC 2006), L. F. Perrone, B. G. Lawson, J. Liu, and F. P. Wieland, Eds., Piscataway, NJ: IEEE Press, 2006, pp. 1-1.
• T. H. Feng and E. A. Lee, "Incremental checkpointing with application to distributed discrete event simulation," in Proc. 38th Winter Simulation Conf. (WSC 2006), L. F. Perrone, B. G. Lawson, J. Liu, and F. P. Wieland, Eds., Piscataway, NJ: IEEE Press, 2006, pp. 1004-1011.
• Y. Zhou and E. A. Lee, "A causality interface for deadlock analysis in dataflow," in Proc. 6th ACM/IEEE Intl. Conf. on Embedded Software (EMSOFT 2006), New York, NY: The Association for Computing Machinery, Inc., 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 Proc. 8th Intl. Workshop on Discrete Event Systems (WODES 2006), S. Lafortune, F. Lin, and D. Tilbury, Eds., Piscataway, NJ: IEEE Press, 2006, pp. 27-32.
• 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.
• J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. S. Sastry, and E. A. Lee, "A hierarchical hybrid system model and its simulation," in Proc. 38th IEEE Conf. on Decision and Control (CDC 1999), Vol. 4, Piscataway, NJ: IEEE Press, 1999, pp. 3508-3513.
• K. H. Chiang, B. L. Evans, W. T. Huang, F. Kovac, E. A. Lee, D. G. Messerschmitt, H. J. Reekie, and S. S. Sastry, "Real-time DSP for sophomores," in Proc. 1996 IEEE Conf. on Acoustics, Speech, and Signal Processing (ICASSP '96), Vol. 2, New York, NY: IEEE, 1996, pp. 1097-1100.

Conference proceedings (edited)

• H. Giese, G. Karsai, E. A. Lee, B. Rumpe, and B. Schatz, Eds., Model-Based Engineering of Embedded Real-time Systems, Dagstuhl Seminar Proceedings, Vol. 07451, Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum fuer Informatik, 2007.

Technical Reports

• M. Weber, B. Jin, G. Lederman, Y. Shoukry, E. A. Lee, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "Gordian: Formal Reasoning Based Outlier Detection for Secure Localization," Jan. 2019.
• C. Jerad and E. A. Lee, "A JavaScript Extension Providing Deterministic Temporal Semantics for the Internet of Things," Aug. 2017.
• M. Masin, F. Cremona, M. Lohstroh, D. Broman, S. Tripakis, and E. A. Lee, "Hybrid Co-simulation: It's About Time," April 2017.
• M. Weber, B. Jin, G. Lederman, Y. Shoukry, E. A. Lee, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "Gordian SMT: Untangling Ranging Attacks in Noisy Sensor Networks for Secure Localization," March 2017.
• C. Brooks and E. A. Lee, "Ptolemy Coding Style," Sep. 2014.
• D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Requirements for Hybrid Cosimulation," Aug. 2014.
• D. Broman, E. A. Lee, S. Tripakis, and M. Törngren, "Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems," May 2014.
• E. A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena," Feb. 2014.
• E. Matsikoudis and E. A. Lee, "Generalized Ultrametric Semilattices of Linear Signals," Jan. 2014.
• Y. Chen, B. Zhang, C. Tuna, Y. Li, E. A. Lee, and B. Hartmann, "A Context Menu for the Real World: Controlling Physical Appliances Through Head-Worn Infrared Targeting," Dec. 2013.
• M. Zimmer, D. Broman, C. Shaver, and E. A. Lee, "FlexPRET: A Processor Platform for Mixed-Criticality Systems," Oct. 2013.
• D. Broman, M. Zimmer, Y. Kim, H. Kim, J. Cai, A. Shrivastava, S. A. Edwards, and E. A. Lee, "Precision Timed Infrastructure: Design Challenges," Sep. 2013.
• D. Broman, C. Brooks, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Determinate Composition of FMUs for Co-Simulation," Aug. 2013.
• D. Bui and E. A. Lee, "StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions," Aug. 2013.
• E. Matsikoudis and E. A. Lee, "The Fixed-Point Theory of Strictly Causal Functions," June 2013.
• P. Derler, J. Eidson, S. Goose, E. A. Lee, and M. Zimmer, "Deterministic Execution of Ptides Programs," May 2013.
• E. A. Lee, J. D. Kubiatowicz, J. M. Rabaey, A. L. Sangiovanni-Vincentelli, S. A. Seshia, J. Wawrzynek, D. Blaauw, P. Dutta, K. Fu, C. Guestrin, R. Jafari, D. Jones, V. Kumar, R. Murray, G. Pappas, A. Rowe, C. M. Sechen, T. S. Rosing, B. Taskar, and D. Wessel, "The TerraSwarm Research Center (TSRC) (A White Paper)," Nov. 2012.
• M. Toerngren, S. Tripakis, P. Derler, and E. A. Lee, "Design Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit," Aug. 2012.
• D. Bui and E. A. Lee, "Composable Flexible Real-time Packet Scheduling for Networks on-Chip," May 2012.
• E. Matsikoudis and E. A. Lee, "Labelled Execution Systems," May 2012.
• D. Bui, H. Patel, and E. A. Lee, "Checking for Circular Dependencies in Distributed Stream Programs," Aug. 2011.
• B. Lickly, C. Shelton, E. Latronico, and E. A. Lee, "A Practical Ontology Framework for Static Model Analysis," April 2011.
• R. Barrere, E. Lenormand, D. Bui, E. A. Lee, C. Shaver, and S. Tripakis, "An Introduction to the Pthales Domain of Ptolemy II," April 2011.
• P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Addressing Modeling Challenges in Cyber-Physical Systems," March 2011.
• S. Tripakis, D. Bui, M. Geilen, B. Rodiers, and E. A. Lee, "Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs," May 2010.
• K. Bae, P. Csaba Olveczky, T. H. Feng, E. A. Lee, and S. Tripakis, "Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude," May 2010.
• S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," April 2010.
• T. H. Feng, E. A. Lee, and L. W. Schruben, "Ptera: An Event-Oriented Model of Computation," April 2010.
• S. Resmerita, P. Derler, and E. A. Lee, "Modeling and Simulation of Legacy Embedded Systems," April 2010.
• E. A. Lee, "Finite State Machines and Modal Models in Ptolemy II," Nov. 2009.
• M. Schoeberl, H. D. Patel, and E. A. Lee, "Fun with a Deadline Instruction," Oct. 2009.
• D. Bui, H. Patel, and E. A. Lee, "On Distributed Discrete Event Execution on Chip-Multiprocessors," Oct. 2009.
• S. Tripakis, D. Bui, B. Rodiers, and E. A. Lee, "Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs," Oct. 2009.
• J. C. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, "Time-centric Models For Designing Embedded Cyber-physical Systems," Oct. 2009.
• S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "On Relational Interfaces," May 2009.
• D. Bui, A. Pinto, and E. A. Lee, "On-time Network On-Chip: Analysis and Architecture," May 2009.
• J. Zou, J. Auerbach, D. F. Bacon, and E. A. Lee, "PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice," Feb. 2009.
• E. A. Lee, "Computing Needs Time," Feb. 2009.
• E. A. Lee, "Disciplined Message Passing," Jan. 2009.
• E. A. Lee, "ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models," Dec. 2008.
• H. D. Patel, B. Lickly, B. Burgers, and E. A. Lee, "A Timing Requirements-Aware Scratchpad Memory Allocation Scheme for a Precision Timed Architecture," Sep. 2008.
• S. Bandyopadhyay, T. H. Feng, H. D. Patel, and E. A. Lee, "A Scratchpad Memory Allocation Scheme for Dataflow Models," Aug. 2008.
• T. H. Feng and E. A. Lee, "Scalable Models Using Model Transformation," July 2008.
• P. Derler, T. H. Feng, E. A. Lee, S. Matic, H. D. Patel, Y. Zhao, and J. Zou, "PTIDES: A Programming Model for Distributed Real-Time Embedded Systems," May 2008.
• C. P. Cheng, T. Fristoe, and E. A. Lee, "Applied Verification: The Ptolemy Approach," 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," April 2008.
• C. Brooks, C. P. Cheng, T. H. Feng, E. A. Lee, and R. von Hanxleden, "Model Engineering using Multimodeling," 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)," 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)," 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)," April 2008.
• K. Asanović, 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," March 2008.
• E. A. Lee, "Cyber Physical Systems: Design Challenges," Jan. 2008.
• C. Brooks, T. H. Feng, E. A. Lee, and R. von Hanxleden, "Multimodeling: A Preliminary Case Study," Jan. 2008.
• A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble, "Heterogeneous Composition of Models of Computation," Nov. 2007.
• T. H. Feng and E. A. Lee, "Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance," Nov. 2007.
• X. Liu and E. A. Lee, "CPO Semantics of Timed Interactive Actor Networks," Nov. 2007.
• E. A. Lee and S. Neuendorffer, "Tutorial: Building Ptolemy II Models Graphically," Oct. 2007.
• E. A. Lee, "Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report," May 2007.
• G. Zhou, M. Leung, and E. A. Lee, "A Code Generation Framework for Actor-Oriented Models with Partial Evaluation," Feb. 2007.
• L. C. Zhong, X. Liu, Y. Zhao, Y. Xiong, and E. A. Lee, "The Design and Application of Structured Types in Ptolemy II," 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)," 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)," 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)," Jan. 2007.
• E. A. Lee, X. Liu, and S. A. Neuendorffer, "Classes and Inheritance in Actor-Oriented Design," Nov. 2006.
• E. Cheong, E. A. Lee, and Y. Zhao, "Joint Modeling and Design of Wireless Networks and Sensor Node Software," Nov. 2006.
• S. Edwards and E. A. Lee, "The Case for the Precision Timed (PRET) Machine," Nov. 2006.
• Y. Zhou and E. A. Lee, "Causality Interfaces for Actor Networks," Nov. 2006.
• E. A. Lee and Y. Zhao, "Reinventing Computing for Real Time," May 2006.
• Y. Zhao, J. Liu, and E. A. Lee, "Programming Temporally Integrated Distributed Embedded Systems," May 2006.
• X. Liu and E. A. Lee, "CPO Semantics of Timed Interactive Actor Networks," May 2006.
• Y. Zhou and E. A. Lee, "A Causality Interface for Deadlock Analysis in Dataflow," May 2006.
• A. Cataldo, E. Cheong, T. H. Feng, A. C. Mihal, and E. A. Lee, "A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property," May 2006.
• E. Matsikoudis, E. A. Lee, and X. Liu, "Modeling Timed Concurrent Systems using Generalized Ultrametrics," May 2006.
• E. A. Lee and T. H. Feng, "Incremental Checkpointing with Application to Distributed Discrete Event Simulation," April 2006.
• E. A. Lee and A. Cataldo, "Composition Languages," March 2006.
• E. Cheong, E. A. Lee, and Y. Zhao, "Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks," Feb. 2006.
• A. Cataldo, X. Liu, H. Zheng, E. A. Lee, and E. D. Matsikoudis, "A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems," Jan. 2006.
• E. A. Lee, "The Problem with Threads," Jan. 2006.
• E. A. Lee, "Building Unreliable Systems out of Reliable Components: The Real Time Story," Oct. 2005.
• P. Baldwin, S. Kohli, E. A. Lee, X. Liu, and Y. Zhao, "VisualSense: Visual Modeling for Wireless and Sensor Network Systems," July 2005.
• E. A. Lee, C. Brooks, A. Cataldo, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, "HyVisual: A Hybrid System Visual Modeler," 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)," 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)," 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)," July 2005.
• E. A. Lee, X. Liu, H. Zheng, A. Cataldo, and E. Matsikoudis, "Discrete-Event Systems Generalizing Metric Spaces and Fixed-Point Semantics," April 2005.
• E. A. Lee, "Concurrent Models of Computation for Embedded Software," Dec. 2004.
• S. S. Bhattacharyya, C. Brooks, E. Cheong, I. Davis, M. Goel, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, B. Vogel, W. Williams, Y. Xiong, Y. Zhao, and H. Zheng, "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java," July 2004.
• S. Neuendorffer and E. A. Lee, "Concurrent Models of Computations for Embedded Software," July 2004.
• E. A. Lee, "Balance Between Formal and Informal Methods, Engineering and Artistry, Evolution and Rebuil," July 2004.
• C. Brooks, E. A. Lee, A. Cataldo, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, "Hyvisual: A Hybrid System Visual Modeler," June 2004.
• S. S. Bhattacharyya, C. Brooks, E. Cheong, I. Davis, M. Goel, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, B. Vogel, W. Williams, Y. Xiong, Y. Zhao, and H. Zheng, "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Volume 3: Domains," June 2004.
• S. S. Bhattacharyya, C. Brooks, E. Cheong, I. Davis, M. Goel, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, B. Vogel, W. Williams, Y. Xiong, Y. Zhao, and H. Zheng, "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Volume 2: Software Architecture," June 2004.
• P. Baldwin, S. Kohli, E. Lee, X. Liu, and Y. Zhao, "Visualsense: Visual Modeling for Wireless and Sensor Network Systems," April 2004.
• E. A. Lee and S. Neuendorffer, "Hierarchical Reconfiguration of Dataflow Models," Jan. 2004.
• E. A. Lee and C. H. Brooks, "Ptolemy II Coding Style," Nov. 2003.
• C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, Y. Zhao, and H. Zheng, "Overview of the Ptolemy Project," July 2003.
• E. A. Lee, "Soft Walls: Frequently Asked Questions," July 2003.
• E. A. Lee, H. Zheng, A. Cataldo, C. Hylands, X. Liu, S. Neuendorffer, and J. Liu, "A Hybrid System Visual Modeler," July 2003.
• E. A. Lee, Y. Xiong, C. Hylands, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, Eds., "Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 3: Ptolemy II Domains," July 2003.
• C. Hylands, X. Liu, S. Neuendorffer, E. A. Lee, J. Liu, Y. Xiong, and H. Zheng, Eds., "Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 1: Introduction to Ptolemy II," July 2003.
• C. Hylands, J. Liu, S. Neuendorffer, H. Zheng, E. A. Lee, X. Liu, and Y. Xiong, Eds., "Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 2: Software Architecture," June 2003.
• C. Hylands, E. A. Lee, X. Liu, H. Zheng, J. Liu, and S. Neuendorffer, "HyVisual: A Hybrid System Visual Modeler," Jan. 2003.
• E. A. Lee and H. J. Reekie, "Lightweight Component Models for Embedded Systems," Oct. 2002.
• E. A. Lee and Y. Xiong, "Behavioral Types for Component-based Design," Sep. 2002.
• E. A. Lee, X. Liu, Y. Xiong, H. Zheng, J. Liu, S. Neuendorffer, and C. Hylands, Eds., "Ptolemy II: Heterogeneous Concurrent Modeling and Design in Java," Aug. 2002.
• E. A. Lee, A. B. Wagner, J. A. Cataldo, X. Liu, 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," April 2002.
• S. A. Edwards and E. A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language," Oct. 2001.
• E. A. Lee, "Soft Walls - Modifying Flight Control Systems to Limit the Flight Space of Commercial Aircraft," Sep. 2001.
• E. A. Lee, "Embedded Software," July 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," March 2001.
• E. A. Lee, C. Hylands, J. Davis II, X. Liu, S. S. M. Stewart, P. Whitaker, J. Janneck, J. Liu, S. Neuendorffer, and K. Vissers, "Overview of the Ptolemy Project," March 2001.
• S. Neuendorffer and E. A. Lee, "MOML-A Modeling Markup Language in XML-Version 0.4," March 2000.
• E. A. Lee and Y. Xiong, "System-Level Types for Component-Based Design," Feb. 2000.
• E. A. Lee, "Embedded Software - An Agenda for Research," Dec. 1999.
• M. Goel, B. Kienhuis, J. Liu, X. Liu, S. Neuendorffer, N. Smyth, Y. Xiong, J. Davis II, C. Hylands, E. A. Lee, L. Muliadi, J. Reekie, and J. Tsay, "Heterogeneous Concurrent Modeling and Design in Java," July 1999.
• J. Davis II, C. Hylands, E. A. Lee, X. Liu, S. Neuendorffer, N. Smyth, Y. Xiong, M. Goel, B. Kienhuis, J. Liu, L. Muliadi, J. Reekie, and J. Tsay, "Overview of the Ptolemy Project," July 1999.
• G. Galicia, E. A. Lee, L. Muliadi, J. Reekie, J. Tsay, J. Davis II, M. Goel, C. Hylands, J. Liu, X. Liu, S. Neuendorffer, N. Smyth, and Y. Xiong, "Heterogeneous Concurrent Modeling and Design in Java," Nov. 1998.
• E. A. Lee, "Overview of the Ptolemy Project," Nov. 1998.
• E. A. Lee, "Modeling Concurrent Real-Time Processes Using Discrete Events," March 1998.
• E. A. Lee, M. Wan, T. Parks, R. Stevens, and P. Laramie, "Implementation of Process Networks in Java," Nov. 1997.
• E. A. Lee and P. Murthy, "Two Cycle-Related Problems of Regular Data Flow Graphs: Complexity and Heuristics," Oct. 1997.
• B. Lee, A. Girault, and E. A. Lee, "A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models," Aug. 1997.
• C. Hylands, E. A. Lee, and H. Reekie, "The Tycho User Interface System," March 1997.
• A. L. Sangiovanni-Vincentelli and E. A. Lee, "A Denotational Framework for Comparing Models of Computation," Jan. 1997.
• E. A. Lee, "A Denotational Semantics for Dataflow with Firing," Jan. 1997.
• E. A. Lee, S. Bhattacharyya, and S. Sriram, "Resynchronization of Multiprocessor Schedules: Part 2 -- Latency Constrained Resynchronization," Oct. 1996.
• S. Bhattacharyya, E. A. Lee, and S. Sriram, "Resynchronization of Multiprocessor Schedules: Part 1 -- Fundamental Concepts and Unbounded-Latency Analysis," Oct. 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," June 1996.
• S. Sriram, S. Bhattacharyya, and E. A. Lee, "Resynchronization for Embedded Multiprocessors," Sep. 1995.
• S. Bhattacharyya, J. Pino, and E. A. Lee, "A Hierarchical Multiprocessor Scheduling Framework for Synchronous Dataflow Graphs," May 1995.
• S. Bhattacharyya, P. Murthy, and E. A. Lee, "Renesting Single Appearance Schedules to Minimize Buffer Memory," April 1995.
• E. A. Lee and P. Murthy, "A Generalization of Multidimensional Synchronous Dataflow to Arbitrary Sampling Lattices," March 1995.
• P. Murthy, S. Bhattacharyya, and E. A. Lee, "Two Complementary Heuristics for Translating Graphical DSP Programs into Minimum Memory Implementations," Jan. 1995.
• S. Sriram, S. Bhattacharyya, and E. A. Lee, "Optimizing Synchronization in Multiprocessor Implementations of Iterative Dataflow Programs," Jan. 1995.
• P. Murthy, E. A. Lee, and S. Bhattacharyya, "Combined Code and Data Minimization for Synchronous Dataflow Programs," Nov. 1994.
• S. Ha and E. A. Lee, "Performance Evaluation of an Optimal Processor Assignment," Nov. 1994.
• S. Ha and E. A. Lee, "Compile-Time Scheduling of Dynamic Constructs in Dataflow Program Graphs," Nov. 1994.
• E. A. Lee and S. Sriram, "Scheduling Communication Resources in Statically Scheduled Multiprocessor Architectures," Sep. 1994.
• E. A. Lee, "Dataflow Process Networks," July 1994.
• P. Murthy and E. A. Lee, "On the Optimal Blocking Factor for Blocked, Non-Overlapped Schedules," June 1994.
• E. A. Lee and S. Bhattacharyya, "Looped Schedules for Dataflow Descriptions of Multirate DSP Algorithms," May 1993.
• J. Buck, E. A. Lee, S. Bhattacharyya, and S. Ha, "Generating Compact Code from Dataflow Specifications of Multirate DSP Algorithms," May 1993.
• S. Bhattacharyya, E. A. Lee, J. Buck, and S. Ha, "A Compiler Scheduling Framework for Minimizing Memory Requirements of Multirate DSP Systems Represented as Dataflow Graphs," March 1993.
• S. Ha, S. Bhattacharyya, and E. A. Lee, "Single Appearance Schedules for Synchronous Dataflow Programs," Jan. 1993.
• E. A. Lee and S. Bhattacharyya, "Memory Management for Synchronous Dataflow Programs," Nov. 1992.
• E. A. Lee, "Data Parallelism in Graphical Signal Flow Representations of Algorithms," Sep. 1992.
• G. Sih and E. A. Lee, "A Multiprocessor Scheduling Strategy," Dec. 1990.
• E. A. Lee, "Architectures for Statically Scheduled Dataflow," Dec. 1989.
• E. A. Lee, "Consistency in Dataflow Graphs," Nov. 1989.
• S. Ha and E. A. Lee, "Compile-Time Scheduling and Assignment of Dataflow Program Graphs with Data-Dependent Iteration," May 1989.
• E. A. Lee, "Recurrences, Iteration, and Conditionals in Statically Scheduled Data Flow," May 1989.
• E. A. Lee, "Minimal Swapping Finite Element and Finite Difference Implementations," July 1984.

Unpublished articles

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

Software

• C. Brooks, E. Cheong, T. H. Feng, E. A. Lee, and M. Leung, "Ptolemy II 7.0.1," 2008.
• E. A. Lee, "Ptolemy II version 6.0.1," 2006.

Patents

• J. Bier and E. A. Lee, "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.
• E. A. Lee and V. B. Lawrence, "Apparatus and technique for timing jitter cancellation in a data receiver," U.S. Patent 4,831,637. May 1989.
• D. G. Shaw and E. A. Lee, "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," June 1986.

Masters Reports

• J. Kwok, "Towards Efficient and Deterministic Dataflow Systems for Machine Learning," E. A. Lee and I. Stoica, Eds., May 2024.
• A. Rengarajan, "Towards Enabling Deployment of Lingua Franca on Distributed Embedded Devices," E. A. Lee, A. L. Sangiovanni-Vincentelli, and M. Lohstroh, Eds., May 2023.
• C. Hong, "Viability of Tensegrity Robots in Space Exploration," A. Agogino and E. A. Lee, Eds., May 2014.