Zafer Esen

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Artificial Neural Networks

Terminological Reasoning

Reasoning Problems

Top Venues

Publications

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification. CAV (3) (2023)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). CoRR (2023)
Zafer Esen, Philipp Rümmer
Tricera: Verifying C Programs Using the Theory of Heaps. FMCAD (2022)
Zafer Esen, Philipp Rümmer
An SMT-LIB Theory of Heaps. SMT (2022)
Zafer Esen, Philipp Rümmer
A Theory of Heap for Constrained Horn Clauses (Extended Technical Report). CoRR (2021)
Zafer Esen, Philipp Rümmer
Abstract: Towards an SMT-LIB Theory of Heap. SMT (2020)
Zafer Esen, Philipp Rümmer
Reasoning in the Theory of Heap: Satisfiability and Interpolation. LOPSTR (2020)
Ilhami Colak, Murat Sahin, Zafer Esen
Artificial Neural Networks Controller Algorithm Developed for a Brushless DC Motor. ICMLA (2) (2013)
Umut Karapinar, Zafer Esen, Murat Sahin, Furkan Kanburoglu
Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation. SIU (2013)