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 × Italy
1 × The Netherlands
1 × USA
2 × Canada
Collaborated with:
K.G.Larsen B.Nielsen U.H.Hjort J.I.Rasmussen M.A.Petersen A.Hessel P.Pettersson J.H.Kim A.Boudjadar U.Nyman M.Mikucionis K.G.Larsen I.Lee L.T.X.Phan
Talks about:
test (4) time (3) generat (2) uppaal (2) use (2) probabilist (1) hierarch (1) automata (1) schedul (1) quantit (1)

Person: Arne Skou

DBLP DBLP: Skou:Arne

Facilitated 1 volumes:

CAV 1991Ed

Contributed to:

CBSE 20152015
FM 20092009
FATES 20032003
TACAS 20012001
POPL 19891989

Wrote 5 papers:

CBSE-2015-KimBNMLSLP #analysis #probability #scheduling
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.
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.
FATES-2003-HesselLNPS #generative #realtime #testing #using
Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.
TACAS-2001-NielsenS #automation #automaton #generative #testing
Automated Test Generation from Timed Automata (BN, AS), pp. 343–357.
POPL-1989-LarsenS #bisimulation #probability #testing
Bisimulation Through Probabilistic Testing (KGL, AS), pp. 344–352.

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.