Teaching
Recent Teaching Activities and Theses Offers
Feel free to contact me, if you are interested in doing an Intership, Semester Thesis, Master Thesis, Diplomarbeit, etc. at SAP Research. 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).
top
- 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.
Lectures and Practicals
- Online Courses
- Computer-Supported Modeling and Reasoning given by David Basin, Achim D. Brucker, Jan-Georg Smaus, and Burkhart Wolff.
- 2009
- Lecturer for Mathematics for Business Informatics at AKAD Stuttgart.
- 2008
- Lecturer for Mathematics for Business Informatics at AKAD Stuttgart.
- WS 2006/07
- Teaching assistant and Lecturer for Computer-Supported Modeling and Reasoning joinlty given with Dr. Felix Klaedtke and Dr. Burkhart Wolff at
ETH Zurich.
- WS 2004/05
- Teaching assistant and Lecturer for Computer-Supported Modeling and Reasoning joinlty given with Prof. Dr. David Basin and Dr. Burkhart Wolff at
ETH Zurich.
- SS 2003
- Teaching assistant for Theory of Computation given by Prof. Nivergelt at
ETH Zurich.
- SS 2002
- Organizer and teaching assistant for a programming practical featuring enterprise systems using J2EE/EJB given by Prof. Basin at
Albert-Ludwigs University Freiburg.
- WS 2000/01
- Teaching assistant for a programming practical featuring Java given by Prof. Basin at
Albert-Ludwigs University Freiburg.
- SS 2000
- Teaching assistant for a programming practical featuring Java given by Prof. Basin at
Albert-Ludwigs University Freiburg.
- SS 1999
- Organizing and assisting a ASIC Design practical given by Prof. Becker at
Albert-Ludwigs University Freiburg.
- SS 1998
- Organizing and assisting a ASIC Design practical given by Prof. Becker at
Albert-Ludwigs University Freiburg.
- WS 1997/98
- Teaching assistant for Informatik I given by Prof. Basin and Prof. Ottmann at
Albert-Ludwigs University Freiburg.
- SS 1997
- Teaching assistant for Informatik II given by Prof. Ottmann at
Albert-Ludwigs University.
- WS 1996/97
- Teaching assistant for Informatik I given by Prof. Lausen and Prof. Ottmann at
Albert-Ludwigs University Freiburg.
- SS 1996
- Teaching assistant for Informatik II given by Prof. Ottmann at
Albert-Ludwigs University.
