Marian Borek - RankMe

15 papers B 1C 2Journal 3Unranked 7

Year	Rank	Type	Title / Venue / Authors
2017	—	`—`	Modellgetriebene Entwicklung sicherer Web Service-Anwendungen. Marian Borek
2016	C	`conf`	Declassification of Information with Complex Filter Functions. ICISSP Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2016	J	`jnl`	Secure Integration of Third Party Components in a Model-Driven Approach. Trans. Large Scale Data Knowl. Centered Syst. Marian Borek, Kurt Stenzel, Kuzman Katkalov, 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
2015	—	`conf`	Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. ER Workshops Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
2015	—	`conf`	Modeling information flow properties with UML. NTMS Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
2014	J	`jnl`	A Model-Driven Approach to Noninterference. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2014	—	`conf`	Formalizing Information Flow Control in a Model-Driven Approach. ICT-EurAsia Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
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	—	`conf`	Model-Driven Development of Information Flow-Secure Systems with IFlow. SocialCom Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
2013	—	`conf`	Security requirements formalized with OCL in a model-driven approach. MoDRE Marian Borek, Nina Moebius, Kurt Stenzel, 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