Nina Moebius

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Venues

NTMS

MDsec@MoDELS

SEW

SEFM

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Kurt Stenzel, Nina Moebius, Wolfgang Reif
Formal verification of QVT transformations for code generation. Softw. Syst. Model. 14 (2) (2015)
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Modeling test cases for security protocols with SecureMDD. Comput. Networks 58 (2014)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Security requirements formalized with OCL in a model-driven approach. MoDRE (2013)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM (2013)
Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. DPM/SETOP (2012)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Model-Driven Development of Secure Service Applications. SEW (2012)
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Model-Driven Testing of Security Protocols with SecureMDD. NTMS (2012)
Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Incremental development of large, secure smart card applications. MDsec@MoDELS (2012)
Kurt Stenzel, Nina Moebius, Wolfgang Reif
Formal Verification of QVT Transformations for Code Generation. MoDELS (2011)
Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
-private auction system. Concurr. Comput. Pract. Exp. 23 (12) (2011)
Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Softw. Informatics 5 (1-2) (2011)
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS (2010)
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Pitfalls in Formal Reasoning about Security Protocols. ARES (2010)
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Generating formal specifications for security-critical applications - A model-driven approach. SESS@ICSE (2009)
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Rigorous Methods for Software Construction and Analysis (2009)
Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
A Cryptographically t-Private Auction System. NSS (2009)
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES (2009)
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference (2009)
Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA (2007)

Nina Moebius.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nina Moebius