default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStavros Tripakis
Person information
- affiliation: Northeastern University, Khoury College of Computer Science, Boston, MA, USA
- affiliation (2012-2018): Aalto University, Department of Computer Science, Finnland
- affiliation (2009-2018): University of California, Berkeley, CA, USA
- affiliation (PhD 1998): Joseph Fourier University, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2020 – today
- 2026
[c133]Yuhao Zhou
, Stavros Tripakis:
Towards Language Model Guided TLA+ Proof Automation. FM (1) 2026: 619-640- [c132]William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis:
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition. 2026: 3-24 - [i37]Derek Egolf, Stavros Tripakis:
Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties. CoRR abs/2601.04045 (2026) - [i36]Medina Andresel, Cristinel Mateis, Dejan Nickovic, Spyridon Kounoupidis, Panagiotis Katsaros, Stavros Tripakis:
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning. CoRR abs/2603.05728 (2026) - [i35]Derek Egolf, Yuhao Zhou, Stavros Tripakis:
Can LLMs Perform Synthesis? CoRR abs/2603.20264 (2026) - 2025
- [c131]Derek Egolf, Stavros Tripakis:
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. TACAS (2) 2025: 155-176 - [i34]Derek Egolf, Stavros Tripakis:
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. CoRR abs/2501.14585 (2025) - [i33]Yuhao Zhou, Stavros Tripakis:
Towards Language Model Guided TLA+ Proof Automation. CoRR abs/2512.09758 (2025) - 2024
- [j40]Daniel Melcer, Christopher Amato, Stavros Tripakis:
Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. RLJ 4: 1965-1994 (2024) - [j39]Cole Vick, Eunsuk Kang, Stavros Tripakis:
Counterexample classification. Softw. Syst. Model. 23(2): 455-472 (2024) - [c130]Daniel Melcer, Christopher Amato, Stavros Tripakis:
Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. AAMAS 2024: 2384-2386 - [c129]Derek Egolf, William Schultz, Stavros Tripakis:
Efficient Synthesis of Symbolic Distributed Protocols by Sketching. FMCAD 2024: 281-291 - [c128]Yuhao Zhou, Stavros Tripakis:
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. NFM 2024: 239-255 - [i32]William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis:
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR abs/2404.18048 (2024) - [i31]Derek Egolf, William Schultz, Stavros Tripakis:
Efficient Synthesis of Symbolic Distributed Protocols by Sketching. CoRR abs/2405.07807 (2024) - 2023
- [j38]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): 395-424 (2023) - [j37]Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis:
Metrics and methods for robustness evaluation of neural networks with generative models. Mach. Learn. 112(10): 3977-4012 (2023) - [c127]Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) 2023: 270-291 - [c126]Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. CAV (1) 2023: 326-350 - [c125]Derek Egolf, Stavros Tripakis:
Decoupled Fitness Criteria for Reactive Systems. SEFM 2023: 85-105 - [i30]Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. CoRR abs/2306.01025 (2023) - [i29]Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. CoRR abs/2306.02967 (2023) - [i28]Yuhao Zhou, Stavros Tripakis:
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. CoRR abs/2312.10842 (2023) - 2022
- [j36]Stavros Tripakis, Karen Rudie:
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. IEEE Control. Syst. Lett. 6: 1652-1657 (2022) - [j35]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The refinement calculus of reactive systems. Inf. Comput. 285(Part): 104819 (2022) - [c124]William Schultz, Ian Dardik, Stavros Tripakis:
Formal verification of a distributed dynamic reconfiguration protocol. CPP 2022: 143-152 - [c123]Lisa Oakley, Alina Oprea, Stavros Tripakis:
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CSF 2022: 380-395 - [c122]Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis:
Mapping Synthesis for Hyperproperties. CSF 2022: 486-500 - [c121]William Schultz, Ian Dardik, Stavros Tripakis:
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. FMCAD 2022: 273-283 - [c120]Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis:
On Neural Network Equivalence Checking Using SMT Solvers. FORMATS 2022: 237-257 - [c119]Daniel Melcer, Christopher Amato, Stavros Tripakis:
Shield Decentralization for Safe Multi-Agent Reinforcement Learning. NeurIPS 2022 - [i27]Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis:
On Neural Network Equivalence Checking using SMT Solvers. CoRR abs/2203.11629 (2022) - [i26]William Schultz, Ian Dardik, Stavros Tripakis:
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. CoRR abs/2205.06360 (2022) - [i25]Derek Egolf, Stavros Tripakis:
Decoupled Fitness Criteria for Reactive Systems. CoRR abs/2212.12455 (2022) - 2021
- [j34]Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis:
Compositional runtime enforcement revisited. Formal Methods Syst. Des. 59(1): 205-252 (2021) - [j33]Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis:
Learning Moore machines from input-output traces. Int. J. Softw. Tools Technol. Transf. 23(1): 1-29 (2021) - [c118]William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis:
Design and Analysis of a Logless Dynamic Reconfiguration Protocol. OPODIS 2021: 26:1-26:16 - [c117]Cole Vick, Eunsuk Kang, Stavros Tripakis:
Counterexample Classification. SEFM 2021: 312-331 - [c116]William Schultz, Siyuan Zhou, Stavros Tripakis:
Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. DISC 2021: 61:1-61:4 - [d1]Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations. Zenodo, 2021
- [i24]William Schultz, Siyuan Zhou, Stavros Tripakis:
Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. CoRR abs/2102.11960 (2021) - [i23]Cole Vick, Eunsuk Kang, Stavros Tripakis:
Counterexample Classification. CoRR abs/2108.00885 (2021) - [i22]Stavros Tripakis, Karen Rudie:
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. CoRR abs/2108.04523 (2021) - [i21]William Schultz, Ian Dardik, Stavros Tripakis:
Formal Verification of a Distributed Dynamic Reconfiguration Protocol. CoRR abs/2109.11987 (2021) - [i20]Lisa Oakley, Alina Oprea, Stavros Tripakis:
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CoRR abs/2110.02125 (2021) - [i19]Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
On tolerance of discrete systems with respect to transition perturbations. CoRR abs/2110.04200 (2021) - 2020
- [j32]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. 22(6): 689-708 (2020) - [c115]Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis:
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. SAFECOMP 2020: 115-129 - [c114]Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru:
Automated Attacker Synthesis for Distributed Protocols. SAFECOMP 2020: 133-149 - [i18]Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis:
Metrics and methods for robustness evaluation of neural networks with generative models. CoRR abs/2003.01993 (2020) - [i17]Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru:
Automated Attacker Synthesis for Distributed Protocols. CoRR abs/2004.01220 (2020)
2010 – 2019
- 2019
- [j31]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained synthesis from component libraries. Sci. Comput. Program. 171: 21-41 (2019) - [j30]Jan Reineke, Christos Stergiou, Stavros Tripakis:
Basic problems in multi-view modeling. Softw. Syst. Model. 18(3): 1577-1611 (2019) - [j29]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): 1655-1679 (2019) - [c113]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Automated Synthesis of Secure Platform Mappings. CAV (1) 2019: 219-237 - [c112]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: 1439-1444 - [c111]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI 2019: 577-600 - 2018
- [j28]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: 1-24 (2018) - [c110]Stavros Tripakis, Roberto Lublinerman:
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling 2018: 449-477 - [c109]Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis:
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS 2018: 265-281 - [c108]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE 2018: 1574-1579 - [c107]Stavros Tripakis:
Data-driven and model-based design. ICPS 2018: 103-108 - [c106]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c105]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) 2018: 201-208 - [p2]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - [i16]Artem Yushkovskiy, Stavros Tripakis:
Comparison of Two Theorem Provers: Isabelle/HOL and Coq. CoRR abs/1808.09701 (2018) - 2017
- [j27]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): 209-260 (2017) - [j26]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j25]Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [j24]Rajeev Alur, Stavros Tripakis:
Automatic Synthesis of Distributed Protocols. SIGACT News 48(1): 55-90 (2017) - [j23]Antti Siirtola, Stavros Tripakis, Keijo Heljanko:
When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embed. Comput. Syst. 16(2): 48:1-48:25 (2017) - [j22]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): 178:1-178:25 (2017) - [c104]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE 2017: 194-209 - [c103]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89 - [i15]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Synthesis of Property-Preserving Mappings. CoRR abs/1705.03618 (2017) - [i14]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The Refinement Calculus of Reactive Systems. CoRR abs/1710.03979 (2017) - [i13]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. CoRR abs/1710.08195 (2017) - 2016
- [j21]Stavros Tripakis:
Compositional Model-Based System Design and Other Foundations for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 113-129 (2016) - [j20]Stavros Tripakis:
Compositionality in the Science of System Design. Proc. IEEE 104(5): 960-972 (2016) - [j19]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): 23-43 (2016) - [c102]Maria Pittou, Stavros Tripakis:
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. FACS 2016: 73-91 - [c101]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained Synthesis from Component Libraries. FACS 2016: 92-110 - [c100]Georgios Giantamidis, Stavros Tripakis:
Learning Moore Machines from Input-Output Traces. FM 2016: 291-309 - [c99]Viorel Preoteasa, Stavros Tripakis:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. LICS 2016: 768-777 - [c98]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c97]Srinivas Pinisetty, Stavros Tripakis:
Compositional Runtime Enforcement. NFM 2016: 82-99 - [c96]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c95]Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee:
FIDE: an FMI integrated development environment. SAC 2016: 1759-1766 - [c94]Maria Pittou, Stavros Tripakis:
Multi-view consistency for infinitary regular languages. SAMOS 2016: 148-155 - [c93]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN 2016: 38-56 - [i12]Georgios Giantamidis, Stavros Tripakis:
Learning Moore Machines from Input-Output Traces. CoRR abs/1605.07805 (2016) - [i11]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR abs/1611.01337 (2016) - [i10]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. CoRR abs/1612.05030 (2016) - [i9]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR abs/1612.05494 (2016) - 2015
- [c92]Antti Siirtola, Stavros Tripakis, Keijo Heljanko:
When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD 2015: 30-39 - [c91]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) 2015: 395-412 - [c90]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c89]Valeriy Vyatkin, Cheng Pang, Stavros Tripakis:
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON 2015: 1970-1975 - [c88]Stavros Tripakis:
Bridging the semantic gap between heterogeneous modeling formalisms and FMI. SAMOS 2015: 60-69 - [c87]Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS 2015: 113-122 - [i8]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CoRR abs/1505.04409 (2015) - [i7]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR abs/1510.04873 (2015) - [i6]Viorel Preoteasa, Stavros Tripakis:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. CoRR abs/1510.06379 (2015) - [i5]Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis:
What's Decidable about Syntax-Guided Synthesis? CoRR abs/1510.08393 (2015) - 2014
- [j18]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): 315-328 (2014) - [c86]Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Library-based scalable refinement checking for contract-based design. DATE 2014: 1-6 - [c85]Viorel Preoteasa, Stavros Tripakis:
Refinement calculus of reactive systems. EMSOFT 2014: 2:1-2:10 - [c84]Stavros Tripakis, Chris Shaver:
Feedback in Synchronous Relational Interfaces. FPS@ETAPS 2014: 249-266 - [c83]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: 75-91 - [c82]Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee:
Game theoretic secure localization in wireless sensor networks. IOT 2014: 85-90 - [c81]Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Are interface theories equivalent to contract theories? MEMOCODE 2014: 104-113 - [c80]Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang:
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. ICSAMOS 2014: 51-58 - [c79]Jan Reineke, Stavros Tripakis:
Basic Problems in Multi-View Modeling. TACAS 2014: 217-232 - [c78]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - [i4]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR abs/1402.7150 (2014) - [i3]Viorel Preoteasa, Stavros Tripakis:
Refinement Calculus of Reactive Systems. CoRR abs/1406.6035 (2014) - 2013
- [j17]Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(4): 834-881 (2013) - [j16]Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee:
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. 12(3): 83:1-83:26 (2013) - [c77]David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Determinate composition of FMUs for co-simulation. EMSOFT 2013: 2:1-2:12 - [c76]Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil:
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. EMSOFT 2013: 10:1-10:10 - [c75]Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. FORMATS 2013: 213-227 - [c74]Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - [c73]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [p1]Franck Cassez, Stavros Tripakis:
Fault Diagnosis of Timed Systems. Communicating Embedded Systems 2013: 107-138 - 2012
- [j15]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis:
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (2012) - [c72]Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade:
Static dataflow with access patterns: semantics and analysis. DAC 2012: 656-663 - [c71]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c70]David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS 2012: 49-54 - 2011
- [j14]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14:1-14:41 (2011) - [c69]Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong:
Correct and non-defensive glue design using abstract models. CODES+ISSS 2011: 59-68 - [c68]Marc Geilen, Stavros Tripakis, Maarten Wiggers:
The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32 - [e2]Uli Fahrenberg, Stavros Tripakis:
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Lecture Notes in Computer Science 6919, Springer 2011, ISBN 978-3-642-24309-7 [contents] - 2010
- [c67]Christopher X. Brooks, Edward A. Lee, Stavros Tripakis:
Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332 - [c66]Edward A. Lee, Stavros Tripakis:
Modal Models in Ptolemy. EOOLT 2010: 11-21 - [c65]Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee:
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ICCPS 2010: 199 - [e1]Luca P. Carloni, Stavros Tripakis:
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. ACM 2010, ISBN 978-1-60558-904-6 [contents] - [i2]Franck Cassez, Stavros Tripakis:
Fault Diagnosis with Dynamic Observers. CoRR abs/1004.2810 (2010)
2000 – 2009
- 2009
- [j13]Moez Krichen, Stavros Tripakis:
Conformance testing for real-time systems. Formal Methods Syst. Des. 34(3): 238-304 (2009) - [j12]Stavros Tripakis:
Checking timed Büchi automata emptiness on simulation graphs. ACM Trans. Comput. Log. 10(3): 15:1-15:19 (2009) - [c64]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
On relational interfaces. EMSOFT 2009: 67-76 - [c63]Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60 - [c62]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis:
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736 - [c61]Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly:
Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS 2009: 393-407 - [c60]Roberto Lublinerman, Christian Szegedy, Stavros Tripakis:
Modular code generation from synchronous block diagrams: modularity vs. code size. POPL 2009: 78-89 - [c59]Stavros Tripakis:
A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. RV 2009: 152-167 - 2008
- [j11]Franck Cassez, Stavros Tripakis:
Fault Diagnosis with Static and Dynamic Observers. Fundam. Informaticae 88(4): 497-540 (2008) - [j10]Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale:
Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008) - [j9]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008) - [j8]Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis:
Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. 7(2): 15:1-15:40 (2008) - [c58]Roberto Lublinerman, Stavros Tripakis:
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE 2008: 1504-1509 - [c57]Roberto Lublinerman, Stavros Tripakis:
Translating data flow to synchronous block diagrams. ESTIMedia 2008: 101-106 - [c56]Roberto Lublinerman, Stavros Tripakis:
Modular Code Generation from Triggered and Timed Block Diagrams. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 147-158 - [c55]Nazha Abed, Stavros Tripakis, Jean-Marc Vincent:
Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231 - 2007
- [c54]Franck Cassez, Stavros Tripakis, Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99 - [c53]Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239 - [c52]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck:
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135 - [c51]Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis:
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202 - [c50]Franck Cassez, Stavros Tripakis, Karine Altisen:
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325 - [r1]Paul Caspi, Stavros Tripakis, Pascal Raymond:
Synchronous Programming. Handbook of Real-Time and Embedded Systems 2007 - [i1]Stavros Tripakis:
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Runtime Verification 2007 - 2006
- [j7]Stavros Tripakis:
Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99(6): 222-226 (2006) - [c49]Karine Altisen, Franck Cassez, Stavros Tripakis:
Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110 - [c48]Christos Sofronis, Stavros Tripakis, Paul Caspi:
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33 - [c47]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160 - [c46]Moez Krichen, Stavros Tripakis:
State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162 - [c45]Moez Krichen, Stavros Tripakis:
Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331 - [c44]Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis:
Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124 - [c43]Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis:
Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77 - 2005
- [j6]Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani:
Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods Syst. Des. 26(3): 267-292 (2005) - [j5]Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic:
Translating discrete-time simulink to lustre. ACM Trans. Embed. Comput. Syst. 4(4): 779-818 (2005) - [c42]Stavros Tripakis:
Two-Phase Distributed Observation Problems. ACSD 2005: 98-105 - [c41]Stavros Tripakis:
Decentralized Observation Problems. CDC/ECC 2005: 6-11 - [c40]Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi:
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT 2005: 353-360 - [c39]Karine Altisen, Stavros Tripakis:
Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288 - [c38]Jean-François Condotta, Gérard Ligozat, Stavros Tripakis:
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI 2005: 584-588 - [c37]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Generating Path Conditions for Timed Systems. IFM 2005: 5-19 - [c36]Moez Krichen, Stavros Tripakis:
State Identification Problems for Timed Automata. TestCom 2005: 175-191 - [c35]Moez Krichen, Stavros Tripakis:
An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225 - 2004
- [j4]Stavros Tripakis:
Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1): 21-28 (2004) - [j3]Stavros Tripakis:
Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication. IEEE Trans. Autom. Control. 49(9): 1489-1501 (2004) - [c34]Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi:
Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268 - [c33]Moez Krichen, Stavros Tripakis:
Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151 - [c32]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249 - [c31]Moez Krichen, Stavros Tripakis:
Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126 - [c30]Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis:
Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS 2004: 23-43 - 2003
- [j2]Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
Building models of real-time systems from application software. Proc. IEEE 91(1): 100-111 (2003) - [c29]Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis:
Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99 - [c28]Stavros Tripakis:
Folk Theorems on the Determinization and Minimization of Timed Automata. FORMATS 2003: 182-188 - [c27]Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert:
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES 2003: 153-162 - [c26]Stavros Tripakis:
Automated Module Composition. TACAS 2003: 347-362 - 2002
- [c25]Raja Sengupta, Stavros Tripakis:
Decentralized diagnosability of regular languages is undecidable. CDC 2002: 423-428 - [c24]Stavros Tripakis:
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. EMSOFT 2002: 123-137 - [c23]Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265 - [c22]Stavros Tripakis:
Fault Diagnosis for Timed Automata. FTRTFT 2002: 205-224 - [c21]Anuj Puri, Stavros Tripakis:
Algorithms for the Multi-constrained Routing Problem. SWAT 2002: 338-347 - [c20]Stavros Tripakis:
Automated Composition of Module Chains. SC 2002: 81-90 - 2001
- [j1]Stavros Tripakis, Sergio Yovine:
Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods Syst. Des. 18(1): 25-68 (2001) - [c19]Marco Zennaro, Jeff Ko, Raja Sengupta, Stavros Tripakis:
A service network architecture for a multi-vehicle search mission. CDC 2001: 1503-1508 - [c18]Stavros Tripakis:
Undecidable problems of decentralized observation and control. CDC 2001: 4104-4109 - [c17]Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c16]Stavros Tripakis, Sergio Yovine:
Timing Analysis and Code Generation of Vehicle Control Software using Taxys. RV@CAV 2001: 277-286 - 2000
- [c15]Oleg Botchkarev, Stavros Tripakis:
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. HSCC 2000: 73-88
1990 – 1999
- 1999
- [c14]Stavros Tripakis:
Verifying Progress in Timed Systems. ARTS 1999: 299-314 - [c13]Marius Bozga, Oded Maler, Stavros Tripakis:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141 - [c12]Stavros Tripakis, Karine Altisen:
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods 1999: 233-252 - [c11]Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
A Framework for Scheduler Synthesis. RTSS 1999: 154-163 - [c10]Stavros Tripakis:
Timed Diagnostics for Reachability Properties. TACAS 1999: 59-73 - 1998
- [b1]Stavros Tripakis:
L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice). Joseph Fourier University, Grenoble, France, 1998 - [c9]Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems. CAV 1998: 546-550 - [c8]Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT 1998: 298-302 - [c7]Stavros Tripakis, Sergio Yovine:
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. IEEE Real Time Technology and Applications Symposium 1998: 165-170 - [c6]Conrado Daws, Stavros Tripakis:
Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329 - 1997
- [c5]Sébastien Bornot, Joseph Sifakis, Stavros Tripakis:
Modeling Urgency in Timed Systems. COMPOS 1997: 103-129 - [c4]Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine:
On-the-fly symbolic model checking for real-time systems. RTSS 1997: 25-34 - 1996
- [c3]Stavros Tripakis, Sergio Yovine:
Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243 - [c2]Stavros Tripakis, Costas Courcoubetis:
Extending Promela and Spin for Real Time. TACAS 1996: 329-348 - 1995
- [c1]Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
The Tool KRONOS. Hybrid Systems 1995: 208-219
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-07-30 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
