Travelled to:1 × Estonia
1 × Hungary
1 × Portugal
2 × Canada
Collaborated with:K.G.Larsen A.Wasowski A.Antonik M.Huth S.S.Bauer A.David R.Hennicker A.Legay J.H.Kim A.Boudjadar M.Mikucionis K.G.Larsen A.Skou I.Lee L.T.X.Phan
Talks about:interfac (2) automata (2) specif (2) modal (2) hierarch (1) contract (1) schedul (1) quantit (1) product (1) problem (1)
Person: Ulrik Nyman
DBLP: Nyman:Ulrik
Contributed to:
2015
2012
2008
2007
2006Wrote 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.
- FASE-2012-BauerDHLLNW #component #contract #design #specification
- Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
- FoSSaCS-2008-AntonikHLNW #complexity #problem #specification
- Complexity of Decision Problems for Mixed and Modal Specifications (AA, MH, KGL, UN, AW), pp. 112–126.
- ESOP-2007-LarsenNW #automaton #interface #product line
- Modal I/O Automata for Interface and Product Line Theories (KGL, UN, AW), pp. 64–79.
- FM-2006-LarsenNW #automaton #interface
- Interface Input/Output Automata (KGL, UN, AW), pp. 82–97.