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 × New Zealand
1 × Spain
Collaborated with:
K.Stenzel W.Reif M.Borek
Talks about:
model (2) transform (1) approach (1) generat (1) formal (1) driven (1) critic (1) applic (1) verif (1) secur (1)

Person: Nina Moebius

DBLP DBLP: Moebius:Nina

Contributed to:

SEFM 20132013
MoDELS 20112011

Wrote 2 papers:

SEFM-2013-BorekMSR #approach #model checking #modelling
Model Checking of Security-Critical Applications in a Model-Driven Approach (MB, NM, KS, WR), pp. 76–90.
MoDELS-2011-StenzelMR #code generation #qvt #verification
Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.

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.