Stavros Tripakis

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 82

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Yuhao Zhou, Stavros Tripakis
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. NFM (2024)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample classification. Softw. Syst. Model. 23 (2) (2024)
William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR (2024)
Daniel Melcer, Christopher Amato, Stavros Tripakis
Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. AAMAS (2024)
Derek Egolf, William Schultz, Stavros Tripakis
Efficient Synthesis of Symbolic Distributed Protocols by Sketching. CoRR (2024)
Yuhao Zhou, Stavros Tripakis
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. CoRR (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CAV (1) (2023)
Derek Egolf, Stavros Tripakis
Decoupled Fitness Criteria for Reactive Systems. SEFM (2023)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. 33 (4) (2023)
Derek Egolf, Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) (2023)
Derek Egolf, Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. CoRR (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CoRR (2023)
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Metrics and methods for robustness evaluation of neural networks with generative models. Mach. Learn. 112 (10) (2023)
William Schultz, Ian Dardik, Stavros Tripakis
Formal verification of a distributed dynamic reconfiguration protocol. CPP (2022)
William Schultz, Ian Dardik, Stavros Tripakis
. FMCAD (2022)
Daniel Melcer, Christopher Amato, Stavros Tripakis
Shield Decentralization for Safe Multi-Agent Reinforcement Learning. NeurIPS (2022)
Stavros Tripakis, Karen Rudie
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. IEEE Control. Syst. Lett. 6 (2022)
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
Mapping Synthesis for Hyperproperties. CSF (2022)
William Schultz, Ian Dardik, Stavros Tripakis
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. CoRR (2022)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
The refinement calculus of reactive systems. Inf. Comput. 285 (Part) (2022)
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
On Neural Network Equivalence Checking Using SMT Solvers. FORMATS (2022)
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
On Neural Network Equivalence Checking using SMT Solvers. CoRR (2022)
Lisa Oakley, Alina Oprea, Stavros Tripakis
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CSF (2022)
Derek Egolf, Stavros Tripakis
Decoupled Fitness Criteria for Reactive Systems. CoRR (2022)
Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis
Compositional runtime enforcement revisited. Formal Methods Syst. Des. 59 (1) (2021)
Lisa Oakley, Alina Oprea, Stavros Tripakis
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CoRR (2021)
Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis
Learning Moore machines from input-output traces. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample Classification. SEFM (2021)
William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis
Design and Analysis of a Logless Dynamic Reconfiguration Protocol. OPODIS (2021)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. CoRR (2021)
Stavros Tripakis, Karen Rudie
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. CoRR (2021)
William Schultz, Ian Dardik, Stavros Tripakis
Formal Verification of a Distributed Dynamic Reconfiguration Protocol. CoRR (2021)
William Schultz, Siyuan Zhou, Stavros Tripakis
Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. CoRR (2021)
William Schultz, Siyuan Zhou, Stavros Tripakis
Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. DISC (2021)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample Classification. CoRR (2021)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
Automated Attacker Synthesis for Distributed Protocols. SAFECOMP (2020)
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Metrics and methods for robustness evaluation of neural networks with generative models. CoRR (2020)
Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. SAFECOMP (2020)
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
Automated Attacker Synthesis for Distributed Protocols. CoRR (2020)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Automated Synthesis of Secure Platform Mappings. CAV (1) (2019)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI (2019)
Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
Cross-Layer Interactions in CPS for Performance and Certification. DATE (2019)
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Constrained synthesis from component libraries. Sci. Comput. Program. 171 (2019)
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Hybrid co-simulation: it's about time. Softw. Syst. Model. 18 (3) (2019)
Jan Reineke, Christos Stergiou, Stavros Tripakis
Basic problems in multi-view modeling. Softw. Syst. Model. 18 (3) (2019)
Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167 (2018)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) (2018)
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Hybrid Co-simulation: It's About Time. MoDELS (2018)
Stavros Tripakis
Data-driven and model-based design. ICPS (2018)
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE (2018)
Artem Yushkovskiy, Stavros Tripakis
Comparison of Two Theorem Provers: Isabelle/HOL and Coq. CoRR (2018)
Stavros Tripakis, Roberto Lublinerman
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling (2018)
Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS (2018)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
The Refinement Calculus of Reactive Systems Toolset. CoRR (2017)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE (2017)
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
Predictive runtime verification of timed properties. J. Syst. Softw. 132 (2017)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Synthesis of Property-Preserving Mappings. CoRR (2017)
Rajeev Alur, Stavros Tripakis
Automatic Synthesis of Distributed Protocols. SIGACT News 48 (1) (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
The Refinement Calculus of Reactive Systems. CoRR (2017)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. Formal Methods Syst. Des. 51 (1) (2017)
Antti Siirtola, Stavros Tripakis, Keijo Heljanko
When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27 (2) (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. SPIN (2017)
Srinivas Pinisetty, Stavros Tripakis
Compositional Runtime Enforcement. NFM (2016)
Maria Pittou, Stavros Tripakis
Multi-view consistency for infinitary regular languages. SAMOS (2016)
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Constrained Synthesis from Component Libraries. FACS (2016)
Georgios Giantamidis, Stavros Tripakis
Learning Moore Machines from Input-Output Traces. CoRR (2016)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN (2016)
Maria Pittou, Stavros Tripakis
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. FACS (2016)
Stavros Tripakis
Compositional Model-Based System Design and Other Foundations for Mastering Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Stavros Tripakis
Compositionality in the Science of System Design. Proc. IEEE 104 (5) (2016)
Viorel Preoteasa, Stavros Tripakis
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. LICS (2016)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR (2016)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. SAC (2016)
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee
FIDE: an FMI integrated development environment. SAC (2016)
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. J. Signal Process. Syst. 85 (1) (2016)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR (2016)
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
Step revision in hybrid Co-simulation with FMI. MEMOCODE (2016)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. CoRR (2016)
Georgios Giantamidis, Stavros Tripakis
Learning Moore Machines from Input-Output Traces. FM (2016)
Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis
What's Decidable about Syntax-Guided Synthesis? CoRR (2015)
Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS (2015)
Viorel Preoteasa, Stavros Tripakis
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. CoRR (2015)
Valeriy Vyatkin, Cheng Pang, Stavros Tripakis
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CoRR (2015)
Stavros Tripakis
Bridging the semantic gap between heterogeneous modeling formalisms and FMI. SAMOS (2015)
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
Requirements for hybrid cosimulation standards. HSCC (2015)
Antti Siirtola, Stavros Tripakis, Keijo Heljanko
When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD (2015)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) (2015)
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. ICSAMOS (2014)
Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. 60 (4) (2014)
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Library-based scalable refinement checking for contract-based design. DATE (2014)
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Are interface theories equivalent to contract theories? MEMOCODE (2014)
Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee
Game theoretic secure localization in wireless sensor networks. IOT (2014)
Viorel Preoteasa, Stavros Tripakis
Refinement Calculus of Reactive Systems. CoRR (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference (2014)

Stavros Tripakis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stavros Tripakis