The Tool KRONOS. - Conrado Daws; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (Hybrid Systems, 1995)

Analysis of Timed Systems Based on Time-Abstracting Bisimulation. - Stavros Tripakis; Sergio Yovine (CAV, 1996)

Extending Promela and Spin for Real Time. - Stavros Tripakis; Costas Courcoubetis (TACAS, 1996)

Modeling Urgency in Timed Systems. - Sébastien Bornot; Joseph Sifakis; Stavros Tripakis (COMPOS, 1997)

On-the-fly symbolic model checking for real-time systems. - Ahmed Bouajjani; Stavros Tripakis; Sergio Yovine (RTSS, 1997)

Kronos: A Model-Checking Tool for Real-Time Systems. - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (CAV, 1998)

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (FTRTFT, 1998)

Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. - Stavros Tripakis; Sergio Yovine (IEEE Real Time Technology and Applications Symposium, 1998)

Model Checking of Real-Time Reachability Properties Using Abstractions. - Conrado Daws; Stavros Tripakis (TACAS, 1998)

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

Verifying Progress in Timed Systems. - Stavros Tripakis (ARTS, 1999)

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. - Marius Bozga; Oded Maler; Stavros Tripakis (CHARME, 1999)

On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. - Stavros Tripakis; Karine Altisen (World Congress on Formal Methods, 1999)

A Framework for Scheduler Synthesis. - Karine Altisen; Gregor Gößler; Amir Pnueli; Joseph Sifakis; Stavros Tripakis; Sergio Yovine (RTSS, 1999)

Timed Diagnostics for Reachability Properties. - Stavros Tripakis (TACAS, 1999)

Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. - Oleg Botchkarev; Stavros Tripakis (HSCC, 2000)

Undecidable problems of decentralized observation and control. - Stavros Tripakis (CDC, 2001)

A service network architecture for a multi-vehicle search mission. - Marco Zennaro; Jeff Ko; Raja Sengupta 002; Stavros Tripakis (CDC, 2001)

Hybrid Systems Applications: An Oxymoron? - 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 (HSCC, 2001)

Timing Analysis and Code Generation of Vehicle Control Software using Taxys. - Stavros Tripakis; Sergio Yovine (RV@CAV, 2001)

Analysis of Timed Systems Using Time-Abstracting Bisimulations. - Stavros Tripakis; Sergio Yovine (Formal Methods Syst. Des., 2001)

Decentralized diagnosability of regular languages is undecidable. - Raja Sengupta 002; Stavros Tripakis (CDC, 2002)

A Protocol for Loosely Time-Triggered Architectures. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Hervé Marchand; Jean-Pierre Talpin; Stavros Tripakis (EMSOFT, 2002)

Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. - Stavros Tripakis (EMSOFT, 2002)

Fault Diagnosis for Timed Automata. - Stavros Tripakis (FTRTFT, 2002)

Algorithms for the Multi-constrained Routing Problem. - Anuj Puri; Stavros Tripakis (SWAT, 2002)

Automated Composition of Module Chains. - Stavros Tripakis (SC@ETAPS, 2002)

Translating Discrete-Time Simulink to Lustre. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis (EMSOFT, 2003)

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis; Peter Niebert (LCTES, 2003)

Automated Module Composition. - Stavros Tripakis (TACAS, 2003)

Building models of real-time systems from application software. - Joseph Sifakis; Stavros Tripakis; Sergio Yovine (Proc. IEEE, 2003)

Defining and translating a "safe" subset of simulink/stateflow into lustre. - Norman Scaife; Christos Sofronis; Paul Caspi; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2004)

Real-Time Testing with Timed Automata Testers and Coverage Criteria. - Moez Krichen; Stavros Tripakis (FORMATS/FTRTFT, 2004)

Automatic Generation of Path Conditions for Timed Systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (ISoLA (Preliminary proceedings), 2004)

Black-Box Conformance Testing for Real-Time Systems. - Moez Krichen; Stavros Tripakis (SPIN, 2004)

Testing Conformance of Real-Time Applications by Automatic Generation of Observers. - Saddek Bensalem; Marius Bozga; Moez Krichen; Stavros Tripakis (RV@ETAPS, 2004)

Undecidable problems of decentralized observation and control on regular languages. - Stavros Tripakis (Inf. Process. Lett., 2004)

Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication. - Stavros Tripakis (IEEE Trans. Autom. Control., 2004)

