Evren Ermis

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Projective Invariants

Graphical User Interfaces

International Competition

Top Venues

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
Ultimate Kojak - (Competition Contribution). TACAS (2014)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Verification of GUI Applications: A Black-Box Approach. ISoLA (1) (2014)
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
Flow-Sensitive Fault Localization. VMCAI (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Evren Ermis, Martin Schäf, Thomas Wies
Error Invariants. FM (2012)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Black-Box Verification for GUI Applications CoRR (2012)
Evren Ermis, Jochen Hoenicke, Andreas Podelski
Splitting via Interpolants. VMCAI (2012)