Nina Moebius

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