Autran Macêdo

  • Endereço para acessar este CV: http://lattes.cnpq.br/4481587640098813
  • Última atualização do currículo em 02/05/2017


Possui graduação em Processamento de Dados, grau tecnológico, pela Universidade de Brasília (1979), mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1985) e doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2002). Atualmente é professor associado da Universidade Federal de Uberlândia. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente: Envelhecimento de Software, Alocação Dinâmica de Memória. (Texto informado pelo autor)


Identificação


Nome
Autran Macêdo
Nome em citações bibliográficas
MACÊDO, Autran;Macêdo, Autran;MACEDO, AUTRAN

Endereço


Endereço Profissional
Universidade Federal de Uberlândia, Faculdade de Computação.
Av. João Naves de Ávila, 2121 - Bloco B - Campus Santa Mônica
Santa Mônica
38400902 - Uberlândia, MG - Brasil
Telefone: (34) 32394211
Ramal: 20
Fax: (34) 32394392
URL da Homepage: http://www.facom.ufu.br/~autran


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


1997 - 2002
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Solução Exata de Problemas de Escalonamento Determinísticos por Meio de Verificação Simbólica de Modelos, Ano de obtenção: 2002.
Orientador: Sérgio Campos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Verificacao Formal; Formal Verification; Problemas de Sequenciamento; Scheduling; Verificacao Simbolica e Modelos; Symbolic Model Checking.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Verificacao Formal.
1982 - 1985
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: SPLN - Um Sistema de Linguagem Natural Para Recuperação de Informação em Banco de Dados,Ano de Obtenção: 1985.
Orientador: Paulo Azeredo e José Mauro V Castilho.
Palavras-chave: Banco de Dados; Recuperação de Informação; Linguagem Natural.
Grande área: Ciências Exatas e da Terra
1977 - 1979
Graduação em Tecnologia Em Processamento de Dados.
Universidade de Brasília, UnB, Brasil.




Atuação Profissional



Universidade Federal de Uberlândia, UFU, Brasil.
Vínculo institucional

1988 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor da Universidade Federal de Uberlândia desde 14 de outubro de 1988.

Atividades

07/2005 - Atual
Conselhos, Comissões e Consultoria, Faculdade de Computação, .

Cargo ou função
Conselheiro da Faculdade de Computação.
2002 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.

Linhas de pesquisa
Engenharia de Software
10/1988 - Atual
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Gerência de Banco de Dados
Programação Orientada por Objetos
Programação Procedimental
Projeto e Desenvolvimento de Software
Sistemas de Banco de Dados
07/2003 - 12/2006
Ensino, Pós-Graduação em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Métodos Formais: Verificação de Modelos
Tópicos Especiais em Eng.Software
Workflow
07/2002 - 07/2005
Conselhos, Comissões e Consultoria, Faculdade de Computação, .

Cargo ou função
Membro do Conselho da Faculdade de Computação.
10/1988 - 02/1997
Conselhos, Comissões e Consultoria, Faculdade de Computação, Departamento de Informática.

Cargo ou função
Membro do Conselho do Departamento de Informática (extinto).
03/1995 - 12/1996
Direção e administração, Faculdade de Computação, .

Cargo ou função
Coordenador de Curso de Bacharelado em Ciência da Computação.
03/1995 - 12/1996
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, .

Cargo ou função
Membro do Conselho do Centro de Ciências Exatas / UFU.

Empresa de Portos do Brasil S/A, PORTOBRÁS, Brasil.
Vínculo institucional

1978 - 1988
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

07/1988 - 10/1988
Serviços técnicos especializados , Departamento de Informática e Organização, .

Serviço realizado
Desenvolvimento de sistemas administrativos; Administração de bancos de dados..


Linhas de pesquisa


1.
Engenharia de Software


Projetos de pesquisa


2012 - 2013
Verificação Formal de Software por meio de Verificação de Modelos
Descrição: Verificação formal de sistemas escritos na linguagem C por meio de verificação simbólica de modelos (Model Checking)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) .
Integrantes: Autran Macêdo - Coordenador / Mark Alan Junho Song - Integrante.
2012 - 2013
AVALIAÇÃO PÓS-OCUPAÇÃO EM APARTAMENTOS COM INTERFACES DIGITAIS CUSTOMIZADAS
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Autran Macêdo - Integrante / Simone Villa - Coordenador / Sandro Canavesi - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2010 - 2011
Análise, Caracterização e Avaliação do Gerenciamento de Memória em Sistemas Middleware
Descrição: Pesquisa teórica-experimental para comparação de algoritmos e implementações de alocadores de memória usados no contexto de sistemas de middleware. Um estudo é realizado utilizando um middleware real voltado para mediação em aplicações financeiras..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Autran Macêdo - Coordenador / Rivalino Matias Jr - Integrante.Financiador(es): Cedro Finances - Bolsa.
Número de produções C, T & A: 5
2005 - 2007
Portal de Serviços para Ambiente Acadêmico Baseado em Workflow
Descrição: Este projeto visa desenvolver um sistema de Workflow que possa servir como plataforma para um ponto de partida para um portal de serviços para uma instituição federal de ensino superior (IFES). Pretende-se que esse portal seja genérico e extensível de modo a prover informações e processos necessários ao desempenho das funções administrativas de uma IFES..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Autran Macêdo - Coordenador / Renê R. Veloso - Integrante / Rodolfo S. Stein - Integrante / Rogério S. Silva - Integrante.Financiador(es): Universidade Federal de Uberlândia - Auxílio financeiro.
Número de produções C, T & A: 1
2005 - 2006
Alocação de Tarefas Baseada na Adequação do Processador em um Ambiente de Workflow
Descrição: Este projeto visa associar conceitos de workflow e distribuição de tarefas baseada na adequação dos atores (processadores). Adequação é um índice calculado a partir de métricas atribuídas a (classes de) tarefas e (classes de) atores. Espera-se com este projeto uma alocação de tarefas mais eficiente do que a abordagem tradicional. Além disso, espera-se também a proposição de novas métricas para tarefas e atores, e novos algoritmos de alocação de tarefas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Autran Macêdo - Coordenador / Ilmério Reis da SIlva - Integrante / Renê R. Veloso - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro / Universidade Federal de Uberlândia - Cooperação.
Número de produções C, T & A: 1


