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: Skou:Arne
Facilitated 1 volumes:
EdContributed to:
2015
2009
2003
2001
1989Wrote 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.