Wendlasida Ouedraogo

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

University Campus

Automatically Generating

Telecommunications Networks

Top Venues

Art Sci. Eng. Program.

Publications

Wendlasida Ouedraogo, Andrea Araldo, Badii Jouaber, Hind Castel, Rémy Grünblatt
Can Edge Computing fulfill the requirements of automated vehicular services using 5G network ? CoRR (2024)
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Straßburger
Coqlex: Generating Formally Verified Lexers. Art Sci. Eng. Program. 8 (1) (2023)
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Straßburger
Coqlex: Generating Formally Verified Lexers. CoRR (2023)
Wendlasida Ouedraogo, Alessandro Di Stefano, Andrea Araldo, Antonella Di Stefano
MORA on the Edge: a testbed of Multiple Option Resource Allocation. CloudNet (2022)