Research output per year
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
Diplome de Docteur, specialite informatique
Award Date: 10 Mar 2000
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Learning Moore machines from input-output traces
Giantamidis, G., Tripakis, S. & Basagiannis, S., Feb 2021, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 1-29 29 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access3 Citations (Scopus) -
Metrics and methods for robustness evaluation of neural networks with generative models
Buzhinsky, I., Nerinovsky, A. & Tripakis, S., 6 Jul 2021, (E-pub ahead of print) In: Machine Learning. 36 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access -
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference
Giantamidis, G., Basagiannis, S. & Tripakis, S., 2020, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Proceedings: SAFECOMP 2020: Computer Safety, Reliability, and Security. Casimiro, A., Ferreira, P., Ortmeier, F. & Bitsch, F. (eds.). p. 115-129 15 p. (Lecture Notes in Computer Science; vol. 12234).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
1 Citation (Scopus) -
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
2 Citations (Scopus) -
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
Open AccessFile5 Citations (Scopus)61 Downloads (Pure)
Prizes
-
2018 Best Paper Award from the Journal of Software and Systems Modeling
Tripakis, Stavros (Recipient), 2018
Prize: Award or honor granted for a specific work
File -
ACM SIGSOFT Distinguished Paper Award of the MODELS 2009 conference
Tripakis, Stavros (Recipient), 2009
Prize: Award or honor granted for a specific work
-
Best Paper of the EOOLT 2010 workshop
Tripakis, Stavros (Recipient), 2010
Prize: Award or honor granted for a specific work
-
Distinguished Artifact Award at TACAS 2018
Tripakis, Stavros (Recipient), 2018
Prize: Award or honor granted for a specific work
File
Activities
-
Yunus Sahin
Stavros Tripakis (Host)
1 Jan 2018 → 30 Apr 2018Activity: Hosting a visitor types › Hosting a visitor
-
Foundations of Cyber-Physical Systems
Stavros Tripakis (Organiser)
2 Jun 2017Activity: Participating in or organising an event types › Organization of a workshop, panel, session or tutorial
-
International Conference on Formal Modelling and Analysis of Timed Systems
Stavros Tripakis (Member)
2017Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Symposium on Model Checking Software
Stavros Tripakis (Member)
2017Activity: 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 2017Activity: Talk or presentation types › Public or invited talk
Press / Media
-
-
Asilomar AI Principles — 2019 Artificial Intelligence News
Aki Vehtari, Jussi Rintanen & Stavros Tripakis
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
-
-