Uma Metodologia de Ensino das Técnicas de Qualidade, Confiabilidade e Segurança (Safety) de Software Aplicadas num Protótipo de Sistema de Software de Computador Embarcado de Tempo Real no Instituto Tecnológico de Aeronáutica - ITA. - Francisco Supino Marcondes; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (SBQS, 2007)

Proposing a Formal Method to Reduce RTS Logical Model Complexity. - Francisco Supino Marcondes; Emilia de Menezes Colonese; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (ITNG, 2008)

Using GQM for Testing Design Patterns in Real-Time and Embedded Systems on a Software Production Line. - Claudio Gonçalves Bernardo; Denis Ávila Montini; Danilo Douradinho Fernandes; Daniela America da Silva; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2009)

Systematic and Formal Approach to get a Domain Specific Language. - Francisco Supino Marcondes; Danilo Douradinho Fernandes; Denis Ávila Montini; Paulo Marcelo Tasinaffo; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (ITNG, 2009)

Using GQM Hypothesis Restriction to Infer Bayesian Network Testing. - Denis Ávila Montini; Felipe Rafael Motta Cardoso; Francisco Supino Marcondes; Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2009)

Final Inspection for Design Pattern Homologation Using a Real Time Embedded Software in a Production Line. - Gabriel de Souza Pereira Moreira; Denis Ávila Montini; Danilo Douradinho Fernandes; Felipe Rafael Motta Cardoso; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2009)

Design Patterns Reuse for Real Time Embedded Software Development. - Gabriel de Souza Pereira Moreira; Denis Ávila Montini; Daniela America da Silva; Felipe Rafael Motta Cardoso; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2009)

A Desktop Environment for River Hazards Monitoring. - Joao Augusto de Pessoa; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2009)

Integrating Amazonic Heterogeneous Hydrometeorological Databases. - Glaucia Braga e Silva; Breno Lisi Romano; Henrique Fernandes de Campos; Ricardo Godoi Vieira; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2009)

A Methodology for Assessment Database According to ISO 9126. - Michelle Dias de Andrade Alves; Danilo Douradinho Fernandes; Denis Ávila Montini; Sergio Roberto M. Pelegrino; Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias (ITNG, 2010)

Process Model for Decision Making Using GQM approach. - Claudio Gonçalves Bernardo; Denis Ávila Montini; Danilo Douradinho Fernandes; Gabriela Maria Cabel Barbarán; Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias (ITNG, 2010)

ETL Process Model for a Manufacture Cells Production Line Integration. - Harison Pereira Bila de Carvalho; Danilo Battaglia; Denis Ávila Montini; Gabriel de Souza Pereira Moreira; Luiz Alberto Vieira Dias; Paulo Marcelo Tasinaffo (ITNG, 2010)

An Algorithm Model to Mapping Mealy Machines for a Software Manufacture Cell Petri Net. - Danilo Douradinho Fernandes; Felipe Rafael Motta Cardoso; Denis Ávila Montini; Francisco Supino Marcondes; Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias (ITNG, 2010)

A UML Extension to Graphically Represent Aspect Oriented Systems Perspectives. - Helivelton Oliveira Ferreira; Luiz Alberto Vieira Dias (ITNG, 2010)

A Process for Gathering Prospective Use Cases from Business Modeling. - Elton Oliveira Ferreira; Breno Lisi Romano; Glaucia Braga e Silva; Helivelton Oliveira Ferreira; Henrique Fernandes de Campos; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2010)

Organizational Testing Management Maturity Model for a Software Product Line. - Etiene Lamas; Erica Ferreira 001; Marcos Ribeiro do Nascimento; Luiz Alberto Vieira Dias; Fábio Fagundes Silveira (ITNG, 2010)

Formal Approach Use to Choose a Software Manufactoring Cell's SDLC. - Denis Ávila Montini; Danilo Douradinho Fernandes; Francisco Supino Marcondes; Paulo Marcelo Tasinaffo; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (ITNG, 2010)

Software Product Measurement and Analysis in a Continuous Integration Environment. - Gabriel de Souza Pereira Moreira; Roberto Pepato Mellado; Denis Ávila Montini; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2010)

Effectively Testing for a Software Product Line with OTM3 Organizational Testing Management Maturity Model. - Etiene Lamas; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2011)

Applying MDA Approach to Create Graphical User Interfaces. - Juliano de Almeida Monte-Mor; Elton Oliveira Ferreira; Henrique Fernandes de Campos; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2011)

Modeling and Analyzing Real-Time Embedded Software for a Data Collection System. - Synara Rosa Gomes dos Santos; Melis Mendes Silva; Juliana Cristina Ribeiro da Silva; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2011)

Problem Based Learning a Practical Approach for Software Engineering Interdisciplinary Teaching. - Melis Mendes Silva; Synara Rosa Gomes dos Santos; Juliana Cristina Ribeiro da Silva; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2011)

METACOM: Um Método para Análise de Correlação entre Métricas de Produto de Software e Propensão a Manutenção. - Gabriel de Souza Pereira Moreira; Roberto Pepato Mellado; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (SBQS, 2011)

An approach for modeling a formal Use Case Type at early development phase without loosing abstraction. - Francisco Supino Marcondes; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (Innov. Syst. Softw. Eng., 2011)

A Formal Control Model for Risks Management within Software Projects. - Felipe Rafael Motta Cardoso; Paulo Marcelo Tasinaffo; Denis Ávila Montini; Danilo Douradinho Fernandes; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 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 (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)

Range Analyzer: An Automatic Tool for Arithmetic Overflow Detection in Model-Based Development. - Renato Matuzaki Honda; Luiz Alberto Vieira Dias (ITNG, 2013)

Computer Science and Interdisciplinarity: A Case Study on an Undergraduate Program. - Adriana da Silva Jacinto; Tatiana Martins Almeri; Etiene Lamas; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2013)

Interdisciplinarity in Computer Science: A Case Study on Graduate Courses. - Adriana da Silva Jacinto; Etiene Lamas; Luiz Alberto Vieira Dias; Adilson Marques da Cunha; Tatiana Martins Almeri (ITNG, 2013)

Applying Testing to Enhance Software Product Quality. - Etiene Lamas; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2013)

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)

A Sampling Diagnostics Model for Neural System Training Optimization. - Denis Ávila Montini; Gustavo Ravanhani Matuck; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Alexandre Lima Possebon Ribeiro; Alessandra Avila Montini (ITNG, 2013)

A Meta-algorithm for Planning Optimization in a software Production Line. - Denis Ávila Montini; Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias; Alvaro Augusto Neto; Adilson Marques da Cunha; Alessandra Avila Montini (ITNG, 2013)

Applying Interdisciplinarity and Agile Methods in the Development of a Smart Grids System. - Marcelo Paiva Ramos; Gustavo Ravanhani Matuck; Ciro Fernandes Matrigrani; Samoel Mirachi; Eliezer Segeti; Marco Leite; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2013)

Adaptive Game AI Architecture with Player Modeling. - Emanuel Mineda Carneiro; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2014)

Applying Interdisciplinarity and Agile Methods in the Development of an Embedded System. - Renan Cavichi de Freitas; Jefferson Andrade de Oliveira; Fabiano Yukio Alves Hino; Juvenal Silva Neto; Leonardo Miranda Vicente; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2014)

Interdisciplinarity and Agile Development: A Case Study on Graduate Courses. - Valdir da Costa Guerra; Eliezer Segeti; Fabiano Hino; Fabio Kfouri; Lineu Fernando Stege Mialaret; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2014)

Applying Acceptance Test Driven Development to a Problem Based Learning Academic Real-Time System. - Luiz Felipe Simoes Hoffmann; Luiz Eduardo Guarino de Vasconcelos; Etiene Lamas; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2014)

Applying Agile Method on Academic Access and Fraud Control System. - Gustavo Ravanhani Matuck; Rodrigo Luiz de Oliveira; Tharcius Augusto Pivetta; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2014)

A Case Study on Pairwise Testing Application. - Cassiano B. A. L. Monteiro; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2014)

A Chi-Square Methodology Applied in Deviations Control of Project Plan to Support the RIMAM Model. - Denis Ávila Montini; Danilo Battaglia; Gustavo Ravanhani Matuck; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Alessandra Avila Montini; Basit Shahzad (ITNG, 2014)

BPM Model of GQIMP for ISO 9001: 2008 Supported by CASE Tools. - Denis Ávila Montini; Gustavo Ravanhani Matuck; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Massimo Jorge Isaac (ITNG, 2014)

A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331. - André Sarkis; Luiz Alberto Vieira Dias (ITNG, 2014)

Cluster Analysis and Artificial Neural Networks: A Case Study in Credit Card Fraud Detection. - Emanuel Mineda Carneiro; Luiz Alberto Vieira Dias; Adilson Marques da Cunha; Lineu Fernando Stege Mialaret (ITNG, 2015)

Internet of Things and the Credit Card Market: How Companies Can Deal with the Exponential Increase of Transactions with Connected Devices and Can Also be Efficient to Prevent Frauds. - Guilherme Augusto Lopes Ferreira; Gildárcio Sousa Gonçalves; Andre Gomes Lamas Otero; Glaydson Luiz Bertoze Lima; Paulo Takachi Tsoucamoto; Paulo Cesar Louzada Villaca; Lineu Fernando Stege Mialaret; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2015)

