Takip et
Ferhat Erata
Ferhat Erata
yale.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
A survey on the practical use of UML for different software architecture viewpoints
M Ozkaya, F Erata
Information and Software Technology 121, 106275, 2020
672020
Understanding practitioners’ challenges on software modeling: A survey
M Ozkaya, F Erata
Journal of Computer Languages 58, 100963, 2020
162020
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
132017
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
112019
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
112016
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
82023
Modeling traceability in system of systems
B Tekinerdogan, F Erata
Proceedings of the Symposium on Applied Computing, 1799-1802, 2017
72017
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
72015
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
62023
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
52023
Exploration of Quantum Computer Power Side-Channels
C Xu, F Erata, J Szefer
arXiv preprint arXiv:2304.03315, 2023
52023
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
52019
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
52018
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
42017
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
32023
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
32022
Automated reasoning framework for traceability management of system of systems
B Tekinerdogan, F Erata
Science of Computer Programming 191, 102416, 2020
32020
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
32017
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
32017
Classification of quantum computer fault injection attacks
C Xu, F Erata, J Szefer
arXiv preprint arXiv:2309.05478, 2023
22023
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20