Projetos de desenvolvimento


2010 - 2011
AutoFlux - Automação de Fluxo de Trabalho Administrativo
Descrição: Este projeto visa analisar o impacto da implantação da automação de processos adminstrativos no âmbito de uma empresa de serviços. Para essa análise, irá ser criado um Sistema de Gerência de Workflow (SGWf), a partir de software open-source, e em seguida uma empresa de serviços será selecionada para ter algum de seus serviços automatizados. A usabilidade e a eficiência dos serviços serão analisados ao longo de um período de tempo para se determinar a aplicabilidade de tal automação..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (4) .
Integrantes: Autran Macêdo - Coordenador / Luciano Santos Henrique Lopes - Integrante / Guilherme Castilho Casassanta - Integrante / Yassim Gonçalves Nurmahomed - Integrante / Matheus Ferreira da Silva - Integrante.
2008 - 2012
DataPET - Sistema para Impressão de Atividades de Grupos PET
Descrição: Trata-se de um sistema que visa gerenciar as atividades de grupos PET. Essencialmente, tutores e petianos informam suas atividades e, posteriormente, podem obter uma compilação de suas atividades para fins de emissão de relatório. O CLA (Comitê Local de Acompanhamento), por sua vez, pode acompanhar de modo on-line as atividades dos grupos e emitir relatórios. Trata-se de uma atividade do grupo PET Computação e está em constante evolução..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (5) .
Integrantes: Autran Macêdo - Coordenador / Arthur da Cunha Costa - Integrante / Bruno Augusto Romes de Lima - Integrante / Eduardo Silva Rosa - Integrante / Raíza Moraes Sousa - Integrante / Thadeu Knychala Tucci - Integrante.
2008 - 2010
SAT - Sistema de Avaliação de Turmas
Descrição: Trata-se de um sistema que visa automatizar a avaliação que os alunos realizam ao final de cada periodo letivo. Esse sistema irá permitir que: - o coordenador defina um questionário; - os alunos do curso respondam esse questionário, de forma anônima, sobre as urmas (professor, disciplina e o próprio aluno) em que esses estavam matriculados; e - o coordenador analise dados estatísticos sobre as turmas..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) .
Integrantes: Autran Macêdo - Coordenador / Diego Elias Damasceno - Integrante / Éderson Machado - Integrante / Débora Pires Otoni - Integrante.
2004 - 2005
Sistema de Produção e Apresentação Digital de Material Didático
Descrição: Software para produção e apresentação material didático com fins de dar apoio à aulas presenciais e não presenciais..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) .
Integrantes: Autran Macêdo - Coordenador / Cláudio Camargo Rodrigues - Integrante / Clauton Veloso Pugas - Integrante / Robson de Carvalho Soares - Integrante / Clênio da Rocha Ferreira - Integrante.Financiador(es): Universidade Federal de Uberlândia - Bolsa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Verificacao Formal.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Workflow.


Idiomas


Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.


Prêmios e títulos


2011
Best Paper - Evaluation of Compound System Calls in the Linux Kernel, VIII Workshop de Sistemas Operacionais (SBESC/WSO 2011).
2011
Best Paper - An Experimental Study on Memory Allocators in Multicore and Multithreaded Applications, FTRA - 12th International Conference on Parallel and Distributed Computing, Applications and Technol.
2001
Menção Honrosa na I Semana de Pós-Graduação, Universidade Federal de Minas Gerais.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
Borges, Lúcio2012Borges, Lúcio ; FERREIRA, Taís B. ; MATIAS Jr, Rivalino ; MACÊDO, Autran ; BORGES, Lúcio Araújo . A Quantitative Comparison of Memory Allocators for Multicore and Multithread Applications. J INTERNET TECHNOL, v. 13, p. 521-532, 2012.

2.
VICENTE, Elder2012 VICENTE, Elder ; Matias, Rivalino ; Borges, Lúcio ; MACÊDO, Autran . Evaluation of compound system calls in the Linux kernel. Operating Systems Review, v. 46, p. 53-63, 2012.

Trabalhos completos publicados em anais de congressos
1.
VALENTIM, Nathália ; MACÊDO, Autran ; MATIAS JR., Rivalino . A Systematic Mapping Review of the First 20 Years of Software Aging and Rejuvenation Research. In: WoSAR - International Workshop on Software Aging and Rejuvenation, 2016, Ottawa. 8th International Workshop on Software Aging and Rejuvenation (WoSAR 2016), 2016.

2.
XAVIER, J. ; Macêdo, Autran ; MAIA, Marcelo A. . Understanding the popularity of reporters and assignees in the Github. In: International Conference on Software Engineering and Knowledge Engineering, 2014, Vancouver. International Conference on Software Engineering and Knowledge Engineering, 2014. p. 484-489.

3.
XAVIER, J. ; MACÊDO, Autran ; MATIAS Jr, Rivalino ; Borges, Lúcio . Engenharia de Confiabilidade de Software: Um mapeamento Sistemático da Última Década. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus. Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014.

4.
BORGES, Taís F. ; MATIAS JR., Rivalino ; MACÊDO, Autran ; Costa, Bruno E. . Análise Experimental de Alocadores de Memória em Nível de Kernel. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus. Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014.

5.
PUCHE, Cleverson L. ; NUNES, Filipe B. ; Macêdo, Autran ; RINALDI, Ana E. M. ; CARVALHO, Priscila N. ; ROSA, P. F. . Hortalândia: a healthy eating game. In: Simpósio Brasileiro de Games e Entretenimento Digital - SBGAMES, 2012, Brasília. Simpósio Brasileiro de Games e Entretenimento Digital - SBGAMES, Trilha Cultural, 2012.

6.
Matias, Rivalino ; COSTA, BRUNO EVANGELISTA ; MACEDO, AUTRAN . Monitoring Memory-Related Software Aging: An Exploratory Study. In: 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2012, Dallas. 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops. p. 247.

