Zafer Esen - RankMe

15 papers B 1C 1Journal 6Unranked 7

Year	Rank	Type	Title / 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