3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.NI2024
Can Edge Computing fulfill the requirements of automated vehicular services using 5G network ?
Wendlasida Ouedraogo, Andrea Araldo, Badii Jouaber +2
Communication and computation services supporting Connected and Automated Vehicles (CAVs) are characterized by stringent requirements, in terms of response time and reliability. Fu…
cs.PL2023★ 3 cited
Coqlex: Generating Formally Verified Lexers
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Strassburger
A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of…