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: Moebius:Nina
Contributed to:
2013
2011Wrote 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.