Stavros Tripakis

According to our database, Stavros Tripakis authored at least 96 papers between 1997 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Can LLMs Perform Synthesis?

Derek Egolf, Yuhao Zhou, Stavros Tripakis

CoRR, March, 2026

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties.

Derek Egolf, Stavros Tripakis

CoRR, January, 2026

Towards Language Model Guided TLA⁺ Proof Automation.

Yuhao Zhou, Stavros Tripakis

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Towards Language Model Guided TLA+ Proof Automation.

Yuhao Zhou, Stavros Tripakis

CoRR, December, 2025

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction.

Derek Egolf, Stavros Tripakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis

CoRR, 2024

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems.

Yuhao Zhou, Stavros Tripakis

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Efficient Synthesis of Symbolic Distributed Protocols by Sketching.

Derek Egolf, William Schultz, Stavros Tripakis

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

On tolerance of discrete systems with respect to transition perturbations.

Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis

Discret. Event Dyn. Syst., December, 2023

Decoupled Fitness Criteria for Reactive Systems.

Derek Egolf, Stavros Tripakis

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Safe Environmental Envelopes of Discrete Systems.

Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.

Derek Egolf, Stavros Tripakis

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

The refinement calculus of reactive systems.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Inf. Comput., 2022

Decentralized Observation of Discrete-Event Systems: At Least One Can Tell.

Stavros Tripakis, Karen Rudie

IEEE Control. Syst. Lett., 2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+.

William Schultz, Ian Dardik, Stavros Tripakis

CoRR, 2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA⁺.

William Schultz, Ian Dardik, Stavros Tripakis

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Formal verification of a distributed dynamic reconfiguration protocol.

William Schultz, Ian Dardik, Stavros Tripakis

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

William Schultz, Siyuan Zhou, Stavros Tripakis

CoRR, 2021

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

William Schultz, Siyuan Zhou, Stavros Tripakis

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Design and Analysis of a Logless Dynamic Reconfiguration Protocol.

William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

2019

Basic problems in multi-view modeling.

Jan Reineke, Christos Stergiou, Stavros Tripakis

Softw. Syst. Model., 2019

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.

Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis

Sci. Comput. Program., 2018

The Refinement Calculus of Reactive Systems Toolset.

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Hybrid Co-simulation: It's About Time.

Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Data-driven and model-based design.

Stavros Tripakis

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.

Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Runtime Enforcement of Cyber-Physical Systems.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden

ACM Trans. Embed. Comput. Syst., 2017

Predictive runtime verification of timed properties.

Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa

J. Syst. Softw., 2017

Supervisory control and reactive synthesis: a comparative introduction.

Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi

Discret. Event Dyn. Syst., 2017

Runtime enforcement of reactive systems using synchronous enforcers.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal

J. Signal Process. Syst., 2016

Compositionality in the Science of System Design.

Stavros Tripakis

Proc. IEEE, 2016

Compositional Model-Based System Design and Other Foundations for Mastering Change.

Stavros Tripakis

LNCS Trans. Found. Mastering Chang., 2016

A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

CoRR, 2016

Compositional Semantics and Analysis of Hierarchical Block Diagrams.

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Multi-view consistency for infinitary regular languages.

Maria Pittou, Stavros Tripakis

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Predictive runtime enforcement.

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

FIDE: an FMI integrated development environment.

Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Compositional Runtime Enforcement.

Srinivas Pinisetty, Stavros Tripakis

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Step revision in hybrid Co-simulation with FMI.

Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems.

Viorel Preoteasa, Stavros Tripakis

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Learning Moore Machines from Input-Output Traces.

Georgios Giantamidis, Stavros Tripakis

Proceedings of the FM 2016: Formal Methods, 2016

Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions.

Maria Pittou, Stavros Tripakis

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Constrained Synthesis from Component Libraries.

Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Translating Hierarchical Block Diagrams into Composite Predicate Transformers.

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

