Evren Ermis

Evren Ermis University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-019 +49 761 203 8017  ermis@informatik.uni-freiburg.de

Research Interests

software model checking, program analysis and verification, debugging, fault localization

Publications

• Black-Box Verification for GUI Applications
  – with Stephan Arlt, Sergio Feo-Arenis, and Andreas Podelski.
  (Technical Report)
• Flow-sensitive Fault Localization
  – with Jürgen, Christ, Martin Schäf, and Thomas Wies.
  (VMCAI 2013)
• Error Invariants
  – with Martin Schäf, and Thomas Wies.
  (FM 2012)
• Splitting via Interpolants
  – with Jochen Hoenicke, and Andreas Podelski.
  (VMCAI 2012)

Teaching

• Static Code Analysis Seminar 2009-2012
• Software Lab/Softwarepraktikum 2008-2012
• Verification 07/08
• Student theses and projects in the field of software engineering and verification.
  If you are looking for a bachelor/master thesis or a project contact me via email.

 Consultation Hours

• Term: Tuesday and Thursday, 11:00-12:00 and 14:00-16:00
• Term break: by appointment