Zafer Esen

15 papers B 1C 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A program instrumentation framework for automatic verification.
Formal Methods Syst. Des.
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg
2025 — conf
Arithmetizing Shape Analysis.
CAV (1)
Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies
2025 — conf
Finding Universally Quantified Heap Invariants by Horn Clause Transformations.
FSEN
Zafer Esen, Philipp Rümmer, Tjark Weber
2025 J jnl
Sound and Complete Invariant-Based Heap Encodings (Technical Report).
CoRR
Zafer Esen, Philipp Rümmer, Tjark Weber
2024 J jnl
A Program Instrumentation Framework for Automatic Verification.
CoRR
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg
2024 J jnl
Arithmetizing Shape Analysis.
CoRR
Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies
2023 J jnl
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).
CoRR
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
2023 — conf
Automatic Program Instrumentation for Automatic Verification.
CAV (3)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
2022 — conf
An SMT-LIB Theory of Heaps.
SMT
Zafer Esen, Philipp Rümmer
2022 B conf
Tricera: Verifying C Programs Using the Theory of Heaps.
FMCAD
Zafer Esen, Philipp Rümmer
2021 J jnl
A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).
CoRR
Zafer Esen, Philipp Rümmer
2020 — conf
Abstract: Towards an SMT-LIB Theory of Heap.
SMT
Zafer Esen, Philipp Rümmer
2020 C conf
Reasoning in the Theory of Heap: Satisfiability and Interpolation.
LOPSTR
Zafer Esen, Philipp Rümmer
2013 — conf
Artificial Neural Networks Controller Algorithm Developed for a Brushless DC Motor.
ICMLA (2)
Ilhami Colak, Murat Sahin, Zafer Esen
2013 — conf
Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation.
SIU
Umut Karapinar, Zafer Esen, Murat Sahin, Furkan Kanburoglu