The following pages link to CONCUR 2005 – Concurrency Theory (Q5897475):
Displayed 22 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- Maximally permissive controller synthesis for time Petri nets (Q2871733) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- On Scheduling Policies for Streams of Structured Jobs (Q3543294) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment (Q3624601) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)