The following pages link to (Q4417927):
Displayed 15 items.
- Better abstractions for timed automata (Q342707) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Updatable timed automata (Q1885906) (← links)
- Certifying emptiness of timed Büchi automata (Q1996011) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Configurable verification of timed automata with discrete variables (Q2120808) (← links)
- Untangling the graphs of timed automata to decrease the number of clocks (Q2165509) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis (Q3648823) (← links)
- Checking Timed Büchi Automata Emptiness Using LU-Abstractions (Q3648834) (← links)
- Verified Certification of Reachability Checking for Timed Automata (Q5039522) (← links)
- Lazy Reachability Checking for Timed Automata with Discrete Variables (Q5883582) (← links)