Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata | 53 | 3.55 | 2001 |
| Efficient Guiding Towards Cost-Optimality in UPPAAL | 64 | 3.93 | 2001 |
| UPPAAL - Now, Next, and Future | 39 | 2.49 | 2000 |
| Distributing Timed Model Checking - How the Search Order Matters | 56 | 5.24 | 2000 |
| A Case Study on Using Automata in Control Synthesis | 2 | 0.42 | 2000 |
| Bisimulation and Open Maps for Timed Transition Systems | 8 | 0.48 | 1999 |
| Timed Bisimulation and Open Maps | 8 | 0.50 | 1998 |