Kemal Çaglar Coskun

According to our database, Kemal Çaglar Coskun authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

2025

Formal Verification of Error Bounds for Resistive-Switching-Based Multilevel Matrix-Vector Multipliers.

Kemal Çaglar Coskun, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler

Proceedings of the 26th International Symposium on Quality Electronic Design, 2025

2024

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing.

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çaglar Coskun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., September, 2024

Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent.

Kemal Çaglar Coskun, Muhammad Hassan, Lars Hedrich, Rolf Drechsler

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits.

Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters.

Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

2020

LQI Control Design with LQG Regulator via UKF for a Fixed-Wing Aircraft.

Ece Nur Demirhan, Kemal Çaglar Coskun, Cosku Kasnakoglu

Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

2019

Design of a 4D Trajectory Tracking Controller with Anti-Windup Protection for Fixed-Wing Aircraft.

Kemal Çaglar Coskun, Artun Sel, Cosku Kasnakoglu

Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019