Ferhat Erata

35 papers A* 2A 2C 1Misc 3Journal 20Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2024 J jnl
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics.
CoRR
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
2024 J jnl
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning.
CoRR
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
2024 J jnl
Integrating Static Code Analysis Toolchains.
CoRR
Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
2024 J jnl
Learning Randomized Reductions and Program Properties.
CoRR
Ferhat Erata, Orr Paradise, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac
2024 J jnl
ModelWriter: Text & Model-Synchronized Document Engineering Platform.
CoRR
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
2024 J jnl
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers.
CoRR
Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
2024 J jnl
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
2024 Misc conf
Quantum Computer Fault Injection Attacks.
QCE
Chuanqi Xu, Ferhat Erata, Jakub Szefer
2024 J jnl
Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems.
CoRR
Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro
2024 J jnl
Systematic Use of Random Self-Reducibility against Physical Attacks.
CoRR
Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer
2024 A conf
Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks.
ICCAD
Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer
2023 J jnl
AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs.
IEEE Access
Mohammad Yusaf Azimi, Celal Çagin Elgün, Atil Firat, Ferhat Erata, Cemal Yilmaz
2023 J jnl
Classification of Quantum Computer Fault Injection Attacks.
CoRR
Chuanqi Xu, Ferhat Erata, Jakub Szefer
2023 — conf
Design of Quantum Computer Antivirus.
HOST
Sanjay Deshpande, Chuanqi Xu, Theodoros Trochatos, Hanrui Wang, Ferhat Erata, Song Han, Yongshan Ding, Jakub Szefer
2023 J jnl
ETAP: Energy-aware Timing Analysis of Intermittent Programs.
ACM Trans. Embed. Comput. Syst.
Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin
2023 A* conf
Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers.
CCS
Chuanqi Xu, Ferhat Erata, Jakub Szefer
2023 J jnl
Exploration of Quantum Computer Power Side-Channels.
CoRR
Chuanqi Xu, Ferhat Erata, Jakub Szefer
2023 J jnl
Survey of Approaches and Techniques for Security Verification of Computer Systems.
ACM J. Emerg. Technol. Comput. Syst.
Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer
2023 A conf
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code.
EuroS&P
Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
2023 J jnl
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code.
CoRR
Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
2022 J jnl
ETAP: Energy-aware Timing Analysis of Intermittent Programs.
CoRR
Ferhat Erata, Arda Goknil, Eren Yildiz, Kasim Sinan Yildirim, Ruzica Piskac, Jakub Szefer, Gökçin Sezgin
2022 C conf
Model-Based Test Adaptation for Smart TVs.
AST
Atil Firat, Mohammad Yusaf Azimi, Celal Çagin Elgün, Ferhat Erata, Cemal Yilmaz
2021 — conf
Deep Freezing Attacks on Capacitors and Electronic Circuits.
SPACE
Jalil Morris, Obi Nnorom, Anisul Abedin, Ferhat Erata, Jakub Szefer
2020 J jnl
A survey on the practical use of UML for different software architecture viewpoints.
Inf. Softw. Technol.
Mert Ozkaya, Ferhat Erata
2020 J jnl
Automated reasoning framework for traceability management of system of systems.
Sci. Comput. Program.
Bedir Tekinerdogan, Ferhat Erata
2020 J jnl
Understanding Practitioners' Challenges on Software Modeling: A Survey.
J. Comput. Lang.
Mert Ozkaya, Ferhat Erata
2019 — conf
Integrating Static Code Analysis Toolchains.
COMPSAC (1)
Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
2018 — conf
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning.
ESEC/SIGSOFT FSE
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
2017 — conf
A tool for automated reasoning about traces based on configurable formal semantics.
ESEC/SIGSOFT FSE
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
2017 A* conf
ModelWriter: text and model-synchronized document engineering platform.
ASE
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
2017 Misc conf
Modeling traceability in system of systems.
SAC
Bedir Tekinerdogan, Ferhat Erata
2017 Misc conf
Tarski: a platform for automated analysis of dynamically configurable traceability semantics.
SAC
Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas
2016 — conf
A Model-Driven Engineering Technique for Developing Composite Content Applications.
SLATE
Moharram Challenger, Ferhat Erata, Mehmet Önat, Hale Gezgen, Geylani Kardas
2014 — conf
Yazılım Ürün Hatlarında Yetenek Modeli ve Üstmodel Senkronizasyonu için bir Yöntem.
UYMS
Ferhat Erata, Moharram Challenger, Serhat Gezgin, Akgün Demirbas, Mehmet Önat, Geylani Kardas