Kurt Stenzel - RankMe

46 papers A 3B 7C 2Journal 6Unranked 25

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. SpaCCS Workshops Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif
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	J	`jnl`	Formal verification of QVT transformations for code generation. Softw. Syst. Model. Kurt Stenzel, Nina Moebius, 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`	Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. DPM/SETOP Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, 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
2011	A	`conf`	Formal Verification of QVT Transformations for Code Generation. MoDELS Kurt Stenzel, Nina Moebius, Wolfgang Reif
2011	J	`jnl`	Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Softw. Informatics Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
2010	—	`conf`	Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS Nina Moebius, Kurt Stenzel, Wolfgang Reif
2010	B	`conf`	Pitfalls in Formal Reasoning about Security Protocols. ARES Nina Moebius, Kurt Stenzel, Wolfgang Reif
2009	—	`conf`	Generating formal specifications for security-critical applications - A model-driven approach. SESS@ICSE Nina Moebius, Kurt Stenzel, Wolfgang Reif
2009	—	`conf`	Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
2009	B	`conf`	SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
2008	—	`conf`	Verification of Java Programs with Generics. AMAST Kurt Stenzel, Holger Grandy, Wolfgang Reif
2008	B	`conf`	Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif
2007	—	`conf`	A Refinement Method for Java Programs. FMOODS Holger Grandy, Kurt Stenzel, Wolfgang Reif
2007	B	`conf`	ASN1-light: A Verified Message Encoding for Security Protocols. SEFM Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
2006	—	`conf`	Developing Provable Secure M-Commerce Applications. ETRICS Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2005	B	`conf`	Object Oriented Verification Kernels for Secure Java Applications. SEFM Holger Grandy, Kurt Stenzel, Wolfgang Reif
2005	—	`—`	Verification of Java card programs. Kurt Stenzel
2004	—	`conf`	A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2004	—	`conf`	A Formally Verified Calculus for Full Java Card. AMAST Kurt Stenzel
2004	—	`conf`	Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce Dominik Haneberg, Kurt Stenzel, Wolfgang Reif
2003	—	`conf`	Design for Trust: Security im M-Commerce. GI Jahrestagung (1) Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
2002	—	`conf`	A Method for Secure Smartcard Applications. AMAST Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2000	B	`conf`	Formal System Development with KIV. FASE Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
1998	—	`conf`	KIV 3.0 for Provably Correct Systems. FM-Trends Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1998	—	`conf`	VSE: Controlling the Complexity in Formal Software Developments. FM-Trends Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	A	`conf`	Proving System Correctness with KIV 3.0. CADE Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	—	`conf`	Proving System Correctness with KIV. TAPSOFT Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1995	—	`ch.`	Three Selected Case Studies in Verification. KORSO Book Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1994	—	`conf`	Formal Specification and Verification Using KIV. FTRTFT Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1994	J	`jnl`	Tactics in KIV. J. Inf. Process. Cybern. Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1993	—	`conf`	Reuse of Proofs in Software Verification. FSTTCS Wolfgang Reif, Kurt Stenzel
1993	A	`conf`	The KIV System: A Tool for Formal Program Development. STACS Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers