Stavros Tripakis

Adjunct Associate Professor

Research Areas

• Design, Modeling and Analysis (DMA)
• Programming Systems (PS), Compositionality, Verification, Synthesis, Embedded and Cyber-Physical Systems

Research Centers

• Center for Hybrid and Embedded Software Systems (CHESS)
• Donald O. Pederson Center for Electronics Systems Design (DOP)
• Multiscale System Center (MuSyC)
• TerraSwarm Research Center

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.