( en | de | ru )

 

Disambiguation of "Rasmussen, Jacob Illum"

Author of the publication

copydeleteadd this publication to your clipboard
Priced Timed Automata: Algorithms and Applications.

, , and . FMCO, volume 3657 of Lecture Notes in Computer Science, page 162-182. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Detlef Rasmussen

Jens Rasmussen

Nora Rasmussen

Ove Rasmussen

Maria Rasmussen

 

Other publications of authors with the same name

Tools for Model-Checking Timed Systems., , , , , , , , , and 5 other author(s). Communicating Embedded Systems, Wiley, (2013)Priced Timed Automata: Algorithms and Applications., , and . FMCO, volume 3657 of Lecture Notes in Computer Science, page 162-182. Springer, (2004)Complexity in Simplicity: Flexible Agent-Based State Space Exploration., , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 231-245. Springer, (2007)Optimal Conditional Reachability for Multi-priced Timed Automata., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 234-249. Springer, (2005)Almost Optimal Strategies in One Clock Priced Timed Games., , , and . FSTTCS, volume 4337 of Lecture Notes in Computer Science, page 345-356. Springer, (2006)Schedulability Analysis Using Uppaal: Herschel-Planck Case Study., , , , , , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 175-190. Springer, (2010)Optimal reachability for multi-priced timed automata., and . Theor. Comput. Sci., 390 (2-3): 197-213 (2008)On using priced timed automata to achieve optimal scheduling., , and . Formal Methods Syst. Des., 29 (1): 97-114 (2006)Resource-Optimal Scheduling Using Priced Timed Automata., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 220-235. Springer, (2004)Model-Based GUI Testing Using Uppaal at Novo Nordisk., , , , and . FM, volume 5850 of Lecture Notes in Computer Science, page 814-818. Springer, (2009)