| 2008 |
|---|
| 5 | EE | Anders Hessel,
Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Testing Real-Time Systems Using UPPAAL.
Formal Methods and Testing 2008: 77-117 |
| 2005 |
|---|
| 4 | EE | Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen,
Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study.
EMSOFT 2005: 299-306 |
| 2004 |
|---|
| 3 | EE | Marius Mikucionis,
Kim Guldstrand Larsen,
Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems.
ASE 2004: 396-397 |
| 2 | EE | Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal.
FATES 2004: 79-94 |
| 1 | EE | Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen:
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.
Perspectives of Model-Based Testing 2004 |
