Stavros Tripakis

214 papers A* 6A 19B 15C 8Misc 19Journal 76Unranked 66

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Can LLMs Perform Synthesis? CoRR Derek Egolf, Yuhao Zhou, Stavros Tripakis
2026	J	`jnl`	LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning. CoRR Medina Andresel, Cristinel Mateis, Dejan Nickovic, Spyridon Kounoupidis, Panagiotis Katsaros, Stavros Tripakis
2026	J	`jnl`	Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties. CoRR Derek Egolf, Stavros Tripakis
2025	—	`conf`	Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. TACAS (2) Derek Egolf, Stavros Tripakis
2025	J	`jnl`	Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. CoRR Derek Egolf, Stavros Tripakis
2025	J	`jnl`	Towards Language Model Guided TLA+ Proof Automation. CoRR Yuhao Zhou, Stavros Tripakis
2024	—	`conf`	Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. NFM Yuhao Zhou, Stavros Tripakis
2024	J	`jnl`	Counterexample classification. Softw. Syst. Model. Cole Vick, Eunsuk Kang, Stavros Tripakis
2024	B	`conf`	Efficient Synthesis of Symbolic Distributed Protocols by Sketching. FMCAD Derek Egolf, William Schultz, Stavros Tripakis
2024	J	`jnl`	Efficient Synthesis of Symbolic Distributed Protocols by Sketching. CoRR Derek Egolf, William Schultz, Stavros Tripakis
2024	J	`jnl`	Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
2024	A	`conf`	Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. AAMAS Daniel Melcer, Christopher Amato, Stavros Tripakis
2024	J	`jnl`	Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. RLJ Daniel Melcer, Christopher Amato, Stavros Tripakis
2023	J	`jnl`	Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. CoRR Yuhao Zhou, Stavros Tripakis
2023	B	`conf`	Decoupled Fitness Criteria for Reactive Systems. SEFM Derek Egolf, Stavros Tripakis
2023	J	`jnl`	Metrics and methods for robustness evaluation of neural networks with generative models. Mach. Learn. Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
2023	J	`jnl`	On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023	—	`conf`	Safe Environmental Envelopes of Discrete Systems. CAV (1) Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023	J	`jnl`	Safe Environmental Envelopes of Discrete Systems. CoRR Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023	—	`conf`	Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) Derek Egolf, Stavros Tripakis
2023	J	`jnl`	Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. CoRR Derek Egolf, Stavros Tripakis
2022	A	`conf`	Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CSF Lisa Oakley, Alina Oprea, Stavros Tripakis
2022	J	`jnl`	Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. IEEE Control. Syst. Lett. Stavros Tripakis, Karen Rudie
2022	J	`jnl`	Decoupled Fitness Criteria for Reactive Systems. CoRR Derek Egolf, Stavros Tripakis
2022	B	`conf`	Formal verification of a distributed dynamic reconfiguration protocol. CPP William Schultz, Ian Dardik, Stavros Tripakis
2022	A	`conf`	Mapping Synthesis for Hyperproperties. CSF Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
2022	—	`conf`	On Neural Network Equivalence Checking Using SMT Solvers. FORMATS Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
2022	J	`jnl`	On Neural Network Equivalence Checking using SMT Solvers. CoRR Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
2022	B	`conf`	Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA FMCAD William Schultz, Ian Dardik, Stavros Tripakis
2022	J	`jnl`	Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. CoRR William Schultz, Ian Dardik, Stavros Tripakis
2022	A*	`conf`	Shield Decentralization for Safe Multi-Agent Reinforcement Learning. NeurIPS Daniel Melcer, Christopher Amato, Stavros Tripakis
2022	J	`jnl`	The refinement calculus of reactive systems. Inf. Comput. Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2021	J	`jnl`	Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CoRR Lisa Oakley, Alina Oprea, Stavros Tripakis
2021	A	`conf`	Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. DISC William Schultz, Siyuan Zhou, Stavros Tripakis
2021	J	`jnl`	Compositional runtime enforcement revisited. Formal Methods Syst. Des. Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis
2021	B	`conf`	Counterexample Classification. SEFM Cole Vick, Eunsuk Kang, Stavros Tripakis
2021	J	`jnl`	Counterexample Classification. CoRR Cole Vick, Eunsuk Kang, Stavros Tripakis
2021	J	`jnl`	Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. CoRR Stavros Tripakis, Karen Rudie
2021	B	`conf`	Design and Analysis of a Logless Dynamic Reconfiguration Protocol. OPODIS William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis
2021	J	`jnl`	Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. CoRR William Schultz, Siyuan Zhou, Stavros Tripakis
2021	J	`jnl`	Formal Verification of a Distributed Dynamic Reconfiguration Protocol. CoRR William Schultz, Ian Dardik, Stavros Tripakis
2021	J	`jnl`	Learning Moore machines from input-output traces. Int. J. Softw. Tools Technol. Transf. Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis
2021	J	`jnl`	On tolerance of discrete systems with respect to transition perturbations. CoRR Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2020	B	`conf`	Automated Attacker Synthesis for Distributed Protocols. SAFECOMP Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
2020	J	`jnl`	Automated Attacker Synthesis for Distributed Protocols. CoRR Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
2020	B	`conf`	Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. SAFECOMP Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis
2020	J	`jnl`	Metrics and methods for robustness evaluation of neural networks with generative models. CoRR Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
2020	J	`jnl`	The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2019	—	`conf`	Automated Synthesis of Secure Platform Mappings. CAV (1) Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2019	J	`jnl`	Basic problems in multi-view modeling. Softw. Syst. Model. Jan Reineke, Christos Stergiou, Stavros Tripakis
2019	J	`jnl`	Constrained synthesis from component libraries. Sci. Comput. Program. Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2019	A	`conf`	Cross-Layer Interactions in CPS for Performance and Certification. DATE Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
2019	J	`jnl`	Hybrid co-simulation: it's about time. Softw. Syst. Model. Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
2019	B	`conf`	Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2018	J	`jnl`	Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
2018	J	`jnl`	Comparison of Two Theorem Provers: Isabelle/HOL and Coq. CoRR Artem Yushkovskiy, Stavros Tripakis
2018	—	`conf`	Data-driven and model-based design. ICPS Stavros Tripakis
2018	A	`conf`	Hybrid Co-simulation: It's About Time. MoDELS Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
2018	—	`ch.`	Modeling for Verification. Handbook of Model Checking Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis
2018	—	`conf`	Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling Stavros Tripakis, Roberto Lublinerman
2018	—	`conf`	Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS Yunus Emre Sahin, Necmiye Ozay, Stavros Tripakis
2018	A	`conf`	Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2018	—	`conf`	The Refinement Calculus of Reactive Systems Toolset. TACAS (2) Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2017	J	`jnl`	Automatic Synthesis of Distributed Protocols. SIGACT News Rajeev Alur, Stavros Tripakis
2017	J	`jnl`	Predictive runtime enforcement. Formal Methods Syst. Des. Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2017	J	`jnl`	Predictive runtime verification of timed properties. J. Syst. Softw. Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
2017	J	`jnl`	Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
2017	—	`conf`	Runtime enforcement of reactive systems using synchronous enforcers. SPIN Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2017	J	`jnl`	Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
2017	J	`jnl`	Synthesis of Property-Preserving Mappings. CoRR Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2017	J	`jnl`	The Refinement Calculus of Reactive Systems Toolset. CoRR Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2017	J	`jnl`	The Refinement Calculus of Reactive Systems. CoRR Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2017	C	`conf`	Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2017	J	`jnl`	When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embed. Comput. Syst. Antti Siirtola, Stavros Tripakis, Keijo Heljanko
2016	J	`jnl`	A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2016	—	`conf`	Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. FACS Maria Pittou, Stavros Tripakis
2016	J	`jnl`	Compositional Model-Based System Design and Other Foundations for Mastering Change. LNCS Trans. Found. Mastering Chang. Stavros Tripakis
2016	—	`conf`	Compositional Runtime Enforcement. NFM Srinivas Pinisetty, Stavros Tripakis
2016	—	`conf`	Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2016	J	`jnl`	Compositionality in the Science of System Design. Proc. IEEE Stavros Tripakis
2016	—	`conf`	Constrained Synthesis from Component Libraries. FACS Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2016	Misc	`conf`	FIDE: an FMI integrated development environment. SAC Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee
2016	B	`conf`	Learning Moore Machines from Input-Output Traces. FM Georgios Giantamidis, Stavros Tripakis
2016	J	`jnl`	Learning Moore Machines from Input-Output Traces. CoRR Georgios Giantamidis, Stavros Tripakis
2016	—	`conf`	Multi-view consistency for infinitary regular languages. SAMOS Maria Pittou, Stavros Tripakis
2016	Misc	`conf`	Predictive runtime enforcement. SAC Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2016	J	`jnl`	Runtime enforcement of reactive systems using synchronous enforcers. CoRR Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2016	C	`conf`	Step revision in hybrid Co-simulation with FMI. MEMOCODE Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
2016	J	`jnl`	Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. J. Signal Process. Syst. Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal
2016	A*	`conf`	Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. LICS Viorel Preoteasa, Stavros Tripakis
2016	J	`jnl`	Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2015	—	`conf`	Automatic Completion of Distributed Protocols with Symmetry. CAV (2) Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015	J	`jnl`	Automatic Completion of Distributed Protocols with Symmetry. CoRR Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015	—	`conf`	Bridging the semantic gap between heterogeneous modeling formalisms and FMI. SAMOS Stavros Tripakis
2015	—	`conf`	Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2015	—	`conf`	Requirements for hybrid cosimulation standards. HSCC David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
2015	J	`jnl`	Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. CoRR Viorel Preoteasa, Stavros Tripakis
2015	C	`conf`	Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON Valeriy Vyatkin, Cheng Pang, Stavros Tripakis
2015	J	`jnl`	Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2015	J	`jnl`	What's Decidable about Syntax-Guided Synthesis? CoRR Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis
2015	—	`conf`	When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD Antti Siirtola, Stavros Tripakis, Keijo Heljanko
2014	C	`conf`	Are interface theories equivalent to contract theories? MEMOCODE Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014	A	`conf`	Basic Problems in Multi-View Modeling. TACAS Jan Reineke, Stavros Tripakis
2014	—	`conf`	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
2014	—	`conf`	Feedback in Synchronous Relational Interfaces. FPS@ETAPS Stavros Tripakis, Chris Shaver
2014	—	`conf`	Game theoretic secure localization in wireless sensor networks. IOT Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee
2014	A	`conf`	Library-based scalable refinement checking for contract-based design. DATE Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014	—	`conf`	On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. ICSAMOS Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang
2014	J	`jnl`	Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2014	J	`jnl`	Refinement Calculus of Reactive Systems. CoRR Viorel Preoteasa, Stavros Tripakis
2014	Misc	`conf`	Refinement calculus of reactive systems. EMSOFT Viorel Preoteasa, Stavros Tripakis
2014	—	`conf`	Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014	J	`jnl`	Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2013	Misc	`conf`	A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. EMSOFT Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil
2013	J	`jnl`	A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee
2013	J	`jnl`	Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee
2013	—	`conf`	Cyber-physical system design contracts. ICCPS Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren
2013	Misc	`conf`	Determinate composition of FMUs for co-simulation. EMSOFT David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
2013	—	`conf`	Error-Completion in Interface Theories. SPIN Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee
2013	—	`ch.`	Fault Diagnosis of Timed Systems. Communicating Embedded Systems Franck Cassez, Stavros Tripakis
2013	—	`conf`	On the Verification of Timed Discrete-Event Models. FORMATS Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee
2012	Misc	`conf`	An overview of the career of Paul Caspi. EMSOFT Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
2012	A*	`conf`	Static dataflow with access patterns: semantics and analysis. DAC Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade
2012	J	`jnl`	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
2012	—	`conf`	Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren
2011	J	`jnl`	A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
2011	Misc	`conf`	Correct and non-defensive glue design using abstract models. CODES+ISSS Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong
2011	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings FORMATS Uli Fahrenberg, Stavros Tripakis
2011	—	`conf`	The earlier the better: a theory of timed actor interfaces. HSCC Marc Geilen, Stavros Tripakis, Maarten Wiggers
2010	—	`conf`	Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ICCPS Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee
2010	Misc	`conf`	Exploring models of computation with ptolemy II. CODES+ISSS Christopher X. Brooks, Edward A. Lee, Stavros Tripakis
2010	J	`jnl`	Fault Diagnosis with Dynamic Observers CoRR Franck Cassez, Stavros Tripakis
2010	—	`conf`	Modal Models in Ptolemy. EOOLT Edward A. Lee, Stavros Tripakis
2010	Misc	`ed.`	Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 EMSOFT Luca P. Carloni, Stavros Tripakis
2009	B	`conf`	A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. RV Stavros Tripakis
2009	—	`conf`	Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
2009	J	`jnl`	Checking timed Büchi automata emptiness on simulation graphs. ACM Trans. Comput. Log. Stavros Tripakis
2009	J	`jnl`	Conformance testing for real-time systems. Formal Methods Syst. Des. Moez Krichen, Stavros Tripakis
2009	A*	`conf`	Modular code generation from synchronous block diagrams: modularity vs. code size. POPL Roberto Lublinerman, Christian Szegedy, Stavros Tripakis
2009	Misc	`conf`	On relational interfaces. EMSOFT Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
2009	A	`conf`	Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly
2009	C	`conf`	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
2008	J	`jnl`	Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2008	J	`jnl`	Fault Diagnosis with Static and Dynamic Observers. Fundam. Informaticae Franck Cassez, Stavros Tripakis
2008	J	`jnl`	Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
2008	A	`conf`	Modular Code Generation from Triggered and Timed Block Diagrams. IEEE Real-Time and Embedded Technology and Applications Symposium Roberto Lublinerman, Stavros Tripakis
2008	A	`conf`	Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE Roberto Lublinerman, Stavros Tripakis
2008	—	`conf`	Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN Nazha Abed, Stavros Tripakis, Jean-Marc Vincent
2008	J	`jnl`	Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
2008	—	`conf`	Translating data flow to synchronous block diagrams. ESTIMedia Roberto Lublinerman, Stavros Tripakis
2007	C	`conf`	A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis
2007	Misc	`conf`	Loosely time-triggered architectures based on communication-by-sampling. EMSOFT Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2007	B	`conf`	Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Runtime Verification Stavros Tripakis
2007	—	`conf`	Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD Franck Cassez, Stavros Tripakis, Karine Altisen
2007	—	`ch.`	Synchronous Programming. Handbook of Real-Time and Embedded Systems Paul Caspi, Stavros Tripakis, Pascal Raymond
2007	Misc	`conf`	Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE Franck Cassez, Stavros Tripakis, Karine Altisen
2007	—	`conf`	Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
2006	Misc	`conf`	A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT Christos Sofronis, Stavros Tripakis, Paul Caspi
2006	Misc	`conf`	Communication by sampling in time-sensitive distributed systems. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2006	—	`conf`	Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis
2006	J	`jnl`	Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. Stavros Tripakis
2006	C	`conf`	Interesting Properties of the Real-Time Conformance Relation. ICTAC Moez Krichen, Stavros Tripakis
2006	—	`conf`	Monitoring and fault-diagnosis with digital clocks ACSD Karine Altisen, Franck Cassez, Stavros Tripakis
2006	—	`conf`	State-Identification Problems for Finite-State Transducers. FATES/RV Moez Krichen, Stavros Tripakis
2006	C	`conf`	Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
2005	—	`conf`	An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom Moez Krichen, Stavros Tripakis
2005	J	`jnl`	Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods Syst. Des. Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani
2005	—	`conf`	Decentralized Observation Problems. CDC/ECC Stavros Tripakis
2005	B	`conf`	Generating Path Conditions for Timed Systems. IFM Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2005	—	`conf`	Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS Karine Altisen, Stavros Tripakis
2005	Misc	`conf`	Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
2005	—	`conf`	State Identification Problems for Timed Automata. TestCom Moez Krichen, Stavros Tripakis
2005	J	`jnl`	Translating discrete-time simulink to lustre. ACM Trans. Embed. Comput. Syst. Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
2005	—	`conf`	Two-Phase Distributed Observation Problems. ACSD Stavros Tripakis
2005	B	`conf`	Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI Jean-François Condotta, Gérard Ligozat, Stavros Tripakis
2004	—	`conf`	Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2004	—	`conf`	Black-Box Conformance Testing for Real-Time Systems. SPIN Moez Krichen, Stavros Tripakis
2004	J	`jnl`	Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication. IEEE Trans. Autom. Control. Stavros Tripakis
2004	Misc	`conf`	Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
2004	—	`conf`	Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT Moez Krichen, Stavros Tripakis
2004	—	`conf`	Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
2004	J	`jnl`	Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. Stavros Tripakis
2003	A	`conf`	Automated Module Composition. TACAS Stavros Tripakis
2003	J	`jnl`	Building models of real-time systems from application software. Proc. IEEE Joseph Sifakis, Stavros Tripakis, Sergio Yovine
2003	—	`conf`	Folk Theorems on the Determinization and Minimization of Timed Automata. FORMATS Stavros Tripakis
2003	B	`conf`	From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
2003	Misc	`conf`	Translating Discrete-Time Simulink to Lustre. EMSOFT Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
2002	Misc	`conf`	A Protocol for Loosely Time-Triggered Architectures. EMSOFT Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
2002	—	`conf`	Algorithms for the Multi-constrained Routing Problem. SWAT Anuj Puri, Stavros Tripakis
2002	A	`conf`	Automated Composition of Module Chains. SC Stavros Tripakis
2002	—	`conf`	Decentralized diagnosability of regular languages is undecidable. CDC Raja Sengupta, Stavros Tripakis
2002	Misc	`conf`	Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. EMSOFT Stavros Tripakis
2002	—	`conf`	Fault Diagnosis for Timed Automata. FTRTFT Stavros Tripakis
2001	—	`conf`	A service network architecture for a multi-vehicle search mission. CDC Marco Zennaro, Jeff Ko, Raja Sengupta, Stavros Tripakis
2001	J	`jnl`	Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods Syst. Des. Stavros Tripakis, Sergio Yovine
2001	—	`conf`	Hybrid Systems Applications: An Oxymoron? HSCC 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
2001	—	`conf`	Timing Analysis and Code Generation of Vehicle Control Software using Taxys. RV@CAV Stavros Tripakis, Sergio Yovine
2001	—	`conf`	Undecidable problems of decentralized observation and control. CDC Stavros Tripakis
2000	—	`conf`	Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. HSCC Oleg Botchkarev, Stavros Tripakis
1999	A	`conf`	A Framework for Scheduler Synthesis. RTSS Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
1999	—	`conf`	Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME Marius Bozga, Oded Maler, Stavros Tripakis
1999	—	`conf`	On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods Stavros Tripakis, Karine Altisen
1999	A	`conf`	Timed Diagnostics for Reachability Properties. TACAS Stavros Tripakis
1999	—	`conf`	Verifying Progress in Timed Systems. ARTS Stavros Tripakis
1998	—	`conf`	KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998	A*	`conf`	Kronos: A Model-Checking Tool for Real-Time Systems. CAV Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998	—	`—`	L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice). Stavros Tripakis
1998	A	`conf`	Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS Conrado Daws, Stavros Tripakis
1998	—	`conf`	Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. IEEE Real Time Technology and Applications Symposium Stavros Tripakis, Sergio Yovine
1997	—	`conf`	Modeling Urgency in Timed Systems. COMPOS Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
1997	A	`conf`	On-the-fly symbolic model checking for real-time systems. RTSS Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
1996	A*	`conf`	Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV Stavros Tripakis, Sergio Yovine
1996	A	`conf`	Extending Promela and Spin for Real Time. TACAS Stavros Tripakis, Costas Courcoubetis
1995	—	`conf`	The Tool KRONOS. Hybrid Systems Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine