Alair Dias Júnior

  • Endereço para acessar este CV: http://lattes.cnpq.br/0174551632500870
  • Última atualização do currículo em 09/10/2018


Professor Adjunto do Departamento de Engenharia Eletrônica da Universidade Federal de Minas Gerais (UFMG). Doutor e Mestre em Engenharia Elétrica pela UFMG. Possui Graduação em Engenharia Elétrica, também pela UFMG. Realizou estágio pós-doutoral na École polytechnique fédérale de Lausanne (EPFL), Suíça, onde participou do desenvolvimento de métodos para processamento de sinais cardíacos em cooperação com a start-up Smartcardia. É Técnico em Eletrônica pelo Centro Federal de Educação Tecnológica de Minas Gerais (CEFET-MG). Foi professor substituto do departamento de Engenharia Eletrônica da Escola de Engenharia da UFMG por dois anos, professor do curso de Ciência da Computação da Universidade FUMEC por 6 anos e coordenador do curso de Engenharia de Computação da mesma universidade. Possui experiência profissional na área de automação industrial e no projeto de sistemas eletrônicos. Os principais temas de pesquisa são Tecnologia Vestível, Sistemas ciber-físicos, Internet das Coisas e ferramentas de suporte ao projeto e verificação de sistemas computacionais. (Texto informado pelo autor)


Identificação


Nome
Alair Dias Júnior
Nome em citações bibliográficas
DIAS JÚNIOR, Alair;DIAS JÚNIOR, ALAIR;JÚNIOR, ALAIR DIAS;JUNIOR, ALAIR DIAS;DIAS JUNIOR, ALAIR

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Escola de Engenharia, Departamento de Engenharia Eletrônica.
Universidade Federal de Minas Gerais
Pampulha
31270901 - Belo Horizonte, MG - Brasil
Telefone: (31) 34095469
URL da Homepage: www.cpdee.ufmg.br/~alair


Formação acadêmica/titulação


2008 - 2012
Doutorado em Engenharia Elétrica.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Aumentando a Eficiência da Verificação Dinâmica de Propriedades de Sistemas Descritos em Alto Nível de Abstração por meio da Utilização de Funções de Classificação Heurística Derivadas das Propriedades do Sistema, Ano de obtenção: 2012.
Orientador: Diógenes Cecilio da Silva Jr.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Validação; SoC; VLSI; Verificação; Heurísticas.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Computação.
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Ciência da Computação.
2005 - 2008
Mestrado em Engenharia Elétrica.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Análise de Cobertura e Geração de Vetores de Teste para Módulos Descritos em SystemC,Ano de Obtenção: 2008.
Orientador: Diógenes Cecilio da Silva Jr.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Cobertura de Código; Verificação; SoC; SystemC.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas VLSI / Especialidade: Verificação.
Setores de atividade: Fabricação de Material Eletrônico Básico.
2000 - 2005
Graduação em Engenharia Elétrica.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1996 - 1998
Curso técnico/profissionalizante.
Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.


Pós-doutorado


2013 - 2014
Pós-Doutorado.
École Polytechnique Fédérale de Lausanne, EPFL, Suiça.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.


Formação Complementar


2012 - 2012
Captação de Recursos para Projetos de Pesquisa,.... (Carga horária: 4h).
Universidade FUMEC, FUMEC, Brasil.


Atuação Profissional



Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2008 - 2012
Vínculo: Doutorado, Enquadramento Funcional: Aluno de Doutorado, Carga horária: 20

Vínculo institucional

2008 - 2010
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Doutorado, Carga horária: 40

Vínculo institucional

2005 - 2008
Vínculo: Bolsista, Enquadramento Funcional: Aluno de Mestrado, Carga horária: 20

Vínculo institucional

2005 - 2007
Vínculo: Contrato Temporário, Enquadramento Funcional: Professor Substituto, Carga horária: 20

Vínculo institucional

2002 - 2003
Vínculo: Bolsista, Enquadramento Funcional: Aluno de Iniciação Científica, Carga horária: 20

Atividades

03/2017 - Atual
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Laboratório de Sistemas Processadores e Periféricos
12/2016 - Atual
Conselhos, Comissões e Consultoria, Escola de Engenharia, Departamento de Engenharia Eletrônica.

Cargo ou função
Tutor do Certificado de Estudos em Computação.
11/2016 - Atual
Conselhos, Comissões e Consultoria, Escola de Engenharia, Departamento de Engenharia Eletrônica.

Cargo ou função
Representante do Departamento junto ao Colegiado do Curso de Graduação em Engenharia Elétrica.
09/2016 - Atual
Direção e administração, Escola de Engenharia, Departamento de Engenharia Eletrônica.

Cargo ou função
Coordenador do Laboratório de Ensino de Graduação de Eletrônica Digital.
08/2016 - Atual
Ensino, Engenharia de Sistemas, Nível: Graduação

Disciplinas ministradas
Sistemas Digitais
Laboratório de Sistemas Digitais
Laboratório de Sistemas Processadores e Periféricos
08/2016 - Atual
Ensino, Engenharia de Controle e Automação, Nível: Graduação

Disciplinas ministradas
Laboratório de Sistemas Processadores e Periféricos
Sistemas Digitais
Laboratório de Sistemas Digitais
08/2005 - Atual
Pesquisa e desenvolvimento , Escola de Engenharia, Departamento de Engenharia Elétrica.

08/2017 - 08/2017
Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Engenharia Elétrica, .

Cargo ou função
Membro da Comissão para Classificação dos Doscentes do PPGEE.
05/2017 - 06/2017
Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Engenharia Elétrica, .

Cargo ou função
Membro da Comissão de Seleção dos Candidatos ao Curso de Mestrado.
08/2008 - 12/2009
Estágios , Escola de Engenharia, Departamento de Engenharia Elétrica.

Estágio realizado
Estágio em Docência da disciplina Projetos de Sistemas VLSI.
03/2009 - 07/2009
Estágios , Escola de Engenharia, Departamento de Engenharia Elétrica.

Estágio realizado
Estágio em Docência em Projetos de Sistemas Embutidos.
08/2005 - 07/2007
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Laboratório de Controle de Processos Secos e Úmidos
Laboratório de Informática Industrial
08/2005 - 07/2007
Ensino, Engenharia de Controle e Automação, Nível: Graduação

Disciplinas ministradas
Estágio Supervisionado
Laboratório de Informática Industrial

École Polytechnique Fédérale de Lausanne, EPFL, Suiça.
Vínculo institucional

2013 - 2014
Vínculo: Professor Visitante, Enquadramento Funcional: Pós-doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

09/2013 - 09/2014
Pesquisa e desenvolvimento , Embedded Systems Laboratory, .


CONFRAPAR PARTICIPAÇÕES, CONFRAPAR, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: Sócio, Enquadramento Funcional: Sócio

Atividades

12/2008 - 12/2010
Conselhos, Comissões e Consultoria, Comitê Interno, .

Cargo ou função
Participação no Comitê Interno de Avaliação de Empresas.

Universidade FUMEC, FUMEC, Brasil.
Vínculo institucional

2010 - 2016
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

10/2011 - Atual
Extensão universitária , Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Atividade de extensão realizada
Projeto Passaporte da Astronomia.
02/2016 - 06/2016
Ensino, Redes de Computadores, Nível: Graduação

Disciplinas ministradas
Lógica de Programação
10/2015 - 06/2016
Ensino, Sistemas de Informação e Gestão do Conhecimento, Nível: Pós-Graduação

Disciplinas ministradas
Inteligência Artificial
05/2015 - 06/2016
Conselhos, Comissões e Consultoria, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Membro do Núcleo Docente Estruturante do Curso de Engenharia de Computação.
02/2015 - 06/2016
Direção e administração, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Coordenador do Curso de Engenharia de Computação.
12/2014 - 06/2016
Direção e administração, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Coordenador do Laboratório de Inteligência de Ambiente.
10/2014 - 06/2016
Conselhos, Comissões e Consultoria, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Membro do Núcleo Docente Estruturante do Curso de Sistemas de Informação.
08/2014 - 06/2016
Direção e administração, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Coordenador do Núcleo de Tecnologia de Informação.
08/2014 - 06/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Fundamentos Teóricos da Computação
Introdução à Programação Web
Introdução à Robótica
Linguagens e Técnicas de Programação II
Tópicos em Computação
08/2014 - 06/2016
Outras atividades técnico-científicas , Faculdade de Ciências Econômicas, Administrativas e Contábeis, Faculdade de Ciências Econômicas, Administrativas e Contábeis.

Atividade realizada
Membro permanente do Programa de Pós-Graduação em Sistemas de Informação e Gestão do Conhecimento.
08/2012 - 06/2016
Pesquisa e desenvolvimento , Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

02/2015 - 07/2015
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
05/2012 - 07/2013
Conselhos, Comissões e Consultoria, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Representante da Comissão de Pesquisa e Iniciação Científica/COPIC.
02/2012 - 07/2013
Direção e administração, Faculdade de Ciências Econômicas, Administrativas e Contábeis, .

Cargo ou função
Coordenador do Laboratório de Robótica.
02/2010 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos Teóricos da Computação
Inteligência Artificial
Introdução à Robótica
Orientação de Estágio Supervisionado

Wisecomm Soluções em Sensores Inteligentes, WISECOMM, Brasil.
Vínculo institucional

2008 - 2016
Vínculo: Sócio, Enquadramento Funcional: Sócio Diretor

Atividades

12/2012 - 02/2016
Direção e administração, Departamento Administrativo, .

Cargo ou função
Administração Geral da Empresa.
03/2008 - 02/2016
Pesquisa e desenvolvimento , Departamento de Engenharia, .


IHM Engenharia e Sistemas de Automação, IHM, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 20

Vínculo institucional

1998 - 2002
Vínculo: Empregatício, Enquadramento Funcional: Auxiliar Técnico, Carga horária: 40

Atividades

03/2004 - 08/2005
Estágios , UFMG, .

Estágio realizado
Estágio em Automação Industrial.
3/2004 - 8/2005
Serviços técnicos especializados , Engenharia, .

Serviço realizado
Programação de CLP's AEG.
3/2004 - 8/2005
Serviços técnicos especializados , Engenharia, .

Serviço realizado
Modernização do Sistema de Rastreamento da Laminação Contínua da Vallourec & Mannesmann Belo Horizonte - MG.
3/2004 - 8/2004
Serviços técnicos especializados , Engenharia, .

Serviço realizado
Dimensionamento de Redes de Comunicação e Sistemas de Rastreamento.
06/1998 - 09/2002
Serviços técnicos especializados , Engenharia, .

Serviço realizado
Programação de CLPs (Rockwell, Siemens, GE Fanuc) e Sistemas de Supervisão (Intouch, FactoryLink, RSView).


Linhas de pesquisa


1.
Verificação de SoCs descritos em Alto Nível de Abstração

Objetivo: Desenvolvimento de metodologias, técnicas métodos e ferramentas para verificação de SoCs descritos em alto nível de abstração.
2.
Projeto de SoCs descritos em Alto Nível de Abstração
3.
Redes de Sensores sem Fio
4.
Inteligência Embarcada
5.
Sistemas Ciber-Físicos
6.
Internet das Coisas
7.
Dispositivos Vestíveis
8.
Projeto de Sistemas Embutidos

Objetivo: Projeto de sistemas embarcados em geral..
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica.
Palavras-chave: Eletrônica; Computação; Hardware; Firmware.
9.
Inteligência de Ambiente
10.
Projeto de Dispositivos Eletrônicos para Redes de Sensores Sem Fio

Objetivo: Projeto de aplicações para Redes de Sensores sem Fio.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Ciência da Computação.
Palavras-chave: Eletrônica; Hardware; Rede de Sensores Sem Fio; Firmware; Computação.
11.
Processamento e Fusão de Dados de Sinais Cardíacos


Projetos de pesquisa


2017 - Atual
Método e Aparato para Geração Dirigida de Vetores de Teste para Depuração Pós-Silício
Descrição: Com o aumento expressivo da produtividade no projeto de Circuitos Integrados (CI) ocorrido nas últimas décadas, o "Gap de Produtividade", que foi o principal obstáculo a ser vencido pela indústria de microeletrônica, deixou de ser o foco das atenções e o ciclo de desenvolvimento se deslocou de uma abordagem centrada no projeto para uma abordagem centrada na verificação. Garantir o funcionamento correto do sistema passa a ser o grande problema enfrentado no desenvolvimento de um SoC (System-on-Chip) moderno, consumindo mais de 70% dos recursos disponíveis. A validação e verificação pré-silício têm sido exploradas exaustivamente pela indústria e academia com o intuito de evitar que erros de projeto se propaguem até a implementação física. A vantagem dessas abordagens está na observabilidade quase perfeita dos sinais envolvidos, que são disponibilizados pelas ferramentas de simulação e pelas ferramentas de análise estática de código. Apesar do alto nível de maturidade atingido pelos métodos pré-silício, erros de projeto ainda são comumente encontrados após a fabricação. Mais do que erros de projeto, no entanto, situações relacionadas ao funcionamento físico do sistema podem levar a eventos quase impossíveis de serem antecipados durante as etapas pré-silício. Por exemplo, o aquecimento acima do previsto em uma área do chip pode adicionar atrasos em sinais naquela região, aumentando o tempo de propagação do caminho crítico que pode levar a um comportamento errôneo na lógica. Assim, a depuração pós-silício é uma etapa essencial do ciclo de desenvolvimento, que soma-se às etapas pré-silício para aumentar a confiabilidade do processo. A principal dificuldade da depuração pós-silício reside na baixa observabilidade dos sinais envolvidos e métodos que independam da estrutura interna do sistema são imperativos para o sucesso desta etapa. Neste trabalho, será proposta e caracterizada uma abordagem caixa-preta de depuração pós-silício onde a busca por estados de erro é modelada como um problema de otimização e os vetores de teste são iterativamente refinados em malha fechada de forma a dirigir o sistema a estados mais propensos a comportamento errôneo. Para isto, as propriedades formais do sistema serão combinadas a funções de penalidade, criando funções heurísticas que, por construção, quando possuem um mínimo de valor 0 (zero) indicam uma violação da propriedade. Minimizando-se estas funções, determina-se a existência ou não de uma falha de funcionamento. Será construído um aparato para depuração pós-silício utilizando kits de FPGAs e kits de desenvolvimento de sistemas embarcados para que o método seja validado utilizando-se implementações físicas de SoCs. Em especial, pretende-se validar filtros digitais ponto-fixo, que são particularmente sensíveis à implementação. Como resultado do trabalho, além da formação de recursos humanos e de produção acadêmica, espera-se a publicação de uma patente para o método e aparato desenvolvidos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Alair Dias Júnior - Coordenador / Diógenes Cecílio da Silva Júnior - Integrante / Luiza Agostinho Pena - Integrante / Rodrigo Rodrigues de Oliveira - Integrante.Financiador(es): Universidade Federal de Minas Gerais - Outra.
2016 - Atual
Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Alair Dias Júnior - Coordenador / Luiza Agostinho Pena - Integrante / Alba Francine de Souza Caetano - Integrante.
2016 - Atual
Aplicações de Internet das Coisas visando Smart Living, Smart Health e Smart Buildings
Descrição: O número de dispositivos conectados à Internet cresceu exponencialmente nas últimas décadas, tendo ultrapassado o número de seres humanos no planeta em 2011, tendência que não dá sinais de desaceleração. Porém, mais do que um aumento na quantidade, os sistemas computacionais deram um enorme salto no que se refere à capacidade de processamento, armazenamento e transmissão de dados, o que levou ao desenvolvimento de um novo conceito denominado Internet das Coisas, paradigma no qual a computação passa a ser ubı́qua e pervasiva e as coisas dotadas de inteligência, tornando-se proativas, no lugar de reativas, antecipando as necessidades e vontades dos usuários. Dentro desse novo modelo, o ambiente se torna mais inteligente e a interação com os objetos reais é aumentada em uma dimensão virtual que garante uma experiência mais rica mas, ao mesmo tempo, mais transparente e natural. Inúmeros desafios se apresentam para que essa visão de ambiente inteligente seja atingida de forma plena. Esse trabalho aborda os desafios de projeto e validação de sistemas baseados em Internet das Coisas, considerando que os modelos convencionais utilizados em projeto de sistemas embutidos não são totalmente aderentes a esses novos sistemas que são inerentemente distribuídos e interconectados. O objetivo desta pesquisa é explorar aplicações e técnicas de projeto, verificação e validação de sistemas de Internet das Coisas visando Smart Living, Smart Health e Smart Buildings. Para tal, serão desenvolvidos três estudos de caso no desenvolvimento de aplicações e, a partir da análise dos resultados obtidos serão propostos requisitos e modelos para novas ferramentas de projeto e verificação de sistemas que propiciem uma maior aderência a esse novo paradigma..
Situação: Em andamento; Natureza: Pesquisa.
2015 - 2016
Análise de Método Caixa-Preta para a Verificação de Propriedades Temporais em Projetos de Circuitos Integrados
Descrição: A evolução das técnicas de projeto de circuitos integrados (CI) ocorrida nas duas últimas décadas permitiu um aumento expressivo na produtividade das equipes de projeto. O gap de produtividade, que foi durante muito tempo o principal obstáculo a ser vencido pela indústria de microeletrônica, deixou de ser o foco das atenções e o ciclo de desenvolvimento se deslocou de uma abordagem centrada no projeto para uma abordagem centrada na verificação. Hoje, mais de 70% dos recursos de um projeto de CI são gastos com a verificação. Diversas técnicas foram propostas para aumentar a eficiência e a eficácia do processo de verificação, entre elas, a verificação baseada em asserções tem ganhado uma posição de destaque. No entanto, métodos atuais de verificação baseada em asserções para descrições de alto nível de abstração dependem fortemente da estrutura interna do modelo, necessitando que todo o seu código fonte esteja disponível durante a verificação, ou ignoram completamente o sistema, não levando em conta informações importantes que podem ser inferidas a partir do seu comportamento. Uma alternativa inovadora, que será analisada neste trabalho, é combinar as asserções com o modelo caixa-preta do sistema sob verificação de forma a criar funções heurísticas que possam ser utilizadas, juntamente com um algoritmo de otimização numérica, para gerar contra-exemplos das propriedades do sistema. Diferentemente de outras abordagens de verificação dinâmica de propriedades, este modelo de verificação não se foca em aumentar a cobertura do conjunto de testes, mas realiza uma busca iterativa por vetores que violam a propriedade sob verificação, potencialmente acelerando a busca por contra-exemplos. Neste trabalho, pretende-se identificar os limites e as vantagens da utilização deste modelo, aplicando-o sobre diferentes tipos de sistemas em chip..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado profissional: (1) .
Integrantes: Alair Dias Júnior - Coordenador.Financiador(es): Universidade FUMEC - Outra.
2013 - 2014
Algoritmos para Processamento em Tempo-Real de Múltiplos Sinais Biológicos em Aplicações de Redes de Sensores sem Fio Corporais
Descrição: Redes de Sensores sem Fio (RSSF) são vistas como uma inovação disruptiva, capazes causar impactos positivos em diversas áreas, tais como entretenimento, healthcare, gerenciamento de situações de emergência, entre outras. No caso de sistemas de healthcare, por exemplo, redes de sensores sem fio corporais, combinadas com uma infraestrutura de gerenciamento, podem fornecer a supervisão médica contínua e precisa necessária para a entrega de serviços de qualidade, ao mesmo tempo em que favorecem a redução dos altos custos envolvidos na implementação de sistemas de healthcare tradicionais. Mais do que isto, a utilização de sensores sem fio miniaturizados em sistemas de computação vestível com a capacidade de monitorar continuamente sinais vitais permitem o acompanhamento ubíquo e em tempo real requerido pelos pacientes. O foco deste projeto de pesquisa é o desenvolvimento de algoritmos para processamento em tempo real de sinais biológicos em aplicações de RSSF corporais de ultra-baixa potência. Atenção especial será dada às aplicações que visam a permitir monitoramento em tempo real e contínuo de idosos e portadores de doenças cardíacas crônicas e que, com isto, garantem uma melhora na qualidade de vida desta parcela crescente da população. Especificamente, este projeto abordará o processamento e fusão de dados de sinais de Eletrocardiograma (ECG), oximetria de pulso, fonocardiograma bem como o desenvolvimento de métodos e algoritmos para aferição indireta de pressão sanguínea. A tradução dos algoritmos desenvolvidos para serem executados em um sistema vestível de monitoramento cardíaco também é um objetivo do presente projeto de pesquisa..
Situação: Concluído; Natureza: Pesquisa.
2012 - 2013
Casa Inteligente: desenvolvimento de sensores, atuadores e interfaces de fácil instalação para utilização em automação residencial
Descrição: A chegada de novas tecnologias, ubíquas e conectadas, tem modificado o comportamento do brasileiro, fazendo com que as pessoas passem mais tempo em suas casas, principalmente quando conectadas à Internet. Este novo habito cria um ambiente muito propício à disseminação da utilização da automação residencial. No entanto, os moldes nos quais os sistemas de domótica são comercializados atualmente, por meio de empresas integradoras que oferecem o serviço de instalação dos equipamentos, tornam este tipo de tecnologia virtualmente inacessível para famílias das classes C e D, que correspondem a mais de 60% da população brasileira. Para que esta parcela da população tenha acesso ao conforto, segurança e acessibilidade oferecidos em um ambiente de casa inteligente, é necessário que seja desenvolvido um sistema que possua baixo custo, mas que, ao mesmo tempo, não se descaracterize como tecnologia inovadora. Neste sentido, a proposta deste projeto é desenvolver dispositivos que eliminem o custo do integrador de serviços, permitindo que pessoas sem conhecimento técnico, no caso os próprios usuários, possam instalar dispositivos simples de domótica, popularizando o conceito da Casa Inteligente. O foco da pesquisa, portanto, é em reduzir a complexidade de instalação e configuração de sensores, atuadores e interfaces para automação residencial para que os mesmos possam ser vendidos em supermercados, lojas de material de construção e material elétrico. Com isto, espera-se reduzir o custo de instalação destes dispositivos e tornar a domótica acessível para famílias brasileiras das classes C e D..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Alair Dias Júnior - Coordenador / Rafael Nunes Linhares Papa - Integrante / Marcus Vinícius Lage Magalhaẽs - Integrante / Bruno Cézar da Silva Diniz - Integrante / Luiz Gonzaga Martins Neto - Integrante.Financiador(es): Universidade FUMEC - Outra.
2010 - 2013
Desenvolvimento de dispositivo sensor sem fio para identificação dos movimentos de pacientes durante exame de Eletrocardiografia Ambulatorial Contínuo
Descrição: As redes de sensores sem fio apresentam diversas vantagens quando comparadas com os sensores tradicionais. A eliminação dos cabos bem como a sua maior velocidade de implantação são apenas alguns exemplos das possíveis vantagens que podem ser alcançadas. Existe uma série de áreas onde as redes de sensores sem fio podem ser potencialmente empregadas. Dentre estas se destacam os setores militar, da saúde e principalmente o de monitoramento ambiental. Este projeto consiste no desenvolvimento de um dispositivo que, em conjunto com as redes sensores sem fio, será capaz de identificar os movimentos de um determinado paciente durante o exame de Eletrocardiografia Ambulatorial Contínuo ou ECG Holter de 24hs. Além da contribuição científica, o projeto é inovador e possui diversas aplicações ainda não exploradas na área médica..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Alair Dias Júnior - Integrante / Rafael Nunes Linhares Papa - Coordenador.
2008 - 2011
Projeto de um Sistema em Chip para Rede de Sensores Sem Fio
Descrição: CNPq Universal 2008 Faixa C, processo no. 481427/2008 2..
Situação: Concluído; Natureza: Pesquisa.


Projetos de extensão


2016 - Atual
Verificação de Sistemas Descritos Usando as Linguagens da Norma 61131-3
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Alair Dias Júnior - Coordenador / Luiza Agostinho Pena - Integrante / Alba Francine de Souza Caetano - Integrante.Financiador(es): IHM Engenharia e Sistemas de Automação - Outra.
2015 - 2016
FUMEChs: a robótica como instrumento de motivação e integração na Universidade
Descrição: Nos anos entre 2008 e 2013, a procura pelo curso de Ciência da Computação diminui gradualmente apesar do alarde sobre número de postos de trabalho em Tecnologia da Informação que não conseguem ser preenchidos por falta de profissionais qualificados. Além da falta de procura, os cursos de ciência da computação sofrem de um alto nível de evasão em seus primeiros períodos, momento em que os estudantes entram em contato com as disciplinas do ciclo básico, muitas vezes árduas e que requerem apurado raciocínio lógico e matemático. Uma hipótese para a perda de atratividade da área de computação e para a baixa resiliência dos estudantes nos primeiros períodos é a ubiqüidade dos sistemas computacionais: as pessoas passaram a ter contato com computadores diariamente fazendo com que este equipamento não mais seja capaz de causar a admiração que lhe era atribuída no início da década de 1980 (introdução dos computadores pessoais), e do fim da década de 1990 ao início dos anos 2000 (bolha das empresas ?ponto-com?). Uma nova onda de interesse na área de computação, tanto para o curso de Ciência da Computação quanto para as áreas de Engenharia, pode ser desencadeada com a popularização da robótica. Além de serem menos corriqueiros que os sistemas computacionais mais tradicionais, como smartphones, tablets e computadores pessoais, os robôs possuem a característica de transformar a computação em uma disciplina menos abstrata, mais ligada ao mundo físico em que os alunos vivem. Também possibilitam o desenvolvimento de projetos interdisciplinares, envolvendo áreas de tecnologia, ciências humanas e sociais. É com esta visão que se propõe este projeto de extensão..
Situação: Desativado; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .
Integrantes: Alair Dias Júnior - Coordenador / Orlando Gomes Abreu - Integrante / Luiz Cláudio Gomes Maia - Integrante.Financiador(es): Universidade FUMEC - Outra.
2010 - 2017
Passaporte da Astronomia
Descrição: Neste projeto é realizado um curso de Astronomia Observacional para a comunidade da Universidade FUMEC e da Escola Estadual Professor Pedro Aleixo. O curso oferece a oportunidade de observar a Lua, Júpiter, Saturno, estrelas duplas e múltiplas, nebulosas, aglomerados abertos, fechados e galáxias por meio de quatro telescópios de 120 mm Sky-Watcher que pertencem à FUMEC/FACE. O objetivo deste projeto é formar um cidadão mais consciente do Universo em que vive, oportunizar a observação do Cosmos e favorecer o aprendizado do método científico..
Situação: Desativado; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Alair Dias Júnior - Integrante / Orlando Gomes Abreu - Coordenador / Ricardo José Vaz Tolentino - Integrante / Flávio Velloso Laper - Integrante / Emerson Eustáquio Costa - Integrante.


Membro de comitê de assessoramento


2017 - 2017
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Revisor de periódico


2015 - Atual
Periódico: Sensors (Basel)
2016 - Atual
Periódico: Microprocessors and Microsystems


Áreas de atuação


1.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas Embutidos.
2.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas de Computação Integrados.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Internet das Coisas.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas VLSI.
5.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Programação.
6.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia Elétrica.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2015
Paraninfo do curso de Ciência da Computação, Formandos de Agosto de 2015, Universidade Fumec.
2014
HiPEAC Paper Award, HiPEAC Network of Excellence.
2013
Paraninfo do curso de Ciência da Computação, Formandos de Fevereiro de 2013, Universidade Fumec.
2013
Paraninfo do curso de Ciência da Computação, Formandos de Agosto de 2013, Universidade Fumec.
2013
Swiss Government Excellence Scholarship for Foreign Students, Swiss Federal Comission for Scholarships for Foreign Students (FCS).
2012
Paraninfo do curso de Ciência da Computação, Formandos de Fevereiro de 2012, Universidade Fumec.
2012
Professor Homenageado do curso de Ciência da Computação, Formandos de Agosto de 2012, Universidade Fumec.
2011
Professor Homenageado do curso de Ciência da Computação, Formandos de Agosto de 2011, Universidade Fumec.
2009
Programa Primeira Empresa Inovadora, FINEP - Por meio da FUMSOFT (Sociedade Mineira de Software).
2006
Finalista do Prêmio Santander de Empreendedorismo, Banco Santander.
2005
Finalista do Prêmio Santander de Empreendedorismo, Banco Santander.
2003
Finalista do Prêmio SME, SOCIEDADE MINEIRA DE ENGENHEIROS.
1997
META, CEFET-MG.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:6
Total de citações:2
Fator H:1
Dias Júnior, Alair  Data: 12/07/2017

Outras
Total de trabalhos:8
Total de citações:37
Alair Dias Júnior  Data: 27/09/2017

Artigos completos publicados em periódicos

1.
ROGANA, M. G.2018ROGANA, M. G. ; SOUSA, F. C. A. ; DIAS JÚNIOR, Alair ; MONTEIRO, A. L. R. ; SILVA, L. B. ; TADEU, H. . Pavimentando o caminho em direção à indústria 4.0. DOM / Revista da Fundação Dom Cabral, v. 11, p. 74-81, 2018.

2.
DIAS JUNIOR, ALAIR2016DIAS JUNIOR, ALAIR; MURALI, SRINIVASAN ; RINCON, FRANCISCO ; ATIENZA, DAVID . Methods for reliable estimation of pulse transit time and blood pressure variations using smartphone sensors. Microprocessors and Microsystems, v. 46, p. 84-95, 2016.

Trabalhos completos publicados em anais de congressos
1.
JUNIOR, ALAIR DIAS; MURALI, SRINIVASAN ; RINCON, FRANCISCO ; ATIENZA, DAVID . Estimation of Blood Pressure and Pulse Transit Time Using Your Smartphone. In: 2015 Euromicro Conference on Digital System Design (DSD), 2015, Madeira. 2015 Euromicro Conference on Digital System Design. v. 1. p. 173.

2.
BRAOJOS, RUBÉN ; MAMAGHANIAN, HOSSEIN ; JUNIOR, ALAIR DIAS ; ANSALONI, GIOVANNI ; ATIENZA, DAVID ; RINCÓN, FRANCISCO J. ; MURALI, SRINIVASAN . Ultra-Low Power Design of Wearable Cardiac Monitoring Systems. In: the The 51st Annual Design Automation Conference, 2014, San Francisco. Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14. New York: ACM Press. p. 1.

3.
JUNIOR, ALAIR DIAS; JUNIOR, DIOGENES C. DA SILVA . Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs. In: 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2013, Natal. 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). p. 20.

4.
DIAS JÚNIOR, Alair; DA SILVA JUNIOR, DIOGENES C. . A guiding heuristic for the semi-formal verification of high-level designs. In: 2012 13th Latin American Test Workshop LATW, 2012, Quito. 2012 13th Latin American Test Workshop (LATW). p. 33-38.

5.
DIAS JÚNIOR, Alair; SILVA JUNIOR, D. C. . Complemental Testing - A Novel Approach for High Level Test Data Generation. In: PhD Forum of the 17th IFIP/IEEE International Conference on Very Large Scale Integration - VLSI-SoC, 2009, Florianópolis. Proceedings of 17th IFIP VLSI-SoC PhD Forum, 2009.

6.
JUNIOR, ALAIR DIAS; CECILIO DA SILVA, DIOGENES JUNIOR . Code-coverage Based Test Vector Generation for SystemC Designs. In: , 2007, Porto Alegre. . v. 1. p. 198-206.

Resumos publicados em anais de congressos
1.
DIAS JÚNIOR, Alair; BRAGA, Antônio de Pádua ; Lacerda, Wilian Soares . FlexRNA: Arquitetura Flexível para o Desenvolvimento de Redes Neurais Artificiais em Hardware. In: XII Jornadas de Jovens Pesquisadores da AUGM, 2004, Curitiba - PR - Brasil. XII Jornadas de Jovens Pesquisadores da AUGM. Curitiba - PR: Idealgraf, 2004. p. 78-78.

Apresentações de Trabalho
1.
DIAS JÚNIOR, ALAIR; DA SILVA JUNIOR, DIOGENES C. . Using Guiding Heuristics to Improve the Dynamic Checking of Temporal Properties in Data Dominated High-Level Designs. 2013. (Apresentação de Trabalho/Simpósio).

2.
DIAS JÚNIOR, Alair; SILVA JUNIOR, D. C. . A Guiding Heuristic for the Semi-Formal Verification of High-Level Designs. 2012. (Apresentação de Trabalho/Congresso).

3.
DIAS JÚNIOR, Alair; SILVA JUNIOR, D. C. . Code-coverage based test vector generation for systemc designs. 2007. (Apresentação de Trabalho/Simpósio).


Produção técnica
Produtos tecnológicos
1.
DIAS JÚNIOR, Alair; MARTINS, Henrique Resende ; SILVA JUNIOR, D. C. ; FLOR, Daniel Reis ; ZANETTI, Renato . WASP - Wisecomm Advanced Sensor Platform. 2011.

2.
DIAS JÚNIOR, Alair; SILVA JUNIOR, D. C. ; FLOR, Daniel Reis ; ZANETTI, Renato . WiseHealth. 2010.


Demais tipos de produção técnica
1.
DIAS JÚNIOR, ALAIR. Introdução à Programação de CLPs usando a norma IEC 61131-3. 2015. (Curso de curta duração ministrado/Outra).

2.
DIAS JÚNIOR, ALAIR. Microeletrônica - Prototipagem Rápida Usando FPGAs. 2011. (Curso de curta duração ministrado/Outra).



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 DIAS JÚNIOR, Alair; MURALI, SRINIVASAN ; ATIENZA, DAVID ; RINCON, FRANCISCO . A METHOD AND DEVICE FOR NON INVASIVE BLOOD PRESSURE MEASUREMENT. 2014, Suiça.
Patente: Privilégio de Inovação. Número do registro: US20170042434A1, título: "A METHOD AND DEVICE FOR NON INVASIVE BLOOD PRESSURE MEASUREMENT" , Instituição de registro: United States Patent and Trademark Office. Depósito PCT: 24/04/2014; Depósito: 22/04/2015.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
PARREIRAS, Fernando Silva; SILVA, J. T. M.; DIAS JUNIOR, ALAIR. Participação em banca de Djan Magalhães Castro. A long-term energy efficiency prediction model for the Brazilian automotive industry. 2017. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

2.
MARQUES, R. M.; MAIA, L. C. G.; GOMES, O.A.; DIAS JUNIOR, ALAIR. Participação em banca de Alexandre Sauer Paes Leme. Análise de soluções abertas de gerenciamento de redes em relação ao modelo FCAPS de gerenciamento de redes. 2017. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

3.
GOMES, O.A.; PARREIRAS, Fernando Silva; DIAS JUNIOR, ALAIR. Participação em banca de Thiago Chierici Cunha. Predição de Links em Redes Sociais Acadêmicas: uma análise da influência das características da rede na precisão dos algoritmos baseados na topologia. 2017. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

4.
VASCONCELOS, F. H.; MOTA, H. O.; DIAS JUNIOR, ALAIR. Participação em banca de Felipe Augusto Oliveira Mota. Aplicação de Rede de Sensores Sem Fio para a Análise do Movimento Humano. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

5.
MAIA, L. C. G.; DIAS JÚNIOR, Alair; LIMA, G. A. B.. Participação em banca de Armstrong Gomes Brito. Proposta de modelo de recomendação de conteúdo baseado em arquivos de legendas de filmes e séries. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

6.
MARQUES, R. M.; MARTINS, H. C.; MAIA, - Luiz Cláudio Gomes; JÚNIOR, ALAIR DIAS. Participação em banca de Davis Anderson Figueiredo. Análise de Vulnerabilidades e Ameaças Presentes em REdes Wi-Fi (IEEE 802.11) de Instituições de Ensino Superior de Minas Gerais. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

7.
DIAS JÚNIOR, Alair; OLIVEIRA, Júlia Epischina Engrácia; GOMIDE, J. V. B.; MARTINS, Henrique Resende. Participação em banca de Maurício Vianna de Rezende. Evaluation of Face Recognition Technologies for Access Authentication in Automotive Passive Entry Systems with Near Infrared Camera. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

8.
GOMIDE, J. V. B.; MAGALHÃES, A. L. C. C.; DIAS JÚNIOR, Alair. Participação em banca de Murilo dos Santos Vieira. Matchmoving e Técnicas de Rastreamento de Câmera para Produções Audiovisuais. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

9.
DA SILVA JUNIOR, DIOGENES C.; SILL TORRES, F.; FERNANDES, A. O.; DIAS JÚNIOR, ALAIR. Participação em banca de Caio Souza Oliveira. The Alchemy Of Reconfigurability: design and verification of a reconfigurable processor architecture. 2015. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

10.
OLIVEIRA, L.C.V.; MUYLDER, C. F.; DIAS JÚNIOR, ALAIR; MORIGUCHI, S.N.. Participação em banca de Matheus Henrique de Pinho. Inovação, redes e marca: a influência da Fórmula 1 e o impacto na decisão de compra entre duas montadores de automóveis no Brasil. 2015. Dissertação (Mestrado em Administração) - Universidade FUMEC.

11.
MARQUES, R. M.; MAIA, - Luiz Cláudio Gomes; DIAS JÚNIOR, ALAIR; SONG, M.A.J.. Participação em banca de Marcos Flávio Araújo Assunção. Análise de eficiência na detecção de vulnerabilidades em ambientes web com uso de ferramentas de código aberto. 2015. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

12.
GOMES, O.A.; PARREIRAS, Fernando Silva; DIAS JÚNIOR, Alair; MATTOS, M.C.. Participação em banca de Douglas Vieira Santos. Predição de Links e a Teoria da Evolução Espectral: um Estudo da Viabilidade e Utilização em Sub-Redes de Coautoria da Plataforma Lattes. 2015. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

13.
MAIA, L. C. G.; ZIVIANI, F.; DIAS JÚNIOR, Alair. Participação em banca de Maura Sousa da Silva. Os desafios para desenvolvimento local sustentável do município de Rubiataba - GO. 2014. Dissertação (Mestrado em Mestrado Profissional em Administração) - FEAD.

Qualificações de Doutorado
1.
SILVA JUNIOR, D. C.; NOGUEIRA, J. M.; CERQUEIRA, E. C.; CORREIA, L. H. A.; DIAS JUNIOR, ALAIR. Participação em banca de Rogério Santos Pozza. Um Protocolo Cross-layer para Redes Corporais Sem Fio Considerando Dispositivos com Taxas de Dados Variáveis. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

2.
SILVA JUNIOR, D. C.; DIAS JÚNIOR, Alair; NOGUEIRA, J. M.. Participação em banca de Alex Vidigal Bastos. Algoritmo de Roteamento para Comunicação D2D em Sistemas de Segurança Pública sobre Redes LTE Avançadas (LTE-A). 2016. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

Qualificações de Mestrado
1.
MARQUES, R. M.; MARTINS, H. C.; DIAS JÚNIOR, ALAIR; MAIA, L. C. G.. Participação em banca de Davis Anderson Figueiredo. Análise Da Segurança De Redes Wi-Fi Através De Teste De Penetração Em Instituições De Ensino Superior De Belo Horizonte. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

2.
MARQUES, R. M.; MAIA, L. C. G.; DIAS JÚNIOR, ALAIR. Participação em banca de Marcos Flávio Araújo Assunção. Análise de eficiência na detecção de vulnerabilidade em ambientes web com o uso de ferramentas gratuitas. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

3.
DIAS JÚNIOR, ALAIR; GOMIDE, J. V. B.; MAGALHÃES, A. L. C. C.. Participação em banca de Maurício Vianna de Rezende. Evaluation of Face Recognition Technologies for Access Authentication in Automotive Passive Entry Systems with Near Infrared Camera. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

4.
DIAS JÚNIOR, ALAIR; GOMIDE, J. V. B.; BARROSO, L.C.. Participação em banca de Luiz César Maia Lemos. Estudo Comparativo De Tecnologias Para Detecção Precoce De Incêndios Florestais Em Áreas De Reflorestamento No Brasil. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

5.
MAIA, L. C. G.; ABREU, O. G.; DIAS JÚNIOR, ALAIR. Participação em banca de Samuel Pereira Dias. Sistema de Votação Eletrônica Auditável para Instituições de Ensino Superior. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

6.
RODRIGUES, R. F.; PARREIRAS, Fernando Silva; DIAS JÚNIOR, Alair; GOMIDE, J. V. B.. Participação em banca de Fábio José Marques Barbosa. Estudo sobre o Impacto da Gestão Visual na Melhoria de Desempenho do Gerenciamento de Projetos na Área de Concentração: Sistemas de Informação e Gestão do Conhecimento. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

7.
GOMIDE, J. V. B.; RODRIGUES, R. F.; DIAS JÚNIOR, ALAIR. Participação em banca de Murilo dos Santos Vieira. Matchmoving: Technologias para o Rastreamento, Calibração de Câmera com Usabilidades em Produções Audiovisuais. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

8.
CARDOSO, A.M.P.; RODRIGUES, R. F.; DIAS JÚNIOR, ALAIR. Participação em banca de Walter dos Santos. Uso de Simuladores como Ferramenta no Ensino-aprendizagem de Redes de Computadores. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

9.
MARQUES, R. M.; DIAS JÚNIOR, ALAIR; GOMES, O.A.. Participação em banca de Claudimir Borges Caetano. Marco Civil da Internet: Análise de Neutralidade da Rede. 2015. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

10.
MAIA, - Luiz Cláudio Gomes; MUYLDER, C. F.; DIAS JÚNIOR, Alair; CAMILO, R. D.. Participação em banca de João Paulo Carneiro Aramuni. Impactos da Implantação do Lean Manufacturing na Gestão de Projetos de Tecnologia da Informação: Estudo de Caso em Multinacional do Segmento de Ti. 2014. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

