Zafer Esen

According to our database, Zafer Esen authored at least 10 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Arithmetizing Shape Analysis.

Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies

CoRR, 2024

2023

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer

CoRR, 2023

Automatic Program Instrumentation for Automatic Verification.

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

An SMT-LIB Theory of Heaps.

Zafer Esen, Philipp Rümmer

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

Tricera: Verifying C Programs Using the Theory of Heaps.

Zafer Esen, Philipp Rümmer

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).

Zafer Esen, Philipp Rümmer

CoRR, 2021

2020

Abstract: Towards an SMT-LIB Theory of Heap.

Zafer Esen, Philipp Rümmer

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Reasoning in the Theory of Heap: Satisfiability and Interpolation.

Zafer Esen, Philipp Rümmer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2013

Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation.

Umut Karapinar, Zafer Esen, Murat Sahin, Furkan Kanburoglu

Proceedings of the 21st Signal Processing and Communications Applications Conference, 2013

Artificial Neural Networks Controller Algorithm Developed for a Brushless DC Motor.

Ilhami Colak, Murat Sahin, Zafer Esen

Proceedings of the 12th International Conference on Machine Learning and Applications, 2013