The following pages link to Stavros Tripakis (Q169910):
Displaying 48 items.
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- On neural network equivalence checking using SMT solvers (Q2112128) (← links)
- Learning Moore machines from input-output traces (Q2281639) (← links)
- Mechanically proving determinacy of hierarchical block diagram translations (Q2287118) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Predictive runtime enforcement (Q2402553) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- On the Verification of Timed Discrete-Event Models (Q2842672) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Checking timed Büchi automata emptiness on simulation graphs (Q2946573) (← links)
- The earlier the better (Q2986710) (← links)
- Requirements for hybrid cosimulation standards (Q2988935) (← links)
- Algorithms for the Multi-constrained Routing Problem (Q3046509) (← links)
- (Q3152831) (← links)
- Modeling for Verification (Q3176361) (← links)
- Interesting Properties of the Real-Time Conformance Relation tioco (Q3525158) (← links)
- (Q3602752) (← links)
- Actors without Directors: A Kahnian View of Heterogeneous Systems (Q3624561) (← links)
- (Q4417937) (← links)
- (Q4439565) (← links)
- (Q4439585) (← links)
- (Q4493880) (← links)
- (Q4503927) (← links)
- Implementing Synchronous Models on Loosely Time Triggered Architectures (Q4564085) (← links)
- Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems (Q4635940) (← links)
- (Q4953384) (← links)
- Feedback in Synchronous Relational Interfaces (Q5170752) (← links)
- Modular code generation from synchronous block diagrams (Q5261507) (← links)
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication (Q5273868) (← links)
- Model Checking Software (Q5308369) (← links)
- Fault Diagnosis for Timed Automata (Q5392291) (← links)
- Generating Path Conditions for Timed Systems (Q5429305) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464743) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717493) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897968) (← links)
- Analysis of timed systems using time-abstracting bisimulations (Q5929099) (← links)
- Metrics and methods for robustness evaluation of neural networks with generative models (Q6053812) (← links)
- (Q6083447) (← links)
- Compositional runtime enforcement revisited (Q6108437) (← links)
- (Q6128594) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- Safe environmental envelopes of discrete systems (Q6535638) (← links)
- Decoupled fitness criteria for reactive systems (Q6550594) (← links)
