The Refinement Calculus of Reactive Systems Toolset von Dragomir, Iulia, Preoteasa, Viorel, Tripakis, Stavros

Volltext

Learning Moore machines from input–output traces von Giantamidis, Georgios, Tripakis, Stavros, Basagiannis, Stylianos

Volltext

Compositional runtime enforcement revisited von Pinisetty, Srinivas, Pradhan, Ankit, Roop, Partha, Tripakis, Stavros

Volltext

Compositionality in the Science of System Design von Tripakis, Stavros

Volltext

On tolerance of discrete systems with respect to transition perturbations von Meira-Góes, Rômulo, Kang, Eunsuk, Lafortune, Stéphane, Tripakis, Stavros

Volltext

Supervisory control and reactive synthesis: a comparative introduction von Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Volltext

Folk theorems on the determinization and minimization of timed automata von Tripakis, Stavros

Volltext

Metrics and methods for robustness evaluation of neural networks with generative models von Buzhinsky, Igor, Nerinovsky, Arseny, Tripakis, Stavros

Volltext

Conformance testing for real-time systems von Krichen, Moez, Tripakis, Stavros

Volltext

Decentralized Observation of Discrete-Event Systems: At Least One Can Tell von Tripakis, Stavros, Rudie, Karen

Volltext

The refinement calculus of reactive systems von Preoteasa, Viorel, Dragomir, Iulia, Tripakis, Stavros

Volltext

Counterexample classification von Vick, Cole, Kang, Eunsuk, Tripakis, Stavros

Volltext

Compositional Model-Based System Design and Other Foundations for Mastering Change von Tripakis, Stavros

Volltext

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings von Fahrenberg, Uli, Tripakis, Stavros

Volltext

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems von Zhou, Yuhao, Tripakis, Stavros

Volltext

Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality von Tripakis, Stavros, Lublinerman, Roberto

Volltext

Constrained synthesis from component libraries von Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Volltext

Checking timed Büchi automata emptiness on simulation graphs von Tripakis, Stavros

Volltext

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms von Egolf, Derek, Tripakis, Stavros

Volltext

Predictive runtime verification of timed properties von Pinisetty, Srinivas, Jéron, Thierry, Tripakis, Stavros, Falcone, Yliès, Marchand, Hervé, Preoteasa, Viorel

Volltext