7.
FERREIRA, Taís B. ; MATIAS Jr, Rivalino ; MACÊDO, Autran . Análise de Desempenho de Alocadores de Memória de Código Aberto: Estudo de Caso em Aplicações Middleware. In: Workshop de Software Livre / Fórum Internacional de Software Livre, 2011, Porto Alegre. XII Workshop de Software Livre / Fórum Internacional de Software Livre, 2011.

8.
FERREIRA, Taís B. ; MATIAS Jr, Rivalino ; MACÊDO, Autran ; BORGES, Lúcio Araújo . An Experimental Study on Memory Allocators in Multicore and Multithreaded Applications. In: International Conference on Parallel and Distributed Computing, Applications and Technologies, 2011, Gwangju. 12th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT-11), 2011. p. 92-98.

9.
CARVALHO, Ana M.M. ; MATIAS Jr, Rivalino ; MACÊDO, Autran ; MARTINS, Paulo Romero M. ; BORGES, Lúcio Araújo . Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. In: International Conference on Parallel and Distributed Computing, Applications and Technologies, 2011, Gwangju. 12th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT-11), 2011. p. 109-115.

10.
VICENTE, Elder ; MATIAS Jr, Rivalino ; MACÊDO, Autran ; BORGES, Lúcio Araújo . Evaluation of Compound System Calls in the Linux Kernel on Physical and Virtual Machines. In: International Conference on Parallel and Distributed Computing, Applications and Technologies, 2011, Gwangju. 12th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT-11), 2011. p. 104-108.

11.
MATIAS Jr, Rivalino ; FERREIRA, Taís B. ; MACÊDO, Autran . An Experimental Study on User-Level Memory Allocators in Middleware Applications. In: IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), 2011, Anchorage. IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), 2011. p. 2431-2436.

12.
FERREIRA, Taís B. ; MATIAS Jr, Rivalino ; MACÊDO, Autran . Comparação de Alocadores de Memória em Aplicações Multithread/Multicore. In: VIII Workshop de Sistemas Operacionais, 2011, Florianópolis. VIII Workshop de Sistemas Operacionais / Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2011. p. 200-205.

13.
VICENTE, Elder ; MATIAS Jr, Rivalino ; BORGES, Lúcio Araújo ; MACÊDO, Autran . Evaluation of Compound System Calls in the Linux Kernel. In: VIII Workshop de Sistemas Operacionais, 2011, Florianópolis. VIII Workshop de Sistemas Operacionais / Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2011. p. 164-169.

14.
MATIAS Jr, Rivalino ; MACÊDO, Autran ; FERREIRA, Taís B. . Análise Experimental Comparativa de Algortitmos de Alocação de Memória de Código Aberto. In: Workshop de Software Livre - WSL2010, 2010, Porto Alegre. 11º Fórum Internacional Software Livre - Workshop de Software Livre, 2010. p. 120-125.

