Tricera: Verifying C Programs Using the Theory of Heaps. Z Esen, P Rümmer FMCAD, 380-391, 2022 | 13 | 2022 |
Co-simulation study on BLDC motor drive system based on multisim and LabVIEW M Çahin, Hİ Bülbül, Z Esen, U Yavanoglu, İ Çolak 4th International Conference on Power Engineering, Energy and Electrical …, 2013 | 8 | 2013 |
Cascaded controller algorithm design for a brushless DC motor with Matlab/Simulink and MCU implementation U Karapinar, Z Esen, M Şahi̇n, F Kanburoğlu 2013 21st Signal Processing and Communications Applications Conference (SIU …, 2013 | 8 | 2013 |
A theory of heap for constrained horn clauses (extended technical report) Z Esen, P Rümmer arXiv preprint arXiv:2104.04224, 2021 | 5 | 2021 |
Artificial neural networks controller algorithm developed for a Brushless DC Motor I Colak, M Sahin, Z Esen 2013 12th international conference on machine learning and applications 2 …, 2013 | 5 | 2013 |
Reasoning in the theory of heap: Satisfiability and interpolation Z Esen, P Rümmer Logic-Based Program Synthesis and Transformation: 30th International …, 2021 | 4 | 2021 |
Motor selection in mechatronic systems using 2k doe method Zİ Esen, M Şahin, Z Külünk IFAC-PapersOnLine 49 (9), 25-28, 2016 | 4 | 2016 |
Towards an SMT-LIB Theory of Heap Z Esen, P Rümmer Proceedings 8th International Workshop on Verification and Program …, 2020 | 3 | 2020 |
Extension of the ELDARICA C model checker with heap memory Z Esen | 3 | 2019 |
Controller design for a limited angle torque motor and dsPIC implementation İ Çolak, M Sahin, S Çakıroğlu, Z Esen 2015 Intl Aegean Conference on Electrical Machines & Power Electronics …, 2015 | 3 | 2015 |
An exercise in mind reading: Automatic contract inference for Frama-C J Amilon, Z Esen, D Gurov, C Lidström, P Rümmer Springer Nature, 2024 | 2 | 2024 |
Automatic program instrumentation for automatic verification (extended technical report) J Amilon, Z Esen, D Gurov, C Lidström, P Rümmer arXiv preprint arXiv:2306.00004, 2023 | 2 | 2023 |
An SMT-LIB Theory of Heaps. Z Esen, P Rümmer SMT, 38-53, 2022 | 2 | 2022 |
Modeling, simulation and validation of dc motor with spring load system Zİ Esen, S Çakıroğlu, M Şahin, Z Külünk 2016 IEEE International Power Electronics and Motion Control Conference …, 2016 | 2 | 2016 |
Designing spring load system for mechatronic actuator Z Külünk, S Çakiroğlu, M Şahın, Z Esen 2016 10th International Conference on Compatibility, Power Electronics and …, 2016 | 2 | 2016 |
Automatic Program Instrumentation for Automatic Verification J Amilon, Z Esen, D Gurov, C Lidström, P Rümmer International Conference on Computer Aided Verification, 281-304, 2023 | 1 | 2023 |
Increasing Energy Efficiency of Electric Motors by Post-integration Parameter Calibration Zİ Esen, M Şahin, S Çakıroğlu, Z Külünk Acta Materialia Turcica 1 (1), 27-30, 2017 | 1 | 2017 |
An intelligent feedback control mechanism for brushless DC motors D Sinanc, M Sahin, Z Esen, U Yavanoglu, S Sagiroglu 2014 16th International Power Electronics and Motion Control Conference and …, 2014 | 1 | 2014 |
Hybrid Modeling for Mechatronic Actuator System Based on LabVIEW and Solidworks M Şahin, Z Esen, Z Külünk Lecture Notes in Control and Information Sciences 289, 179-193, 2003 | | 2003 |
A Theory of Heaps for Constrained Horn Clauses Z Esen, P Rümmer | | |