You are here: Home Team Evren Ermis

Evren Ermis


Research Interests

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


  • 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)


  • 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