CoRR, 2015

Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms.

Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Bridging the semantic gap between heterogeneous modeling formalisms and FMI.

Stavros Tripakis

Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations.

Valeriy Vyatkin, Cheng Pang, Stavros Tripakis

Proceedings of the IECON 2015, 2015

Requirements for hybrid cosimulation standards.

David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

When Do We (Not) Need Complex Assume-Guarantee Rules?

Antti Siirtola, Stavros Tripakis, Keijo Heljanko

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Optimized implementation of synchronous models on industrial LTTA systems.

Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis

J. Syst. Archit., 2014

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.

Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Basic Problems in Multi-View Modeling.

Jan Reineke, Stavros Tripakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations.

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Are interface theories equivalent to contract theories?

Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Game theoretic secure localization in wireless sensor networks.

Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee

Proceedings of the 4th International Conference on the Internet of Things, 2014

Feedback in Synchronous Relational Interfaces.

Stavros Tripakis, Chris Shaver

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Refinement calculus of reactive systems.

Viorel Preoteasa, Stavros Tripakis

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.

Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2013

A modular formal semantics for Ptolemy.

Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee

Math. Struct. Comput. Sci., 2013

Error-Completion in Interface Theories.

Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Cyber-physical system design contracts.

Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

On the Verification of Timed Discrete-Event Models.

Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems.

Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil

Proceedings of the International Conference on Embedded Software, 2013

Determinate composition of FMUs for co-simulation.

David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Proceedings of the International Conference on Embedded Software, 2013

Fault Diagnosis of Timed Systems.

Franck Cassez, Stavros Tripakis

Proceedings of the Communicating Embedded Systems, 2013

2012

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis

Sci. Comput. Program., 2012

Viewpoints, formalisms, languages, and tools for cyber-physical systems.

David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

An overview of the career of Paul Caspi.

Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi

Proceedings of the 12th International Conference on Embedded Software, 2012

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

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

A Theory of Synchronous Relational Interfaces.

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

ACM Trans. Program. Lang. Syst., 2011

The earlier the better: a theory of timed actor interfaces.

Marc Geilen, Stavros Tripakis, Maarten Wiggers

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Correct and non-defensive glue design using abstract models.

Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.

Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Modal Models in Ptolemy.

Edward A. Lee, Stavros Tripakis

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Exploring models of computation with ptolemy II.

Christopher X. Brooks, Edward A. Lee, Stavros Tripakis

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

2009

Checking timed Büchi automata emptiness on simulation graphs.

Stavros Tripakis

ACM Trans. Comput. Log., 2009

Conformance testing for real-time systems.

Moez Krichen, Stavros Tripakis

Formal Methods Syst. Des., 2009

A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.

Stavros Tripakis

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Modular code generation from synchronous block diagrams: modularity vs. code size.

Roberto Lublinerman, Christian Szegedy, Stavros Tripakis

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis

Proceedings of the Formal Methods and Software Engineering, 2009

Actors without Directors: A Kahnian View of Heterogeneous Systems.

Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On relational interfaces.

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

Semantics-preserving multitask implementation of synchronous programs.

Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis

ACM Trans. Embed. Comput. Syst., 2008

Automatic generation of path conditions for concurrent timed systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Theor. Comput. Sci., 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.

Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale

IEEE Trans. Computers, 2008

Translating data flow to synchronous block diagrams.

Roberto Lublinerman, Stavros Tripakis

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams.

Roberto Lublinerman, Stavros Tripakis

Proceedings of the Design, Automation and Test in Europe, 2008

2003

Building models of real-time systems from application software.

Joseph Sifakis, Stavros Tripakis, Sergio Yovine

Proc. IEEE, 2003

1999

A Framework for Scheduler Synthesis.

Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

1998

L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice).

Stavros Tripakis

PhD thesis, 1998

1997

Modeling Urgency in Timed Systems.

Sébastien Bornot, Joseph Sifakis, Stavros Tripakis

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997