| 2026 | FM | Towards Language Model Guided TLA | Yuhao Zhou, Stavros Tripakis |
| 2025 | TACAS | Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. | Derek Egolf, Stavros Tripakis |
| 2024 | FMCAD | Efficient Synthesis of Symbolic Distributed Protocols by Sketching. | Derek Egolf, William Schultz, Stavros Tripakis |
| 2023 | ATVA | Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. | Derek Egolf, Stavros Tripakis |
| 2023 | CAV | Safe Environmental Envelopes of Discrete Systems. | Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2023 | SEFM | Decoupled Fitness Criteria for Reactive Systems. | Derek Egolf, Stavros Tripakis |
| 2022 | CPP | Formal verification of a distributed dynamic reconfiguration protocol. | William Schultz, Ian Dardik, Stavros Tripakis |
| 2022 | FMCAD | Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA | William Schultz, Ian Dardik, Stavros Tripakis |
| 2021 | OPODIS | Design and Analysis of a Logless Dynamic Reconfiguration Protocol. | William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis |
| 2021 | SEFM | Counterexample Classification. | Cole Vick, Eunsuk Kang, Stavros Tripakis |
| 2020 | SAFECOMP | Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. | Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis |
| 2020 | SAFECOMP | Automated Attacker Synthesis for Distributed Protocols. | Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |
| 2019 | CAV | Automated Synthesis of Secure Platform Mappings. | Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2019 | DATE | Cross-Layer Interactions in CPS for Performance and Certification. | Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar |
| 2019 | VMCAI | Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
| 2018 | DATE | Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2018 | MODELS | Hybrid Co-simulation: It's About Time. | Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis |
| 2018 | TACAS | The Refinement Calculus of Reactive Systems Toolset. | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
| 2017 | FORTE | Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
| 2016 | FM | Learning Moore Machines from Input-Output Traces. | Georgios Giantamidis, Stavros Tripakis |
| 2016 | LICS | Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. | Viorel Preoteasa, Stavros Tripakis |
| 2016 | MEMOCODE | Step revision in hybrid Co-simulation with FMI. | Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
| 2016 | SAC | FIDE: an FMI integrated development environment. | Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee |
| 2016 | SAC | Predictive runtime enforcement. | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jron, Ylis Falcone, Herv Marchand |
| 2015 | CAV | Automatic Completion of Distributed Protocols with Symmetry. | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| 2015 | IECON | Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. | Valeriy Vyatkin, Cheng Pang, Stavros Tripakis |
| 2014 | DATE | Library-based scalable refinement checking for contract-based design. | Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | EMSOFT | Refinement calculus of reactive systems. | Viorel Preoteasa, Stavros Tripakis |
| 2014 | MEMOCODE | Are interface theories equivalent to contract theories? | Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | TACAS | Basic Problems in Multi-View Modeling. | Jan Reineke, Stavros Tripakis |
| 2013 | EMSOFT | Determinate composition of FMUs for co-simulation. | David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
| 2013 | EMSOFT | A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. | Magnus Persson, Martin Trngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil |
| 2012 | DAC | Static dataflow with access patterns: semantics and analysis. | Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade |
| 2012 | EMSOFT | An overview of the career of Paul Caspi. | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
| 2012 | MODELS | Viewpoints, formalisms, languages, and tools for cyber-physical systems. | David Broman, Edward A. Lee, Stavros Tripakis, Martin Trngren |
| 2009 | EMSOFT | On relational interfaces. | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
| 2009 | ICFEM | Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Thomas Huining Feng, Stavros Tripakis |
| 2009 | MODELS | Scalable Semantic Annotation Using Lattice-Based Ontologies. | Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly |
| 2009 | POPL | Modular code generation from synchronous block diagrams: modularity vs. code size. | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
| 2009 | RV | A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. | Stavros Tripakis |
| 2008 | DATE | Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. | Roberto Lublinerman, Stavros Tripakis |
| 2008 | RTAS | Modular Code Generation from Triggered and Timed Block Diagrams. | Roberto Lublinerman, Stavros Tripakis |
| 2007 | EMSOFT | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | ISoLA | A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
| 2007 | TASE | Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. | Franck Cassez, Stavros Tripakis, Karine Altisen |
| 2006 | EMSOFT | Communication by sampling in time-sensitive distributed systems. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2006 | EMSOFT | A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. | Christos Sofronis, Stavros Tripakis, Paul Caspi |
| 2006 | ICTAC | Interesting Properties of the Real-Time Conformance Relation. | Moez Krichen, Stavros Tripakis |
| 2006 | TIME | Ultimately Periodic Simple Temporal Problems (UPSTPs). | Jean-Franois Condotta, Grard Ligozat, Mahmoud Saade, Stavros Tripakis |
| 2005 | EMSOFT | Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. | Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi |
| 2005 | ICTAI | Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. | Jean-Franois Condotta, Grard Ligozat, Stavros Tripakis |
| 2005 | IFM | Generating Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2004 | EMSOFT | Defining and translating a "safe" subset of simulink/stateflow into lustre. | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
| 2004 | ISoLA | Automatic Generation of Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2003 | EMSOFT | Translating Discrete-Time Simulink to Lustre. | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis |
| 2003 | TACAS | Automated Module Composition. | Stavros Tripakis |
| 2002 | EMSOFT | A Protocol for Loosely Time-Triggered Architectures. | Albert Benveniste, Paul Caspi, Paul Le Guernic, Herv Marchand, Jean-Pierre Talpin, Stavros Tripakis |
| 2002 | EMSOFT | Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. | Stavros Tripakis |
| 1999 | FM | On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. | Stavros Tripakis, Karine Altisen |
| 1999 | RTSS | A Framework for Scheduler Synthesis. | Karine Altisen, Gregor Gler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine |
| 1999 | TACAS | Timed Diagnostics for Reachability Properties. | Stavros Tripakis |
| 1998 | CAV | Kronos: A Model-Checking Tool for Real-Time Systems. | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
| 1998 | RTAS | Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. | Stavros Tripakis, Sergio Yovine |
| 1998 | TACAS | Model Checking of Real-Time Reachability Properties Using Abstractions. | Conrado Daws, Stavros Tripakis |
| 1997 | RTSS | On-the-fly symbolic model checking for real-time systems. | Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine |
| 1996 | CAV | Analysis of Timed Systems Based on Time-Abstracting Bisimulation. | Stavros Tripakis, Sergio Yovine |
| 1996 | TACAS | Extending Promela and Spin for Real Time. | Stavros Tripakis, Costas Courcoubetis |