Search the dblp DataBase

Publications of Author

1. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
   Priced Timed Automata: Algorithms and Applications. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:162-182 [Conf]
   
2. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
   Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2005, pp:81-94 [Conf]
   
3. Kim Guldstrand Larsen, Jacob Illum Rasmussen
   Optimal Conditional Reachability for Multi-priced Timed Automata. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2005, pp:234-249 [Conf]
   
4. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
   Almost Optimal Strategies in One Clock Priced Timed Games. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2006, pp:345-356 [Conf]
   
5. Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
   Resource-Optimal Scheduling Using Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:220-235 [Conf]
   
6. Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
   On using priced timed automata to achieve optimal scheduling. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:29, n:1, pp:97-114 [Journal]
   
7. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
   Optimal scheduling using priced timed automata. [Citation Graph (0, 0)][DBLP]
   SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:34-40 [Journal]
   
8. Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
   Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2007, pp:227-240 [Conf]
   
9. Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
   Complexity in Simplicity: Flexible Agent-Based State Space Exploration. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:231-245 [Conf]
   
10. 
    Model-Based GUI Testing Using Uppaal at Novo Nordisk. [Citation Graph (, )][DBLP]