Ferhat Erata
Cited by
Cited by
A survey on the practical use of UML for different software architecture viewpoints
M Ozkaya, F Erata
Information and Software Technology 121, 106275, 2020
Understanding practitioners’ challenges on software modeling: A survey
M Ozkaya, F Erata
Journal of Computer Languages 58, 100963, 2020
Tarski: A platform for automated analysis of dynamically configurable traceability semantics
F Erata, M Challenger, B Tekinerdogan, A Monceaux, E Tüzün, G Kardas
Proceedings of the Symposium on Applied Computing, 1607-1614, 2017
Systematic literature review on multi-paradigm modelling for cyber-physical systems
A Barisic, D Savić, R Al-Ali, I Ruchkin, D Blouin, A Cicchetti, ...
COST European Cooperation in Science and Technology, 2019
A model-driven engineering technique for developing composite content applications
M Challenger, F Erata, M Onat, H Gezgen, G Kardas
5th Symposium on Languages, Applications and Technologies (SLATE'16), 2016
Design of quantum computer antivirus
S Deshpande, C Xu, T Trochatos, H Wang, F Erata, S Han, Y Ding, ...
2023 IEEE International Symposium on Hardware Oriented Security and Trust …, 2023
Survey of approaches and techniques for security verification of computer systems
F Erata, S Deng, F Zaghloul, W Xiong, O Demir, J Szefer
ACM Journal on Emerging Technologies in Computing Systems 19 (1), 1-34, 2023
Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers
C Xu, F Erata, J Szefer
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
ETAP: Energy-aware timing analysis of intermittent programs
F Erata, E Yildiz, A Goknil, KS Yildirim, J Szefer, R Piskac, G Sezgin
ACM Transactions on Embedded Computing Systems 22 (2), 1-31, 2023
Modeling traceability in system of systems
B Tekinerdogan, F Erata
Proceedings of the Symposium on Applied Computing, 1799-1802, 2017
D3. 1.1 review of model-to-model transformation approaches and technologies
F Erata, M Challenger, G Kardas
Text & Model-Synchronized Document Engineering Platform, 70-85, 2015
Exploration of Quantum Computer Power Side-Channels
C Xu, F Erata, J Szefer
arXiv preprint arXiv:2304.03315, 2023
Integrating static code analysis toolchains
M Kern, F Erata, M Iser, C Sinz, F Loiret, S Otten, E Sax
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
F Erata, A Goknil, I Kurtev, B Tekinerdogan
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
ModelWriter: Text and model-synchronized document engineering platform
F Erata, C Gardent, B Gyawali, A Shimorina, Y Lussaud, B Tekinerdogan, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
A tool for automated reasoning about traces based on configurable formal semantics
F Erata, A Goknil, B Tekinerdogan, G Kardas
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code
F Erata, R Piskac, V Mateu, J Szefer
European Symposium on Security and Privacy, 2023
Model-based test adaptation for smart TVs
A Fırat, MY Azimi, CÇ Elgün, F Erata, C Yılmaz
Proceedings of the 3rd ACM/IEEE International Conference on Automation of …, 2022
Automated reasoning framework for traceability management of system of systems
B Tekinerdogan, F Erata
Science of Computer Programming 191, 102416, 2020
Framework to Relate/Combine Modeling Languages and Techniques
R Al-Ali, M Amrani, S Bandyopadhyay, A Barisic, F Barros, D Blouin, ...
COST European Cooperation in Science and Technology, 2017
The system can't perform the operation now. Try again later.
Articles 1–20