Design of a 4D Trajectory Tracking Controller with Anti-Windup Protection for Fixed-Wing Aircraft. - Kemal Çaglar Coskun; Artun Sel; Cosku Kasnakoglu (ICSTCC, 2019)

LQI Control Design with LQG Regulator via UKF for a Fixed-Wing Aircraft. - Ece Nur Demirhan; Kemal Çaglar Coskun; Cosku Kasnakoglu (ICSTCC, 2020)

Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters. - Kemal Çaglar Coskun; Muhammad Hassan 002; Rolf Drechsler (DDECS, 2022)

Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits. - Kemal Çaglar Coskun; Muhammad Hassan 002; Rolf Drechsler (DATE, 2023)

Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent. - Kemal Çaglar Coskun; Muhammad Hassan 002; Lars Hedrich; Rolf Drechsler (DAC, 2024)

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing. - Chandan Kumar Jha 001; Khushboo Qayyum; Kemal Çaglar Coskun; Simranjeet Singh; Muhammad Hassan 002; Rainer Leupers; Farhad Merchant; Rolf Drechsler (IEEE Trans. Circuits Syst. I Regul. Pap., 2024)

Formal Verification of Error Bounds for Resistive-Switching-Based Multilevel Matrix-Vector Multipliers. - Kemal Çaglar Coskun; Chandan Kumar Jha 001; Muhammad Hassan 002; Rolf Drechsler (ISQED, 2025)