Faculty Publications | EECS at UC Berkeley

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.
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 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.
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

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.
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 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. Zou, J. Auerbach, D. F. Bacon, and E. A. Lee, "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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2019-1, Jan. 2019.
C. Jerad and E. A. Lee, "A JavaScript Extension Providing Deterministic Temporal Semantics for the Internet of Things," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-136, Aug. 2017.
F. Cremona, M. Lohstroh, D. Broman, S. Tripakis, E. A. Lee, and M. Masin, "Hybrid Co-simulation: It's About Time," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-6, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-5, March 2017.
C. Brooks and E. A. Lee, "Ptolemy Coding Style," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-164, Sep. 2014.
D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Requirements for Hybrid Cosimulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-157, Aug. 2014.
D. Broman, E. A. Lee, S. Tripakis, and M. Törngren, "Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-106, May 2014.
E. A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-15, Feb. 2014.
E. Matsikoudis and E. A. Lee, "Generalized Ultrametric Semilattices of Linear Signals," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-7, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-200, Dec. 2013.
M. Zimmer, D. Broman, C. Shaver, and E. A. Lee, "FlexPRET: A Processor Platform for Mixed-Criticality Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-172, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-161, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-153, Aug. 2013.
D. Bui and E. A. Lee, "StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-143, Aug. 2013.
E. Matsikoudis and E. A. Lee, "The Fixed-Point Theory of Strictly Causal Functions," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-122, June 2013.
P. Derler, J. Eidson, S. Goose, E. A. Lee, and M. Zimmer, "Deterministic Execution of Ptides Programs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-65, 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)," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-207, Nov. 2012.
M. Toerngren, S. Tripakis, P. Derler, and E. A. Lee, "Design Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-191, Aug. 2012.
D. Bui and E. A. Lee, "Composable Flexible Real-time Packet Scheduling for Networks on-Chip," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-114, May 2012.
E. Matsikoudis and E. A. Lee, "Labelled Execution Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-64, May 2012.
D. Bui, H. Patel, and E. A. Lee, "Checking for Circular Dependencies in Distributed Stream Programs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-97, Aug. 2011.
B. Lickly, C. Shelton, E. Latronico, and E. A. Lee, "A Practical Ontology Framework for Static Model Analysis," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-33, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-32, April 2011.
P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Addressing Modeling Challenges in Cyber-Physical Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-17, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-52, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-50, May 2010.
S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-45, April 2010.
T. H. Feng, E. A. Lee, and L. W. Schruben, "Ptera: An Event-Oriented Model of Computation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-40, April 2010.
S. Resmerita, P. Derler, and E. A. Lee, "Modeling and Simulation of Legacy Embedded Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-38, April 2010.
E. 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.
M. Schoeberl, H. D. Patel, and E. A. Lee, "Fun with a Deadline Instruction," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-149, Oct. 2009.
D. Bui, H. Patel, and E. A. Lee, "On Distributed Discrete Event Execution on Chip-Multiprocessors," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-148, Oct. 2009.
S. Tripakis, D. Bui, B. Rodiers, and E. A. Lee, "Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-143, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-135, Oct. 2009.
S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "On Relational Interfaces," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-60, May 2009.
D. Bui, A. Pinto, and E. A. Lee, "On-time Network On-Chip: Analysis and Architecture," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-59, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-31, Feb. 2009.
E. A. Lee, "Computing Needs Time," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-30, Feb. 2009.
E. A. Lee, "Disciplined Message Passing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-7, Jan. 2009.
E. A. Lee, "ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-151, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-115, Sep. 2008.
S. Bandyopadhyay, T. H. Feng, H. D. Patel, and E. A. Lee, "A Scratchpad Memory Allocation Scheme for Dataflow Models," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-104, Aug. 2008.
T. H. Feng and E. A. Lee, "Scalable Models Using Model Transformation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-85, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-72, May 2008.
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. 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," 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, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/27, July 2004.
E. A. Lee and S. Neuendorffer, "Concurrent Models of Computations for Embedded Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/26, July 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, July 2004.
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 M04/18, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/17, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/16, June 2004.
P. Baldwin, S. Kohli, E. 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 M04/8, April 2004.
S. Neuendorffer and E. A. Lee, "Hierarchical Reconfiguration of Dataflow Models," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M04/2, Jan. 2004.
C. H. Brooks and E. A. Lee, "Ptolemy II Coding Style," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/44, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/25, July 2003.
E. A. Lee, "Soft Walls: Frequently Asked Questions," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/31, July 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, July 2003.
C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, Eds., "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, Eds., "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.
C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, Eds., "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, June 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, Jan. 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, Oct. 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, Sep. 2002.
C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, Eds., "Ptolemy II: Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/23, Aug. 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, April 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, Oct. 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, Sep. 2001.
E. A. Lee, "Embedded Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/26, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/12, March 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, March 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, March 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, Feb. 2000.
E. A. Lee, "Embedded Software - An Agenda for Research," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/63, Dec. 1999.
J. Davis II, 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, July 1999.
J. Davis II, 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, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/37, July 1999.
J. Davis II, M. Goel, G. Galicia, C. Hylands, 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 M98/72, Nov. 1998.
E. A. Lee, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/71, Nov. 1998.
E. A. Lee, "Modeling Concurrent Real-Time Processes Using Discrete Events," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/7, March 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, Nov. 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, Oct. 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, Aug. 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, March 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, Jan. 1997.
E. A. Lee, "A Denotational Semantics for Dataflow with Firing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/3, Jan. 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, Oct. 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, 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," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M96/33, June 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, Sep. 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, May 1995.
S. Bhattacharyya, 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, April 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, March 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, Jan. 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, Jan. 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, Nov. 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, Nov. 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, Nov. 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, Sep. 1994.
E. A. Lee, "Dataflow Process Networks," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M94/53, July 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, June 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, May 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, May 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, March 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, Jan. 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, Nov. 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, Sep. 1992.
G. Sih and E. A. Lee, "A Multiprocessor Scheduling Strategy," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M90/119, Dec. 1990.
E. A. Lee, "Architectures for Statically Scheduled Dataflow," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/129, Dec. 1989.
E. A. Lee, "Consistency in Dataflow Graphs," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M89/125, Nov. 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, May 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, May 1989.
E. A. Lee, "Minimal Swapping Finite Element and Finite Difference Implementations," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M84/59, July 1984.

Unpublished articles

E. A. Lee, X. Liu, and S. Neuendorffer, "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

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, June 1986.

Masters Reports

A. Rengarajan, "Towards Enabling Deployment of Lingua Franca on Distributed Embedded Devices," E. A. Lee, A. L. Sangiovanni-Vincentelli, and M. Lohstroh, Eds., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-185, May 2023.
C. Hong, "Viability of Tensegrity Robots in Space Exploration," A. Agogino and E. A. Lee, Eds., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-116, May 2014.

Faculty Publications - Edward A. Lee

Books

Book chapters or sections

Articles in journals or magazines

Articles in conference proceedings

Conference proceedings (edited)

Technical Reports

Unpublished articles

Software

Patents

Ph.D. Theses

Masters Reports