A New Method for Transforming Timed Automata. - Ahmed Khoumsi; Lucien Ouedraogo (SBMF, 2004)

Symbolic approach to nonblocking and safe control of Extended Finite Automata. - Lucien Ouedraogo; Ratnesh Kumar 001; Robi Malik; Knut Åkesson (CASE, 2010)

A new method for centralised and modular supervisory control of real-time discrete event systems. - Lucien Ouedraogo; Ahmed Khoumsi; Mustapha Nourelfath (Int. J. Control, 2010)

SetExp: a method of transformation of timed automata into finite state automata. - Lucien Ouedraogo; Ahmed Khoumsi; Mustapha Nourelfath (Real Time Syst., 2010)

Exact response time of FlexRay communication protocol. - Lucien Ouedraogo; Ratnesh Kumar 001 (IWCMC, 2011)

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. - Lucien Ouedraogo; Ratnesh Kumar 001; Robi Malik; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2011)

Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages. - Lucien Ouedraogo; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2014)