Luiz Alberto Vieira Dias

Orcid: 0000-0001-5958-8011

According to our database1, Luiz Alberto Vieira Dias authored at least 64 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Hybrid Hopfield Neural Network.
SN Comput. Sci., 2024

2022
A canonical model for seasonal climate prediction using Big Data.
J. Big Data, 2022

2021
Could a Conversational AI Identify Offensive Language?
Inf., 2021

Processo de Especificação de Banco de Dados em Sistemas Críticos.
Proceedings of the Anais do WER21, 2021

Recommendations for the Usage of Design Models in Aviation Software.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020
Q-Scrum: A Framework for Quality in Safety-Critical Development.
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.
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.
Artif. Intell. Res., 2018

Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

2017
Applying agile methods to aircraft embedded software: an experimental analysis.
Softw. Pract. Exp., 2017

2015
A Case Study Using Testing Technique for Software as a Service (SaaS).
Proceedings of the 12th International Conference on Information Technology, 2015

A Software Framework for Identifying the Law of Demeter Violations.
Proceedings of the 12th International Conference on Information Technology, 2015

Nanosatellite Event Simulator Development Using Scrum Agile Method and Safety-Critical Application Development Environment.
Proceedings of the 12th International Conference on Information Technology, 2015

IFA2S - In-flight Awareness Augmentation Systems.
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.
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?
Proceedings of the 12th International Conference on Information Technology, 2015

Hardware Development: Agile and Co-Design.
Proceedings of the 12th International Conference on Information Technology, 2015

Evaluation of Accomplishment of DO-178C Objectives by CMMI-DEV 1.3.
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.
Proceedings of the 12th International Conference on Information Technology, 2015

Cluster Analysis and Artificial Neural Networks: A Case Study in Credit Card Fraud Detection.
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.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

BPM Model of GQIMP for ISO 9001: 2008 Supported by CASE Tools.
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.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

A Case Study on Pairwise Testing Application.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Applying Agile Method on Academic Access and Fraud Control System.
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.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Interdisciplinarity and Agile Development: A Case Study on Graduate Courses.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Applying Interdisciplinarity and Agile Methods in the Development of an Embedded System.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Adaptive Game AI Architecture with Player Modeling.
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.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

A Meta-algorithm for Planning Optimization in a software Production Line.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

A Sampling Diagnostics Model for Neural System Training Optimization.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

CARD-RM: A Reference Model for Airborne Software.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Applying Testing to Enhance Software Product Quality.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Interdisciplinarity in Computer Science: A Case Study on Graduate Courses.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Computer Science and Interdisciplinarity: A Case Study on an Undergraduate Program.
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.
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.
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.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

A Formal Control Model for Risks Management within Software Projects.
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.
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.
Proceedings of the 10th Brazilian Symposium on Software Quality, 2011

Problem Based Learning a Practical Approach for Software Engineering Interdisciplinary Teaching.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Modeling and Analyzing Real-Time Embedded Software for a Data Collection System.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Applying MDA Approach to Create Graphical User Interfaces.
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.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

2010
Software Product Measurement and Analysis in a Continuous Integration Environment.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Formal Approach Use to Choose a Software Manufactoring Cell's SDLC.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Organizational Testing Management Maturity Model for a Software Product Line.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A Process for Gathering Prospective Use Cases from Business Modeling.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A UML Extension to Graphically Represent Aspect Oriented Systems Perspectives.
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.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

ETL Process Model for a Manufacture Cells Production Line Integration.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Process Model for Decision Making Using GQM approach.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A Methodology for Assessment Database According to ISO 9126.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
Integrating Amazonic Heterogeneous Hydrometeorological Databases.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

A Desktop Environment for River Hazards Monitoring.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Design Patterns Reuse for Real Time Embedded Software Development.
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.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Using GQM Hypothesis Restriction to Infer Bayesian Network Testing.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Systematic and Formal Approach to get a Domain Specific Language.
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.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008
Proposing a Formal Method to Reduce RTS Logical Model Complexity.
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.
Proceedings of the 6th Brazilian Symposium on Software Quality, 2007


  Loading...