Travelled to:1 × Portugal
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:K.G.Larsen G.Behrmann K.Subramani U.H.Hjort M.A.Petersen A.Skou
Talks about:automata (2) price (2) optim (2) time (2) base (2) use (2) reachabl (1) simplic (1) schedul (1) resourc (1)
Person: Jacob Illum Rasmussen
DBLP: Rasmussen:Jacob_Illum
Contributed to:
2009
2007
20052004Wrote 4 papers:
- FM-2009-HjortRLPS #modelling #testing #user interface #using
- Model-Based GUI Testing Using Uppaal at Novo Nordisk (UHH, JIR, KGL, MAP, AS), pp. 814–818.
- TACAS-2007-RasmussenBL #complexity #flexibility
- Complexity in Simplicity: Flexible Agent-Based State Space Exploration (JIR, GB, KGL), pp. 231–245.
- FoSSaCS-2005-LarsenR #automaton #multi #reachability
- Optimal Conditional Reachability for Multi-priced Timed Automata (KGL, JIR), pp. 234–249.
- TACAS-2004-RasmussenLS #automaton #scheduling #using
- Resource-Optimal Scheduling Using Priced Timed Automata (JIR, KGL, KS), pp. 220–235.