Stavros Tripakis
    University of California, Berkeley

Username:stavros
Email:stavros@eecs.berkeley.edu
 
 
 
 
Home page:http://www.eecs.berkeley.edu/~stavros/
Bio:  

Papers, Presentations and Reports Authored by Stavros Tripakis

  1. Hybrid Cosimulation: It's About Time, David Broman, Fabio Cremona, Marten Lohstroh, Edward A. Lee, Michael Masin, Stavros Tripakis, Software and Systems Modeling, November, 2017. Posted on 29 Feb 2016.
  2. JFMI, Christopher Brooks, Edward A. Lee, David Broman, Thierry Stephane Nouidui, Stavros Tripakis, Michael Wetter, UC Berkeley, 29, April, 2013. Posted on 10 Feb 2015.
  3. Ptolemy II 10.0, Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver, Charles Shelton, Ishwinder Singh, Halvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, Edward A. Lee, University of California, Berkeley, 18, December, 2014. Posted on 18 Dec 2014.
  4. Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, October, 2014. Posted on 28 Oct 2014.
  5. Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 19, October, 2014. Posted on 31 Aug 2014.
  6. From Relational Interfaces to Assume-Guarantee Contracts, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, U.C. Berkeley, 2014. Posted on 27 Mar 2014.
  7. Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe (DATE), 24, March, 2014. Posted on 2 Jan 2014.
  8. Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, November, 2013. Posted on 13 Dec 2013.
  9. Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013. Posted on 12 Nov 2013.
  10. On the Verification of Timed Discrete-Event Models, Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), 29, August, 2013. Posted on 22 May 2013.

Counts

  • 1 Journal article.
  • 5 Conference papers.
  • 1 Technical report.
  • 1 Talk or presentation.
  • 1 Posters.
  • 1 Unpublished article.
  • 2 Software.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.