Jacob Illum Rasmussen

According to our database, Jacob Illum Rasmussen authored at least 14 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Application of Model-Checking Technology to Controller Synthesis.

Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Model-Based GUI Testing Using Uppaal at Novo Nordisk.

Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou

Proceedings of the FM 2009: Formal Methods, 2009

2008

Optimal reachability for multi-priced timed automata.

Kim Guldstrand Larsen, Jacob Illum Rasmussen

Theor. Comput. Sci., 2008

2007

Complexity in Simplicity: Flexible Agent-Based State Space Exploration.

Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.

Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

On using priced timed automata to achieve optimal scheduling.

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani

Formal Methods Syst. Des., 2006

Almost Optimal Strategies in One Clock Priced Timed Games.

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

Optimal scheduling using priced timed automata.

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

SIGMETRICS Perform. Evaluation Rev., 2005

Optimal Conditional Reachability for Multi-priced Timed Automata.

Kim Guldstrand Larsen, Jacob Illum Rasmussen

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004

Resource-Optimal Scheduling Using Priced Timed Automata.

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Priced Timed Automata: Algorithms and Applications.

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Proceedings of the Formal Methods for Components and Objects, 2004