| A survey on the practical use of UML for different software architecture viewpoints M Ozkaya, F Erata Information and Software Technology 121, 106275, 2020 | 83 | 2020 |
| Understanding practitioners’ challenges on software modeling: A survey M Ozkaya, F Erata Journal of Computer Languages 58, 100963, 2020 | 22 | 2020 |
| 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 | 14 | 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 | 13 | 2023 |
| 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 | 13 | 2017 |
| 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 | 12 | 2023 |
| 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 | 11 | 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 | 11 | 2016 |
| 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 | 9 | 2023 |
| Classification of quantum computer fault injection attacks C Xu, F Erata, J Szefer arXiv preprint arXiv:2309.05478, 2023 | 8 | 2023 |
| Modeling traceability in system of systems B Tekinerdogan, F Erata Proceedings of the Symposium on Applied Computing, 1799-1802, 2017 | 7 | 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 | 7 | 2015 |
| Exploration of Quantum Computer Power Side-Channels C Xu, F Erata, J Szefer arXiv preprint arXiv:2304.03315, 2023 | 6 | 2023 |
| 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 | 6 | 2018 |
| Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers F Erata, C Xu, R Piskac, J Szefer arXiv preprint arXiv:2401.15869, 2024 | 5 | 2024 |
| 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 | 5 | 2019 |
| 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 | 4 | 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 | 4 | 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 | 3 | 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 | 3 | 2022 |
Jakub SzeferAssociate Professor of Electrical Engineering, Yale UniversityEmail verificata su yale.edu