The following pages link to (Q4270073):
Displaying 23 items.
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Partial-order reduction techniques for real-time model checking (Q1125430) (← links)
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← links)
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- Product interval automata (Q1847544) (← links)
- A partial order approach to branching time logic model checking. (Q1854268) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- Modular synthesis of timed circuits using partial orders on LPNs (Q2842584) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- (Q4738472) (← links)
- Dynamic partial-order reduction for model checking software (Q5276139) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308414) (← links)
- Automated Technology for Verification and Analysis (Q5394201) (← links)
- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets (Q5500554) (← links)
- (Q5875377) (← links)
- Urgent Partial Order Reduction for Extended Timed Automata (Q6485866) (← links)
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (Q6649454) (← links)
