Reuse of Proofs in Software Verification. - Wolfgang Reif; Kurt Stenzel (FSTTCS, 1993)

The KIV System: A Tool for Formal Program Development. - Rainer Drexler; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Werner Stephan 001; Andreas Wolpers (STACS, 1993)

Formal Specification and Verification Using KIV. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FTRTFT, 1994)

Tactics in KIV. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (J. Inf. Process. Cybern., 1994)

Three Selected Case Studies in Verification. - Thomas Fuchß; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (KORSO Book, 1995)

Proving System Correctness with KIV 3.0. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (CADE, 1997)

Proving System Correctness with KIV. - Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (TAPSOFT, 1997)

KIV 3.0 for Provably Correct Systems. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

VSE: Controlling the Complexity in Formal Software Developments. - Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan 001; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

Formal System Development with KIV. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Andreas Thums (FASE, 2000)

A Method for Secure Smartcard Applications. - Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (AMAST, 2002)

Design for Trust: Security im M-Commerce. - Dominik Haneberg; Alexander Kreibich; Wolfgang Reif; Kurt Stenzel (GI Jahrestagung (1), 2003)

A Formally Verified Calculus for Full Java Card. - Kurt Stenzel (AMAST, 2004)

A Construction Kit for Modeling the Security of M-commerce Applications. - Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (FORTE Workshops, 2004)

Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. - Dominik Haneberg; Kurt Stenzel; Wolfgang Reif (Workshop Mobile Commerce, 2004)

Object Oriented Verification Kernels for Secure Java Applications. - Holger Grandy; Kurt Stenzel; Wolfgang Reif (SEFM, 2005)

Verification of Java card programs. - Kurt Stenzel (2005)

Developing Provable Secure M-Commerce Applications. - Holger Grandy; Dominik Haneberg; Wolfgang Reif; Kurt Stenzel (ETRICS, 2006)

A Refinement Method for Java Programs. - Holger Grandy; Kurt Stenzel; Wolfgang Reif (FMOODS, 2007)

ASN1-light: A Verified Message Encoding for Security Protocols. - Holger Grandy; Robert Bertossi; Kurt Stenzel; Wolfgang Reif (SEFM, 2007)

Verification of Java Programs with Generics. - Kurt Stenzel; Holger Grandy; Wolfgang Reif (AMAST, 2008)

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. - Holger Grandy; Markus Bischof; Kurt Stenzel; Gerhard Schellhorn; Wolfgang Reif (FM, 2008)

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. - Nina Moebius; Kurt Stenzel; Holger Grandy; Wolfgang Reif (ARES, 2009)

Model-Driven Code Generation for Secure Smart Card Applications. - Nina Moebius; Kurt Stenzel; Holger Grandy; Wolfgang Reif (Australian Software Engineering Conference, 2009)

Generating formal specifications for security-critical applications - A model-driven approach. - Nina Moebius; Kurt Stenzel; Wolfgang Reif (SESS@ICSE, 2009)

Pitfalls in Formal Reasoning about Security Protocols. - Nina Moebius; Kurt Stenzel; Wolfgang Reif (ARES, 2010)

Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. - Nina Moebius; Kurt Stenzel; Wolfgang Reif (ESSoS, 2010)

Mondex: Engineering a Provable Secure Electronic Purse. - Dominik Haneberg; Nina Moebius; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (Int. J. Softw. Informatics, 2011)

Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. - Kuzman Katkalov; Peter Fischer; Kurt Stenzel; Nina Moebius; Wolfgang Reif (DPM/SETOP, 2012)

Incremental development of large, secure smart card applications. - Nina Moebius; Kurt Stenzel; Marian Borek; Wolfgang Reif (MDsec@MoDELS, 2012)

Model-Driven Testing of Security Protocols with SecureMDD. - Kuzman Katkalov; Nina Moebius; Kurt Stenzel; Marian Borek; Wolfgang Reif (NTMS, 2012)

Model-Driven Development of Secure Service Applications. - Marian Borek; Nina Moebius; Kurt Stenzel; Wolfgang Reif (SEW, 2012)

Security requirements formalized with OCL in a model-driven approach. - Marian Borek; Nina Moebius; Kurt Stenzel; Wolfgang Reif (MoDRE, 2013)

Model Checking of Security-Critical Applications in a Model-Driven Approach. - Marian Borek; Nina Moebius; Kurt Stenzel; Wolfgang Reif (SEFM, 2013)

Model-Driven Development of Information Flow-Secure Systems with IFlow. - Kuzman Katkalov; Kurt Stenzel; Marian Borek; Wolfgang Reif (SocialCom, 2013)

Formalizing Information Flow Control in a Model-Driven Approach. - Kurt Stenzel; Kuzman Katkalov; Marian Borek; Wolfgang Reif (ICT-EurAsia, 2014)

Modeling test cases for security protocols with SecureMDD. - Kuzman Katkalov; Nina Moebius; Kurt Stenzel; Marian Borek; Wolfgang Reif (Comput. Networks, 2014)

A Model-Driven Approach to Noninterference. - Kurt Stenzel; Kuzman Katkalov; Marian Borek; Wolfgang Reif (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. - Marian Borek; Kuzman Katkalov; Nina Moebius; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (Correct Software in Web Applications and Web Services, 2015)

Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. - Marian Borek; Kurt Stenzel; Kuzman Katkalov; Wolfgang Reif (ER Workshops, 2015)

Modeling information flow properties with UML. - Kuzman Katkalov; Kurt Stenzel; Marian Borek; Wolfgang Reif (NTMS, 2015)

Formal verification of QVT transformations for code generation. - Kurt Stenzel; Nina Moebius; Wolfgang Reif (Softw. Syst. Model., 2015)

Declassification of Information with Complex Filter Functions. - Kurt Stenzel; Kuzman Katkalov; Marian Borek; Wolfgang Reif (ICISSP, 2016)

Secure Integration of Third Party Components in a Model-Driven Approach. - Marian Borek; Kurt Stenzel; Kuzman Katkalov; Wolfgang Reif (Trans. Large Scale Data Knowl. Centered Syst., 2016)

Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. - Kuzman Katkalov; Kurt Stenzel; Wolfgang Reif (SpaCCS Workshops, 2017)