Artigos

Periódicos

1.

FAICAL, BRUNO S. ; MARCONDES, CESAR A. C. ; LOUBACH, DENIS S. ; SBRUZZI, ELTON F. ; VERRI, FILIPE A. N. ; MARQUES, JOHNNY C. ; PEREIRA, LOURENCO A. ; MAXIMO, MARCOS R. O. A. ; CURTIS, VITOR V. . A Cyber-Physical System's Roadmap to Last-Mile Delivery Drones. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, v. 1, p. 1-10, 2023.

2.

ALMENDRA, CAMILO ; SILVA, CARLA ; MARTINS, LUIZ EDUARDO G. ; MARQUES, JOHNNY . How assurance case development and requirements engineering interplay: a study with practitioners. REQUIREMENTS ENGINEERING, v. 1, p. 1-20, 2022.

3.

JOSÉ DOS SANTOS FREITAS, MOISÉS ; MORAES, ALISON ; CARDOSO MARQUES, JOHNNY ; RODRIGUES, FABIANO . A contribution to real-time space weather monitoring based on scintillation observations and IoT. ADVANCES IN SPACE RESEARCH, v. 04, p. 1-14, 2022.

4.

YELISETTY, S. M. H. ; BARROS, L. M. S. ; SLAVOV, T. R. ; MARQUES, JOHNNY C. . Identification and Evaluation of Shortages, Human and Technical Factors in Quality Assurance in Airborne Software in Brazil. iSys - Revista Brasileira de Sistemas de Informação, v. 15, p. 21:1-21:24, 2022.

5.

MARQUES, J. C.; Yelisetty, S. M. H. ; BARROS, L. M. S. . A Framework for Loadable Airborne Systems. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, v. 36, p. 38-47, 2021.

6.

MARQUES, J. C.; BARROS, L. M. S. ; YELISETTY, S. M. H. . Um Mapeamento Sistemático da Literatura no Uso da IEC 62304. journal of health informatics, v. 13, p. 31-37, 2021.

7.

SILVA, D. A. ; MARQUES, J. C. ; Louro, Henrique Duarte Borges ; GONCALVES, G. S. ; VIEIRA DIAS, LUIZ ALBERTO ; CUNHA, ADILSON ; TASINAFFO, PAULO MARCELO . Could a Conversational AI Identify Offensive Language?. Information, v. 12, p. 1-29, 2021.

8.

SILVA, A. A. ; MARQUES, J. C. . Systematic Mapping of Literature in Machine Learning for Quantum Teleportation for Satellite Networks. INTERNATIONAL JOURNAL OF ENGINEERING AND TECHNICAL RESEARCH (PRINT), v. 11, p. 11-14, 2021.

9.

VERRI, FILIPE A. N. ; MARCONDES, CESAR A. C. ; LOUBACH, DENIS S. ; SBRUZZI, ELTON F. ; MARQUES, JOHNNY C. ; P., LOURENCRO A. ; MAXIMO, MARCOS R. O. A. ; CURTIS, VITOR V. . An Analysis on Tradable Permit Models for Last-Mile Delivery Drones. IEEE Access, v. 8, p. 1-1, 2020.

10.

SARKIS, A. ; MARQUES, J. C. ; DIAS, L. A. V. . Direcionadores para o Desenvolvimento Baseado em Modelos de Software Embarcado Aeronáutica. CADERNOS DO IME. SÉRIE INFORMÁTICA, v. 44, p. 26-41, 2020.

11.

MARQUES, J. C.; DA CUNHA, ADILSON MARQUES . ARES: An Agile Requirements Specification Process for Regulated Environments. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v. 29, p. 1403-1438, 2019.

12.

MARQUES, J. C.; YELISETTY, S. M. H. . Exploring Validation Techniques to Ensure Correctness in Aeronautical Databases. INTERNATIONAL JOURNAL OF ENGINEERING & TECHNICAL RESEARCH, v. 9, p. 14-20, 2019.

13.

MARQUES, JOHNNY; YELISETTY, SARASUATY . An Analysis of Software Requirements Specification Characteristics In Regulated Environments. International Journal of Software Engineering & Applications, v. 10, p. 1-15, 2019.

