 | 2009 |
|---|
| 11 |       | Ulrik H. Hjort,
Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
Michael A. Petersen,
Arne Skou:
Model-Based GUI Testing Using Uppaal at Novo Nordisk.
FM 2009: 814-818 |
| 2008 |
|---|
| 10 | | Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Optimal reachability for multi-priced timed automata.
Theor. Comput. Sci. 390(2-3): 197-213 (2008) |
| 2007 |
|---|
| 9 | | Jan Jakob Jessen,
Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.
FORMATS 2007: 227-240 |
| 8 | | Jacob Illum Rasmussen,
Gerd Behrmann,
Kim Guldstrand Larsen:
Complexity in Simplicity: Flexible Agent-Based State Space Exploration.
TACAS 2007: 231-245 |
| 2006 |
|---|
| 7 | | Patricia Bouyer,
Kim Guldstrand Larsen,
Nicolas Markey,
Jacob Illum Rasmussen:
Almost Optimal Strategies in One Clock Priced Timed Games.
FSTTCS 2006: 345-356 |
| 6 | | Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
K. Subramani:
On using priced timed automata to achieve optimal scheduling.
Formal Methods in System Design 29(1): 97-114 (2006) |
| 2005 |
|---|
| 5 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.
FORMATS 2005: 81-94 |
| 4 | | Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Optimal Conditional Reachability for Multi-priced Timed Automata.
FoSSaCS 2005: 234-249 |
| 3 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Optimal scheduling using priced timed automata.
SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005) |
| 2004 |
|---|
| 2 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Priced Timed Automata: Algorithms and Applications.
FMCO 2004: 162-182 |
| 1 | | Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
K. Subramani:
Resource-Optimal Scheduling Using Priced Timed Automata.
TACAS 2004: 220-235 |