Two-Phase Distributed Observation Problems. - Stavros Tripakis (ACSD, 2005)

Decentralized Observation Problems. - Stavros Tripakis (CDC/ECC, 2005)

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. - Stavros Tripakis; Christos Sofronis; Norman Scaife; Paul Caspi (EMSOFT, 2005)

Implementation of Timed Automata: An Issue of Semantics or Modeling? - Karine Altisen; Stavros Tripakis (FORMATS, 2005)

Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. - Jean-François Condotta; Gérard Ligozat; Stavros Tripakis (ICTAI, 2005)

Generating Path Conditions for Timed Systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (IFM, 2005)

State Identification Problems for Timed Automata. - Moez Krichen; Stavros Tripakis (TestCom, 2005)

An Expressive and Implementable Formal Framework for Testing Real-Time Systems. - Moez Krichen; Stavros Tripakis (TestCom, 2005)

Checking Timed Büchi Automata Emptiness Efficiently. - Stavros Tripakis; Sergio Yovine; Ahmed Bouajjani (Formal Methods Syst. Des., 2005)

Translating discrete-time simulink to lustre. - Stavros Tripakis; Christos Sofronis; Paul Caspi; Adrian Curic (ACM Trans. Embed. Comput. Syst., 2005)

Monitoring and fault-diagnosis with digital clocks - Karine Altisen; Franck Cassez; Stavros Tripakis (ACSD, 2006)

Communication by sampling in time-sensitive distributed systems. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (EMSOFT, 2006)

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. - Christos Sofronis; Stavros Tripakis; Paul Caspi (EMSOFT, 2006)

State-Identification Problems for Finite-State Transducers. - Moez Krichen; Stavros Tripakis (FATES/RV, 2006)

Interesting Properties of the Real-Time Conformance Relation. - Moez Krichen; Stavros Tripakis (ICTAC, 2006)

Deep Random Search for Efficient Model Checking of Timed Automata. - Radu Grosu; Xiaowan Huang; Scott A. Smolka; Wenkai Tan; Stavros Tripakis (Monterey Workshop, 2006)

Ultimately Periodic Simple Temporal Problems (UPSTPs). - Jean-François Condotta; Gérard Ligozat; Mahmoud Saade; Stavros Tripakis (TIME, 2006)

Folk theorems on the determinization and minimization of timed automata. - Stavros Tripakis (Inf. Process. Lett., 2006)

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. - Franck Cassez; Stavros Tripakis; Karine Altisen (ACSD, 2007)

Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. - Stavros Tripakis (Runtime Verification, 2007)

Loosely time-triggered architectures based on communication-by-sampling. - Albert Benveniste; Paul Caspi; Marco Di Natale; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (EMSOFT, 2007)

Test Case Generation for Ultimately Periodic Paths. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis; Lenore D. Zuck (Haifa Verification Conference, 2007)

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. - Saddek Bensalem; Moez Krichen; Lotfi Majdoub; Riadh Robbana; Stavros Tripakis (ISoLA, 2007)

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. - Franck Cassez; Stavros Tripakis; Karine Altisen (TASE, 2007)

Synchronous Programming. - Paul Caspi; Stavros Tripakis; Pascal Raymond (Handbook of Real-Time and Embedded Systems, 2007)

Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. - Roberto Lublinerman; Stavros Tripakis (DATE, 2008)

Translating data flow to synchronous block diagrams. - Roberto Lublinerman; Stavros Tripakis (ESTIMedia, 2008)

