Youssef El Bakouny

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

Collaborative distances:

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

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

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