Daniel Dietsch

Daniel Dietsch University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-005 +49 761 203 6953

Research Interests

Requirements, Static Analysis, Modeling, Processes, Formal Methods in Practice

Publications

You can also visit my Google Scholar profile.

• Ultimate Automizer with SMTInterpol.
  Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling and Andreas Podelski. In TACAS 2013 (SV-COMP). [bib|pdf]
• Towards successful subcontracting for software in small to medium-sized enterprises.
  Bernd Westphal, Daniel Dietsch, Sergio Feo Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, and Christine Meierhöfer. In RELAW 2012. [bib|pdf]
• System Verification through Program Verification.
  Daniel Dietsch, Bernd Westphal, and Andreas Podelski. In FM 2011. [bib|pdf]
• Disambiguation of Industrial Standards through Formalization and Graphical Languages.
  Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, and Andreas Podelski. In RE 2011. [bib|pdf]

Theses

• From Requirements to Specifications: A Case Study. Master Thesis, University of Freiburg, 2010 
• STALIN: A plugin-based modular framework for program analysis. Bachelor Thesis, University of Freiburg, 2008

Tools

• Ultimate

Projects

• Salomo
• Various ZIM projects.

Consultation Hours

Please contact me for an appointment. 

Student Projects and Thesis Topics

Please see our shared overview for thesis topics and student projects. If you have questions about topics I offer there, feel free to write me an email or come over to my office.

Also, if you have your own topic and search for an advisor, feel free to ask me. 

Teaching

• Software Lab (Summer Term 2009, 2010, 2011, 2012)
• Software Lab for members of all faculties (Winter Term 2009/2010, 2010/2011, 2011/2012, 2012/2013)
• Seminar Static Code Analysis (Winter Term 2009/2010, 2010/2011, 2011/2012)
• Seminar Requirements Engineering (Summer Term 2012)

Tutoring

• Software Lab (Summer Term 2007, 2008)
• Software Lab for members of all faculties (Winter Term 2007/2008, 2008/2009)
• Integratives BOK Projekt "Sichere Systeme" (Winter Term 2007/2008, 2008/2009)
• Software Design, Modelling and Analysis in UML (Winter Term 2008/2009)
• Real-Time Systems (Summer Term 2009)
• Informatik I (Winter Term 2007/2008, 2008/2009)

• Programmierzertifikat Objekt-Orientierung mit Java (Summer Term 2008) 

Supervised Student Projects and Theses

2012

• Dzienian, J. and Langenfeld, V.: Cookify - Temporal Property Verification for Boogie. Master Teamproject. 
• Hofmann, C.: Verification as a Service. Bachelor Thesis.
• Metzger, J.: Anforderungsanalyse für eine mobile medizinische Ratgeberapplikation. Bachelor Thesis. 
• Lindemann, M., Saukh, O., and Wissert, S.: C+ACSL to Boogie compiler, Eclipse CDT integration and web-interface development as part of the Ultimate project. Master Teamproject. 
• Maier, C.: Formal Verification of Embedded Systems using VCC. Master Teamproject. 

2011

• Hummel, S..: The Delphi Method - An Appropriate Approach to Requirements Elicitation? Bachelor thesis.
• Kacmaz, G.: Ermittlung und Pflege eines Softwareproduktkerns anhand des CaVE-Ansatzes. Bachelor thesis.
• Dzienian, J.: Empirische Studie zur Verbesserung der Bedienfreundlichkeit von Spielen für mobile Endgeräte. Bachelor thesis.
• Blank A. and Greitschus M.: Infrastructure for Inferring Verification Annotations in C Programs. Master Teamproject.
• Mahdi A. and Jubran O.: Formal Analysis of Message Collision due to Clock Drift and Dynamic Message Scheduling in a Wireless Sensor Network. Master Teamproject.
• Butt, D.: Towards Risk Mitigation in Critical Software Development: Introducing MBD in SMEs. Master thesis.