PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rasmussen, Jacob Illum"

Author of the publication

copydeleteadd this publication to your clipboard
Application of Model-Checking Technology to Controller Synthesis.

, , , , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 336-351. Springer, (2010)

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.

Martine Jacob University of Stuttgart

Philipp Jacob Schneider University of Stuttgart

 

Other publications of authors with the same name

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness., , and . FORMATS, volume 3829 of Lecture Notes in Computer Science, page 81-94. Springer, (2005)Optimal scheduling using priced timed automata., , and . SIGMETRICS Performance Evaluation Review, 32 (4): 34-40 (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 Conditional Reachability for Multi-priced Timed Automata., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 234-249. Springer, (2005)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 in System Design, 29 (1): 97-114 (2006)Guided Controller Synthesis for Climate Controller Using Uppaal Tiga., , , and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 227-240. Springer, (2007)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)