Coordinates
building, room
052-00-021
+49 761 203 8209 (phone)
+49 761 203 8242 (fax)
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests include Business Information Systems, Knowledge Management, Software Testing & Verification.
Publications
- Arlt, S.; Hense, A.: Implementierung zuverlässiger Zahlungssysteme in Java. Entwurf, Realisierung und Test mit der J2EE. Saarbrücken: VDM, 2008. ISBN: 3639052110.
Conferences
- International Conference on Software Engineering - May 10-18, 2008, Leipzig
- Computer Aided Verification - July 3-7, 2007, Berlin
- Certified Tester - Ein Standard für Softwaretest-Experten - February 27, 2007, Bonn
- SEUH - Software Engineering im Unterricht der Hochschulen - February 22-23, 2007, Stuttgart
- Verification, Model Checking and Abstract Interpretation - January 14-16, 2007, Nizza
- AVACS Projekttreffen - September 25-29, 2006, Oldenburg
- 2nd German Verification Day - August 31, 2006, Bonn
- STRESS 2006 - International Summer School on Tool-based, Rigorous Engineering of Software Systems, May 18-24, 2006, Dortmund
Teaching
- Software Testing, Winter Term 2009/10
- Softwarepraktikum, Summer Term 2009
- Advanced Topics in Software Engineering, Summer Term 2009
- Business Processes, Winter Term 2008/09
- Softwarepraktikum, Summer Term 2007
- Verification, Winter Term 2006/07
- Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2006/07
- Sichere Systeme, Winter Term 2006/07
- Softwarepraktikum, Summer Term 2006
Supervised Theses
- Schön, T.: Modellierung einer IT-Infrastruktur auf Basis von freier und proprietärer Software (completed 2009)
- Gazic, C. G.: Modellierung von Anforderungen eines Systems zur Qualitätssicherung (completed 2008)
Tools
- MensaWidget, Displays the current menu of the Flugplatz-Mensa and the Solarcasino on your Dashboard (Mac) or Desktop (PC).
- Templates, Master Slides for Presentations of the Chair of Software Engineering.