The following pages link to Thierry Jéron (Q487255):
Displaying 31 items.
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Testing for unboundedness of fifo channels (Q685434) (← links)
- Computing maximally-permissive strategies in acyclic timed automata (Q1996019) (← links)
- Active learning of timed automata with unobservable resets (Q1996023) (← links)
- Incremental methods for checking real-time consistency (Q1996034) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Predictive runtime enforcement (Q2402553) (← links)
- Enforcement of (Timed) Properties with Uncontrollable Events (Q2787448) (← links)
- Test Generation from Recursive Tiles Systems (Q2900183) (← links)
- A Game Approach to Determinize Timed Automata (Q3000613) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Off-line test selection with test purposes for non-deterministic timed automata (Q3166229) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues (Q3623935) (← links)
- (Q4035681) (← links)
- (Q4035702) (← links)
- (Q4222813) (← links)
- (Q4422071) (← links)
- (Q4471927) (← links)
- (Q4472265) (← links)
- Optimal enforcement of (timed) properties with uncontrollable events (Q4559604) (← links)
- Ensuring the conformance of reactive discrete-event systems by means of supervisory control (Q4671279) (← links)
- (Q4785544) (← links)
- (Q4817537) (← links)
- (Q4942008) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703771) (← links)
- FM 2005: Formal Methods (Q5716876) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Formal Approaches to Software Testing (Q5902015) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)
