Zafer Esen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Arithmetizing Shape Analysis. | Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rmmer, Thomas Wies |
| 2023 | CAV | Automatic Program Instrumentation for Automatic Verification. | Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidstrm, Philipp Rmmer |
| 2022 | FMCAD | Tricera: Verifying C Programs Using the Theory of Heaps. | Zafer Esen, Philipp Rmmer |
| 2020 | LOPSTR | Reasoning in the Theory of Heap: Satisfiability and Interpolation. | Zafer Esen, Philipp Rmmer |
| 2013 | ICMLA | Artificial Neural Networks Controller Algorithm Developed for a Brushless DC Motor. | Ilhami Colak, Murat Sahin, Zafer Esen |