11.
SILVA, J. T. M.; ABREU, O. G.; DIAS JÚNIOR, ALAIR. Participação em banca de Cesar Augusto Cardoso da Silva. Avaliação dos Critérios de Medição do Tempo de Desenvolvimento de Sistemas de Gerenciamento de Decisão: um Estudo de Caso de uma Empresa de Distribuição de Energia Elétrica. 2014. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

12.
MARTINS, H. C.; MUYLDER, C. F.; DIAS JÚNIOR, ALAIR; MAIA, L. C. G.. Participação em banca de Clóvis Lemos Tavares. Relação entre Fatores Socioeconômicos e Índices de Homicídios em Betim: uma Modelagem Utilizando Sistemas de Informação Geográfica. 2014. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

13.
OLIVEIRA, L.C.V.; MUYLDER, C. F.; DIAS JÚNIOR, Alair. Participação em banca de Matheus Henrique de Pinho. Marca, Inovação e Redes: O Impacto do Marketing da Fórmula 1 na Decisão de Compra entre duas Montadoras de Automóveis no Brasil. 2014. Exame de qualificação (Mestrando em Administração) - Universidade FUMEC.

14.
SANTOS, Marcelo Rodrigues; DIAS JÚNIOR, Alair; ABREU, O. G.. Participação em banca de Reinaldo Araújo de Alkimim. Modelo de Objetos do OpenEHR: uma avaliação em termos de métricas orientadas a objeto. 2013. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

15.
PARREIRAS, Fernando Silva; DIAS JÚNIOR, ALAIR; OLIVEIRA, Júlia Epischina Engrácia. Participação em banca de Patrícia Carolina Neves Azevedo. Uma proposta para visualização de linked data sobre enchentes na Bacia do Rio Doce. 2013. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

16.
SANTOS, Marcelo Rodrigues; MAIA, - Luiz Cláudio Gomes; DIAS JÚNIOR, ALAIR. Participação em banca de Wellington Dimas da Cruz. Archetype Definition Language: uma avaliação da linguagem de domínio especifica adl para criação de arquétipos clínicos de saúde. 2013. Exame de qualificação (Mestrando em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC.

Trabalhos de conclusão de curso de graduação
1.
MESQUITA, R. C.; MAGALHÃES, A. L. C. C.; DIAS JÚNIOR, Alair; Cunha, B.F.M.. Participação em banca de Filipe Barreto Diniz.Uso de Design Verifier para testes automatizados de software baseados em modelos. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Sistemas) - Universidade Federal de Minas Gerais.

2.
Lima, Eduardo José; DIAS JÚNIOR, Alair; Ramalho Filho, Frederico A.. Participação em banca de Kássio Maciel Kienitz.Sistema de Controle Robótico de Servomecanismos com uma Abordagem de Custo. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica) - Universidade Federal de Minas Gerais.

3.
SILL TORRES, F.; DIAS JÚNIOR, Alair. Participação em banca de Henrique Zaidan Davi Alves Costa.Aplicação de Processador AMBER para Controle de uma Rede Ômega para Depuração Pós-silício. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.

4.
PASSOS, L. F. D.; SOUSA, R. G.; DIAS JUNIOR, ALAIR. Participação em banca de Luís Eduardo Guimarães Pereira.Sistema Embarcado para Monitoramento e Controle de Trocador de Calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

5.
PASSOS, L. F. D.; SOUSA, R. G.; DIAS JUNIOR, ALAIR. Participação em banca de Lucas Azevedo Rocha.Projeto e implementação de sistema embarcado para monitoramento e controle de trocador de calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

6.
PASSOS, L. F. D.; SOUSA, R. G.; DIAS JUNIOR, ALAIR. Participação em banca de Vinícius Faria Ramos.Projeto e implementação de sistema embarcado para monitoramento e controle de trocador de calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

7.
PASSOS, L. F. D.; SOUSA, R. G.; DIAS JUNIOR, ALAIR. Participação em banca de Roger Tiago Santos.Projeto e implementação de sistema embarcado para monitoramento e controle de trocador de calor. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Química) - Universidade Federal de Minas Gerais.

8.
PERSECHINI, M. A. M.; DIAS JÚNIOR, Alair; ROCHA, L.. Participação em banca de Carlos Mangeroti.Automação dos poços da Mina de Fábrica e do Transporte Pneumático da CST. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.

9.
MAIA, C. A.; DIAS JÚNIOR, Alair; OLIVEIRA, A. S.. Participação em banca de Ramon Lacerda Marques.Desenvolvimento de um Sistema de Monitoramento de Temperatura para Indústria de Laticínio. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais.



Participação em bancas de comissões julgadoras
Concurso público
1.
CUNHA, A. B.; ARAUJO FILHO, J. E. M.; ALVES, L. V. R.; DIAS JUNIOR, ALAIR; MICHEL, H. C. C.. Concurso Público para Provimento de Cargo Efetivo de Docente da Careira de Magistério do Ensino Básico, Técnico e Tecnológico. 2017. COLÉGIO TÉCNICO DA UNIVERSIDADE FEDERAL DE MINAS GERAIS.

2.
CASTRO, C. L.; MENDES, E. M. A. M.; YARED, G. F. G.; SALDANHA, R. R.; DIAS JÚNIOR, ALAIR. Banca examinadora do concurso público para contratação de Professor Adjunto. Edital 754/2016. - Área Engenharia de Sistemas. 2016. Universidade Federal de Minas Gerais.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).Using Guiding Heuristics to Improve the Dynamic Checking of Temporal Properties in Data Dominated High-Level Designs. 2013. (Simpósio).

2.
LATW2012 - 13th Latin American Test Workshop. A Guiding Heuristic for the Semi-Formal Verification of High-Level Designs. 2012. (Congresso).

3.
VII Encontro Nacional do Fórum de Extensão das IES Particulares. 2012. (Encontro).

4.
XIII Encontro Nacional de Pós-Graduação e Pesquisa das IES. 2012. (Encontro).

5.
PhD Forum of the 17th IFIP/IEEE International Conference on Very Large Scale Integration - VLSI-SoC. Complemental Testing - A Novel Approach for High Level Test Data Generation. 2009. (Congresso).

6.
Palestra sobre Propriedade Intelectual. 2008. (Outra).

7.
IEEE Computer Society Annual Symposium on VLSI.Code-coverage Based Test Vector Generation for SystemC Designs. 2007. (Simpósio).

8.
I Latin American SystemC I Latin American SystemC Users Group Meeting.Code-coverage Based Methodology for Test Vector Generation. 2007. (Encontro).

