Adjunct Associate Professor
- 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.
- 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.
- 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.