Priced Timed Automata: Algorithms and Applications. - Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen (FMCO, 2004)

Resource-Optimal Scheduling Using Priced Timed Automata. - Jacob Illum Rasmussen; Kim Guldstrand Larsen; K. Subramani 001 (TACAS, 2004)

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. - Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen (FORMATS, 2005)

Optimal Conditional Reachability for Multi-priced Timed Automata. - Kim Guldstrand Larsen; Jacob Illum Rasmussen (FoSSaCS, 2005)

Optimal scheduling using priced timed automata. - Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen (SIGMETRICS Perform. Evaluation Rev., 2005)

Almost Optimal Strategies in One Clock Priced Timed Games. - Patricia Bouyer; Kim Guldstrand Larsen; Nicolas Markey; Jacob Illum Rasmussen (FSTTCS, 2006)

On using priced timed automata to achieve optimal scheduling. - Jacob Illum Rasmussen; Kim Guldstrand Larsen; K. Subramani 001 (Formal Methods Syst. Des., 2006)

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. - Jan Jakob Jessen; Jacob Illum Rasmussen; Kim Guldstrand Larsen; Alexandre David (FORMATS, 2007)

Complexity in Simplicity: Flexible Agent-Based State Space Exploration. - Jacob Illum Rasmussen; Gerd Behrmann; Kim Guldstrand Larsen (TACAS, 2007)

Optimal reachability for multi-priced timed automata. - Kim Guldstrand Larsen; Jacob Illum Rasmussen (Theor. Comput. Sci., 2008)

Model-Based GUI Testing Using Uppaal at Novo Nordisk. - Ulrik H. Hjort; Jacob Illum Rasmussen; Kim Guldstrand Larsen; Michael A. Petersen; Arne Skou (FM, 2009)

Application of Model-Checking Technology to Controller Synthesis. - Alexandre David; Jacob Deleuran Grunnet; Jan Jakob Jessen; Kim Guldstrand Larsen; Jacob Illum Rasmussen (FMCO, 2010)

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. - Marius Mikucionis; Kim Guldstrand Larsen; Jacob Illum Rasmussen; Brian Nielsen; Arne Skou; Steen Ulrik Palm; Jan Storbank Pedersen; Poul Hougaard (ISoLA (2), 2010)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)