RAC (Revue avec comité de lecture)

Nguena Timo, Omer Landry, Alexandre Petrenko, S. Ramesh. Fault model-driven testing from FSM with symbolic inputs. Software Quality Journal 27. 2 (2019) : 501-527.

Nguena Timo, Omer Landry, Guillaume Langelier. Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study. Electronic Notes in Theoretical Computer Science 320. (2016) : 35-51.

Pinisetty, Srinivas, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo. Runtime enforcement of timed properties revisited. Formal Methods in System Design 45. 3 (2014) : 381-422.

Nguena Timo, Omer Landry, Pierre-Alain Reynier. On characteristic formulae for Event-Recording Automata. RAIRO - Theoretical Informatics and Applications 47. (2013) : 69-96.

COC (Contribution à un ouvrage collectif)

Nguena Timo, Omer Landry. Mining Precise Test Oracle Modelled by FSM. Proceedings of 33e IFIP WG 6.1 International Conference on Testing Software and Systems. Springer, 2021. 20-36.

Nguena Timo, Omer Landry, Alexandre Petrenko. Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. Proceedings of 31e IFIP WG 6.1 International Conference on Testing Software and Systems. Springer, 2019. 104-120.

Nguena Timo, Omer Landry, Alexandre Petrenko, S. Ramesh. Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. Proceedings of 15th International Colloquium on Theoretical Aspects of Computing. Springer, 2018. 354-375.

Nguena Timo, Omer Landry. Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. Proceedings of 29e IFIP WG 6.1 International Conference on Testing Software and Systems. Springer, 2017. 108-125.

Nguena Timo, Omer Landry, Alexandre Petrenko, S. Ramesh. Multiple Mutation Testing from FSM. Proceedings of 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Springer, 2016. 222-238.

Petrenko, Alexandre, Omer Landry Nguena Timo, S. Ramesh. Test Generation by Constraint Solving and FSM Mutant Killing. Proceedings of 28e IFIP WG 6.1 International Conference on Testing Software and Systems. Springer, 2016. 36-51.

Petrenko, Alexandre, Omer Landry Nguena Timo, Arnaud Dury, S. Ramesh. Reachability in hierarchical machines. Proceedings of the 15th IEEE International Conference on Information Reuse and Integration. IEEE Computer Society, 2014. 475-482.

David, Alexandre, Omer Landry Nguena Timo, Kim G. Larsen, Marius Mikucionis, Antoine Rollet. Remote Testing of Timed Specifications. Proceedings of 25e IFIP WG 6.1 International Conference on Testing Software and Systems. Springer, 2013. 65-81.

Nguena Timo, Omer Landry, Tegawendé F. Bissyandé. Y Nut, a Phonetic-Based Learning System for Spoken Languages.. Proceedings of 5th International Conference on e-Infrastructure and e-Services for Developing Countries . Springer, 2013. 229-233.

Pinisetty, Srinivas, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo. Runtime Enforcement of Timed Properties. Proceedings of Third International Conference on Runtime Verification. Springer, 2012. 229-244.

Nguena Timo, Omer Landry, Pierre-Alain Reynier. On Characteristic Formulae for Event-Recording Automata. 6th Workshop on Fixed Points in Computer Science. Institute of Cybernetics 2009, 2009. 70-78.

CAC (Publications arbitrées dans des actes de colloque)

Nguena Timo, Omer Landry, Alexandre Petrenko. Using Imprecise Test Oracles Modelled by FSM. 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, 32-39. (2019).

Nguena Timo, Omer Landry. Fault Detection in Timed FSM with Timeouts by SAT-Solving. 19th IEEE International Conference on Software Quality, Reliability and Security, IEEE. 326-333. (2018).

Petrenko, Alexandre, Omer Landry Nguena Timo, S. Ramesh. Model-based testing of automotive software: some challenges and solutions. 52nd Annual Design Automation Conference, San Francisco. ACM. (2015).

Nguena Timo, Omer Landry. Tableaux For Event-Recording Logic : On deciding the existence of deterministic models. 11ème colloque africain de recherche en informatique, 8. (2012).

Nguena Timo, Omer Landry, Antoine Rollet. A zone-based reachability analysis of variable driven timed automata.. 3rd International Conference on Advances in System Testing and Validation Lifecycle, 7. (2011).

Nguena Timo, Omer Landry, Antoine Rollet. Test Selection for Data-Flow Reactive Systems Based on Observations. Fourth IEEE International Conference on Software Testing, Verification and Validation, IEEE. 1-8. (2011).

Nguena Timo, Omer Landry, Antoine Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints. 22nd IFIP International Conference on Testing Software and Systems (ICTSS10), (ex Testcom/Fates), CRIM. (2010).

Nguena Timo, Omer Landry, Antoine Rollet. Conformance testing of variable driven automata. 8th IEEE International Workshop on Factory Communication Systems Communication in Automation, 8. (2010).

Nguena Timo, Omer Landry. Timed Model-Checking Game : case of event-recording logic. 8ème colloque africain de recherche en informatique, 8. (2006).

RAP (Rapport de recherche)

Avellaneda, Florent, Omer Landry Nguena Timo, Fehmi Jaafar. 2021. Repérez le piratage : Systèmes de détection d'intrusion pour réseaux avioniques et technologies de bus - jalon 1, Projet IDEeS W7714-196962 (Défense nationale). Centre de recherche Informatique de Montréal (CRIM) :

Nguena Timo, Omer Landry, et al. 2020. Validation methods and techniques for evolving systems considering use case requirements, International ITEA3/IVVES Project, Deliverable 3.2.

Pölönen, Harri, ..., Omer Landry Nguena Timo. 2020. Training Data Quality, ITEA3 - IVVES Project, Deliverable 2.2.

Xiao, Tianqi , Omer Landry Nguena Timo, Florent Avellaneda, yasir Malik, Stefan Bruda. 2020. An Approach to Evaluating Decision Tree Learning Algorithms, Centre de recherche Informatique de Montréal (CRIM) :

Avellaneda, Florent, Omer Landry Nguena Timo, Alexandre Petrenko. 2019. State of the art of V\&V techniques for machine learning -enabled automotive systems, Centre de recherche Informatique de Montréal(CRIM) - General Motors :

Nguena Timo, Omer Landry, Alexandre Petrenko. 2018. Integration Testing of Automotive Software System, Centre de recherche Informatique de Montréal (CRIM) :

Nguena Timo, Omer Landry, Alexandre Petrenko. 2017. Test Selection for Revealing Unintended Behavior in Integration Testing, Centre de recherche Informatique de Montréal (CRIM) :

Nguena Timo, Omer Landry, Alexandre Petrenko. 2016. Fault-Model based Test Selection, Centre de recherche Informatique de Montréal (CRIM) :

Nguena Timo, Omer Landry, Alexandre Petrenko. 2016. Methods and Tools to Detect Unintended Behaviors, Centre de recherche Informatique de Montréal (CRIM) :

Nguena Timo, Omer Landry, Alexandre Petrenko. 2015. Causes of Unintended Behaviors in Automotive Applications, Centre de recherche Informatique de Montréal(CRIM) :