Modular Code Generation from Triggered and Timed Block Diagrams. - Roberto Lublinerman; Stavros Tripakis (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Resource-Aware Verification Using Randomized Exploration of Large State Spaces. - Nazha Abed; Stavros Tripakis; Jean-Marc Vincent (SPIN, 2008)

Fault Diagnosis with Static and Dynamic Observers. - Franck Cassez; Stavros Tripakis (Fundam. Informaticae, 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)

Automatic generation of path conditions for concurrent timed systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (Theor. Comput. Sci., 2008)

Semantics-preserving multitask implementation of synchronous programs. - Paul Caspi; Norman Scaife; Christos Sofronis; Stavros Tripakis (ACM Trans. Embed. Comput. Syst., 2008)

On relational interfaces. - Stavros Tripakis; Ben Lickly; Thomas A. Henzinger; Edward A. Lee (EMSOFT, 2009)

Actors without Directors: A Kahnian View of Heterogeneous Systems. - Paul Caspi; Albert Benveniste; Roberto Lublinerman; Stavros Tripakis (HSCC, 2009)

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. - Kyungmin Bae; Peter Csaba Ölveczky; Thomas Huining Feng; Stavros Tripakis (ICFEM, 2009)

Scalable Semantic Annotation Using Lattice-Based Ontologies. - Man-Kit Leung; Thomas Mandl 002; Edward A. Lee; Elizabeth Latronico; Charles P. Shelton; Stavros Tripakis; Ben Lickly (MoDELS, 2009)

Modular code generation from synchronous block diagrams: modularity vs. code size. - Roberto Lublinerman; Christian Szegedy; Stavros Tripakis (POPL, 2009)

A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. - Stavros Tripakis (RV, 2009)

Conformance testing for real-time systems. - Moez Krichen; Stavros Tripakis (Formal Methods Syst. Des., 2009)

Checking timed Büchi automata emptiness on simulation graphs. - Stavros Tripakis (ACM Trans. Comput. Log., 2009)

Exploring models of computation with ptolemy II. - Christopher X. Brooks; Edward A. Lee; Stavros Tripakis (CODES+ISSS, 2010)

Modal Models in Ptolemy. - Edward A. Lee; Stavros Tripakis (EOOLT, 2010)

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. - Stavros Tripakis; Dai N. Bui; Bert Rodiers; Edward A. Lee (ICCPS, 2010)

Fault Diagnosis with Dynamic Observers - Franck Cassez; Stavros Tripakis (CoRR, 2010)

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 (CODES+ISSS, 2011)

The earlier the better: a theory of timed actor interfaces. - Marc Geilen; Stavros Tripakis; Maarten Wiggers (HSCC, 2011)

A Theory of Synchronous Relational Interfaces. - Stavros Tripakis; Ben Lickly; Thomas A. Henzinger; Edward A. Lee (ACM Trans. Program. Lang. Syst., 2011)

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 (DAC, 2012)

An overview of the career of Paul Caspi. - Albert Benveniste; Edward A. Lee; Marc Pouzet; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2012)

Viewpoints, formalisms, languages, and tools for cyber-physical systems. - David Broman; Edward A. Lee; Stavros Tripakis; Martin Törngren (MPM@MoDELS, 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)

Fault Diagnosis of Timed Systems. - Franck Cassez; Stavros Tripakis (Communicating Embedded Systems, 2013)

Determinate composition of FMUs for co-simulation. - David Broman; Christopher X. Brooks; Lev Greenberg; Edward A. Lee; Michael Masin; Stavros Tripakis; Michael Wetter (EMSOFT, 2013)

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. - Magnus Persson 001; Martin Törngren; Ahsan Qamar; Jonas Westman; Matthias Biehl; Stavros Tripakis; Hans Vangheluwe; Joachim Denil (EMSOFT, 2013)

On the Verification of Timed Discrete-Event Models. - Christos Stergiou 001; Stavros Tripakis; Eleftherios Matsikoudis; Edward A. Lee (FORMATS, 2013)

Cyber-physical system design contracts. - Patricia Derler; Edward A. Lee; Stavros Tripakis; Martin Törngren (ICCPS, 2013)

Error-Completion in Interface Theories. - Stavros Tripakis; Christos Stergiou 001; Manfred Broy; Edward A. Lee (SPIN, 2013)

A modular formal semantics for Ptolemy. - Stavros Tripakis; Christos Stergiou 001; Chris Shaver; Edward A. Lee (Math. Struct. Comput. Sci., 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)

Library-based scalable refinement checking for contract-based design. - Antonio Iannopollo; Pierluigi Nuzzo 002; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (DATE, 2014)

Refinement calculus of reactive systems. - Viorel Preoteasa; Stavros Tripakis (EMSOFT, 2014)

Feedback in Synchronous Relational Interfaces. - Stavros Tripakis; Chris Shaver (FPS@ETAPS, 2014)

Synthesizing Finite-State Protocols from Scenarios and Requirements. - Rajeev Alur; Milo M. K. Martin; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (Haifa Verification Conference, 2014)

Game theoretic secure localization in wireless sensor networks. - Susmit Jha; Stavros Tripakis; Sanjit A. Seshia; Krishnendu Chatterjee (IOT, 2014)