14.

COSTA, R. F. ; YELISETTY, S. M. H. ; MARQUES, J. C. ; TASINAFFO, P. M. . A Brief Didactic Theoretical Review on Convolutional Neural Networks, Deep Belief Networks and Stacked Auto-Encoders. INTERNATIONAL JOURNAL OF ENGINEERING & TECHNICAL RESEARCH, v. 9, p. 5-12, 2019.

15.

SILVA, DANIELA AMÉRICA DA; TASINAFFO, PAULO MARCELO ; MARQUES, J. C. ; VIEIRA DIAS, LUIZ ALBERTO ; CUNHA, A. M. . Consistência de Polaridade de Palavras em Aplicações de Análise de Sentimentos. Unisanta Science & Technology, v. 8, p. 96-104, 2019.

16.

MARQUES, J. C.; YELISETTY, S. M. H. ; DIAS, L. A. V. ; CUNHA, A. M. . Airborne Software Certification Accomplishment Using Model-Driven Design. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE, v. 3, p. 18-25, 2013.

Artigos de Eventos

1.

BRAGA, MARCUS VINÍCIO DE O. ; MAXIMO, MARCOS RICARDO O. DE ALBUQUERQUE ; MARQUES, JOHNNY CARDOSO . Um Protótipo de Sistema de Apoio no Cuidado de Idosos. In: Anais Estendidos do Simpósio Brasileiro de Sistemas de Informação, 2023, Brasil. Anais Estendidos do XIX Simpósio Brasileiro de Sistemas de Informação (SBSI 2023), 2023. p. 105.

2.

VASCONCELOS, KASSIUS CAXITO DE ; MARQUES, JOHNNY CARDOSO . Um Mapeamento Sistemático da Literatura sobre o Processo Decisório de Investimentos de Tecnologias da Informação em Organizações Públicas. In: Workshop de Computação Aplicada em Governo Eletrônico, 2023, Brasil. Anais do XI Workshop de Computação Aplicada em Governo Eletrônico (WCGE 2023), 2023. p. 25.

3.

SANTOS, CARLOS RENATO DOS ; MARQUES, JOHNNY CARDOSO . A Requirements Specification Method: An Experience Report in Aerospace. In: Workshop on Requirements Engineering, 2023, Porto Alegre. Anais do Workshop em Engenharia de Requisitos. Recife: Even3, 2023.

4.

MARQUES, JOHNNY; FOOK, KARLA . Um Modelo de Ensino Virtual de Engenharia de Software Orientado por Competências, Times e Projetos. In: Simpósio Brasileiro de Educação em Computação, 2022, Brasil. Anais do II Simpósio Brasileiro de Educação em Computação (EDUCOMP 2022), 2022. p. 99.

5.

SANTOS, C. R. ; MARQUES, J. C. . ASP: An Aerospace Specification Process for Hardware Logic. In: 25th Workshop on Requirements Engineering (WER 2022), 2022, Natal. Anais do WER22 - Workshop em Engenharia de Requisitos, Virtual mode, Natal, Brasil, Agosto 23-26, 2022, 2022. v. 25.

6.

LIMA, RICHARDSON EDSON DE ; MARQUES, JOHNNY . MECADE: Modelo de Engenharia do Caos para Avaliação da Garantia de Dependabilidade em Sistemas Financeiros. In: Simpósio Brasileiro de Sistemas de Informação, 2022, Brasil. Anais Estendidos do XVIII Simpósio Brasileiro de Sistemas de Informação (SBSI Estendido 2022), 2022. p. 71.

7.

BERNARDO, GUILHERME T. T. ; VOGAS, LUAN M. B. ; RODRIGUES, SARGON D. S. ; LOPES, THIAGO G. G. ; MARCONDES, CESAR A. C. ; LOUBACH, DENIS S. ; SBRUZZI, ELTON F. ; VERRI, FILIPE A. N. ; MARQUES, JOHNNY C. ; PEREIRA, LOURENCO A. ; MAXIMO, MARCOS R. O. A. ; CURTIS, VITOR V. . A-Star Based Algorithm Applied to Target Search and Rescue by a UAV Swarm. In: 2022 Latin American Robotics Symposium (LARS), 2022 Brazilian Symposium on Robotics (SBR), and 2022 Workshop on Robotics in Education (WRE), 2022, São Bernardo do Campo. 2022 Latin American Robotics Symposium (LARS), 2022 Brazilian Symposium on Robotics (SBR), and 2022 Workshop on Robotics in Education (WRE), 2022. p. 49.

8.

YELISETTY, SARASUATY ; BARROS, LILIAN ; SLAVOV, TALITA ; MARQUES, JOHNNY . Um Levantamento de Fatores Humanos e Técnicos em Garantia de Qualidade de Projeto de Software Embarcado Aeronáutico no Brasil. In: Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software, 2021, Brasil. Anais do VI Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software (WASHES 2021), 2021. p. 1.

9.

YELISETTY, S. M. H. ; MARQUES, J. C. ; VIEIRA DIAS, LUIZ ALBERTO . Processo de Especificação de Banco de Dados em Sistemas Críticos. In: XXIV Workshop em Engenharia de Requisitos, 2021, Brasilia. Anais do WER21 - Workshop em Engenharia de Requisitos. Rio de Janeiro: PUC-RIO, 2021. v. 1. p. 1-10.

10.

GIACOMOSSI, LUIZ ; SOUZA, FLAVIO ; CORTES, RAPHAEL GOMES ; MIRKO MONTECINOS CORTEZ, HUASCAR ; FERREIRA, CAUE ; MARCONDES, CESAR A. C. ; LOUBACH, DENIS S. ; SBRUZZI, ELTON F. ; VERRI, FILIPE A. N. ; MARQUES, JOHNNY C. ; PEREIRA, LOURENCO A. ; MAXIMO, MARCOS R. O. A. ; CURTIS, VITOR V. . Autonomous and Collective Intelligence for UAV Swarm in Target Search Scenario. In: 2021 Latin American Robotics Symposium (LARS), 2021 Brazilian Symposium on Robotics (SBR), and 2021 Workshop on Robotics in Education (WRE), 2021, Natal. 2021 Latin American Robotics Symposium (LARS), 2021 Brazilian Symposium on Robotics (SBR), and 2021 Workshop on Robotics in Education (WRE), 2021. p. 72.

11.

SARKIS, ANDRE ; MARQUES, JOHNNY ; DIAS, LUIZ ALBERTO VIEIRA . Recommendations for the Usage of Design Models in Aviation Software. In: 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021, Wuhan. 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2021. p. 56.

12.

BARROS, LILIAN ; HIRATA, CELSO ; MARQUES, JOHNNY ; AMBROSIO, ANA MARIA . Generating test cases to evaluate and improve processes of safety-critical systems development. In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020, Coimbra. 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020. p. 311.

13.

SHIGEMURA, R. A. L. ; GONCALVES, G. S. ; OLIVEIRA, F. A. ; COURA, L. H. ; BASSETO JUNIOR, E. E. ; DIAS, L. A. V. ; CUNHA, A. M. ; TASINAFFO, P. M. ; MARQUES, J. C. . Wibx: Making Smart Contracts Even Smarter. In: WAIAF 2019 - Workshop of Artificial Intelligence Applied to Finance, 2019, São José dos Campos. WAIAF 2019 - Workshop of Artificial Intelligence Applied to Finance, 2019.

14.

MARQUES, JOHNNY. Uma Análise das Características de Especificação de Requisitos de Software em Normas de Ambientes Regulados. In: 22º Workshop de Engenharia de Requisitos (WER 2019), 2019, Recife. Anais do 22º Workshop em Engenharia de Requisitos, 2019.

15.

MARQUES, JOHNNY; DA CUNHA, ADILSON MARQUES . A Set of Requirements for Certification of Airborne Military Software. In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 2019, San Diego. 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 2019. p. 1.

16.

LELLS, C. ; MARQUES, JOHNNY ; MARCONDES, C. . Dinâmica Hospitalar na Era do Cibercrime. In: XX Simpósio de Aplicações Operacionais em Áreas de Defesa, 2019, São José dos Campos. XX Simpósio de Aplicações Operacionais em Áreas de Defesa, 2019.

17.

MARQUES, J. C.; Yelisetty, S. M. H. ; DUTRA, C. ; SULZBACHER, F. . Um Levantamento de Requisitos de Processos para Certificação para Sistemas Militares com Software. In: XX Simpósio de Aplicações Operacionais em Áreas de Defesa, 2019, São José dos Campos. XX Simpósio de Aplicações Operacionais em Áreas de Defesa, 2019.

18.

MARQUES, J. C.; YELISETTY, S. M. H. ; BARROS, L. M. S. . Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico. In: V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança (WRAC+), 2019, São Paulo. V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança (WRAC+), 2019.

19.

MARQUES, J. C.; YELISETTY, S. M. H. . LP-SAR: Linhas de Processo para Software em Ambientes Regulados. In: I Brazilian Workshop on lArge-scale cRitical systEms (BWARE), 2019, Salvador. I Brazilian Workshop on lArge-scale cRitical systEms (BWARE), 2019.

20.

LOUBACH, DENIS S. ; CARDOSO MARQUES, JOHNNY ; MARQUES DA CUNHA, ADILSON . Considerations on Domain-Specific Architectures Applicability in Future Avionics Systems. In: The 10th Aerospace Technology Congress, October 89, 2019, Stockholm, Sweden, 2019, Estocolmo. org.crossref.xschema._1.Title@331149a1, 2019. p. 156.

21.

SILVA, D. A. ; SOUSA, G. G. ; SANTOS, S. C. ; RAMOS, M. P. ; MARQUES, J. C. ; DIAS, L. A. V. ; CUNHA, A. M. ; TASSINAFO P.M. . Using IoT in Emergency Mobile Health Care. In: 2018 International Conference on Health Informatics and Medical Systems (HIMS'18), 2018, Las Vegas. Proceedings of the 2018 International Conference on Health Informatics and Medical Systems (HIMS'18). Las Vegas: American Council on Science and Education, 2018. p. 28-34.

22.

MARQUES, J. C.; CUNHA, A. M. . Tailoring Traditional Software Life Cycles to Ensure Compliance with RTCA DO-178C and DO-331 with Model Driven Design. In: 37th IEEE/AIAA Digital Avionics System Conference, 2018, Londres. Proceedings of the 37th IEEE/AIAA Digital Avionics System Conference, 2018.

23.

SILES, L. ; SANTOS, M. ; RODRIGUES, R. ; FILHO, L. ; SILES, J. ; MARIA, R. E. ; MARQUES, J. C. ; Luiz Alberto Vieira Dias ; CUNHA, A. M. . An Integrated Academic System Prototype for Accidents and Crises Management using Scrum Agile Method and SCADE. In: 2017 14th International Conference on Information Technology: New Generations (ITNG), 2017, Las Vegas. 2017 14th International Conference on Information Technology: New Generations (ITNG), 2017.

24.

MARQUES, JOHNNY; CUNHA, A. M. . Verification Scenarios of Onboard Databases under the RTCA DO-178C and the RTCA DO-200B. In: 2017 36th AIAA/IEEE Digital Avionics System Conference (DASC), 2017, St. Petersburg. 2017 36th AIAA/IEEE Digital Avionics System Conference (DASC), 2017.

25.

MARQUES, JOHNNY; CUNHA, A. M. . COTS Tool Qualification using RTCA DO-330: Common Pitfalls. In: 2017 36th AIAA/IEEE Digital Avionics System Conference, 2017, St. Petersburg. 2017 36th AIAA/IEEE Digital Avionics System Conference (DASC), 2017.

26.

GONCALVES, GILDARCIO SOUSA ; LIMA, GLAYDSON LUIZ BERTOZE ; MARIA, RENE ESTEVES ; WISNIESKI, RAMIRO TADEU ; DOS SANTOS, MAYARA VALERIA MORAIS ; FERREIRA, MANASSEIS ALVES ; DA SILVA, ALEXANDRE CHAVES ; OLIMPIO, ANDRE ; OTERO, ANDRE GOMES LAMAS ; DE VASCONCELOS, LUIZ EDUARDO GUARINO ; SATO, LUCIANO YUKIO COUTINHO ; SILVA, HENRIQUE NUNWEILER ANGELIM ; MARQUES, JOHNNY CARDOSO ; MATTEI, ANDRE LUIZ PIERRE ; DA CUNHA, ADILSON MARQUES ; DIAS, LUIZ ALBERTO VIEIRA ; SAOTOME, OSAMU . An interdisciplinary academic project for spatial critical embedded system agile development. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Prague. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015. p. 8C3-1.

