Concepedia

Nina Moebius

NM

6

Publications

105

Citations

6

H-Index

2007

Active since

Affiliations

University of Augsburg(Current)

Augsburg University

Nina Moebius is an author at University of Augsburg specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationVerificationData SecuritySoftware DesignSystem SoftwareCryptography

Publications per year

2007–2013

6

Publications

6

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

Nina Moebius, Kurt H. Stenzel, Holger Grandy et al. · 2009 · 31 citations

Engineering, Information Security, Uml Model +24

Generating formal specifications for security-critical applications - A model-driven approach

Nina Moebius, Kurt H. Stenzel, Wolfgang Reif · 2009 · 22 citations

Engineering, Uml Model, Verification +21

Formal verification of QVT transformations for code generation

Kurt H. Stenzel, Nina Moebius, Wolfgang Reif · Software & Systems Modeling · 2013 · 14 citations

Engineering, Program Analysis, Code Generation +9

Model-Driven Development of Secure Service Applications

Marian Borek, Nina Moebius, Kurt H. Stenzel et al. · 2012 · 13 citations

A Modeling Framework for the Development of Provably Secure E-Commerce Applications

Nina Moebius, Dominik Haneberg, Wolfgang Reif et al. · 2007 · 13 citations

Engineering, Usable Security, Information Security +23

Rows per page

1–5 of 6