Generating test cases to evaluate and improve processes of safety-critical systems development. - Lilian Barros; Celso M. Hirata; Johnny Cardoso Marques; Ana Maria Ambrosio (ISSRE Workshops, 2020)

Identificação e Avaliação de Carências, Fatores Humanos e Técnicos na Garantia de Qualidade em Software Embarcado Aeronáutico no Brasil. - Sarasuaty Megume Hayashi Yelisetty; Lilian Barros; Talita Slavov; Johnny Cardoso Marques (Braz. J. Inf. Syst., 2022)

Enhancing Aviation Software Development: An Experience Report on Conducting Audits. - Johnny Cardoso Marques; Sarasuaty Megume Hayashi Yelisetty; Talita Marques Ruiz Slavov; Lilian Barros (SBQS, 2023)