20092019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Artistic and research interests

My research focuses on the foundations of system design. I am particularly interested in formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools which can be used in application domains such as embedded and cyber-physical systems.

My h-indexis 38 according to Google Scholar.

Education/Academic qualification

Doctor of Philosophy in Natural Sciences

Keywords

  • Formal Methods
  • Cyber-Physical Systems
  • System Design Automation
  • Computer-aided verification and synthesis

Fingerprint Dive into the research topics where Stavros Tripakis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

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
  • 12 Citations (Scopus)
    117 Downloads (Pure)

    Learning Moore machines from input-output traces

    Giantamidis, G., Tripakis, S. & Basagiannis, S., 6 Nov 2019, In : International Journal on Software Tools for Technology Transfer. 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Mechanically proving determinacy of hierarchical block diagram translations

    Preoteasa, V., Dragomir, I. & Tripakis, S., 1 Jan 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). p. 577-600 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
  • 2 Citations (Scopus)

    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

    ACM SIGSOFT Distinguished Paper Award of the MODELS 2009 conference

    Stavros Tripakis (Recipient), 2009

    Prize: Award or honor granted for a specific work

  • Best Paper of the EOOLT 2010 workshop

    Stavros Tripakis (Recipient), 2010

    Prize: Award or honor granted for a specific work

    Distinguished Artifact Award at TACAS 2018

    Stavros Tripakis (Recipient), 2018

    Prize: Award or honor granted for a specific work

    File

    Activities

    Yunus Sahin

    Stavros Tripakis (Host)
    1 Jan 201830 Apr 2018

    Activity: Hosting a visitor typesHosting a visitor

    ACM-IEEE International Conference on Formal Methods and Models for System Design

    Stavros Tripakis (Member)
    2017

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

    International Workshop on Symbolic and Numerical Methods for Reachability Analysis

    Stavros Tripakis (Member)
    2017

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

    Compositionality in the Science of System Design, at Tallinn University of Technology

    Stavros Tripakis (Invited speaker)
    17 Jan 2017

    Activity: Talk or presentation typesPublic or invited talk

    International Conference on Formal Modelling and Analysis of Timed Systems

    Stavros Tripakis (Member)
    2017

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

    Press / Media

    Computer programming made easier

    Stavros Tripakis

    27/07/2019

    1 item of Media coverage

    Press/Media: Media appearance

    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

    Computer Programming Made Easier

    Stavros Tripakis

    12/08/2016

    1 item of Media coverage

    Press/Media: Media appearance