Youssef El Bakouny

According to our database, Youssef El Bakouny authored at least 7 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

UISearch: Graph-Based Embeddings for Multimodal Enterprise UI Screenshots Retrieval.

Maroun Ayli, Youssef El Bakouny, Tushar Sharma, Nader Jalloul, Hani Seifeddine, Rima Kilany

CoRR, November, 2025

A Domain-Agnostic Framework for Visual Element Detection From High-Level Descriptions.

Maroun Ayli, Youssef El Bakouny, Nader Jalloul, Hani Seifeddine, Rima Kilany Chamoun

IEEE Access, 2025

AI-Driven Test Generation from Natural Language: A Gamified Framework for Automated UI Testing.

Maroun Ayli, Youssef El Bakouny, Nader Jalloul, Hani Seifeddine, Rima Kilany

Proceedings of the International Conference on Machine Learning and Applications, 2025

2024

Enhancing UI Tests Robustness With Graph Convolutional Networks.

Maroun Ayli, Youssef El Bakouny, Hani Seifeddine, Nader Jalloul, Rima Kilany

Proceedings of the Management of Digital EcoSystems - 16th International Conference, 2024

2018

The Scallina Grammar - Towards a Scala Extraction for Coq.

Youssef El Bakouny, Dani Mezher

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Scallina: Translating Verified Programs from Coq to Scala.

Youssef El Bakouny, Dani Mezher

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

A Coq-based synthesis of Scala programs which are correct-by-construction.

Youssef El Bakouny, Tristan Crolard, Dani Mezher

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017