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.
- 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.