Teaching
Recent Teaching Activities and Theses Offers
Feel free to contact me, if you are interested in doing an Bachelor Thesis, Master Thesis or a PhD Thesis. Especially, if you would like to work in the area of software engineering, formal methods, or information security (e.g., building secure and safe systems by using both applied and formal techniques).
- 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 (Application Security of On-demand Business Applications).
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.
Master Thesis, ETH Zurich, 2008.
- Martin Bill.
Association-related Model Transformations.
Semester Thesis, ETH Zurich, 2007.
- Andreas Schmidt.
Transformations of UML Use-case Diagrams to
Access-control Policy Templates..
Semester Thesis, ETH Zurich, 2007.
- Lukas Brügger.
Proof Support for IMP++ in HOL-OCL.
Master Thesis, ETH Zurich, 2007.
- Manfred Stock.
Automatic Generation of Junit Test-harnesses.
Semester Thesis, ETH Zurich, 2007.
- Raphael Schmid.
Integrating an OCL Type-checker into ArgoUML and the
SecureUML GUI.
Semester Thesis, ETH Zurich, 2007.
- Marcel Beer.
A Generic Metamodel-based GUI for SecureUML.
Diploma Thesis, ETH Zurich, 2007.
- Marcel Beer.
Development of a GUI for SecureUML.
Semester Thesis, ETH Zurich, 2006.
- Manuel Krucker.
Developing a Parser and Typechecker for OCL.
Semester Thesis, ETH Zurich, 2006.
- Simon Meier. Proving OCL
Properties. Semester Thesis, ETH Zurich, 2006.
- Lukas Brügger. Testing Firewall Policies using HOL-TestGen. Semester Thesis, ETH Zurich, 2006.
- Raphael Eidenbenz. Development of a Template-driven Code
Generator.. Semester Thesis, ETH Zurich, 2006.
- Rolf Adelsberger. Development of a Template-driven
Code Generator for UML Statecharts.. Semester Thesis, ETH Zurich, 2006.
- Christian Rijke. Transforming SecureUML Models into
UML/OCL Models.
Master Thesis, ETH Zurich, 2006.
- Harald Hiss. Beweise von Konsistenzbedingungen am Modell
von CVS Server. Semester Thesis, Albert-Ludwigs University Freiburg,
2002.