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)

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)

Modellgetriebene Entwicklung sicherer Web Service-Anwendungen. - Marian Borek (2017)