Are interface theories equivalent to contract theories? - Pierluigi Nuzzo 002; Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2014)

On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. - Stavros Tripakis; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang (ICSAMOS, 2014)

Basic Problems in Multi-View Modeling. - Jan Reineke 001; Stavros Tripakis (TACAS, 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 (WODES, 2014)

Optimized implementation of synchronous models on industrial LTTA systems. - Marco Di Natale; Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (J. Syst. Archit., 2014)

Automatic Completion of Distributed Protocols with Symmetry. - Rajeev Alur; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (CAV (2), 2015)

Requirements for hybrid cosimulation standards. - David Broman; Lev Greenberg; Edward A. Lee; Michael Masin; Stavros Tripakis; Michael Wetter (HSCC, 2015)

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. - Valeriy Vyatkin; Cheng Pang; Stavros Tripakis (IECON, 2015)

Bridging the semantic gap between heterogeneous modeling formalisms and FMI. - Stavros Tripakis (SAMOS, 2015)

Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. - Yang Yang 040; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (SAMOS, 2015)

What's Decidable about Syntax-Guided Synthesis? - Benjamin Caulfield; Markus N. Rabe; Sanjit A. Seshia; Stavros Tripakis (CoRR, 2015)

Translating Hierarchical Block Diagrams into Composite Predicate Transformers. - Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis (CoRR, 2015)

Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. - Maria Pittou; Stavros Tripakis (FACS, 2016)

Learning Moore Machines from Input-Output Traces. - Georgios Giantamidis; Stavros Tripakis (FM, 2016)

Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. - Viorel Preoteasa; Stavros Tripakis (LICS, 2016)

Step revision in hybrid Co-simulation with FMI. - Fabio Cremona; Marten Lohstroh; David Broman; Marco Di Natale; Edward A. Lee; Stavros Tripakis (MEMOCODE, 2016)

Compositional Runtime Enforcement. - Srinivas Pinisetty; Stavros Tripakis (NFM, 2016)

FIDE: an FMI integrated development environment. - Fabio Cremona; Marten Lohstroh; Stavros Tripakis; Christopher X. Brooks; Edward A. Lee (SAC, 2016)

Multi-view consistency for infinitary regular languages. - Maria Pittou; Stavros Tripakis (SAMOS, 2016)

Compositional Semantics and Analysis of Hierarchical Block Diagrams. - Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis (SPIN, 2016)

A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (CoRR, 2016)

Compositional Model-Based System Design and Other Foundations for Mastering Change. - Stavros Tripakis (LNCS Trans. Found. Mastering Chang., 2016)

Compositionality in the Science of System Design. - Stavros Tripakis (Proc. IEEE, 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)

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (FORTE, 2017)

Runtime enforcement of reactive systems using synchronous enforcers. - Srinivas Pinisetty; Partha S. Roop; Steven Smyth; Stavros Tripakis; Reinhard von Hanxleden (SPIN, 2017)

Synthesis of Property-Preserving Mappings. - Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CoRR, 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)

Predictive runtime enforcement. - Srinivas Pinisetty; Viorel Preoteasa; Stavros Tripakis; Thierry Jéron; Yliès Falcone; Hervé Marchand (Formal Methods Syst. Des., 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)

Automatic Synthesis of Distributed Protocols. - Rajeev Alur; Stavros Tripakis (SIGACT News, 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)

When Do We Not Need Complex Assume-Guarantee Rules? - Antti Siirtola; Stavros Tripakis; Keijo Heljanko (ACM Trans. Embed. Comput. Syst., 2017)

Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. - Stavros Tripakis; Roberto Lublinerman (Principles of Modeling, 2018)

Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. - Yunus Emre Sahin; Necmiye Ozay; Stavros Tripakis (DARS, 2018)

Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. - Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (DATE, 2018)

Data-driven and model-based design. - Stavros Tripakis (ICPS, 2018)

Comparison of Two Theorem Provers: Isabelle/HOL and Coq. - Artem Yushkovskiy; Stavros Tripakis (CoRR, 2018)

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. - Maria Pittou; Panagiotis Manolios; Jan Reineke 001; Stavros Tripakis (Sci. Comput. Program., 2018)

Modeling for Verification. - Sanjit A. Seshia; Natasha Sharygina; Stavros Tripakis (Handbook of Model Checking, 2018)

