Yazılım Ürün Hatlarında Yetenek Modeli ve Üstmodel Senkronizasyonu için bir Yöntem. - Ferhat Erata; Moharram Challenger; Serhat Gezgin; Akgün Demirbas; Mehmet Önat; Geylani Kardas (UYMS, 2014)

A Model-Driven Engineering Technique for Developing Composite Content Applications. - Moharram Challenger; Ferhat Erata; Mehmet Önat; Hale Gezgen; Geylani Kardas (SLATE, 2016)

ModelWriter: text and model-synchronized document engineering platform. - Ferhat Erata; Claire Gardent; Bikash Gyawali; Anastasia Shimorina; Yvan Lussaud; Bedir Tekinerdogan; Geylani Kardas; Anne Monceaux (ASE, 2017)

Tarski: a platform for automated analysis of dynamically configurable traceability semantics. - Ferhat Erata; Moharram Challenger; Bedir Tekinerdogan; Anne Monceaux; Eray Tüzün; Geylani Kardas (SAC, 2017)

Modeling traceability in system of systems. - Bedir Tekinerdogan; Ferhat Erata (SAC, 2017)

A tool for automated reasoning about traces based on configurable formal semantics. - Ferhat Erata; Arda Goknil; Bedir Tekinerdogan; Geylani Kardas (ESEC/SIGSOFT FSE, 2017)

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. - Ferhat Erata; Arda Goknil; Ivan Kurtev; Bedir Tekinerdogan (ESEC/SIGSOFT FSE, 2018)

Integrating Static Code Analysis Toolchains. - Matthias Kern; Ferhat Erata; Markus Iser; Carsten Sinz; Frédéric Loiret; Stefan Otten; Eric Sax (COMPSAC (1), 2019)

A survey on the practical use of UML for different software architecture viewpoints. - Mert Ozkaya; Ferhat Erata (Inf. Softw. Technol., 2020)

Automated reasoning framework for traceability management of system of systems. - Bedir Tekinerdogan; Ferhat Erata (Sci. Comput. Program., 2020)

Understanding Practitioners' Challenges on Software Modeling: A Survey. - Mert Ozkaya; Ferhat Erata (J. Comput. Lang., 2020)

Deep Freezing Attacks on Capacitors and Electronic Circuits. - Jalil Morris; Obi Nnorom; Anisul Abedin; Ferhat Erata; Jakub Szefer (SPACE, 2021)

Model-Based Test Adaptation for Smart TVs. - Atil Firat; Mohammad Yusaf Azimi; Celal Çagin Elgün; Ferhat Erata; Cemal Yilmaz 001 (AST@ICSE, 2022)

Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers. - Chuanqi Xu; Ferhat Erata; Jakub Szefer (CCS, 2023)

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. - Ferhat Erata; Ruzica Piskac; Víctor Mateu; Jakub Szefer (EuroS&P, 2023)

Design of Quantum Computer Antivirus. - Sanjay Deshpande; Chuanqi Xu; Theodoros Trochatos; Hanrui Wang 002; Ferhat Erata; Song Han 003; Yongshan Ding 001; Jakub Szefer (HOST, 2023)

AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs. - Mohammad Yusaf Azimi; Celal Çagin Elgün; Atil Firat; Ferhat Erata; Cemal Yilmaz 001 (IEEE Access, 2023)

Exploration of Quantum Computer Power Side-Channels. - Chuanqi Xu; Ferhat Erata; Jakub Szefer (CoRR, 2023)

Classification of Quantum Computer Fault Injection Attacks. - Chuanqi Xu; Ferhat Erata; Jakub Szefer (CoRR, 2023)

Survey of Approaches and Techniques for Security Verification of Computer Systems. - Ferhat Erata; Shuwen Deng; Faisal Zaghloul; Wenjie Xiong 001; Onur Demir; Jakub Szefer (ACM J. Emerg. Technol. Comput. Syst., 2023)

ETAP: Energy-aware Timing Analysis of Intermittent Programs. - Ferhat Erata; Eren Yildiz; Arda Goknil; Kasim Sinan Yildirim; Jakub Szefer; Ruzica Piskac; Gökçin Sezgin (ACM Trans. Embed. Comput. Syst., 2023)

Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks. - Ferhat Erata; Tinghung Chiu; Anthony Etim; Srilalith Nampally; Tejas Raju; Rajashree Ramu; Ruzica Piskac; Timos Antonopoulos; Wenjie Xiong 001; Jakub Szefer (ICCAD, 2024)

Quantum Computer Fault Injection Attacks. - Chuanqi Xu; Ferhat Erata; Jakub Szefer (QCE, 2024)

ModelWriter: Text & Model-Synchronized Document Engineering Platform. - Ferhat Erata; Claire Gardent; Bikash Gyawali; Anastasia Shimorina; Yvan Lussaud; Bedir Tekinerdogan; Geylani Kardas; Anne Monceaux (CoRR, 2024)

Systematic Use of Random Self-Reducibility against Physical Attacks. - Ferhat Erata; Tinghung Chiu; Anthony Etim; Srilalith Nampally; Tejas Raju; Rajashree Ramu; Ruzica Piskac; Timos Antonopoulos; Wenjie Xiong 001; Jakub Szefer (CoRR, 2024)

Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems. - Stephen Miner; Yoshiki Takashima; Simeng Han; Ferhat Erata; Timos Antonopoulos; Ruzica Piskac; Scott J. Shapiro (CoRR, 2024)

Learning Randomized Reductions and Program Properties. - Ferhat Erata; Orr Paradise; Timos Antonopoulos; ThanhVu Nguyen; Shafi Goldwasser; Ruzica Piskac (CoRR, 2024)

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. - Ferhat Erata; Chuanqi Xu; Ruzica Piskac; Jakub Szefer (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)