| Designing & evaluating a cognitive prosthetic for people with mild dementia | 11 | 0.93 | 2010 |
| Modeling and Assessment of Systems Security | 0 | 0.34 | 2008 |
| Timed Automata: Semantics, Algorithms and Tools | 346 | 12.78 | 2003 |
| On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata | 22 | 1.15 | 2003 |
| UPPAAL Implementation Secrets | 44 | 2.72 | 2002 |
| Automated verification of an audio-control protocol using Uppaal | 20 | 1.09 | 2002 |
| UPPAAL - Now, Next, and Future | 39 | 2.49 | 2000 |
| Partial Order Reductions for Timed Systems | 92 | 3.81 | 1998 |
| UPPAAL in 1995 | 34 | 5.56 | 1996 |
| Verification of an Audio Protocol with Bus Collision Using UPPAAL | 72 | 9.50 | 1996 |
| UPPAAL—a tool suite for automatic verification of real-time systems | 368 | 20.50 | 1995 |