Automated Synthesis of Secure Platform Mappings. - Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2019)

Cross-Layer Interactions in CPS for Performance and Certification. - Samarjit Chakraborty; James H. Anderson; Martin Becker 001; Helmut Graeb; Samiran Halder; Ravindra Metta; Lothar Thiele; Stavros Tripakis; Anand Yeolekar (DATE, 2019)

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (VMCAI, 2019)

Constrained synthesis from component libraries. - Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (Sci. Comput. Program., 2019)

Hybrid co-simulation: it's about time. - Fabio Cremona; Marten Lohstroh; David Broman; Edward A. Lee; Michael Masin; Stavros Tripakis (Softw. Syst. Model., 2019)

Basic problems in multi-view modeling. - Jan Reineke 001; Christos Stergiou 001; Stavros Tripakis (Softw. Syst. Model., 2019)

Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. - Georgios Giantamidis; Stylianos Basagiannis; Stavros Tripakis (SAFECOMP, 2020)

Automated Attacker Synthesis for Distributed Protocols. - Max von Hippel; Cole Vick; Stavros Tripakis; Cristina Nita-Rotaru (SAFECOMP, 2020)

The Refinement Calculus of Reactive Systems Toolset. - Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis (Int. J. Softw. Tools Technol. Transf., 2020)

Design and Analysis of a Logless Dynamic Reconfiguration Protocol. - William Schultz; Siyuan Zhou; Ian Dardik; Stavros Tripakis (OPODIS, 2021)

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. - William Schultz; Siyuan Zhou; Stavros Tripakis (DISC, 2021)

Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. - William Schultz; Siyuan Zhou; Stavros Tripakis (CoRR, 2021)

Compositional runtime enforcement revisited. - Srinivas Pinisetty; Ankit Pradhan; Partha S. Roop; Stavros Tripakis (Formal Methods Syst. Des., 2021)

Learning Moore machines from input-output traces. - Georgios Giantamidis; Stavros Tripakis; Stylianos Basagiannis (Int. J. Softw. Tools Technol. Transf., 2021)

Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Zenodo, 2021)

Formal verification of a distributed dynamic reconfiguration protocol. - William Schultz; Ian Dardik; Stavros Tripakis (CPP, 2022)

Mapping Synthesis for Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; Eunsuk Kang; Stavros Tripakis (CSF, 2022)

Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. - Lisa Oakley; Alina Oprea; Stavros Tripakis (CSF, 2022)

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. - William Schultz; Ian Dardik; Stavros Tripakis (FMCAD, 2022)

On Neural Network Equivalence Checking Using SMT Solvers. - Charis Eleftheriadis; Nikolaos Kekatos; Panagiotis Katsaros; Stavros Tripakis (FORMATS, 2022)

Shield Decentralization for Safe Multi-Agent Reinforcement Learning. - Daniel Melcer; Christopher Amato; Stavros Tripakis (NeurIPS, 2022)

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. - William Schultz; Ian Dardik; Stavros Tripakis (CoRR, 2022)

Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. - Stavros Tripakis; Karen Rudie (IEEE Control. Syst. Lett., 2022)

The refinement calculus of reactive systems. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (Inf. Comput., 2022)

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. - Derek Egolf; Stavros Tripakis (ATVA (1), 2023)

Safe Environmental Envelopes of Discrete Systems. - Rômulo Meira-Góes; Ian Dardik; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2023)

Decoupled Fitness Criteria for Reactive Systems. - Derek Egolf; Stavros Tripakis (SEFM, 2023)

Metrics and methods for robustness evaluation of neural networks with generative models. - Igor Buzhinsky; Arseny Nerinovsky; Stavros Tripakis (Mach. Learn., 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., 2023)

Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. - Daniel Melcer; Christopher Amato; Stavros Tripakis (AAMAS, 2024)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching. - Derek Egolf; William Schultz; Stavros Tripakis (FMCAD, 2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. - Yuhao Zhou; Stavros Tripakis (NFM, 2024)

Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. - Daniel Melcer; Christopher Amato; Stavros Tripakis (RLJ, 2024)

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. - William Schultz; Edward Ashton; Heidi Howard; Stavros Tripakis (CoRR, 2024)

Counterexample classification. - Cole Vick; Eunsuk Kang; Stavros Tripakis (Softw. Syst. Model., 2024)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. - Derek Egolf; Stavros Tripakis (TACAS (2), 2025)