Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Cory-Soda Hall Logo
photo of Stavros Tripakis
   

Stavros Tripakis

Adjunct Associate Professor

Research Areas

Research Centers

Teaching Schedule (Fall 2014)

Selected Publications

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