9.
XII Jornadas de Jovens Pesquisadores da AUGM.FlexRNA: Arquitetura Flexível para Desenvolvimento de Redes Neurais Artificiais em Hardware. 2004. (Encontro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Alba Francine de Souza Caetano. Verificação de Sistemas Descritos Usando as Linguagens da Norma 61131-3. Início: 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais. (Orientador).

Iniciação científica
1.
Marina Ribeiro Pains de Oliveira. Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software. Início: 2017. Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais. (Orientador).

2.
Armando Schiara Guimaraes. Aplicações de Internet das Coisas Visando Smart Living, Smart Health e Smart Buildings. Início: 2017. Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais. (Orientador).

3.
Mariana Gonzaga Ribeiro. Aplicações de Internet das Coisas Visando Smart Living, Smart Health e Smart Buildings. Início: 2017. Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais. (Orientador).

4.
Barbara Sabino Rocha Inacio. Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software. Início: 2017. Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais. (Orientador).

5.
Lucas Guimarães Hofner. Aplicações de Internet das Coisas visando Smart Living, Smart Health e Smart Buildings. Início: 2017. Iniciação científica (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais. (Orientador).

6.
Luiza Agostinho Pena. Método e Aparato para Geração Dirigida de Vetores de Teste para Depuração Pós-Silício. Início: 2017. Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Maurício Vianna de Rezende. Evaluation of Face Recognition Technologies for Access Authentication in Automotive Passive Entry Systems with Near Infrared Camera. 2016. Dissertação (Mestrado em Sistemas de Informação e Gestão do Conhecimento) - Universidade FUMEC, . Orientador: Alair Dias Júnior.

Trabalho de conclusão de curso de graduação
1.
Bruno Vieira Resende e Silva. Estudo e Comparações entre Diferentes Implementações de Sistemas de Recomendação. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

2.
Rômulo Fernandes Machado Leitão. Fluxmachine - Compilador e Interpretador de Fluxogramas. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

3.
Douglas Eric Fonseca Rodrigues. Análise Comparativa de Modelos de RNA's Aplicadas ao Reconhecimento de Padrões. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

4.
Felipe Alves Dias. Parametrização de Algoritmo Genético para Resolução do Problema de Timetable. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

5.
Leopoldo Ferreira de Pinho Tavares. Análise do Perfil das Aplicações de Internet das Coisas. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

6.
Ana Maria Nunes. Near Field Communication: tecnologias envolvidas e impactos na vida cotidiana. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

7.
Thomaz de Aguiar Feitoza. Comunicação de Dados por meio de Ondas Acústicas. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

8.
Rodrigo Martins Lopes Silva. Comunicação de Dados por meio de Ondas Acústicas. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

9.
Frederico Ferreira Zica. Definição de Regras Semânticas da Linguagem Assembly dos Microcontroladores 8 Bits AVR. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

10.
Thiago Henrique de Carvalho Neves. Desenvolvimento de Aplicativos para o Sistema Operacional Android. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

11.
Gustavo Bacelar Dolabella Duarte. Processamento de Linguagem Natural: interpretando e executando comandos de voz. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

12.
Ricardo Rosendo de Castro. Comparativo de Ferramentas para Desenvolvimento de Realidade Aumentada. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

13.
Daniel Washington Soares Martins. Desenvolvimento e Documentação do Projeto de um Robô Hexápode. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

14.
Willer Henrique dos Reis. Desenvolvimento e Documentação do Projeto de um Robô Hexápode. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

15.
Lucas Eduardo Silva. Knowledge Discovery in Database: conceitos e utilização do processo de KDD em bases de dados. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

16.
Alexandre Sant'Ana Cardoso. Verificação de Propriedades Funcionais em Controladores Lógicos Programáveis. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

17.
André Campos de Vasconcelos. Antenas Fractais: redução de tamanho para antenas de sinais digitais de alta definição. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

18.
Leandro Marcus Chaves Guzela. Antenas Fractais: redução de tamanho para antenas de sinais digitais de alta definição. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

19.
Leonardo Borges Athayde Vasconcelos. Inteligência Artificial: análise de heurísticas para resolução do problema do caixeiro viajante. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

20.
Henrique Meireles Valadares. Geoprocessamento: criação de um modelo tridimensional em tons de cinza das edificações de Belo Horizonte. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

21.
Daidson de Resende Nunes. Java vs. C#: fatores que interferem na escolha da linguagem de um sistema. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

22.
Mateus Pessoa Amaral. Realidade Aumentada: jogos interativos. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

23.
Christian da Costa Silva. Struts 2 x JSF: ferramentas de produtividade WEB e preferências no mercado corporativo. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

24.
Lucca da Cunha Mordente. Sistemas de Recomendações Baseados em Inteligência Coletiva. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

Iniciação científica
1.
Luiza Agostinho Pena. Análise de Ferramentas para Verificação Formal em Projetos de Hardware e Software. 2016. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Minas Gerais. Orientador: Alair Dias Júnior.

2.
Bernardo Vieira Assis. Análise de método caixa-preta para a verificação de propriedades temporais em projetos de circuitos integrados. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade FUMEC, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Alair Dias Júnior.

3.
Marcus Vinícius Lage Magalhães. Casa Inteligente: Desenvolvimento de Sensores, Atuadores e Interfaces de Fácil Instalação para Utilização em Automação Residencial. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade FUMEC, ProPIC/FUMEC. Orientador: Alair Dias Júnior.

4.
Bruno César da Silva Diniz. Casa Inteligente: Desenvolvimento de Sensores, Atuadores e Interfaces de Fácil Instalação para Utilização em Automação Residencial. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

5.
Luiz Gonzaga Martins Neto. Casa Inteligente: Desenvolvimento de Sensores, Atuadores e Interfaces de Fácil Instalação para Utilização em Automação Residencial. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

Orientações de outra natureza
1.
Amanda Cristina Pereira Santos. FUMEChs: A robótica como instrumento de motivação e integração na Universidade. 2015. Orientação de outra natureza. (Engenharia de Computação) - Universidade FUMEC, FUMEC. Orientador: Alair Dias Júnior.

2.
Jean Pierre Soares de Oliveira Filho. FUMEChs: A robótica como instrumento de motivação e integração na Universidade. 2015. Orientação de outra natureza. (Engenharia de Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.

3.
Carolina Fernandes Serrano Lopes. FUMEChs: A robótica como instrumento de motivação e integração na Universidade. 2015. Orientação de outra natureza. (Engenharia de Computação) - Universidade FUMEC. Orientador: Alair Dias Júnior.



Inovação



Patente
1.
 DIAS JÚNIOR, Alair; MURALI, SRINIVASAN ; ATIENZA, DAVID ; RINCON, FRANCISCO . A METHOD AND DEVICE FOR NON INVASIVE BLOOD PRESSURE MEASUREMENT. 2014, Suiça.
Patente: Privilégio de Inovação. Número do registro: US20170042434A1, título: "A METHOD AND DEVICE FOR NON INVASIVE BLOOD PRESSURE MEASUREMENT" , Instituição de registro: United States Patent and Trademark Office. Depósito PCT: 24/04/2014; Depósito: 22/04/2015.


Produto tecnológico
1.
DIAS JÚNIOR, Alair; MARTINS, Henrique Resende ; SILVA JUNIOR, D. C. ; FLOR, Daniel Reis ; ZANETTI, Renato . WASP - Wisecomm Advanced Sensor Platform. 2011.


Projetos de pesquisa

Projeto de extensão



Página gerada pelo Sistema Currículo Lattes em 15/12/2018 às 16:58:35