Evren Ermis

According to our database, Evren Ermis authored at least 8 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Interpolation in software model checking and fault localization = Interpolation in Software Model Checking und Defektlokalisierung.

Evren Ermis

PhD thesis, 2014

Ultimate Kojak - (Competition Contribution).

Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Verification of GUI Applications: A Black-Box Approach.

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Flow-Sensitive Fault Localization.

Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies

Proceedings of the Verification, 2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Black-Box Verification for GUI Applications

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

CoRR, 2012

Splitting via Interpolants.

Evren Ermis, Jochen Hoenicke, Andreas Podelski

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Error Invariants.

Evren Ermis, Martin Schäf, Thomas Wies

Proceedings of the FM 2012: Formal Methods, 2012