Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Basic Problems in Multi-View Modeling

Reineke, J., Stergiou, C. & Tripakis, S., 1 Jun 2019, In : SOFTWARE AND SYSTEMS MODELING. 18, 3, p. 1577-1611

Research output: Contribution to journalArticleScientificpeer-review

  • Constrained synthesis from component libraries

    Iannopollo, A., Tripakis, S. & Sangiovanni-Vincentelli, A., 15 Feb 2019, In : Science of Computer Programming. 171, p. 21-41 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  • 1 Citation (Scopus)

    Hybrid co-simulation: it’s about time

    Cremona, F., Lohstroh, M., Broman, D., Lee, E. A., Masin, M. & Tripakis, S., 2019, In : SOFTWARE AND SYSTEMS MODELING. 2019, 18, 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 9 Citations (Scopus)
    114 Downloads (Pure)

    Prizes

    2018 Best Paper Award from the Journal of Software and Systems Modeling

    Stavros Tripakis (Recipient), 2018

    Prize: Award or honor granted for a specific work

    File

    Distinguished Artifact Award at TACAS 2018

    Stavros Tripakis (Recipient), 2018

    Prize: Award or honor granted for a specific work

    File

    Activities

    • 2 Membership of an editorial board
    • 1 Hosting a visitor
    • 1 Public or invited talk

    Yunus Sahin

    Stavros Tripakis (Host)
    1 Jan 201830 Apr 2018

    Activity: Hosting a visitor typesHosting a visitor

    Recent Work in the Science of Software and System Design

    Stavros Tripakis (Speaker)
    10 Nov 2017

    Activity: Talk or presentation typesPublic or invited talk

    Transactions on Foundations for Mastering Change (Journal)

    Stavros Tripakis (Reviewer)
    2014 → …

    Activity: Publication peer-review and editorial work typesMembership of an editorial board

    Press / Media

    Meet some of Northeastern’s newest faculty for 2016-17

    Stavros Tripakis

    08/03/2017

    1 item of Media coverage

    Press/Media: Media appearance

    New Faculty 2016/2017

    Stavros Tripakis

    06/03/2017

    1 item of Media coverage

    Press/Media: Media appearance