Jacob Illum Rasmussen

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Application of Model-Checking Technology to Controller Synthesis. FMCO (2010)
Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) (2010)
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)
Kim Guldstrand Larsen, Jacob Illum Rasmussen
Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. 390 (2-3) (2008)
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS (2007)
Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS (2007)
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS (2006)
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
On using priced timed automata to achieve optimal scheduling. Formal Methods Syst. Des. 29 (1) (2006)
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Optimal scheduling using priced timed automata. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS (2005)
Kim Guldstrand Larsen, Jacob Illum Rasmussen
Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS (2005)
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
Resource-Optimal Scheduling Using Priced Timed Automata. TACAS (2004)
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Priced Timed Automata: Algorithms and Applications. FMCO (2004)