Lehre

Aktuelle Lehrangebote

Studenten, welche in den Bereichen Softwaretechnik oder Sicherheit (sowohl für angeandte and als auch formale Fragestellungen) eine Internship, Semesterarbeit, Masterarbeit oder Diplomarbeit bei SAP Research durchführen wollen, können mich gerne direkt deswegen ansprechen.

top

Veranstaltungen und betreute Arbeiten

Betreute Arbeiten

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.

Vorlesungen und Übungen

Online Kurse: Computer-unterstütztes Modellieren und Beweisen von David Basin, Achim D. Brucker, Jan-Georg Smaus und Burkhart Wolff.
2009: Dozent der Vorlesung Mathematik für Wirtschaftsinformatiker/innen von an der AKAD Stuttgart.
2008: Dozent der Vorlesung Mathematik für Wirtschaftsinformatiker/innen von an der AKAD Stuttgart.
WS 2006/07: Assistent und Dozent der Vorlesung Computer-unterstütztes Modellieren und Beweisen zusammen mit Dr. Felix Klaedtke und Dr. Burkhart Wolff an der ETH Zürich.
WS 2004/05: Assistent und Dozent der Vorlesung Computer-unterstütztes Modellieren und Beweisen zusammen mit Prof. David Basin und Dr. Burkhart Wolff an der ETH Zürich.
SS 2003: Tutor der Vorlesung Theoretische Informatik von Prof. Nivergelt an der ETH Zürich.
SS 2002: Leiter des Softwarepraktikums über Enterprise Systeme (J2EE/EJB) von Prof. Basin an der Albert-Ludwigs Universität Freiburg.
WS 2000/01: Tutor des Softwarepraktikums (Schwerpunkt Java) von Prof. Basin an der Albert-Ludwigs Universität Freiburg.
SS 2000: Tutor des Softwarepraktikums (Schwerpunkt Java) von Prof. Basin an der Albert-Ludwigs Universität Freiburg.
SS 1999: Leitung und Entwruf eines ASIC Design Praktikums von Prof. Becker an derAlbert-Ludwigs Universität Freiburg.
SS 1998: Leitung und Entwruf eines ASIC Design Praktikums von Prof. Becker an derAlbert-Ludwigs Universität Freiburg.
WS 1997/98: Tutor der Vorlesung Informatik I von Prof. Basin und Prof. Ottmann an der Albert-Ludwigs Universität Freiburg.
SS 1997: Tutor der Vorlesung Informatik II von Prof. Ottmann an der Albert-Ludwigs Universität.
WS 1996/97: Tutor der Vorlesung Informatik I von Prof. Lausen und Prof. Ottmann an der Albert-Ludwigs Universität Freiburg.
SS 1996: Tutor der Vorlesung Informatik II von Prof. Ottmann an der Albert-Ludwigs Universität.