| 2013 | RE | Security requirements formalized with OCL in a model-driven approach. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2013 | SEFM | Model Checking of Security-Critical Applications in a Model-Driven Approach. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2012 | ESORICS | Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. | Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif |
| 2012 | MODELS | Incremental development of large, secure smart card applications. | Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif |
| 2012 | SEW | Model-Driven Development of Secure Service Applications. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2011 | MODELS | Formal Verification of QVT Transformations for Code Generation. | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
| 2009 | ICSE | Generating formal specifications for security-critical applications - A model-driven approach. | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2009 | NSS | A Cryptographically t-Private Auction System. | Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert |
| 2007 | ICSEA | A Modeling Framework for the Development of Provably Secure E-Commerce Applications. | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |