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 × 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 DBLP: Nyman:Ulrik

Contributed to:

CBSE 20152015
FASE 20122012
FoSSaCS 20082008
ESOP 20072007
FM 20062006

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

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.