Research Projects - Stavros Tripakis

Large Projects

  • Compositional System Modeling with Interfaces (COSMOI)
    Stavros Tripakis and Edward A. Lee
  • Expeditions in Computer Augmented Program Engineering (ExCAPE)
    Rajeev Alur, Ratislav Bodik, Jeff Foster, Björn Hartmann, Lydia Kavraki, Hadas Kress-Gazit, Stephane Lafortune, Boon Thau Loo, P. Madhusudan, Milo Martin, George Pappas, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Armando Solar-Lezama, Paulo Tabuada, Stavros Tripakis, Moshe Vardi, Steve Zdancewic, Sarah Chasins, Peggy Chi, Dorsa Sadigh, Phitchaya Phothilimthana, Ali Sinan Koksal and Nishant Totla
  • Ptolemy Project
    Edward A. Lee, Ilge Akkaya, Hugo Andrade, Christopher Brooks, Fabio Cremona, Elizabeth Coyne, Patricia Derler, John Eidson, Hokeun Kim, Akihito Iwai, Elizabeth Latronico, Gil Lederman, Marten Lohstroh, Eleftherios Matsikoudis, Christopher Shaver, Mary Stewart, Stavros Tripakis, Rene Vivanco, Armin Wasicek, Matthew Weber and Ben Zhang

Small Projects

  • Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
    Edward A. Lee, Ilge Akkaya, David Broman, Christopher Brooks, Ian Chen, Daniel Crawl, Patricia Derler, Shuhei Emoto, Siyuan 'Jack' He, Elizabeth Latronico, Long Le, Marten Lohstroh, Mana Mirzaei, Thierry Nouidui, Christopher Shaver, Fabian Stahnke, Armin Wasicek, Michael Wetter, Hokeun Kim, Gil Lederman, Mehrdad Niknami, Matthew Weber, Ben Zhang and Stavros Tripakis

Send requests for updates to researchupdates@eecs, or Login to make changes yourself.