Developing a Smart Grids System as a PBL with Agile Method on Computer Engineering Courses. - Caio Henrique Coutinho; Johnny Cardoso Marques; Sarasuaty Megume Hayashi Yelisetty; Samoel Mirachi; Alexandre Lima Possebon Ribeiro; Marcelo Amaral da Silva; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2012)

Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification. - Johnny Cardoso Marques; Sarasuaty Megume Hayashi Yelisetty; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2012)

CARD-RM: A Reference Model for Airborne Software. - Johnny Cardoso Marques; Sarasuaty Megume Hayashi Yelisetty; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2013)

Processo de Especificação de Banco de Dados em Sistemas Críticos. - Sarasuaty Megume Hayashi Yelisetty; Johnny Cardoso Marques; Luiz Alberto Vieira Dias (WER, 2021)

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)