Lehre

Aktuelle Lehrangebote

Studenten, welche in den Bereichen Softwaretechnik oder Sicherheit (sowohl für angewandte and als auch formale Fragestellungen) eine Bachelorarbeit, Masterarbeit oder Promotion bei durchführen wollen, können mich gerne direkt deswegen ansprechen.

Veranstaltungen und betreute Arbeiten

Betreute Arbeiten

• Michael Herzberg. Static Code Analysis for Securing Cordova Application. Bachelor thesis. Karlsruhe Institute of Technology, 2015.
• Tim Herres. Analyzing Dynamic JavaScript using Static Code Analysis. Bachelor thesis. Applied University Emden/Leer, 2012.
• Matthias Klink. Secure Delegation for Business Processes-driven Systems. Bachelor thesis. Applied University Emden/Leer, 2012.
• Thomas Deuster. Finding Security Vulnerabilities using Static Analysis. Master thesis, University Heidelberg, 2012.
• Stefanie Fleckenstein. Anwendungssicherheit von on-demand Geschäftsanwendungen . Bachelor thesis, DHBW Mannheim, 2012.
• Jan Alexander. Analyzing Security Properties of Business Process Models. Bachelor thesis, Albert-Ludwigs University Freiburg, 2012.
• Raj Ruparel. Modeling and Execution of Secure Business Processes. Master thesis. HFT Stuttgart, 2012.
• Manuel Krucker. A Package for Well-formedness Checking and Proof-obligation Generation for UML/OCL Specifications. Masterarbeit, ETH Zürich, 2008.
• Martin Bill. Association-related Model Transformations. Semesterarbeit, ETH Zürich, 2007.
• Andreas Schmidt. Transformations of UML Use-case Diagrams to Access-control Policy Templates.. Semesterarbeit, ETH Zürich, 2007.
• Lukas Brügger. Proof Support for IMP++ in HOL-OCL. Masterarbeit, ETH Zürich, 2007.
• Manfred Stock. Automatic Generation of Junit Test-harnesses. Semesterarbeit, ETH Zürich, 2007.
• Raphael Schmid. Integrating an OCL Type-checker into ArgoUML and the SecureUML GUI. Semesterarbeit, ETH Zürich, 2007.
• Marcel Beer. A Generic Metamodel-based GUI for SecureUML. Diplomarbeit, ETH Zürich, 2007.
• Marcel Beer. Development of a GUI for SecureUML. Semesterarbeit, ETH Zürich, 2006.
• Manuel Krucker. Developing a Parser and Typechecker for OCL. Semesterarbeit, ETH Zürich, 2006.
• Simon Meier. Proving OCL Properties. Semesterarbeit, ETH Zürich, 2006.
• Lukas Brügger. Testing Firewall Policies using HOL-TestGen. Semesterarbeit, ETH Zürich, 2006.
• Raphael Eidenbenz. Development of a Template-driven Code Generator.. Semesterarbeit, ETH Zürich, 2006.
• Rolf Adelsberger. Development of a Template-driven Code Generator for UML Statecharts.. Semesterarbeit, ETH Zürich, 2006.
• Christian Rijke. Transforming SecureUML Models into UML/OCL Models. Masterarbeit, ETH Zürich, 2006.
• Harald Hiss. Beweise von Konsistenzbedingungen am Modell von CVS Server. Semesterarbeit, Albert-Ludwigs Universität Freiburg, 2002.