15.
MACÊDO, Autran; FERREIRA, Taís B. ; MATIAS Jr, Rivalino . The Mechanics of Memory-Related Software Aging. In: Workshop of Software Aging and Rejuvenation, 2010, San Jose, CA. Second International Workshop on Software Aging and Rejuvenation (WoSAR'10), 2010.

16.
VELOSO, R. R. ; MACÊDO, Autran . Balancing Quality and Performance of Task Distribution in Workflow Based on Resource Aptitude. In: International conference on Computational Science, 2007, Beijing. Lecture Notes in Computer Science, 2007. v. 4489. p. 281-288.

17.
SILVA, R. S. ; MACÊDO, Autran ; SILVA, Ilmério R. ; SOUSA, J. N. . Distribuicao de tarefas em sistemas de workflow por meio de selecao induzida de recursos. In: Simpósio Brasileiro de Sistemas Colaborativos, 2006, Natal. SBSC 2006 - III Simpósio Brasileiro de Sistemas Colaborativos, 2006. p. 107-117.

18.
MACÊDO, Autran; GUARATO, A. ; SOARES, M. ; SOUSA, P. C. ; QUEIROZ, F. . Planos de Avaliação Via Web. In: VI Workshop de Software Livre - Trilha WoSLU, 2005, Porto Alegre. VI Forum Internacional de Software Livre. Porto Alegre: Armazém Digital, 2005. p. 135-139.

19.
MACÊDO, Autran; QUEIROZ, F. ; SOARES, M. ; SOUSA, P. C. ; GUARATO, A. . WEBGRADE: Sistema para Gerência e Divulgação de Planos de Avaliação Via Web. In: Congresso da Sociedade Brasileira de Computação - Workshop de Informática na Escola, 2005, São Leopoldo. XXV Congresso da Sociedade Brasileira de Computação, 2005. p. 2495-2503.

20.
VELOSO, R. R. ; MACÊDO, Autran . Distribuição de Tarefas em Sistemas de Workflow Baseada na Aptidão dos Recursos. In: Workshop Brasileiro de Tecnologias para Colaboração, 2005, Juiz de Fora. XVI Simpósio Brasileiro de Informática na Educação, 2005. p. 731-740.

21.
MACÊDO, Autran; SILVA, R. S. ; VELOSO, R. R. . Uso de Simulações para Análise de Alocações e Tempo de Processamento de Tarefas em Sistemas de Workflow. In: SECOMF 05 - Semana de Computação da FESURV, 2005, Rio Verde - GO. Semana de Computação da FESURV, 2005. p. 39-46.

22.
MACÊDO, Autran; CAMPOS, Sérgio ; CARVALHO, C. . Symbolic Model Checking: A New Approach for Solving Scheduling Problems. In: X Latin-Ibero-American Conference on Operations Research and Systems, 2000, Mexico City. X Latin-Ibero-American Conference on Operations Research and Systems, 2000. p. 1-6.

23.
CAMPOS, Sérgio ; BERTINI, L. ; MACÊDO, Autran . Formal Verification and Analysis of Multimedia Systems. In: ACM Multimedia Conference, 1999, Orlando, FL, USA. ACM Multimedia Conference, 1999. p. 419-430.

24.
MACÊDO, Autran; CAMPOS, Sérgio . An efficient formal verification tool for real-time systems. In: WMF'99 - 2nd Workshop on Formal Methods, 1999, Florianópolis - SC. WMF'99 - 2nd Workshop on Formal Methods, 1999.

25.
BERTINI, L. ; CAMPOS, Sérgio ; JAMIL, G. ; MACÊDO, Autran ; RIBEIRO NETO, Berthier ; SANTOS, C. F. ; SANTOS, D. A. S. . Análise de desempenho do servidor de vídeo ALMADEM-VOD. In: SBMÍDIA'99 - Simpósio Brasileiro de Sistemas Multimídia e Hipermídia, 1999, Goiânia, GO. SBMÍDIA'99 - Simpósio Brasileiro de Sistemas Multimídia e Hipermídia, 1999.

26.
MACÊDO, Autran; SILVA, E. ; BARBOSA, Denilson ; CRISTO, M. ; KITAJIMA, João Paulo W. ; RIBEIRO NETO, Berthier ; NAVARRO, Gonzalo ; ZIVIANI, Nivio . Experimental analysis of parallel quicksort-based algorithm for suffix array generation. In: 3rd International Meeting on Vector and Parallel Processing, 1998, Porto, Portugal. 3rd International Meeting on Vector and Parallel Processing, 1998.

27.
MACÊDO, Autran; OLIVEIRA, D. V. ; CAMPOS, R. L. ; FERNANDES, A. O. ; COELHO JR, Claudionor N. ; KITAJIMA, João Paulo W. . Um co-processador para pesquisa binária em arquivo invertido utilizando FPGA's. In: I Workshop em Arquiteturas Reconfiguráveis., 1997, São Paulo, SP. I Workshop em Arquiteturas Reconfiguráveis., 1997.

Resumos expandidos publicados em anais de congressos
1.
FERREIRA, TAIS B. ; Matias, Rivalino ; MACEDO, AUTRAN ; EVANGELISTA, BRUNO . An experimental comparison analysis of kernel-level memory allocators. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. New York: ACM Press. p. 2054-2059.

2.
PUCHE, Cleverson L. ; NUNES, Filipe B. ; MACÊDO, Autran ; RINALDI, Ana E. M. ; CARVALHO, Priscila N. ; ROSA, P. F. . The Experience of Developing the Game Hortalândia. In: Simpósio Brasileiro de Games e Entretenimento Digital - SBGAMES, 2012, Brasília. Simpósio Brasileiro de Games e Entretenimento Digital - Trilha Computação, 2012.

Resumos publicados em anais de congressos
1.
XAVIER, Joicymara ; Macêdo, Autran ; Matias, Rivalino ; BORGES, LUCIO . A survey on research in software reliability engineering in the last decade. In: the 29th Annual ACM Symposium, 2014, Gyeongju. Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14, 2014. p. 1190-1191.

2.
PUCHE, Cleverson L. ; MACÊDO, Autran . Verificação Formal de Programas da Linguagem C. In: FACOM TechWeek, 2014, Uberlândia. Anais do I FACOM TechWeek, 2014. p. 44-44.


Produção técnica
Assessoria e consultoria
1.
Macêdo, Autran; SILVA, Marcelo C. . Renovação de reconhecimento de curso GTI/UNIP. 2015.

2.
Macêdo, Autran; ASCENCIO, Ana F. G. . Renovação de reconhecimento de curso ADS/UNESC. 2015.

3.
SOUSA, Rômulo V. ; Macêdo, Autran . Autorização para instalação de curso ADS/FISIG. 2015.

4.
MACÊDO, Autran; MARTINEZ, Ana C. . Reconhecimento de Curso ADS/IFSP. 2015.

5.
MACÊDO, Autran. Autorização para Instalação de Curso (FAMA). 2008.

6.
MACÊDO, Autran. Avaliação de Curso de Garaduação (U.Estácio de Sá). 2008.

7.
PORTO, E. ; MACÊDO, Autran . Avaliação de Curso de Graduação (UNIFIEO). 2007.

8.
MACÊDO, Autran; PORTO, E. . Autorização para Instalação de Curso (FATEC). 2007.

Programas de computador sem registro
1.
MACÊDO, Autran; MUTTONI, L. ; NEVES, D. ; MOURA, A. J. . SAGP - Sistema de Acompanhamento Pedagógico. 2007.

Trabalhos técnicos
1.
MACÊDO, Autran. Membro do Comitê de Programa do III Simpósio Brasileiro de Sistemas Colaborativos. 2006.

2.
MACÊDO, Autran; LOPES, C. R. ; FAINA, L. F. ; FERNANDES, M. A. . Planejamento e escalonamento de tarefas em sistemas distribuídos baseados em workflow. 2005.


Demais tipos de produção técnica
1.
MACÊDO, Autran. Portal de Serviços para Ambiente Acadêmico Baseado em Workflow. 2008. (Relatório de pesquisa).

2.
MACÊDO, Autran. Alocação de Tarefas Baseada na Adequação do Processador em um Ambiente de Workflow. 2006. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Macêdo, Autran; MATIAS JR., Rivalino; MAIA, Marcelo A.; MARTINS, Paulo Romero M.. Participação em banca de Nathália Assis Valentim. Envelhecimento e Rejuvenescimento de Software: 20 anos (1995 - 2014) ? Panorama e Desafios. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
MATIAS Jr, Rivalino; MARTINS, Paulo Romero M.; Borges, Lúcio; Macêdo, Autran. Participação em banca de Paulo Eduardo Nogueira. Um estudo quantitativo sobre a variabilidade dos tempos de execução de programas em experimentos computacionais. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

3.
MAIA, Marcelo A.; GARCIA, Rogério Eduardo; MACÊDO, Autran. Participação em banca de Guilherme Constantin Tângari. A importância dos desenvolvedores de software sob a perspectiva dos supervisores. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

4.
MATIAS Jr, Rivalino; SONG, Mark A. J.; JULIA, Stéphane; MACÊDO, Autran. Participação em banca de Joicymara Santos Xavier. Engenharia de confiabilidade de software: um mapeamento sistemático. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
MAIA, Marcelo A.; CURY, José Eduardo Ribeiro; MACÊDO, Autran. Participação em banca de Franciny Medeiros Barreto. Modelagem e análise de vídeo games baseadas em WorkFlow nets e grafos de estado. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

6.
Matias, Rivalino; Macêdo, Autran; BORGES, Lúcio Araújo; OLIVEIRA, Rômulo Silva de. Participação em banca de Diego Elias Damasceno. Estudo exploratório do desempenho de alocadores de memória no espaço do usuário. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

7.
MAIA, Marcelo A.; VALENTE, Marco Túlio de Olivieira; MACÊDO, Autran. Participação em banca de Lucas Batista Leite de Souza. Crowd cookbooks: usando conhecimento de multidão a partir de sítios de perguntas e respostas para documentação de APIs. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

8.
SONG, Mark A. J.; Macêdo, Autran; MARQUES NETO, Humberto Torres. Participação em banca de Rodrigo Rezende Marinho Diana. Verificação de Código SQL via Verificação de Modelos. 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.

9.
SONG, Mark A. J.; MACÊDO, Autran; GOMES, R. R.; GALVES, L. E. Z.. Participação em banca de Júlio César Vale Neves. Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.

10.
MACÊDO, Autran; JULIA, Stéphane; SILVA, Ilmério R.; CAMPOS, Sérgio. Participação em banca de Rogério Sousa e Silva. Distribuição de Tarefas em Sistemas de Workflow por meio da Seleção Induzida de Recursos. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

11.
MACÊDO, Autran; SILVA, Ilmério R.; SOUSA, J. N.. Participação em banca de Antôno Eustáquio Ferreira Galvão. Uma Proposta de Política Compulsória para Banco de Dados Implementável em Catálogo. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

12.
MACÊDO, Autran; JULIA, Stéphane; SILVA, J. R.. Participação em banca de Fernanda Francielle de Oliveira. Problema do Escalonamento em Tempo Real dos Sistemas de Gerenciamento de Workflow Baseado em um Modelo de Rede de Petri Híbrida P-Temporal. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

13.
MACÊDO, Autran; SILVA, Ilmério R.; SOUSA, J. N.; SILVA, A. S.. Participação em banca de Rosa Virgínia Silva Costa. Banco de Dados Relacionais em Ambiente Cifrado. 2004. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

14.
MACÊDO, Autran; JULIA, Stéphane; KUNZLE, L. A.. Participação em banca de Michel dos Santos Soares. Uma Abordagem Baseada num Jogador de Redes de Petri P-Temporal e no Cálculo de Sequentes da Lógica Linear para Verificação de Cenários de Sistemas Tempo Real Especificados através de Diagramas Dinânmicos da UML. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

15.
MACÊDO, Autran; FERNANDES, A. O.; CAMPOS, Sérgio. Participação em banca de Alberto Rubens Beckler. Verificação Formal de Protocolos para Sistemas de Tempo Real Tolerantes a Falhas. 2003. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais.

16.
MACÊDO, Autran; SILVA, Ilmério R.; SOUSA, J. N.. Participação em banca de Renato Aquino Lopes. Recuperação de Informação de Dados Semi-Estruturados Utilizando o Modelo Vetorial. 2003. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Teses de doutorado
1.
WAINER, Jacques; MACÊDO, Autran; OLIVEIRA, J. P. M.. Participação em banca de Gregório Baggio Tramontina. Composicionalidade de Técnicas de Escalonamento de Processos em Workflow. 2008. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
MACÊDO, Autran; WAINER, Jacques; SOUZA, C. C.. Participação em banca de Gregório Baggio Tramontina. Composicionalidade de Técnicas de Escalonamento de Processos de Workflow. 2006. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Trabalhos de conclusão de curso de graduação
1.
VIDIGAL, Maria Aadriana; MACÊDO, Autran. Participação em banca de Pedro Augusto da Silva Reis.APO Digital. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
Macêdo, Autran; PAIVA, José Gustavo Souza; SILVA, M. A. P. E.. Participação em banca de Éderson Machado Lima.especificacoes.com - Processos Inteligentes. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

3.
Macêdo, Autran; DORCA, Fabiano Azevedo; MATIAS JR., Rivalino. Participação em banca de Débora Pires Otoni.Projeto Náutilus. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

4.
MAIA, Marcelo A.; Macêdo, Autran; JULIA, Rita Maria da Silva. Participação em banca de Maurício Amaral Gonçalves.Automação na Configuração de Equipamentos para a Rede Metro. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
Macêdo, Autran; PASSOS, Ligia Maria Soares; AMO, S.. Participação em banca de Rodrigo Rodrigues de Aquino.Desenvolvimento de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

6.
LACERDA, Helder Barbieri; GONCALVES, Rogério Sales; Macêdo, Autran. Participação em banca de Renato Bonesso de Carvalho e Silva.Programa para Projetos de Compensadores pelo Método Clássico do Lugar de Raízes. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica) - Universidade Federal de Uberlândia.

7.
SOUSA, Marcelo R.; Macêdo, Autran; CAMARGO, Lásaro Jonas. Participação em banca de Lorena Lopes dos Santos.Sistema de Controle de Pastas. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

8.
Macêdo, Autran; SILVA, Ilmério R.; OLIVEIRA, R. C.. Participação em banca de Samuel Bonizário de Andrade.Tecnologia da Informação Aplicada à Área de telecomunicações. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

9.
LOPES, C. R.; MACÊDO, Autran; MAIA, Marcelo A.. Participação em banca de Leonardo Abrahão Piedade.Projeto de Gestão Advocatícia - Voccia. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

10.
MACÊDO, Autran; RODRIGUES, C. C.; SILVA, Ilmério R.. Participação em banca de Everson Freitas Giacomelli Júnior.Controle de Sinistros e Portal Unimed. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

11.
SILVA, M. A. P. E.; MACÊDO, Autran; TOMIYAMA, M. N.. Participação em banca de Leon Parreira Garcia.Desenvolvimento do Broker Admin E.UM. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

12.
Macêdo, Autran; MATIAS JR., Rivalino; COELHO, Paulo Rodolfo da Silva Leite. Participação em banca de Ricardo José da Silva.CDRs Rejeitados. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

13.
SILVA, M. A. P. E.; Macêdo, Autran; ROSA, P. F.. Participação em banca de Sílvio Romero Afonso de Alvarenga Júnior.Sistema de Difusão de Dados. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

