Jacob Illum Rasmussen

14 papers A 2B 2Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2010	—	`conf`	Application of Model-Checking Technology to Controller Synthesis. FMCO Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
2010	—	`conf`	Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
2009	B	`conf`	Model-Based GUI Testing Using Uppaal at Novo Nordisk. FM Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou
2008	J	`jnl`	Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. Kim Guldstrand Larsen, Jacob Illum Rasmussen
2007	A	`conf`	Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
2007	—	`conf`	Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
2006	—	`conf`	Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
2006	J	`jnl`	On using priced timed automata to achieve optimal scheduling. Formal Methods Syst. Des. Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
2005	—	`conf`	Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
2005	B	`conf`	Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS Kim Guldstrand Larsen, Jacob Illum Rasmussen
2005	J	`jnl`	Optimal scheduling using priced timed automata. SIGMETRICS Perform. Evaluation Rev. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
2004	—	`conf`	Priced Timed Automata: Algorithms and Applications. FMCO Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
2004	A	`conf`	Resource-Optimal Scheduling Using Priced Timed Automata. TACAS Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani