Stavros Tripakis
Associate Professor
Research interests
- Foundations of software and system design
- Computer-aided verification and synthesis
- Cyber-physical systems
Education
- PhD in Computer Science, Joseph Fourier University — France
- MS in Computer Science, Ecole Normale Superieure — France
- BS in Computer Science, University of Crete — Greece
Biography
Stavros Tripakis is an associate professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston.
Tripakis is interested in the foundations of software and system design. His research focuses on formal methods; computer-aided verification and synthesis; safety-critical, embedded, and cyber-physical systems; and security. He is a faculty advisor for the Formal Methods Group, which develops theories and tools to design better systems.
Tripakis has held positions at the University of California, Berkeley; the French National Research Center; Cadence Design Systems; and Aalto University. He co-chaired the 10th ACM & IEEE Conference on Embedded Software and served on the board of ACM SIGBED — first as secretary and treasurer, then as vice-chair. His h-index, a metric that measures the productivity and citation impact of a scholar’s publications, is 50.
Recent publications
-
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
Citation: Derek Egolf, Stavros Tripakis. (2025). Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction CoRR, abs/2501.14585. https://doi.org/10.48550/arXiv.2501.14585 -
Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments
Citation: Daniel Melcer, Christopher Amato, Stavros Tripakis. (2024). Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments RLJ, 4, 1965-1994. https://rlj.cs.umass.edu/2024/papers/Paper254.html -
Counterexample classification
Citation: Cole Vick, Eunsuk Kang, Stavros Tripakis. (2024). Counterexample classification Softw. Syst. Model., 23, 455-472. https://doi.org/10.1007/s10270-023-01118-0 -
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms
Citation: Derek Egolf, Stavros Tripakis. (2023). Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms CoRR, abs/2306.02967. https://doi.org/10.48550/arXiv.2306.02967 -
Safe Environmental Envelopes of Discrete Systems
Citation: Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis. (2023). Safe Environmental Envelopes of Discrete Systems CoRR, abs/2306.01025. https://doi.org/10.48550/arXiv.2306.01025 -
Formal verification of a distributed dynamic reconfiguration protocol
Citation: William Schultz, Ian Dardik, Stavros Tripakis. (2022). Formal verification of a distributed dynamic reconfiguration protocol CPP, 143-152. https://doi.org/10.1145/3497775.3503688 -
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell
Citation: Stavros Tripakis, Karen Rudie. (2022). Decentralized Observation of Discrete-Event Systems: At Least One Can Tell IEEE Control. Syst. Lett., 6, 1652-1657. https://doi.org/10.1109/LCSYS.2021.3130887 -
Automated Attacker Synthesis for Distributed Protocols
Citation: Max von Hippel, Cole Vick, Stavros Tripakis, and Cristina Nita-Rotaru. Automated Attacker Synthesis for Distributed Protocols. In 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2020. -
Metrics and methods for robustness evaluation of neural networks with generative models
Citation: Buzhinsky, I., Nerinovsky, A. & Tripakis, S. Metrics and methods for robustness evaluation of neural networks with generative models. Machine Learning (2021). -
The refinement calculus of reactive systems
Citation: Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis. (2022). The refinement calculus of reactive systems Inf. Comput., 285, 104819. https://doi.org/10.1016/j.ic.2021.104819 -
The Refinement Calculus of Reactive Systems Toolset
Citation: Iulia Dragomir, Viorel Preoteasa, and Stavros Tripakis. The Refinement Calculus of Reactive Systems Toolset. International Journal on Software Tools for Technology Transfer, pages 1–20, 2020. -
Learning Moore Machines from Input-Output Traces
Citation: Giantamidis, G., Tripakis, S. & Basagiannis, S. Learning Moore machines from input–output traces. Int J Softw Tools Technol Transfer 23, 1–29 (2021). -
Automated Synthesis of Secure Platform Mappings
Citation: Kang E., Lafortune S., Tripakis S. (2019) Automated Synthesis of Secure Platform Mappings. In: Dillig I., Tasiran S. (eds) Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, vol 11561. Springer, Cham
Current PhD students
-
Daniel Melcer
PhD Student