Error Invariants. - Evren Ermis; Martin Schäf; Thomas Wies (FM, 2012)

Splitting via Interpolants. - Evren Ermis; Jochen Hoenicke; Andreas Podelski (VMCAI, 2012)

Black-Box Verification for GUI Applications - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (CoRR, 2012)

Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Flow-Sensitive Fault Localization. - Jürgen Christ; Evren Ermis; Martin Schäf; Thomas Wies (VMCAI, 2013)

Verification of GUI Applications: A Black-Box Approach. - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (ISoLA (1), 2014)

Ultimate Kojak - (Competition Contribution). - Evren Ermis; Alexander Nutz; Daniel Dietsch; Jochen Hoenicke; Andreas Podelski (TACAS, 2014)

Interpolation in software model checking and fault localization = Interpolation in Software Model Checking und Defektlokalisierung. - Evren Ermis (2014)