 |
Room Phone Fax Mail |
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests include information & knowledge management, software engineering as well as code quality.
Book
| 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
- Softwarepraktikum, Summer Term 2007
- Verification, Winter Term 2006/2007
- Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2006/2007
- Sichere Systeme, Winter Term 2006/2007
- Softwarepraktikum, Summer Term 2006