27.

MARQUES, JOHNNY; DA CUNHA, ADILSON MARQUES . Use of the RTCA DO-330 in aeronautical databases. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Prague. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015. p. 8D1-1.

28.

YELISETTY, SARASUATY MEGUME HAYASHI ; MARQUES, JOHNNY ; TASINAFFO, PAULO MARCELO . A set of metrics to assess and monitor compliance with RTCA DO-178C. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Prague. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015. p. 8D2-1.

29.

DA SILVA COELHO, RAFAEL AUGUSTO ; DA CUNHA, ADILSON MARQUES ; GOMES, ANDERSON ALVES ; SEGETI, ELIEZER RODRIGUES ; MARQUES, JOHNNY CARDOSO ; VICENTE, LEONARDO MIRANDA ; DIAS, LUIZ ALBERTO VIEIRA ; ABRUNHOSA, MILTON LUIZ ; KAMOI, ROGER NOBUYUKI ; MIRACHI, SAMOEL ; DIEDRICH, TIAGO JOSUE ; DA COSTA GUERRA, VALDIR . Developing a CDS with Scrum in an interdisciplinary academic project. In: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 2014, Colorado Springs. 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 2014. p. 5D6-1.

30.

MARQUES, JOHNNY; CUNHA, ADILSON . A reference method for airborne software requirements. In: 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC), 2013, East Syracuse. 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC). p. 1.

31.

MARQUES, JOHNNY CARDOSO; YELISETTY, SARASUATY MEGUME HAYASHI ; DA CUNHA, ADILSON MARQUES ; DIAS, LUIZ ALBERTO VIEIRA . CARD-RM: A Reference Model for Airborne Software. In: 2013 Tenth International Conference on Information Technology: New Generations (ITNG), 2013, Las Vegas. 2013 10th International Conference on Information Technology: New Generations, 2013. p. 273.

32.

MARQUES, JOHNNY CARDOSO; YELISETTY, SARASUATY MEGUME HAYASHI ; DIAS, LUIZ ALBERTO VIEIRA ; DA CUNHA, ADILSON MARQUES . Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification. In: 2012 Ninth International Conference on Information Technology: New Generations (ITNG), 2012, Las Vegas. 2012 Ninth International Conference on Information Technology - New Generations. p. 431.

33.

COUTINHO, CAIO HENRIQUE ; MARQUES, JOHNNY CARDOSO ; YELISETTY, SARASUATY MEGUME HAYASHI ; MIRACHI, SAMOEL ; RIBEIRO, ALEXANDRE LIMA POSSEBON ; DA SILVA, MARCELO AMARAL ; DA CUNHA, ADILSON MARQUES ; DIAS, LUIZ ALBERTO VIEIRA . Developing a Smart Grids System as a PBL with Agile Method on Computer Engineering Courses. In: 2012 Ninth International Conference on Information Technology: New Generations (ITNG), 2012, Las Vegas. 2012 Ninth International Conference on Information Technology - New Generations. p. 325.

34.

MARQUES, J. C.. Modification to Legacy Software Developed per DO-178A Level 1 to DO-178B Level A: How to Organize Software Life Cycle Data for Software Approval in Aircraft Certification. In: LADC 2011 - Latin American Symposium on Dependable Computing, 2011, São José dos Campos. LADC 2011 - Latin American Symposium on Dependable Computing, 2011.

35.

MARQUES, J. C.; Luiz Alberto Vieira Dias . Mitigação de Riscos de Certificação Civil em um Processo de Certificação de Aeronave Militar: Uma Abordagem para Software Embarcado. In: SIGE - Simpósio de Aplicações Operacionais em Áreas de Defesa, 2010, São José dos Campos. Anais do XII SIGE - Simpósio de Aplicações Operacionais em Áreas de Defesa, 2010.