{"@attributes":{"name":"Wendlasida Ouedraogo","pid":"337\/1069","n":"6"},"person":{"@attributes":{"key":"homepages\/337\/1069","mdate":"2023-01-09"},"author":"Wendlasida Ouedraogo"},"r":[{"article":{"@attributes":{"key":"journals\/programming\/OuedraogoSS23","mdate":"2024-08-04"},"author":["Wendlasida Ouedraogo","Gabriel Scherer","Lutz Stra\u00dfburger"],"title":"Coqlex: Generating Formally Verified Lexers.","year":"2024","volume":"8","journal":"Art Sci. Eng. Program.","number":"1","ee":"https:\/\/doi.org\/10.22152\/programming-journal.org\/2024\/8\/3","url":"db\/journals\/programming\/programming8.html#OuedraogoSS23"}},{"inproceedings":{"@attributes":{"key":"conf\/vtc\/OuedraogoAJCG24","mdate":"2025-12-25"},"author":["Wendlasida Ouedraogo","Andrea Araldo","Badii Jouaber","Hind Castel","R\u00e9my Gr\u00fcnblatt"],"title":"Can Edge Computing Fulfill the Requirements of Automated Vehicular Services Using 5G Network ?","pages":"1-5","year":"2024","booktitle":"VTC Spring","ee":"https:\/\/doi.org\/10.1109\/VTC2024-Spring62846.2024.10683522","crossref":"conf\/vtc\/2024s","url":"db\/conf\/vtc\/vtc2024s.html#OuedraogoAJCG24","stream":"streams\/conf\/vtc"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2404-05296","mdate":"2024-05-15"},"author":["Wendlasida Ouedraogo","Andrea Araldo","Badii Jouaber","Hind Castel","R\u00e9my Gr\u00fcnblatt"],"title":"Can Edge Computing fulfill the requirements of automated vehicular services using 5G network ?","year":"2024","volume":"abs\/2404.05296","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2404.05296","url":"db\/journals\/corr\/corr2404.html#abs-2404-05296"}},{"phdthesis":{"@attributes":{"key":"phd\/hal\/Ouedraogo23","mdate":"2024-06-05"},"author":"Wendlasida Ouedraogo","title":"Optimization of source code for safety-critical systems. (Optimisation du code source pour les syst\u00e8mes critiques de s\u00e9curit\u00e9).","year":"2023","school":"Polytechnic Institute of Paris, Palaiseau, France","ee":"https:\/\/tel.archives-ouvertes.fr\/tel-04496038"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2306-12411","mdate":"2023-06-23"},"author":["Wendlasida Ouedraogo","Gabriel Scherer","Lutz Stra\u00dfburger"],"title":"Coqlex: Generating Formally Verified Lexers.","year":"2023","volume":"abs\/2306.12411","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2306.12411","url":"db\/journals\/corr\/corr2306.html#abs-2306-12411"}},{"inproceedings":{"@attributes":{"key":"conf\/cloudnet\/OuedraogoSAS22","mdate":"2026-05-20"},"author":["Wendlasida Ouedraogo","Alessandro Di Stefano","Andrea Araldo","Antonella Di Stefano"],"title":"MORA on the Edge: a testbed of Multiple Option Resource Allocation.","pages":"262-266","year":"2022","booktitle":"CloudNet","ee":"https:\/\/doi.org\/10.1109\/CloudNet55617.2022.9978894","crossref":"conf\/cloudnet\/2022","url":"db\/conf\/cloudnet\/cloudnet2022.html#OuedraogoSAS22"}}],"coauthors":{"@attributes":{"n":"8","nc":"2"},"co":[{"@attributes":{"c":"0"},"na":"Andrea Araldo"},{"@attributes":{"c":"0","n":"2"},"na":["Hind Castel-Taleb","Hind Castel"]},{"@attributes":{"c":"0"},"na":"R\u00e9my Gr\u00fcnblatt"},{"@attributes":{"c":"0"},"na":"Badii Jouaber"},{"@attributes":{"c":"1"},"na":"Gabriel Scherer"},{"@attributes":{"c":"0"},"na":"Alessandro Di Stefano"},{"@attributes":{"c":"0"},"na":"Antonella Di Stefano"},{"@attributes":{"c":"1"},"na":"Lutz Stra\u00dfburger"}]}}