14.
FERNANDES, M. A.; MAIA, Marcelo A.; MACÊDO, Autran. Participação em banca de Jackson Gomes Soares Souza.Desenvolvimento de Soluções em Informática para a Universidade Federal de Uberlândia. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

15.
MACÊDO, Autran; PACHECO, João Augusto A.; SILVA, A. J.. Participação em banca de Rogério Martins Manzan.Sistema VOIP View. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

16.
BACALA JUNIOR, S.; MACÊDO, Autran; FAINA, L. F.. Participação em banca de Paulo César de Sousa.Promoflex - Desenvolvimento. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

17.
RODRIGUES, C. C.; MACÊDO, Autran; SILVA, A. J.. Participação em banca de Ligia Ferreira Queiroz.CRM - Customer Relationship Management. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

18.
MACÊDO, Autran; MARTINS, L. G. A.; COELHO, F. B.. Participação em banca de Lucas Daniel Nogueira da Motta.Modelagem e Implementação de Processos de Negócios: Transformações BPMN-UML2.0. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

19.
MACÊDO, Autran; FERNANDES, M. A.; OLIVEIRA, Gina Maira Barbosa. Participação em banca de Diego Lemos de Resende.Desenvolvimento de Software Aplicado em Sistemas de Call Center. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

20.
MACÊDO, Autran; LOPES, C. R.; GULIATO, D.. Participação em banca de Mariângel Soares Simedo.Manutenção e Desenvolvimento da Aplicação Web Sequans Communications Intranet. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

21.
MACÊDO, Autran; LOPES, C. R.; FERNANDES, M. A.. Participação em banca de Magno Santana Soares.Simulador de Negaociações BOVESPA. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

22.
FERNANDES, M. A.; MACÊDO, Autran; LOPES, C. R.. Participação em banca de Fernando Ferreira Queiroz.Broker Admin. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

23.
SOUSA, Marcelo R.; MACÊDO, Autran; SILVA, Ilmério R.. Participação em banca de Jorge Eurípedes de Oliveira.Análise e Desenvolvimento de Soluções para o Módulo de Requisições de Viagens do Oracle E-Business. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

24.
MAIA, Marcelo A.; MACÊDO, Autran; GUIMARAES, K. F.. Participação em banca de Luís fernando Signorelli Gonçalves.Desenvolvimento do Gerenciador de Processos Seletivos. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

25.
MAIA, Marcelo A.; OLIVEIRA, R. C.; MACÊDO, Autran. Participação em banca de Jean Carlo de Sousa Santos.SIMCAPE - Sistema para Montagem de Cariótipo de Peixe. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

26.
FAINA, L. F.; SILVA, A. J.; MACÊDO, Autran. Participação em banca de Thiego Resende Bisco.DataPET. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

27.
MACÊDO, Autran; SILVA, Ilmério R.; MAIA, Marcelo A.. Participação em banca de Maicow Fernandes Marques.Migração de Ordem de Serviço de Telefonia Celular para Controle por Field Service. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

28.
MACÊDO, Autran; LOPES, C. R.; FERNANDES, M. A.. Participação em banca de Magno Santana Soares.Simulador de Negociações Bovespa. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

29.
PACHECO, João Augusto A.; SILVA, A. J.; Macêdo, Autran. Participação em banca de Emília de Souza Vieira.Software de Gestão Comerical. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

30.
PACHECO, João Augusto A.; SILVA, A. J.; Macêdo, Autran. Participação em banca de Daniel Cardoso Alves.Plataformas VOIP. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

31.
SOUSA, Marcelo R.; LOPES, C. R.; MACÊDO, Autran. Participação em banca de Allan Kardec Silva Soares.Cedro Crystal: Sistema de Difusão de Informação. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

32.
MACÊDO, Autran; SILVA, A. J.; RODRIGUES, C. C.. Participação em banca de Vinicius Moreira Soares Silva.Portal CDL Uberlândia. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

33.
MACÊDO, Autran; FAINA, L. F.; LOPES, C. R.. Participação em banca de Eduardo de Paula Neves.Programação Paralela. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

34.
MACÊDO, Autran; FAINA, L. F.; RODRIGUES, C. C.. Participação em banca de Caruline Beatriz de Morais.PVN - Private Virtual Network. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

35.
MACÊDO, Autran; SILVA, A. J.; BACALA JUNIOR, S.. Participação em banca de Luciano Fernandes Tavares.Desenvolvimento de Sistema de Auto-Escola. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

36.
MACÊDO, Autran; LOPES, C. R.; SILVA, A. J.. Participação em banca de Gustavo Alexandre de Oliveira Silva.Geração Automática de Conteúdo para um Sistema Tutor Inteligente. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

37.
MACÊDO, Autran; BACALA JUNIOR, S.; ROSA, P. F.. Participação em banca de Júlio Machado Faerman.Criação do Processo de Desenvolvimento de Software Ximp. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

38.
MACÊDO, Autran; RODRIGUES, C. C.; SILVA, A. J.. Participação em banca de Luiz Paulo Machado e Silva.Sistema de Administração Consiste Informática. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

39.
MACÊDO, Autran; RODRIGUES, C. C.; SILVA, A. J.. Participação em banca de Igo Raphael Custódio de Andrade.Sistema Cartão Virtual Toribaté. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

40.
MACÊDO, Autran; FAINA, L. F.; RODRIGUES, C. C.. Participação em banca de Danielle de Souza Nogueira.Projeto CRM - Vantive. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

41.
MACÊDO, Autran; RODRIGUES, C. C.; FAINA, L. F.. Participação em banca de Paula Silva.Sistema Bônus Score. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

42.
MACÊDO, Autran; SILVA, A. J.; FAINA, L. F.. Participação em banca de Letícia Resende Mendes.Agrupamento de Contas - INOVAR. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

43.
MACÊDO, Autran; SILVA, A. J.; FAINA, L. F.. Participação em banca de Norberto da Silva Prado.Solicitação Eletrônica de Serviços. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

