Synthesis for a Weak Real-Time Logic. (Synthèse pour une Logique Temps-Réel Faible). - Omer Landry Nguena-Timo (2009)

Test Selection for Data-Flow Reactive Systems Based on Observations. - Omer Nguena-Timo; Antoine Rollet (ICST Workshops, 2011)

Runtime Enforcement of Timed Properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Landry Nguena-Timo (RV, 2012)

Y Nut, a Phonetic-Based Learning System for Spoken Languages. - Omer Nguena-Timo; Tegawendé F. Bissyandé (AFRICOMM, 2013)

Remote Testing of Timed Specifications. - Alexandre David; Kim G. Larsen; Marius Mikucionis; Omer Nguena-Timo; Antoine Rollet (ICTSS, 2013)

On characteristic formulae for Event-Recording Automata. - Omer Landry Nguena-Timo; Pierre-Alain Reynier (RAIRO Theor. Informatics Appl., 2013)

Reachability in hierarchical machines. - Omer Nguena-Timo; Alexandre Petrenko; Arnaud Dury; S. Ramesh 002 (IRI, 2014)

Runtime enforcement of timed properties revisited. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Nguena-Timo (Formal Methods Syst. Des., 2014)

Model-based testing of automotive software: some challenges and solutions. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (DAC, 2015)

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study. - Omer Nguena-Timo; Guillaume Langelier (USE@FM, 2015)

Multiple Mutation Testing from FSM. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (FORTE, 2016)

Test Generation by Constraint Solving and FSM Mutant Killing. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (ICTSS, 2016)

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. - Omer Nguena-Timo; Alexandre Petrenko; S. Ramesh 002 (ICTSS, 2017)

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. - Omer Nguena-Timo; Alexandre Petrenko; S. Ramesh 002 (ICTAC, 2018)

Fault Detection for Timed FSM with Timeouts by Constraint Solving. - Omer Nguena Timo; Dimitri Prestat; Florent Avellaneda (CoRR, 2018)

Using Imprecise Test Oracles Modelled by FSM. - Omer Nguena Timo; Alexandre Petrenko; S. Ramesh 002 (ICST Workshops, 2019)

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. - Omer Nguena Timo; Dimitri Prestat; Antoine Rollet (ICTSS, 2019)

Fault Detection in Timed FSM with Timeouts by SAT-Solving. - Omer Nguena Timo; Dimitri Prestat; Florent Avellaneda (QRS, 2019)

Fault model-driven testing from FSM with symbolic inputs. - Omer Nguena Timo; Alexandre Petrenko; S. Ramesh 002 (Softw. Qual. J., 2019)

An Approach to Evaluating Learning Algorithms for Decision Trees. - Tianqi Xiao; Omer Nguena Timo; Florent Avellaneda; Yasir Malik; Stefan D. Bruda (CoRR, 2020)

Mining Precise Test Oracle Modelled by FSM. - Omer Nguena Timo (ICTSS, 2021)

Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (CRiSIS, 2024)

Parametric Automata for Dynamic Access Control Policies. - Franck Fotso Kuate; Florent Avellaneda; Omer Nguena Timo (FPS (1), 2024)

Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (FPS (1), 2024)

Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking. - Omer Nguena Timo; Tianqi Xiao; Florent Avellaneda; Yasir Malik; Stefan D. Bruda (AI Ethics, 2024)

Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. - Maya Benabdelhafid; Kamel Adi; Omer Landry Nguena-Timo; Luigi Logrippo (SECRYPT, 2025)