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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
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
-
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
Open AccessFile -
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 AccessFile -
Learning Moore machines from input-output traces
Giantamidis, G., Tripakis, S. & Basagiannis, S., 6 Nov 2019, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. 29 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access
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
-
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
-
ACM-IEEE International Conference on Formal Methods and Models for System Design
Stavros Tripakis (Member)
2017Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Embedded Systems: Architectures, Modeling and Simulation
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
Press / Media
-
-
Asilomar AI Principles — 2019 Artificial Intelligence News
Aki Vehtari, Jussi Rintanen, 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
-
-