44.
MACÊDO, Autran; LOPES, C. R.; SILVA, Ilmério R.. Participação em banca de Shirley Carina de la Cruz Rosas.Data Dictionary Manager. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

45.
MACÊDO, Autran; SILVA, Ilmério R.; SILVA, M. A. P. E.. Participação em banca de Patrícia Pires da Cunha.Inclusão do Interveniente Vendedor no SERASA. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

46.
MACÊDO, Autran; GULIATO, D.; SILVA, A. J.. Participação em banca de Leonildo Costa e Silva.SIG - Sistema de Informação Gerencial para Área de Saúde. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.



Participação em bancas de comissões julgadoras
Concurso público
1.
JULIA, Stéphane; MACÊDO, Autran; MAIA, Marcelo A.; MATIAS Jr, Rivalino; Soares, Michel dos Santos. Seleção de Alunos de Mestrado Ciência da Computação (2/2013). 2013. Universidade Federal de Uberlândia.

2.
Macêdo, Autran. Professor Efetivo de Dedicação Exclusiva. 2009. Universidade Federal de Uberlândia.

Avaliação de cursos
1.
Macêdo, Autran; OLIVEIRA, José Ribamar de Silva. Análise e Desenvolvimento de Sistemas - Caxias do Sul, RS. 2017. Instituto Leonardo Murialdo.

2.
Macêdo, Autran; ALVARENGA, Rogério. Jogos Digitais - São Paulo, SP. 2016. Faculdade Impacta de Tecnologia.

3.
Macêdo, Autran; OLIVEIRA, Sérgio. Gestão da Tecnologia da Informação - Salto, SP. 2016. Centro Universitário Nossa Senhora do Patrocínio.

4.
Macêdo, Autran; SILVA, Marcelo C.. Gestão da Tecnologia da Informação - São Paulo, SP. 2015. Universidade Paulista.

5.
Macêdo, Autran; ASCENCIO, Ana F. G.. Análise e Desenvolvimento de Sistemas - Cacoal, RO. 2015. Faculdades Integradas de Cacoal.

6.
Macêdo, Autran; SOUSA, Rômulo V.. Análise e Desenvolvimento de Sistemas - Rio de Janeiro, RJ. 2015. Faculdade Internacional Signorelli.

7.
Macêdo, Autran; MARTINEZ, Ana C.. Análise e Desenvolvimento de Sistemas - Catanduva, SP. 2015. Instituto Federal de São Paulo.

8.
Macêdo, Autran; SANTOS, Rodrigo Pereira dos. Gestão da Tecnologia da Informação - Santo André, SP. 2014. Universidade do Grande ABC.

9.
Macêdo, Autran; SIMAO, João Batista. Gestão da Tecnologia da Informação - São Paulo, SP. 2014. SOCIEDADE DE ENSINO SUPERIOR MOZARTEUM.

10.
Macêdo, Autran; CARVALHO, Marco Antônio Garcia. Análise e Desenvolvimento de Sistemas - Montenegro, RS. 2014. Universidade de Santa Cruz do Sul.

11.
FULBER, Heleno; Macêdo, Autran. Análise e Desenvolvimento de Sistemas - Volta Redonda, RJ. 2014. Universidade Estácio de Sá.

12.
ROMA NETO, Elias; Macêdo, Autran. Análise e Desenvolvimento de Sistemas - Fortaleza, CE. 2014. Faculdade de Ciências Tecnológicas de Fortaleza.

13.
Macêdo, Autran; MONTEIRO FILHO, José. Maria S.. Análise e Desenvolvimento de Sistemas - Caxias-MA. 2013. Faculdade de Ciências e Tecnologia do Maranhão.

14.
Macêdo, Autran; PADILHA, Thereza Patrícia P.. Análise e Desenvolvimento de Sistemas - São Paulo - SP. 2013. Centro Universitário Estácio Radial de São Paulo.

15.
Macêdo, Autran; COSTA, Adeilton F.. Gestão da Tecnologia da Informação - Curitiba, PR. 2013. Universidade Positivo.

16.
Macêdo, Autran; BARWALDT, Regina. Sistemas para Internet - CET, Teresina - PI. 2013. Faculdade de Tecnologia de Teresina.

17.
Macêdo, Autran; DALFOVO, Oscar. Jogos Digitais - Curitiba, PR. 2012. Pontifícia Universidade Católica do Paraná.

18.
Macêdo, Autran; MARTINEZ, Ana C.. Gestão da Tecnologia da Informação - São Paulo, SP. 2012. Centro Universitário Senac.

19.
ENDERS NETO, Bernhard Georg; Macêdo, Autran. Gestão da Tecnologia da Informação - São Paulo, SP. 2012. Faculdade Sumaré.

20.
Macêdo, Autran; BORBA, Sueli de Fátima Poppi. Gestão de Sistemas de Informação para o Setor Financeiro - Osasco, SP. 2012. Universidade Bandeirante de São Paulo.

21.
Macêdo, Autran; LAZILHA, Fabrício Ricardo. Análise e Desenvolvimento de Sistemas - São Paulo, SP. 2012. Centro Universitário Monte Serrat.

22.
Macêdo, Autran; COSTA, Adeilton F.. Gestão da Tecnologia da Informação - Itapecerica da Serra, SP. 2011. Faculdade Anhanguera de Itapecerica da Serra.

23.
Macêdo, Autran; TURCHETTI, Rogério Corrêa. Tecnologia em Sistemas de Informação - Vitória, ES. 2011. Faculdades Integradas Espírito Santenses.

24.
FICO, Cláudio; Macêdo, Autran. Sistemas para Internet - Salto, SP. 2011.

25.
Macêdo, Autran; VAZ, Maria Salete Marcon Gomes. Segurança da Informação - São Paulo, SP. 2011. Universidade Nove de Julho.

26.
Macêdo, Autran; SCOTT, Luís Paulo Barbour. Sistemas para Internet - Rio Grande, RS. 2011. Faculdade Anhanguera do Rio Grande.

