Author

Ferhat Erata

Observed names: ERATA, Ferhat, Erata, Ferhat

Institutions: Amazon (United States), Yale University

Observed institutions: Amazon (United States), University of Antwerp, Yale University, Ege University, Wageningen University & Research

ORCID: 0000-0001-6305-4266

Observed ORCID: 0000-0001-6305-4266

OpenAlex ID: A5032941157

A survey on the practical use of UML for different software architecture viewpoints

2020 · Mert Ozkaya, Ferhat Erata · Information and Software Technology · 78

Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers

2023 · Chuanqi Xu, Ferhat Erata, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 30

PDF

Design of Quantum Computer Antivirus

2023 · Sanjay Deshpande, Chuanqi Xu, et al. · Springer eBooks · 27

Understanding Practitioners’ Challenges on Software Modeling: A Survey

2020 · Mert Ozkaya, Ferhat Erata · Journal of Computer Languages · 25

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers

2024 · Ferhat Erata, Chuanqi Xu, et al. · IACR Transactions on Cryptographic Hardware and Embedded Systems · 23

PDF

ETAP: Energy-aware Timing Analysis of Intermittent Programs

2022 · Ferhat Erata, Eren Yildiz, et al. · ACM Transactions on Embedded Computing Systems · 14

PDF

Tarski

2017 · Ferhat Erata, Moharram Challenger, et al. · ACM Symposium on Applied Computing · 14

Survey of Approaches and Techniques for Security Verification of Computer Systems

2022 · Ferhat Erata, Shuwen Deng, et al. · ACM Journal on Emerging Technologies in Computing Systems · 13

PDF

Quantum Computer Fault Injection Attacks

2024 · Chuanqi Xu, Ferhat Erata, et al. · IEEE International Conference on Quantum Computing and Engineering (QCE) · 7

A Model-Driven Engineering Technique for Developing Composite Content Applications

2016 · Challenger, Moharram, Erata, Ferhat, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 6

PDF

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

2018 · Barišić, Ankica, Dušan Savić, et al. · HAL · 5

PDF

Modeling traceability in system of systems

2017 · Bedir Tekinerdogan, Ferhat Erata · ACM Symposium on Applied Computing · 5

Classification of Quantum Computer Fault Injection Attacks

2023 · Xu, Chuanqi, Erata, Ferhat, et al. · arXiv (Cornell University) · 4

PDF

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

2023 · Ferhat Erata, Ruzica Piskac, et al. · IEEE European Symposium on Security and Privacy · 4

PDF

Model-based test adaptation for smart TVs

2022 · Atıl Fırat, Mohammad Yusaf Azimi, et al. · 4

PDF

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

2018 · Ferhat Erata, Arda Goknil, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 4

A tool for automated reasoning about traces based on configurable formal semantics

2017 · Ferhat Erata, Arda Goknil, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 4

AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs

2023 · Mohammad Yusaf Azimi, Celal Cagin Elgun, et al. · IEEE Access · 3

PDF

Integrating Static Code Analysis Toolchains

2019 · Matthias Kern, Ferhat Erata, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 3

PDF

Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks

2024 · Ferhat Erata, TingHung Chiu, et al. · 2

PDF

Exploration of Quantum Computer Power Side-Channels

2023 · Xu, Chuanqi, Erata, Ferhat, et al. · arXiv (Cornell University) · 2

PDF