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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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.
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. [abstract]
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. [abstract]
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. [abstract]
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.
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.
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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.
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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.
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.
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. [abstract]
C. Brooks and E. A. Lee, "Ptolemy Coding Style," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-164, Sep. 2014. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
E. Matsikoudis and E. A. Lee, "Labelled Execution Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-64, May 2012. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
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. [abstract]
A. Cataldo and E. A. Lee, "Composition Languages," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-24, March 2006. [abstract]
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. [abstract]
A. Cataldo, C. Hylands, E. A. Lee, X. Liu, S. Neuendorffer, H. Zheng, and J. Liu, "A Hybrid System Visual Modeler," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/30, 2003.
C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, "HyVisual: A Hybrid System Visual Modeler," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M03/1, 2003.
E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, and H. Zheng, "Ptolemy II: in JAVA," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M02/23, 2002.
E. A. Lee, "Embedded Software," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/26, 2001. [abstract]
J. Davis II, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Tsay, B. Vogel, and Y. Xiong, "Ptolemy II : Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/12, 2001. [abstract]
E. A. Lee, C. Hylands, J. Janneck, J. Davis II, J. Liu, X. Liu, S. Neuendorffer, S. S. M. Stewart, K. Vissers, and P. Whitaker, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M01/11, 2001.
J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/40, 1999.
J. Davis II, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M99/37, 1999.
J. Davis II, M. Goel, G. Galicia, C. Hyland, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Heterogeneous Concurrent Modeling and Design in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/72, 1998.
E. A. Lee, "Overview of the Ptolemy Project," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M98/71, 1998.
R. Stevens, M. Wan, P. Laramie, T. Parks, and E. A. Lee, "Implementation of Process Networks in Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/84, 1997.
C. Hylands, E. A. Lee, and H. Reekie, "The Tycho User Interface System," EECS Department, University of California, Berkeley, Tech. Rep. UCB/ERL M97/15, 1997.