27.
Macêdo, Autran; BERTOLIN, Júlio César Godoy. Jogos Digitais - São Paulo, SP. 2011. Pontifícia Universidade Católica de São Paulo.

28.
Macêdo, Autran; LAZILHA, Fabrício Ricardo. Gestão da Tecnologia da Informação - São Caetano do Sul, SP. 2011. Instituto Mauá de Tecnologia.

29.
Macêdo, Autran; ZEVE, Carlos Mário Dal Col. Análise e Desenvolvimento de Sistemas - Rio de Janeiro, RJ. 2011. Instituto Metodista Bennett.

30.
Macêdo, Autran; OLIVEIRA, Lucas Ferrari. Rede de Computadores - São Paulo, SP. 2010. Faculdade Morumbi Sul.

31.
Macêdo, Autran; MOREIRA, João Carlos. Sistema para Internet - Atibaia, SP. 2010. Faculdades Atibaia e FAATNET.

32.
VIANNA, Andréa Carla Gonçalves; Macêdo, Autran. Gestão da Tecnologia da Informação. 2010. Faculdades Integradas do Tapajós.

33.
FERREIRA, Ruy; Macêdo, Autran. Sistemas para Internet - Imperatriz, MA. 2008. Faculdade Atenas Maranhense.

34.
Macêdo, Autran. Análise e Desenvolvimento de Sistemas - Campos dos Goytacazes, RJ. 2007. Faculdade de Tecnologia Norte Fluminense.

35.
Macêdo, Autran. Análise e Desenvolvimento de Sistemas - Osasco, SP. 2007. Centro Universitário FIEO.

Outras participações
1.
MACÊDO, Autran. Seleção de Alunos para COMPPET - PET Ciência da Computação. 2004. Universidade Federal de Uberlândia.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
20o Simpósio Brasileiro de Banco de Dados e 19o Simpósio Brasileiro de Engenharia de Software. 2005. (Simpósio).

2.
6o Workshop sobre Software Livre.Participante com trabalho apresentado. 2005. (Oficina).

3.
WIE2005 - Workshop de Informática na Escola.Participante com trabalho apresentado. 2005. (Oficina).

4.
I Semana Acadêmica da Universidade Federal de Uberlândia.Avaliador de trabalhos. 2004. (Outra).

5.
III Olimpíada de Programação.Observador. 2003. (Outra).

6.
Maratona de Programação.Técnico de equipe. 2003. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
MACÊDO, Autran; AMO, S. ; PACHECO, João Augusto A. ; SILVA, Ilmério R. ; SILVA, M. A. P. E. ; SOARES, H. R. . XIX Simpósio Brasileiro de Engenharia de Software. 2005. (Congresso).

2.
MACÊDO, Autran; AMO, S. ; SILVA, Ilmério R. ; SILVA, M. A. P. E. ; SOARES, H. R. ; PACHECO, João Augusto A. . XX Simpósio Brasileiro de Banco de Dados. 2005. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Nathália Assis Valentim. Envelhecimento e Rejuvenescimento de Software: 20 anos (1995 - 2014) ? Panorama e Desafios. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Autran Macêdo.

2.
Joicymara Xavier. Engenharia de Confiabilidade de Software: Um Mapeamento Sistemático. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Autran Macêdo.

3.
Rogério Sousa e Silva. Distribuição de Tarefas em Sistemas de Workflow Baseada em HITS. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Autran Macêdo.

4.
Renê Rodrigues Veloso. Distribuição de Tarefas em Sistemas de Workflow Baseada na Aptidão dos Recursos. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Autran Macêdo.

Trabalho de conclusão de curso de graduação
1.
Éderson Machado de Lima. especificacoes.com - Processos Inteligentes. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

2.
Débora Pires Otoni. Projeto Náutilus Client. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

3.
Rodrigo Rodrigues de Aquino. Desenvolvimento de Software. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

4.
Samuel Bonizário de Andrade. Tecnologia da Informação Aplicada à Área de Telecomunicações. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

5.
Everson Freitas Giacomelli Júnior. Controle de Sinistros e Portal Unimed. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

6.
Ricardo José da Silva. CDRs Rejeitados. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

7.
Lucas Daniel Nogueira da Motta. Modelagem e Implementação de Processos de Negócios: transformações BPMN-UML2.0. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

8.
Diego Lemes Resende. Desenvolvimento de Software Aplicado em Sistemas de Call Center. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

9.
Maicow Fernandes Marques. Migração de Ordem de Serviço de Telefonia Celular para Controle por Field Service. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

10.
Magno Santana Soares. Simulador de Negociações Bovespa. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

11.
José Fernandes de Rezende. Sistema de Avaliação de Disciplina. 2005. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

12.
Bruno Coelho Calil. Sistema de Apoio à Avaliação Pedagógica. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

13.
Andressa Borges de Almeida. Agroneg - Sistema de Gestão de Agronegócio. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

14.
Lucas Daniel Ottoni. Living Pool - Uma Solução Imobiliária. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

15.
Rodrigo Ferreira de Almeida. Desenvolvimento de Aplicações para o Vantive (CTBC). 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

16.
Marcos Vinícius Rodrigues. RESUT - Representação de Suporte Tecnológico. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

17.
Aline de Castro Oliveira. ACC Taurus 4.0. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

18.
Tiago Egídio Conti. Desenvolvimento de Software para o Grupo Zema. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

19.
Tiago Egídio Conti. Sistema de Gestão do Grupo Zema. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

Iniciação científica
1.
Pedro Augusto da Silva Reis. AVALIAÇÃO PÓS-OCUPAÇÃO EM APARTAMENTOS COM INTERFACES DIGITAIS CUSTOMIZADAS. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Autran Macêdo.

2.
Cleverson Puche. Verificação Formal no uso de Variáveis Inteiras em Programas Escritos em Linguagem C por meio de Verificação de Modelos. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Autran Macêdo.

3.
Luciano Henrique Santos Lopes. AutoFlux - Automação de Fluxo de Trabalho Administrativo. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.

4.
Matheus Ferreira da Silva. AutoFlux - Automação de Fluxo de Trabalho Administrativo. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Autran Macêdo.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 18/12/2018 às 11:51:39