Luiz Alberto Vieira Dias

According to our database, Luiz Alberto Vieira Dias authored at least 67 papers between 2007 and 2025.

Collaborative distances:

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

2025

Multtestlib: A Python package for performing unit tests using multiprocessing.

Ricardo Ribeiro de Alvarenga, Luiz Alberto Vieira Dias, Adilson Marques da Cunha

SoftwareX, 2025

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., December, 2024

Hybrid Hopfield Neural Network.

Carla Cursino, Luiz Alberto Vieira Dias

SN Comput. Sci., 2024

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

2022

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

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

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

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

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

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

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

Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

2017

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

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

Proceedings of the 12th International Conference on Information Technology, 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

Proceedings of the 12th International Conference on Information Technology, 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, Mateus Andrade Almeida, Gabriel Goncalves de Oliveira Rodrigues

Proceedings of the 12th International Conference on Information Technology, 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

Proceedings of the 12th International Conference on Information Technology, 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

Proceedings of the 12th International Conference on Information Technology, 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

Proceedings of the 12th International Conference on Information Technology, 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

Proceedings of the 12th International Conference on Information Technology, 2015

Evaluation of Accomplishment of DO-178C Objectives by CMMI-DEV 1.3.

Alan Ferreiros, Luiz Alberto Vieira Dias

Proceedings of the 12th International Conference on Information Technology, 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

Proceedings of the 12th International Conference on Information Technology, 2015

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

Proceedings of the 12th International Conference on Information Technology, 2015

2014

A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331.

André Sarkis, Luiz Alberto Vieira Dias

Proceedings of the 11th International Conference on Information Technology: New Generations, 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

Proceedings of the 11th International Conference on Information Technology: New Generations, 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

Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

A Case Study on Pairwise Testing Application.

Cassiano B. A. L. Monteiro, Luiz Alberto Vieira Dias, Adilson Marques da Cunha

Proceedings of the 11th International Conference on Information Technology: New Generations, 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

Proceedings of the 11th International Conference on Information Technology: New Generations, 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

Proceedings of the 11th International Conference on Information Technology: New Generations, 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

Proceedings of the 11th International Conference on Information Technology: New Generations, 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

Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Adaptive Game AI Architecture with Player Modeling.

Emanuel Mineda Carneiro, Adilson Marques da Cunha, Luiz Alberto Vieira Dias

Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

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

Proceedings of the Tenth International Conference on Information Technology: New Generations, 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

Proceedings of the Tenth International Conference on Information Technology: New Generations, 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

Proceedings of the Tenth International Conference on Information Technology: New Generations, 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

Applying Testing to Enhance Software Product Quality.

Etiene Lamas, Luiz Alberto Vieira Dias, Adilson Marques da Cunha

Proceedings of the Tenth International Conference on Information Technology: New Generations, 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

Proceedings of the Tenth International Conference on Information Technology: New Generations, 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

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

Range Analyzer: An Automatic Tool for Arithmetic Overflow Detection in Model-Based Development.

Renato Matuzaki Honda, 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

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

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

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

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

Proceedings of the 10th Brazilian Symposium on Software Quality, 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

Proceedings of the Eighth International Conference on Information Technology: New Generations, 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

Proceedings of the Eighth International Conference on Information Technology: New Generations, 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

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Effectively Testing for a Software Product Line with OTM3 Organizational Testing Management Maturity Model.

Etiene Lamas, Luiz Alberto Vieira Dias, Adilson Marques da Cunha

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Organizational Testing Management Maturity Model for a Software Product Line.

Etiene Lamas, Erica Ferreira, Marcos Ribeiro do Nascimento, Luiz Alberto Vieira Dias, Fábio Fagundes Silveira

Proceedings of the Seventh International Conference on Information Technology: New Generations, 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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A UML Extension to Graphically Represent Aspect Oriented Systems Perspectives.

Helivelton Oliveira Ferreira, Luiz Alberto Vieira Dias

Proceedings of the Seventh International Conference on Information Technology: New Generations, 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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

A Desktop Environment for River Hazards Monitoring.

Joao Augusto de Pessoa, Luiz Alberto Vieira Dias, Adilson Marques da Cunha

Proceedings of the Sixth International Conference on Information Technology: New Generations, 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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

Proposing a Formal Method to Reduce RTS Logical Model Complexity.

Francisco Supino Marcondes, Emilia de Menezes Colonese, Ítalo Santiago Vega, Luiz Alberto Vieira Dias

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007

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

Proceedings of the 6th Brazilian Symposium on Software Quality, 2007