Research Output per year
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-1611Research output: Contribution to journal › Article › Scientific › peer-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 journal › Article › Scientific › peer-review
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 journal › Article › Scientific › peer-review
Open Access
File
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 journal › Article › Scientific › peer-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 proceeding › Conference contribution › Scientific › peer-review
Open Access
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 2018 → 30 Apr 2018
Activity: Hosting a visitor types › Hosting a visitor
International Workshop on Symbolic and Numerical Methods for Reachability Analysis
Stavros Tripakis (Member)2017
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
International Conference on Formal Modelling and Analysis of Timed Systems
Stavros Tripakis (Member)2017
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
Several invited presentations on compositionality, synthesis, and learning, at Dagstuhl Seminar “Formal Synthesis of Cyber-Physical Systems”
Stavros Tripakis (Invited speaker)14 May 2017 → 19 May 2017
Activity: Talk or presentation types › Public or invited talk
International Symposium on Model Checking Software
Stavros Tripakis (Member)2017
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
Press / Media
Asilomar AI Principles — 2019 Artificial Intelligence News
Aki Vehtari, Jussi Rintanen, Stig-Arne Grönroos, Stavros Tripakis & Joshua Pearce
23/02/2019
1 item of Media coverage
Press/Media: Media appearance
Meet some of Northeastern’s newest faculty for 2016-17
08/03/2017
1 item of Media coverage
Press/Media: Media appearance