Evaluation of Accomplishment of DO-178C Objectives by CMMI-DEV 1.3. - Alan Ferreiros; Luiz Alberto Vieira Dias (ITNG, 2015)

Hardware Development: Agile and Co-Design. - Glaydson Luiz Bertoze Lima; Guilherme Augusto Lopes Ferreira; Osamu Saotome; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2015)

Financial Measuring of Incremental Deliveries in Software Projects - Finding a Model That Can Answer: How Much is Worth to Split a Project into Iterations? - Sandro Magalhaes Manteiga; Andre Gomes Lamas Otero; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2015)

Applying Scrum in an Interdisciplinary Project Using Big Data, Internet of Things, and Credit Cards. - Rene Esteves Maria; Luiz Antonio Rodrigues Junior; Luiz Eduardo Guarino de Vasconcelos; Adriano Fonseca Mancilha Pinto; Paulo Takachi Tsoucamoto; Henrique Nunweiler Angelim Silva; Airton Lastori; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2015)

IFA2S - In-flight Awareness Augmentation Systems. - André Luiz Pierre Mattei; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Pedro Carlos da Silva Euphrasio; Onofre Trindade Júnior; Cláudio Toledo 001 (ITNG, 2015)

Nanosatellite Event Simulator Development Using Scrum Agile Method and Safety-Critical Application Development Environment. - André Luiz Pierre Mattei; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Eloi Fonseca; Osamu Saotome; Paulo Takachi; Gildárcio Sousa Gonçalves; Thoris Angelo Pivetta; Victor da Silva Montalvão; Cassio Kendi; Felipe Lopes de Freitas; Manasseis Alves Ferreira; et al. (ITNG, 2015)

A Software Framework for Identifying the Law of Demeter Violations. - Roberto Pepato Mellado; Gabriel de Souza Pereira Moreira; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (ITNG, 2015)

A Case Study Using Testing Technique for Software as a Service (SaaS). - Alexandre Chaves da Silva; Lucas Roberto Correa; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (ITNG, 2015)

Applying agile methods to aircraft embedded software: an experimental analysis. - Samoel Mirachi; Valdir da Costa Guerra; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Emília Villani (Softw. Pract. Exp., 2017)

Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. - Marcus Kimura Lopes; Ricardo Bedin França; Celso Massaki Hirata; Luiz Alberto Vieira Dias (LADC, 2018)

Using Monte Carlo method to estimate the behavior of neural training between balanced and unbalanced data in classification of patterns. - Paulo Marcelo Tasinaffo; Gildárcio Sousa Gonçalves; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (Artif. Intell. Res., 2018)

Particle Collision Algorithm Applied to Automatic Estimation of Digital Elevation Model From Images Captured by UAV. - Marco Antonio Pizani Domiciano; Elcio Hideiti Shiguemori; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (IEEE Geosci. Remote. Sens. Lett., 2018)

Q-Scrum: A Framework for Quality in Safety-Critical Development. - Johnny Cardoso Marques; Adilson Marques da Cunha; Luiz Alberto Vieira Dias (QUATIC, 2020)

Recommendations for the Usage of Design Models in Aviation Software. - André Sarkis; Johnny Cardoso Marques; Luiz Alberto Vieira Dias (ISSRE Workshops, 2021)

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)

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)

A canonical model for seasonal climate prediction using Big Data. - M. P. Ramos; Paulo Marcelo Tasinaffo; Adilson Marques da Cunha; Daniela America da Silva; Gildárcio Sousa Gonçalves; Luiz Alberto Vieira Dias (J. Big Data, 2022)

Use of Information From the Digital Elevation Model in Autonomous Air Navigation Based on Image Odometry. - Marco Antonio Pizani Domiciano; Elcio Hideiti Shiguemori; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (IEEE Geosci. Remote. Sens. Lett., 2024)

Hybrid Hopfield Neural Network. - Carla Cursino; Luiz Alberto Vieira Dias (SN Comput. Sci., 2024)

A Qualitative Approach to Universal Numerical Integrators (UNIs) with Computational Application. - Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (Hum. Centric Intell. Syst., 2024)

Multtestlib: A Python package for performing unit tests using multiprocessing. - Ricardo Ribeiro de Alvarenga; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (SoftwareX, 2025)

A Survey About Universal Numerical Integrators (UNIs): Part II or Quantitative Approach. - Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (Hum. Centric Intell. Syst., 2025)

Correction to: A Quantitative Approach to Universal Numerical Integrators (UNIS) with Computational Application. - Paulo Marcelo Tasinaffo; Luiz Alberto Vieira Dias; Adilson Marques da Cunha (Hum. Centric Intell. Syst., 2025)