Artificial Neural Networks Controller Algorithm Developed for a Brushless DC Motor. - Ilhami Colak; Murat Sahin; Zafer Esen (ICMLA (2), 2013)

Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation. - Umut Karapinar; Zafer Esen; Murat Sahin; Furkan Kanburoglu (SIU, 2013)

Reasoning in the Theory of Heap: Satisfiability and Interpolation. - Zafer Esen; Philipp Rümmer (LOPSTR, 2020)

Abstract: Towards an SMT-LIB Theory of Heap. - Zafer Esen; Philipp Rümmer (SMT, 2020)

A Theory of Heap for Constrained Horn Clauses (Extended Technical Report). - Zafer Esen; Philipp Rümmer (CoRR, 2021)

Tricera: Verifying C Programs Using the Theory of Heaps. - Zafer Esen; Philipp Rümmer (FMCAD, 2022)

An SMT-LIB Theory of Heaps. - Zafer Esen; Philipp Rümmer (SMT, 2022)

Automatic Program Instrumentation for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer (CAV (3), 2023)

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer (CoRR, 2023)

A Program Instrumentation Framework for Automatic Verification. - Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg (CoRR, 2024)

Arithmetizing Shape Analysis. - Sebastian Wolff 001; Ekanshdeep Gupta; Zafer Esen; Hossein Hojjat; Philipp Rümmer; Thomas Wies (CAV (1), 2025)

Finding Universally Quantified Heap Invariants by Horn Clause Transformations. - Zafer Esen; Philipp Rümmer; Tjark Weber (FSEN, 2025)

Sound and Complete Invariant-Based Heap Encodings (Technical Report). - Zafer Esen; Philipp Rümmer; Tjark Weber (CoRR, 2025)