On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods. - Paulina Stevia Nouwou Mindom; Amin Nikanjam; Foutse Khomh; John Mullins (QRS, 2021)

How to certify machine learning based safety-critical systems? A systematic literature review. - Florian Tambon; Gabriel Laberge; Le An; Amin Nikanjam; Paulina Stevia Nouwou Mindom; Yann Pequignot; Foutse Khomh; Giulio Antoniol; Ettore Merlo; François Laviolette (Autom. Softw. Eng., 2022)

A comparison of reinforcement learning frameworks for software testing tasks. - Paulina Stevia Nouwou Mindom; Amin Nikanjam; Foutse Khomh (Empir. Softw. Eng., 2023)

Continuously Learning Bug Locations. - Paulina Stevia Nouwou Mindom; Léuson M. P. da Silva; Amin Nikanjam; Foutse Khomh (CoRR, 2024)

Harnessing pre-trained generalist agents for software engineering tasks. - Paulina Stevia Nouwou Mindom; Amin Nikanjam; Foutse Khomh (Empir. Softw. Eng., 2025)