Johnny Cardoso Marques

According to our database, Johnny Cardoso Marques authored at least 22 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Mapping the Asymmetries of Graduate Programs in Brazil: Modeling, Visualization and Reporting of Estimates.

Daniela America da Silva, Johnny Cardoso Marques, Paulo Marcelo Tasinaffo

Rev. Iberoam. de Tecnol. del Aprendiz., August, 2023

A Requirements Specification Method: An Experience Report in Aerospace.

Carlos Renato dos Santos, Johnny Cardoso Marques

Proceedings of the Anais do WER23, 2023

Enhancing Aviation Software Development: An Experience Report on Conducting Audits.

Johnny Cardoso Marques, Sarasuaty Megume Hayashi Yelisetty, Talita Marques Ruiz Slavov, Lilian Barros

Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

ME-MPS: An MR-MPS-SW extension model for critical software in regulated environments.

Everton Machado, Johnny Cardoso Marques

Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

2022

How assurance case development and requirements engineering interplay: a study with practitioners.

Camilo C. Almendra, Carla Silva, Luiz Eduardo Galvão Martins, Johnny Cardoso Marques

Requir. Eng., 2022

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

ASP: An Aerospace Specification Process for Hardware Logic.

Carlos Renato dos Santos, Johnny Cardoso Marques

Proceedings of the Anais do WER22 - Workshop em Engenharia de Requisitos, Natal, 2022

A-Star Based Algorithm Applied to Target Search and Rescue by a UAV Swarm.

Guilherme T. T. Bernardo, Luan M. B. Vogás, Sargon D. S. Rodrigues, Thiago G. G. Lopes, Cesar Augusto Cavalheiro Marcondes, Denis Silva Loubach, Elton Felipe Sbruzzi, Filipe Alves Neto Verri, Johnny Cardoso Marques, Lourenço Alves Pereira Júnior, Marcos R. O. de A. Máximo, Vitor Venceslau Curtis

Proceedings of the Latin American Robotics Symposium, 2022

2021

Could a Conversational AI Identify Offensive Language?

Daniela America da Silva, Henrique Duarte Borges Louro, Gildárcio Sousa Gonçalves, Johnny Cardoso Marques, Luiz Alberto Vieira Dias, Adilson Marques da Cunha, Paulo Marcelo Tasinaffo

Inf., 2021

Processo de Especificação de Banco de Dados em Sistemas Críticos.

Sarasuaty Megume Hayashi Yelisetty, Johnny Cardoso Marques, Luiz Alberto Vieira Dias

Proceedings of the Anais do WER21, 2021

Preface.

Maria Lencastre, Graciela D. S. Hadad, Johnny Cardoso Marques

Proceedings of the Anais do WER21, 2021

Autonomous and Collective Intelligence for UAV Swarm in Target Search Scenario.

Luiz Giacomossi, Flavio Souza, Raphael Gomes Cortes, Huascar Mirko Montecinos Cortez, Caue Ferreira, Cesar Augusto Cavalheiro Marcondes, Denis Silva Loubach, Elton Felipe Sbruzzi, Filipe Alves Neto Verri, Johnny Cardoso Marques, Lourenço Alves Pereira Jr., Marcos R. O. A. Máximo, Vitor Venceslau Curtis

Proceedings of the Latin American Robotics Symposium, 2021

Recommendations for the Usage of Design Models in Aviation Software.

André Sarkis, Johnny Cardoso Marques, Luiz Alberto Vieira Dias

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

An Analysis on Tradable Permit Models for Last-Mile Delivery Drones.

Filipe Alves Neto Verri, Cesar Augusto Cavalheiro Marcondes, Denis Silva Loubach, Elton Felipe Sbruzzi, Johnny Cardoso Marques, Lourenço Alves Pereira Júnior, Marcos Ricardo Omena de Albuquerque Máximo, Vitor Venceslau Curtis

IEEE Access, 2020

Requirements for a Software Audit Model in Safety-Critical Domains.

Talita Marques Ruiz Slavov, Johnny Cardoso Marques, Luiz Eduardo Galvão Martins

Proceedings of the Anais do WER20, 2020

Q-Scrum: A Framework for Quality in Safety-Critical Development.

Johnny Cardoso Marques, Adilson Marques da Cunha, Luiz Alberto Vieira Dias

Proceedings of the Quality of Information and Communications Technology, 2020

Generating test cases to evaluate and improve processes of safety-critical systems development.

Lilian Barros, Celso M. Hirata, Johnny Cardoso Marques, Ana Maria Ambrosio

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

ARES: An Agile Requirements Specification Process for Regulated Environments.

Johnny Cardoso Marques, Adilson Marques da Cunha

Int. J. Softw. Eng. Knowl. Eng., 2019

Uma Análise das Características de Especificação de Requisitos de Software em Normas de Ambientes Regulados.

Johnny Cardoso Marques

Proceedings of the Anais do WER19, 2019

2013

CARD-RM: A Reference Model for Airborne Software.

Johnny Cardoso Marques, Sarasuaty Megume Hayashi Yelisetty, Adilson Marques da Cunha, Luiz Alberto Vieira Dias

Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

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

Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

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

Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012