| 2016 | ICISSP | Declassification of Information with Complex Filter Functions. | Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif |
| 2015 | ER | Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. | Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif |
| 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 |
| 2008 | FM | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
| 2007 | SEFM | ASN1-light: A Verified Message Encoding for Security Protocols. | Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif |
| 2005 | SEFM | Object Oriented Verification Kernels for Secure Java Applications. | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
| 2004 | FORTE | A Construction Kit for Modeling the Security of M-commerce Applications. | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
| 2003 | GI | Design for Trust: Security im M-Commerce. | Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel |
| 2000 | FASE | Formal System Development with KIV. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
| 1998 | FM | KIV 3.0 for Provably Correct Systems. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1997 | CADE | Proving System Correctness with KIV 3.0. | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1993 | STACS | The KIV System: A Tool for Formal Program Development. | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |