BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rasmussen:Jacob_Illum

Contributed to:

FM 20092009
TACAS 20072007
FoSSaCS 20052005
TACAS 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.