Braulio Adriano de Mello
Possui graduação em Ciência da Computação pela Universidade de Passo Fundo (1993), mestrado em Ciência da Computação pela Universidade Federal de Santa Catarina (1997) e doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2005). Estágio pós doutorado na Carleton University, Canada, entre 08/2014 e 07/2015. Atualmente é professor efetivo da Universidade Federal da Fronteira Sul, campus Chapecó-SC. Tem interesse nos seguintes temas: modelagem e simulação computacional, simulação heterogênea e distribuída, simulação como serviço.
Informações coletadas do Lattes em 13/04/2022
Acadêmico
Formação acadêmica
Doutorado em Computação
2000 - 2005
Universidade Federal do Rio Grande do Sul
Título: Co-Simulação Distribuída de Sistemas Heterogêneos
Dr Flávio Rech Wagner. Palavras-chave: Simulação heterogênea distribuída; Co-Simulação; Sistemas Eletrônicos Embarcados; Backbone de simulação.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Mestrado em Ciências da Computação
1995 - 1997
Universidade Federal de Santa Catarina
Título: Utilizando LOTOS na Concepção Formal de uma Aplicação para Gerência de redes: Especificação e Verificação,Ano de Obtenção: 1997
Dr Murilo Silva de Camargo.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Técnica de Descrição Formal; Verificação; Gerância de Redes; Gateway CMIP-SNMP.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Especialização em Administração Desenvolvimento Gerencial
1994 - 1995
Universidade Regional Integrada do Alto Uruguai e das Missões
Pós-doutorado
2014 - 2015
Pós-Doutorado. , Carleton University, C.U., Canadá. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra
Formação complementar
2014 - 2014
Gestão de Contratos de TI. (Carga horária: 30h). , Escola Nacional de Administração Pública, ENAP, Brasil.
2009 - 2009
Curso de Qualidade. , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2009 - 2009
Capacitação dos Avaliadores do BASis. (Carga horária: 8h). , Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira, INEP/MEC, Brasil.
2008 - 2008
Curso de Capacitação Didático-Pedagógica. (Carga horária: 16h). , Universidade Federal de Lavras, UFLA, Brasil.
2005 - 2005
Formação de Formadores On Line Intensivo. (Carga horária: 40h). , Universidade Regional Integrada do Alto Uruguai e das Missões, URI, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
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.
Organização de eventos
MELLO, B. A. . Simpósio Brasileiro de Informática na Educação (Membro do comitê de programa). 2011. (Congresso).
MELLO, B. A. . III Semana Acadêmica da UFLA. 2009. (Outro).
MELLO, B. A. . XIII Seminário Institucional de Iniciação Científica, XI Seminário de Integração de Pesquisa e Pós-Graduação, V Seminário de Extensão. 2007. (Outro).
PALUDO, Cristina ; SILVA, Denilson Rodrigues da ; MELLO, B. A. ; CAIMI, Luciano Lores ; BETENCOURT, Paulo Ricardo ; GUBERT, L. C. . XVI Seminário Regional de Informática. 2006. (Outro).
MELLO, B. A. . VIII Seminário Regional de Informática. 1998. (Outro).
MELLO, B. A. . VI Jornada Regional de Informática e VI Exposição de Informática. 1992. (Outro).
Participação em eventos
46 Seminário Integrado de Hardware e Software.An approach to minimize useless checkpoints on distributed optimistic simulations. 2019. (Seminário).
Simposio Brasileiro de Informática na Educação.Comisão científica - Avaliador. 2016. (Simpósio).
Spring Simulation Multiconference. Scheduling Predictability in I-DEVS by Schedulability Analysis. 2016. (Congresso).
Fórum RNP. 2013. (Outra).
Simpósio Brasileiro de Informática na Educação.Avaliador de papers submetidos ao SBIE2013. 2013. (Simpósio).
Simpósito Brasileiro de Informática na Educação.Avaliador de trabalho. 2012. (Simpósio).
I Congresso Internacional de Educação Científica e Tecnológica. Comissão Técnica Científica - Avaliador de Trabalhos. 2010. (Congresso).
XXI Simpósio Brasileiro de Informática na Educação.Ferramenta de apoio às fases iniciais do ensino de linguagens formais e compiladores. 2010. (Simpósio).
Congresso Brasileiro de Agroinformática. avaliação de trabalhos (plenária e poster). 2009. (Congresso).
Congresso Brasileiro de Agroinformática. Composição de elementos reais e virtuais na modelagem e simulação de equipamentos agrícolas. 2009. (Congresso).
Congresso da Sociedade Brasileira de Computação. 2009. (Congresso).
Semana de Computação 2008 - UFLA. 2009. (Outra).
Simposio Sul de Microeletronica (SIM2008).revisor de artigo. 2008. (Simpósio).
IV Semana acadêmica de Ciência da Computação.Simulação Computacional no Projeto de Sistemas. 2007. (Outra).
Simposio Sul de Microeletronica (SIM2007).revisor de artigo. 2007. (Simpósio).
XIII Seminário Institucional de Iniciação Científica, XI Seminário de Integração de Pesquisa e Pós-Graduação, V Seminário de Extensão. 2007. (Seminário).
Escola de Microeletrônica (EMICRO). 2006. (Outra).
Escola Regional de Alto Desempenho (ERAD). 2006. (Outra).
Ética, Ciência e Tecnologia: um novo paradigma para a sociedade da informação. 2006. (Seminário).
Simposio Sul de Microeletronica (SIM2006).revisor de artigo. 2006. (Simpósio).
XVI Seminário regional de ifnormática - promovido pelo curso de Ciência da Computação, URI Sto Angelo.Simulação de sistemas. 2006. (Seminário).
XXV Congresso da Sociedade Brasileira de Computação. 2005. (Congresso).
Simpósio Brasileiro de Redes de Computadores. 2004. (Simpósio).
Escola Regional de Alto Desempenho. 2001. (Outra).
IV Fórum de Tecnologia, II Encontro Regional de Atualização Tecnológica das Engenharias, XI Seminário Regional de Informática. 2001. (Seminário).
XIV Symposium on Integrated Circuits and System Design. 2001. (Simpósio).
Workshop Training the Trainers. 2000. (Outra).
II Workshop em Métodos Formais. 1999. (Outra).
VII Escola de Informática da SBC. 1999. (Outra).
XIII Simpósio Brasileiro de Engenharia de Software - SBES'99. 1999. (Simpósio).
I Seminário Internacional 'A Educação no Século XXI'. 1998. (Seminário).
VIII Seminário Regional de Informática. 1998. (Seminário).
III Congreso Argentino de Ciencias de la Computación (CACIC 97). UTILIZANDO LOTOS NA CONCEPCAO FORMAL DE UMA APLICACAO PARA GERENCIA DE REDES: ESPECIFICACAO E VERIFICACAO. 1997. (Congresso).
Seminário Internacional Mercosul: Ameaças e Oportunidades - Para Quêm?. 1997. (Seminário).
VII Seminário Regional de Informática e VII Exposição de Informática. 1997. (Seminário).
3a. Reunião Especial da SBPC. 1996. (Outra).
Minicurso Ambientes de Desenvolvimento de Software. 1996. (Outra).
XVI Congresso da Sociedade Brasileira de Computação. 1996. (Congresso).
V Jornadas Transandinas da Aprendizagem - Integração na América Latina: Educação e Cultura. 1994. (Outra).
IV Seminário Regional de Informática e IV Exposição de Informática. 1993. (Seminário).
VI Jornada Regional de Informática, VI Exposição de Informática. 1992. (Outra).
V Jornada Regional de Informática / V Exposição de Informática. 1991. (Seminário).
IV Jornada Regional de Informática e IV Exposição de Informática. 1990. (Seminário).
III Jornada Regional de Informática e III Exposição de Informática. 1989. (Seminário).
Participação em bancas
CONTRI, R. F. F.;MELLO, B. A.; Santos Junior, G.. Desenvolvimento de um sistema modelo para ensino aprendizagem de estatística nas séries iniciais. 2011. Dissertação (Mestrado em Mestrado em Ensino Científico e Tecnológico) - Universidade Regional Integrada do Alto Uruguai e das Missões.
Zambalde, A. L.; Castro, C. C.;MELLO, B. A.. Universidade, patentes e inovação: estudo sobre o processo de transferência de tecnologia universidade-empresa.. 2009. Dissertação (Mestrado em Administração) - Universidade Federal de Lavras.
MELLO, B. A.; Antônio Quintas Mendes; MACHADO, C. L. B; MARASCHIN, C.. A presença social em Ambientes Virtuais de Aprendizagem. 2007 - Universidade Federal do Rio Grande do Sul.
MELLO, B. A.; REIS, Helenice Rodrigues; MICHELON, Rita. PROPOSTA DE FATORES CRÍTICOS DE SUCESSO PARA O DESENVOLVIMENTO DE PROJETOS EM TURISMO NA REGIÃO DAS MISSÕES. 2004. Monografia (Aperfeiçoamento/Especialização em Sistemas de Informação Para Apoio à Decisão) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; REIS, Helenice Rodrigues. Analise e proposição de uma solução de CRM - Customer Relationship Management, para implantação na PROCERGS - um estudo de caso. 2004. Monografia (Aperfeiçoamento/Especialização em Sistemas de Informação Para Apoio à Decisão) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; NUNES, M. A.; NOGUEIRA, C. R.. Desenvolvimento de habilidades à formação de recursos humanos para a educação a distância. 2001. Monografia (Aperfeiçoamento/Especialização em Especialização em Informática na Educação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
NUNES, Maria Augusta; MACHADO, G.;MELLO, B. A.. Análise e avaliação dos softwares educacionais. 2001. Monografia (Aperfeiçoamento/Especialização em Especialização em Informática na Educação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
FRANCISCO, Deise Juliana; MACHADO, Gláucio José Couri;MELLO, B. A.. Modelos de avaliação de cursos em EAD: Uma pesquisa bibliográfica. 2001. Monografia (Aperfeiçoamento/Especialização em Pós Graduação Em Informática na Educação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
NOGUEIRA, Carmem Regina Dorneles; MACHADO, Gláucio José Couri;MELLO, B. A.. Aplicação de Modelos de Avaliação no Curso EAD. 2001. Monografia (Aperfeiçoamento/Especialização em Pós Graduação Em Informática na Educação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
NUNES, Maria Augusta; LORENSET, Vera Lúcia;MELLO, B. A.. Proposta de uma metodologia para preparação a prática da informática educativa no município de São Pedro do Butiá. 2001. Monografia (Aperfeiçoamento/Especialização em Pós Graduação Em Informática na Educação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MACHADO, Gláucio José Couri; FRANCISCO, Deise Juliana;MELLO, B. A.. A utilização de argumentos informatizados da EAD nas aulas presenciais: algumas sugestões. 2001. Monografia (Aperfeiçoamento/Especialização em Pós Graduação Em Informática na Educação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.. Algoritmo de geração procedural de Cânions baseado em ruído de Perlin. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.
ESMIN, A. A. A.; ALVES, Rêmula Maia; GREGHI, J. G.;MELLO, B. A.. Perspectivas e possibilidades do ambiente virtual de aprendizagem como complementação didática-pedagógica no ensino fundamental. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
GREGHI, J. G.; Zambalde, A. L.;MELLO, B. A.. Estudo de usabilidade em interfaces WEB aplicado a um software de geração de horários escolares. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Luiz Henrique Andrade Correia;MELLO, B. A.; Giacomin, J. C.. Segmentação virtual de redes de computadores. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Uchôa, J. Q.; Marluce Rodrigues Pereira;MELLO, B. A.. LFA virtual: uma feramenta para o ensino de linguagens formais e autômatos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Luiz Henrique Andrade Correia;MELLO, B. A.; Reginaldo Ferreira de Souza (). Árvore hiperbólica como ferramenta de monitoramento de redes. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Luiz Henrique Andrade Correia;MELLO, B. A.. O impacto de ataques de redução da qualidade de serviço em redes wi-fi com controle de potência de transmissão. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Wilian Soares Lacerda;MELLO, B. A.; Marluce Rodrigues Pereira. Sistema distribuído para treinamento de redes neurais. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
CAIMI, Luciano LoresMELLO, B. A.. Suporte a comandos remotos no ROBOURI. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
BETENCOURT, Paulo Ricardo;MELLO, B. A.. Areté: Modelo de processo de software. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.CAIMI, Luciano Lores; SANTOS, Carlos A M dos. Projeto de um sistema de controle de uma plataforma robótica para desenvolvimento de atividades interdisciplinares. 2005. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.CAIMI, Luciano Lores; SANTOS, Carlos A M dos. Projeto e especificação do módulo de controle dos sensores e atuadores para uma plataforma robótica. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; BETENCOURT, Paulo Ricardo; SANTOS, Carlos Augusto Moreira dos. Gramática de Grafos para a Especificação da Linguagem de uma Aplicação Interativa Baseada no Estilo WIMP. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; BETENCOURT, Paulo Ricardo; SANTOS, Carlos Augusto Moreira dos. Grafos, Grafos Planares e Hipergrafos na Representação de Leiautes de Redes de Computadores. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; PALUDO, Cristina; SILVA, Denilson Rodrigues da. UMA PROPOSTA DE INTEGRAÇÃO DE TÉCNICAS PARA GERAÇÃO DE REGRAS DE ASSOCIAÇÃO. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.CAIMI, Luciano Lores; ADARIO, Alexandro Magno dos Santos. Projeto de hardware reconfigurável para acelerar aplicações de criptografia de chave pública. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
CAIMI, Luciano LoresMELLO, B. A.; SANTOS, Carlos A M dos. Automação de um Medidor de Umidade de Grãos. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
CAIMI, Luciano LoresMELLO, B. A.; SANTOS, Carlos A M dos. Aquisição e Armazenamento de Dados de uma Célula em um Reator de Nitretação a Plasma. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
SANTOS, Carlos A M dos;MELLO, B. A.; BETENCOURT, Paulo Ricardo. Análise de Requisitos para um Aplicativo Voltado ao Ensino de Redes de Computadores. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.CAIMI, Luciano Lores; STAGGEMEIER, A. T.. Aquisição e Manipulação de Sinais Analógicos Através de Portas Paralelas em Computadores de Arquitetura PC. 2000. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.CAIMI, Luciano Lores; TIER, M. A. D.. Controle/Monitoração de Dispositivos Remotos via Browser. 2000. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.CAIMI, Luciano Lores. Desenvolvimento de um dispositivo remoto liba/disliga. 2000. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; LORENSET, Vera Lúcia; BARBOSA, C. A. M.. Arquitetura Multicamadas. 2000. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; LORENSET, Vera Lúcia; BETENCOURT, Paulo Ricardo. Metodologia para projeto de redes corporativas voltadas à internet. 2000. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões.
BEVILACQUA, F.; SEBBEN, A.;de Mello, B.A.. Bancas Examinadoras do Processo Seletivo Simplificado 001/Chapecó para Contratação de Professor de Magistério Superior Substituto da UFFS PORTARIA N 175/GR/UFFS/2020. 2020. Universidade Federal da Fronteira Sul.
MELLO, B. A.; BARLETTE, V. E.; BRANDAO, E. J. R.. Banca examinadora do oncurso público UFFS Edital 171/UFFS/2011. 2011. Universidade Federal da Fronteira Sul.
Duarte, D.; Pillon, M. A.;MELLO, B. A.. Banca examinadora de concurso público para contratação de professor efetivo da Universidade Federal da Fronteira Sul. 2010. Universidade Federal da Fronteira Sul.
Pieczkowski, T. M. Z;MELLO, B. A.; Padilha, A. S.. Banca Examinadora para contratação de professor TI na UNOCHAPECÓ. 2010. Universidade Comunitária da Região de Chapecó.
Saúde, A. V.; Resende, A. M. P.;MELLO, B. A.. Banca examinadora de concurso público para contratação de professor substituto DCC/UFLA. 2009. Universidade Federal de Lavras.
Resende, A. M. P.;MELLO, B. A.; ALVES, Rêmula Maia. Banca de concurso público para contratação de professor substituto DCC - UFLA. 2009. Universidade Federal de Lavras.
COUTINHO, M. P.; MOREIRA, E. M.; Marluce Rodrigues Pereira;MELLO, B. A.. Banca examinadora de concurso público para contratação de professor efetivo na Universidade Federal de Itajubá. 2009. Universidade Federal de Itajubá.
Saúde, A. V.; Zambalde, A. L.;MELLO, B. A.; Marluce Rodrigues Pereira; MOREIRA, E. M.. Banca examinadora de concurso público para contratação de professor efetivo na UFLA. 2009. Universidade Federal de Lavras.
MERHI, E. A. P.;MELLO, B. A.; João Fernando Machry. Banca examinadora de concurso público para contratação de professor efetivo na UFSJ. 2008. Universidade Federal de São João Del-Rei.
MELLO, B. A.; Neilor Avelino Tonin; CASTANHO, Carla. Banca examinadora do processo de Seleção Docente no Departamento de Engenharias e Ciência da Computação - URI-Erechim. 2007. Universidade Regional Integrada do Alto Uruguai e das Missões.
PALUDO, Cristina;MELLO, B. A.; PAZINATTO, E.. Banca examinadora do processo de Seleção Docente no Departamento de Engenharias e Ciência da Computação - URI-Santo Angelo. 2006. Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.; EMERSON JUNIOR,; KADE, Adrovane Marques. Banca examinadora do processo de Seleção Docente no Departamento de Engenharias e Ciência da Computação - URI-Frederico Westphalen. 2004. Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.. Avaliador do XII Seminário Institucional de Iniciação Científica - promovido pela URI. 2006.
MELLO, B. A.. Avaliador do XI Seminário Institucional de Iniciação Científica e III Seminário de Extensão - promovido pela URI. 2005. Universidade Regional Integrada do Alto Uruguai e das Missões.
MELLO, B. A.. Avaliador do IX Seminário Institucional de Iniciação Científica - promovido pela URI. 2003. Universidade Regional Integrada do Alto Uruguai e das Missões.
Comissão julgadora das bancas
PEREIRA, C. ECARRO, Luigi; HESSEL, Fabiano Passuelo. Co-Simulação Distribuida de Sistemas Heterogeneos. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
HESSEL, F.; PEREIRA, Carlos Eduardo; CARRO, Luigi; COPSTEIN, Bernardo. Co-simulação distribuída de sistemas heterogêneos. 2005. Tese (Doutorado em Programa de Pós Graduação Em Computação) - Universidade Federal do Rio Grande do Sul.
HESSEL, F.; CARRO, Luigi. Co-simulação distribuída no suporte à validação de sistemas heterogêneos. 2001. Exame de qualificação (Doutorando em Programa de Pós Graduação Em Computação) - Universidade Federal do Rio Grande do Sul.
HESSEL, F.; CARRO, Luigi;SUSIN, Altamiro. Construção de um mecanismo de suporte à co-simulação em ambiente distribuído. 2002. Outra participação, Universidade Federal do Rio Grande do Sul.
CARRO, L.PEREIRA, Carlos Eduardo; HESSEL, Fabiano Passuelo. Co-Simulação Distribuída de Sistemas Heterogêneos. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
CARRO, L.. Co-simulação Distribuída no Suporte a Validação de Sistemas Heterogêneos. 2001. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
CARRO, L.. Co-Simulação Distribuida no Suporte a validação de Sistemas Heterogeneos. 1998. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.
COPSTEIN, B.; MELLO, B. A.;COPSTEIN, B.; WAGNER, Flavio R;PEREIRA, Carlos Eduardo; HESSEL, Fabiano. Co-Simulação Distribuída de Sistemas Heterogêneos. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Rio Grande do Sul.
Orientou
ANÁLISE DE ROTAS NO TRANSPORTE DE CARGAS POR SIMULAÇÃO; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);
USO COMBINADO DE SIMULAÇÃO E APRENDIZADO: ESTUDOS CORRENTES E TENDÊNCIAS; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);
USO DE SIMULAÇÃO NA SOLUÇÃO DE PROBLEMAS NO TRANSPORTE COLETIVO URBANO; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);
Revisão de métricas para Garbage Collection de checkpoints em simulação distribuída; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);
Análise do fluxo viário urbano de chapecó por simulação; Início: 2018; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);
Cognição e Afetividade em Ambientes Virtuais de Aprendizagem para os Anos Iniciais do Ensino Fundamental; 2013; Dissertação (Mestrado em Mestrado em Ensino Científico e Tecnológico) - Universidade Regional Integrada do Alto Uruguai e das Missões,; Orientador: Braulio Adriano de Mello;
INTERVALO ADAPTATIVO ENTRE CHECKPOINTS EM SIMULAÇÃO DISTRIBUÍDA; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
GARBAGE COLLECTOR ASSÍNCRONO EM SIMULAÇÃO DISTRIBUÍDA; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
MODELAGEM DE COMPORTAMENTOS NÃO TRIVIAIS EM SIMULAÇÕES PARA TERMINAIS AEROPORTUÁRIOS DE PASSAGEIROS; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
AVALIAÇÃO AUTOMÁTICA DE RESPOSTAS TREINADAS POR WORD2VEC COM APRENDIZADO DE MÁQUINA; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
INTERVALO FLEXÍVEL PARA CRIAÇÃO DE CHECKPOINTS EM SIMULAÇÃO DISTRIBUÍDA; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
GERENCIAMENTO DESCENTRALIZADO DE TEMPO VIRTUAL GLOBAL EM SIMULAÇÃO DISTRIBUÍDA; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
LIMITAÇÃO DO ESPAÇO DE ARMAZENAMENTO DE CHECKPOINTS EM SIMULAÇÃO DISTRIBUÍDA OTIMISTA; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Prevenção de impasse em modelos distribuídos de simulação; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Definição de intervalos entre checkpoints no DCB; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Gerenciamento de Lookahead dinâmico em modelos de simulação híbridos no tempo; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Identificação de estados seguros para geração de checkpoints não coordenados no DCB; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
IDENTIFICAÇÃO DE ESTADOS SEGUROS EM SIMULAÇÃO HÍBRIDA NO DISTRIBUTED CO-SIMULATION BACKBONE - DCB; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Lavras; Orientador: Braulio Adriano de Mello;
Identificação de estados seguros para simulação otimista no DCB; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Lavras; Orientador: Braulio Adriano de Mello;
Gerenciamento de checkpoints no DCB; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Lavras; Orientador: Braulio Adriano de Mello;
GERAÇÃO AUTOMÁTICA DA CONFIGURAÇÃO DE ELEMENTOS PARA EXECUÇÃO NO DCB; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Gerenciamento de elementos reutilizáveis para modelagem e simulação no DCB; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
FER-LINDA: Compilador da linguagem LINDA para o microprocessador AIDA-16MICROPROCESSADOR AIDA-16; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
FWTCC: Biblioteca java para cooperação entre computadores de mão e de mesa; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
EXECUÇÃO DISTRIBUÍDA DE MODELOS DE SIMULAÇÃO PARALELIZÁVEIS EM PLS NÃO COOPERANTES; 2004; 40 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
SUPORTE A CONSTRUÇÃO DE MODELOS DE SIMULAÇÃO PARALELIZÁVEIS COM VISTAS À EXECUÇÃO DISTRIBUÍDA; ; 2004; 46 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
PROTO-NET: um protocolo para controle de AVD's na Internet; 2003; 47 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Protocad: Protocolo de comunicação de duas camadas para uma arquitetura paralela destinada à computação de alto desempenho; 2003; 47 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Um Survey sobre tecnologias de acesso a banco de dados, utilizando a plataforma windows 98; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Aplicação da simulação no ciclo de vida de células de produção em sistemas de manufaturas; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Elaboração de um projeto de Extranet para a Cooperativa de Eletrificação Rural Cermissões; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Gerênciamento de redes através de Browsers; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Segurança em redes locais; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Estudo de uma rede local com auxílio de uma ferramenta de gerenciamento; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões; Orientador: Braulio Adriano de Mello;
Estratégias para flexibilização de lookahead em modelos distribuídos de simulação; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Fronteira Sul, Programa Institucional de Iniciação Científica e Tecnológica da UFFS; Orientador: Braulio Adriano de Mello;
Recursos formais computáveis na correção de ULs para avaliação da competência leitora e representação do comportamento em modelos de representação adaptativos; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Especificação de funcionalidades para controle de modelos adaptáveis no DCB; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Ferramenta de apoio ao ensino de linguagens formais e compiladores; 2011; Iniciação Científica - Universidade Federal da Fronteira Sul; Orientador: Braulio Adriano de Mello;
Configuração automática de interface para integração de elementos de simulação no DCB; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Lavras, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Braulio Adriano de Mello;
Colaboração entre repositórios distribuídos de elementos de simulação; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Lavras; Orientador: Braulio Adriano de Mello;
Gerenciamento Automático de elementos reutilizáveis na construção e execução de modelos no DCB; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Braulio Adriano de Mello;
Estudo e organização de aspectos de projeto para a modelagem e simulação computacional de sistemas para a AP; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões, Programa de Interno de Iniciação Científica; Orientador: Braulio Adriano de Mello;
Adaptação de elementos reais na interface do DCB para simulação de modelos heterogêneos; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Braulio Adriano de Mello;
Especificação e prototipação do conceito de anti-mensagens para o suporte à operações de rollback no DCB; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Lavras; Orientador: Braulio Adriano de Mello;
Suporte computacional para estudos de viabilidade na agricultura familiar (b1); 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Braulio Adriano de Mello;
Suporte computacional para estudos de viabilidade na agricultura familiar (b2); 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Braulio Adriano de Mello;
Simulação distribuída de modelos paralelizáveis em PL's não cooperantes; 2005; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Regional Integrada do Alto Uruguai e das Missões, Programa de Interno de Iniciação Científica; Orientador: Braulio Adriano de Mello;
Concepção de um mecanismo de simulação distribuída; 2001; 0 f; Iniciação Científica; (Graduando em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões, Programa de Interno de Iniciação Científica; Orientador: Braulio Adriano de Mello;
Estudo de uma rede local com auxílio de uma ferramenta de gerenciamento; 1999; 0 f; Iniciação Científica; (Graduando em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões, Programa de Interno de Iniciação Científica; Orientador: Braulio Adriano de Mello;
Concepção de um modelo de simulação para uma rede de transporte coletivo por ônibus para cidades de porte médio; 1998; 0 f; Iniciação Científica; (Graduando em Informática) - Universidade Regional Integrada do Alto Uruguai e das Missões, Programa de Interno de Iniciação Científica; Orientador: Braulio Adriano de Mello;
Implementação de módulos para tratamento otimista do tempo no DCB; 2010; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal da Fronteira Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Braulio Adriano de Mello;
Foi orientado por
Co-Simulação Distribuída de Sistemas Heterogêneos; 2005; 142 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Flávio Rech Wagner;
Utilizando LOTOS na Concepção Formal de uma Aplicação para Gerência de Redes: Especificação e Verificação; 1997; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Murilo Silva de Camargo;
Produções bibliográficas
-
MELLO, B. A. ; WAGNER, Flavio Rech . Seamless Integration of Heterogeneous Components in a Distributed Simulation Infrastructure. INFOCOMP (UFLA) , v. 8, p. 84-95, 2009.
-
MELLO, B. A. ; Caimi, Luciano L. . Simulação na validação de sistemas computacionais para a agricultura de precisão. Revista Brasileira de Engenharia Agrícola e Ambiental , v. 12, p. 666-675, 2008.
-
MELLO, B. A. ; CAIMI, Luciano Lores . Projeto de sistemas computacionais para aplicação agrícola baseados em simulação. Hífen (Uruguaiana) , v. 31, p. 176-182, 2007.
-
MELLO, B. A. ; Feijo Souza, U.R. ; Sperb, J.K. ; Wagner, F.R. . Tangram: Virtual Integration of IP Components in a Distributed Cosimulation. IEEE Design and Test of Computers , v. 22, n.5, p. 462-471, 2005.
-
MELLO, B. A. ; SILVA, Denilson Rodrigues da ; Kurtz, F. D. . Ambientes virtuais de aprendizagem: uma discussão sobre concepções, funcionalidades e implicações didáticas. In: Glaucio José Couri Machado. (Org.). Educação e ciberespaço: estudos, propostas e desafios. 1ed.Aracaju: Virtus, 2010, v. , p. 255-282.
-
MELLO, B. A. ; WAGNER, Flavio Rech . A Standardized Co-Simulation Backbone. In: ROBERT, M. ; rOUZEYRE, B.; PIGUET, C.; FLOTTES, M.. (Org.). SOC DESIGN METHODOLOGIES. BOSTON/DORDRECHT/LONDON: KLUWER ACADEMIC PUBLISHERS, 2002, v. , p. 181-192.
-
MARTELLO JUNIOR, EDIMAR ROQUE ; TERRA, ACACIA ; PARIZOTTO, RICARDO ; MELLO, BRAULIO . Closing the Gap Between Lookahead and Checkpointing to Provide Hybrid Synchronization. In: Seminário Integrado de Software e Hardware, 2020, Brasil. Anais do Seminário Integrado de Software e Hardware (SEMISH 2020). p. 104-115.
-
DE MELLO, BRAULIO ADRIANO ; PARIZOTTO, RICARDO . Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas. In: XLVI Seminário Integrado de Software e Hardware, 2019, Belém. Anais do Seminário Integrado de Software e Hardware (SEMISH). Porto Alegre: Sociedade Brasileira de Computação, 2019. p. 12-21.
-
Lemes, E. ; PARIZOTTO, R. ; MELLO, B. A. . Gerenciamento Descentralizado de GVT em Componentes Síncronos de Simulação Distribuída. In: V Workshop-Escola de Informática Teórica, 2019, Passo Fundo. Anais WEIT2019, 2019. p. 142-150.
-
MELLO, B. A. ; WAINER, G. A. . Scheduling Predictability In I-DEVS By Schedulability Analysis. In: 2016 Spring Simulation MultiConference, 2016. TMS/DEVS Symposium on Theory of Modeling & Simulation (TMS/DEVS 2016).
-
SOUZA, R. ; SANTOS, M. ; MELLO, B. A. ; FERNANDES, S. . Um modelo formal de propósito geral para simulações de redes definidas por software. In: CSBC - III Workshop Pré-IETF, 2016, Porto Alegre. Anais do XXXVI congresso da sociedade brasileira de computação, 2016. p. 2941-2952.
-
Carvalho, F. M. M. ; MELLO, B. A. . Hybrid Synchronization in the DCB Based on Uncoordinated Checkpoints. In: 29th European Simulation and Modelling Conference - ESM'2015, 2015, Leicester. Proceedings of ESM'2015, 2015. p. 22-27.
-
SALTON, G. D. ; CARNIEL, C. A. ; FINGER-KRATOCHVIL, C. ; de Mello, B.A. . Regras sintáticas livres de contexto na correção automática de Unidades de Leitura. In: Conferência Internacional sobre Informática na Educação (TISE2013), 2013, Porto Alegre. Anais do XVIII Conferência Internacional sobre Informática na Educação, 2013. v. 9. p. 217-222.
-
SÁ, Alex, G. C. ; MELLO, B. A. . Configuração automática de elementos em modelos heterogêneos de simulação. In: Seminário Integrado de Software e Hardware (SEMISH), 2011, Natal, RN. XXX Congresso da Sociedade Brasileira de Computação, 2011. p. 1235-1249.
-
SÁ, Alex, G. C. ; MELLO, B. A. . Geração automática de um modelo para simulação do SEP. In: Simpósio de Mecânica Computacional, 2010, São João Del-Rei. Anais do Nono Simpósio de Mecânica Computacional, 2010.
-
SÁ, Alex, G. C. ; MELLO, B. A. . Configuração automática de elementos na construção de modelos heterogêneos de simulação. In: XXIV CRICTE, 2010, Rio Grande. CRICTE 2010, 2010.
-
MELLO, B. A. ; PARREIRAS, A. A. . Distributed management of elements for modeling and simulation of heterogeneous models. In: Summer Computer Simulation Conference, 2009, Istambul, Turquia. Proceedings of Summer Computer Simulation Conference (SCSC'2009). San Diego, USA: Society for Modeling and Simulation International, 2009. p. 49-53.
-
CHAVES, T. M. ; MELLO, B. A. ; BETENCOURT, Paulo Ricardo . Modbus based protocol for communication between a distributed co-simulation backbone and real elements for simulation matters. In: European Modelling & Simulation Symposium (EMSS 2009), 2009, Puerto de la Cruz. Proceedings of EMSS'2009, 2009.
-
CHAVES, T. M. ; MELLO, B. A. ; CAIMI, Luciano Lores . Adaptação de elementos reais na interface do DCB para simulação de modelos heterogêneos. In: XXXV LATIN-AMERICAN CONFERENCE ON INFORMATICS, 2009, Pelotas. Proceedings of CLEI'2009, 2009.
-
MELLO, B. A. ; CHAVES, T. M. ; CAIMI, Luciano Lores . Composição de elementos reais e virtuais na modelagem e simulação de equipamentos agrícolas. In: VII Congresso Brasileiro de Agroinformática, 2009, Viçosa - MG. Anais do VII Congresso Brasileiro de Agroinformática. Viçosa - MG: [editores] Evandro de Castro Melo, Paulo Márcio de Freitas e Sônia Maria Leite Ribeiro do Vale; [org, 2009.
-
MELLO, B. A. ; SILVA, Denilson Rodrigues da ; NASCIMENTO, Ricardo Mendes do ; PALUDO, Cristina ; BETENCOURT, Paulo Ricardo . SWAF: Software de Apoio à Gestão da Pluriatividade em Estudos de viabilidade na agricultura familiar. In: Conferência Ibérica de Sistemas e Tecnologias de Informação, 2007, Porto. Anais da Conferência Ibérica de Sistemas e Tecnologias de Informação. Porto: edições Universidade Fernando Pessoa, 2007. v. II. p. 27-36.
-
WOSZEZENSKI, Cristiane Raquel ; MEDEIROS, Carla Simone Pires ; MELLO, B. A. . Simulação distribuída de modelos paralelizáveis em PLs não cooperantes. In: ENCITA-Encontro de Iniciação Científica e Pós-graduação do ITA, 2004, São José dos Campos. Anais do Encontro de Iniciação Científica e Pós-graduação do ITA, 2004.
-
MALFATTI, Silvano ; MELLO, B. A. ; SANTOS, Carlos A M dos . PROTO-NET: um Protocolo de Comunicação para o Controle e Distribuição de Mensagens em um Ambiente Virtual Distribuído na Internet. In: Brazilian Workshop on Games and Digital Entertainment (WJogos'03), 2003, Salvador BA, 2003.
-
SOUZA, Uiliam R F ; SPERB, Josue K ; MELLO, B. A. ; WAGNER, Flavio Rech . Tangram -Virtual Integration of Heterogeneous IPComponents in a Distributed Co-Simulation Environment. In: SBCCI'03 ? 16th Symposium on Integrated Circuits and Systems Design, 2003, São Paulo. Proceedings of SBCCI'03, 2003.
-
MELLO, B. A. ; WAGNER, Flavio Rech . A Standardized Co-simulation Backbone. In: IFIP VLSI-SOC 2001, 2001, Montpellier. Proceedings of VLSI-SOC 2001, 2001.
-
CARLOTTO, A. ; MELLO, B. A. ; TIECKER, M. M. . Uma ferramenta de simulação para auílio no projeto de redes de TCO. In: XIV Congresso de Iniciação Científica e Tecnológica, 1999, Santa Maria - RS. Anais do CRICTE'99, 1999. p. 147-150.
-
MELLO, B. A. ; CAMARGO, M. S. ; SPECIALSKI, E. . UTILIZANDO LOTOS NA CONCEPCAO FORMAL DE UMA APLICACAO PARA GERENCIA DE REDES: ESPECIFICACAO E VERIFICACAO. In: III CONGRESSO ARGENTINO DE CIENCIAS DE LA COMPUTACION, 1997, LA PLATA, ARGENTINA. III CONGRESSO ARGENTINO DE CIENCIAS DE LA COMPUTACION, 1997. p. 403-419.
-
MELLO, B. A. ; RISO, B. G. ; NOTARE, M. S. M. A. . UTILIZACAO DE LOTOS NO PROJETO DE AGENTES PORTAVEIS PARA GERENCIA DE REDES. In: VI SEMANA DE INFORMATICA DA UFBA, 1996, SALVADOR, BA, BRA. ANAIS DA VI SEMANA DE INFORMATICA DA UFBA, 1996. p. 315-324.
-
MELLO, B. A. . Um exemplo de aplicação da Técnica de Descrição Formal LOTOS em sistemas de comunicação.. In: III Semana da Pesquisa da UFSC, 1995, Florianopolis. Anais da III Semana da Pesquisa da UFSC, 1995.
-
SANTOS, L. T. ; de Mello, B.A. . Cognição e Afetividade em Ambientes Virtuais de Aprendizagem para os Anos Iniciais do Ensino Fundamental. In: Conferência Internacional sobre Informática na Educação (TISE2013), 2013, Porto Alegre. Anais do XVIII Conferência Internacional sobre Informática na Educação. v. 9. p. 443-446.
-
ALKMIM, G. P. ; MELLO, B. A. . Ferramenta de apoio às fases iniciais do ensino de linguagens formais e compiladores. In: XXI Simpósio Brasileiro de Informática na Educação, 2010, João Pessoa, PA. Anais do ... Simpósio Brasileiro de Informática na Educação, 2010.
-
TERRA, A. C. ; MELLO, B. A. . Coordenação de técnicas de simulação para interoperabilidade entre componentes em modelos heterogêneos. In: Jornada de Iniciação Científica e tecnológica, 2018, Realeza. Anais da VIII Jornada de Iniciação Científica e tecnológica, 2018.
-
BALENSIEFER, A. C. ; MELLO, B. A. . Proposta de um ambiente voltado para simulação distribuída. In: 7a. Reunião Especial da SBPC, 2001, Manaus. Anais da 7a. Reunião Especial da SBPC, 2001.
-
BALENSIEFER, A. C. ; MELLO, B. A. . Uma ferramenta de suporte a simulação distribuída. In: Cricte 2001, 2001, Ijuí - RS. Anais do Cricte 2001, 2001.
-
MEINERZ, G. V. ; MELLO, B. A. . Uma Abordagem Técnica no Acesso Remoto a Bases de Dados: Php e Jsp. In: XI Seminário Regional de Informática, 2001, Santo Ângelo - RS. Anais do XI Seminário Regional de Informática, 2001.
-
MELLO, B. A. ; CARLOTTO, A. . Concepção ce um modelo de simulação para uma rede de transporte coletivo por ônibus para cidades de porte médio. In: Anais da 50a Reuniao Anual da SBPC, 1998, 1998.
-
MELLO, B. A. ; RISO, B. G. . AGENTE PORTAVEL PARA GERENCIA DE REDES: UMA ABORDAGEM FORMAL. In: Anais da SBPC, 1997, 1997.
-
PARIZOTTO, R. ; MELLO, B. A. . An approach to minimize useless checkpoints on distributed optimistic simulations. 2019. (Apresentação de Trabalho/Congresso).
-
MELLO, B. A. ; WAINER, G. A. . Scheduling Predictability in I-DEVS by Schedulability Analysis. 2016. (Apresentação de Trabalho/Congresso).
-
MELLO, B. A. ; CAMARGO, M. S. ; SPECIALSKI, E. . UTILIZANDO LOTOS NA CONCEPCAO FORMAL DE UMA APLICACAO PARA GERENCIA DE REDES: ESPECIFICACAO E VERIFICACAO. 1997. (Apresentação de Trabalho/Congresso).
Outras produções
MEINERZ, G. V. ; MELLO, B. A. . SoftLab. 2002.
MELLO, B. A. . Cesto Básico. 1994.
MELLO, B. A. . Controle Acadêmico. 1993.
MELLO, B. A. . Relatório final técnico-científico (ARD-FAPERGS). 2007. (Relatório de pesquisa).
MELLO, B. A. . Simulação de Sistemas. 2006. (Curso de curta duração ministrado/Outra).
MELLO, B. A. . Relatório parcial técnico-científico (procoredes2). 2006. (Relatório de pesquisa).
MELLO, B. A. . Modelagem e Simulação de Sistemas. 2001. (Desenvolvimento de material didático ou instrucional - Apostila).
Projetos de pesquisa
-
2020 - Atual
Simulação computacional distribuída na perspectiva de Arquitetura Orientada a Serviço, Descrição: O conceito de Modelagem e Simulação computacional como Serviço (MSaaS) pode ser interpretado como uma abordagem organizacional ou arquitetural que apresenta benefícios tanto nas fases de desenvolvimento de modelos, que combinam partes (ou componentes) que interagem com uma finalidade comum, bem como na operação de aplicações distribuídas de Modelagem e Simulação (M&S). Nessa abordagem, é possível alcançar maior eficiência em reusabilidade, interoperabilidade, composição de componentes díspares (composability) e gestão de aplicações de simulação. Métodos e técnicas que contribuam com o acoplamento de componentes construídos para finalidades diferentes (reusabilidade), mesmo que adotem tecnologias ou interfaces distintas (composability), gerando modelos aptos a serem executados de forma distribuídas eficientemente e corretamente (interoperabilidade), são temas de interesse em pesquisas atualmente. Nesse campo de estudos, a definição de arquiteturas para simulação como serviço capazes de, de fato, não impor restrições de qualquer tipo para acoplamento de um componente construído sem observância da arquitetura (independência de componentes) em um modelo e a disponibilidade de técnicas que garantam agilidade e facilidade de operação de simulações, são vistas como desafios correntes. Nesse contexto, o objetivo geral desta proposta esta centrado na redefinição de uma arquitetura de simulação distribuída (Distributed Cosimulation Backbone) para incorporar princípios de MSaaS de forma alinhada com os desafios relacionados principalmente com reuso e composability. Mais especificamente, serão direcionados esforços, na visão da infraestrutura de simulação, para melhorar precisão e desempenho do comportamento interno das aplicações de simulação (operação e comunicação), e na visão do usuário/projetista de modelos para elevar o nível de abstração em que os modelos são construídos e operados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Braulio Adriano de Mello - Coordenador / Edimar Junior - Integrante / Acácia Terra - Integrante.
-
2016 - 2019
Coordenação entre técnicas de simulação para interoperabilidade de componentes em modelos heterogêneos, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) . , Integrantes: Braulio Adriano de Mello - Coordenador / Ricardo Parizotto - Integrante., Número de produções C, T & A: 11
-
2012 - 2014
Recursos formais computáveis na correção de Unidades de Leitura para avaliação da competência leitora e a representação de seu comportamento em modelos de simulação adaptativos, Descrição: Não é comum às ferramentas de suporte a execução de modelos de simulação suportar modelos adaptáveis para que possam interagir com o ambiente em tempo real. Em geral, em modelos de representação as características não desejáveis dos sistemas podem ser mais facilmente suprimidas e as características importantes podem ser descritas observando maior número de eventos. No entanto, o nível de fidelidade de um modelo, em relação ao sistema real que ele representa, depende de características da arquitetura ou ambiente de execução dos modelos de simulação. Esse princípio é essencial para tornar o modelo sensível às mudanças externas (adaptabilidade). Em projeto anterior do orientador deste trabalho foram adicionados ao DCB (Distributed Cosimulation Backbone), uma arquitetura de simulação distribuída, instrumentos para gerenciamento de modelos heterogêneos. Este plano tem como meta geral reestruturar a especificação da arquitetura do DCB para adicionar funcionalidade de suporte a adaptabilidade e a interoperabilidade entre modelos heterogêneos. Estão previstas etapas posteriores no projeto principal em que simulações sobre competência leitora serão realizadas com o uso de modelos adaptáveis, justificando este plano de trabalho.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Braulio Adriano de Mello - Coordenador., Número de produções C, T & A: 1
-
2009 - 2011
Gerenciamento otimista do tempo para a sincronização entre elementos heterogêneos no backbone de simulação DCB, Descrição: Propor e validar alternativas para o suporte à execução de elementos que atendam o modo otimista de sincronização no tempo de simulação e que sejam consistentes com as propriedades de heterogeneidade, independência e distribuição de elementos da arquitetura do DCB. Devem ser observadas características inerentes aos modelos heterogêneos e o suporte a modelos com sincronização híbrida onde elementos conservadores, otimistas e que não utilizam marcas de tempo possam cooperar consistentemente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Braulio Adriano de Mello - Coordenador / Geomar Andre Schreiner - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2008 - 2009
Construção e integração de funcionalidades ao SWAF para gestão contábil em estudos de viabilidade na agricultura familiar, Descrição: A pluriatividade na produção agrícola familiar adiciona características que tornam mais complexo o desenvolvimento de análises ou estudos, sejam econômicos ou não [SCH2003]. Os ambientes computacionais voltados para estudos deste tipo geralmente não incorporam características de um determinado domínio (por exemplo, da agricultura familiar). Com isso, há uma tendência ao aumento do esforço necessário para adequar um ambiente (software) para o tratamento de dados com características não triviais. Esta realidade incentiva o desenvolvimento de novas soluções computacionais, como por exemplo, o ambiente SWAF (apoio ProcoredesII/Fapergs) para estudo de viabilidade em Agricultura Familiar (AF). Embora o SWAF tenha alcançado as metas especificadas no projeto original, os estudos desenvolvidos apontaram para perspectivas na construção e integração de funcionalidades ao SWAF para gestão contábil em consonância com estudos de viabilidade. O desenvolvimento e a integração ao SWAF de módulos que permitam o tratamento contábil/financeiro (objetivos deste projeto) irão contribuir com agilidade e eficácia no desenvolvimento de estudos de viabilidade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Braulio Adriano de Mello - Integrante / Paulo Ricardo Betencourt - Integrante / Denilson Rodrigues da Silva - Integrante / Bernardo Both - Integrante / Fátima Regina Zan - Integrante / Marcio Antônio Vendrúsculo - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
-
2007 - 2009
Ambiente de simulação heterogênea no projeto de sistemas para a Agricultura de Precisão, Descrição: Projeto iniciado em 2007 na URI-Santo Ângelo e em continuidade na UFLA a partir de 08/2008.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Braulio Adriano de Mello - Integrante / Luciano Lores Caimi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Regional Integrada do Alto Uruguai e das Missões - Bolsa / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa., Número de produções C, T & A: 5
-
2007 - 2009
Ambiente de simulação heterogênea no projeto de sistemas para a Agricultura de Precisão, Descrição: Recursos de simulação permitem a representação de sistemas reais através de modelos de representação. Modelos que combinam partes diferentes são denominados modelos heterogêneos (simulação heterogênea). O uso da simulação heterogênea pode oferecer benefícios nos domínios da agricultura de precisão onde os sistemas tendem a ser classificados como heterogêneos por combinar partes distintas em termos de interface e tecnologia de construção. Por exemplo: partes que combinam hardware e software, partes eletroeletrônicas e partes mecânicas. Com o objetivo de contribuir com o uso da simulação na construção de sistemas para a AP, este projeto propõe a especificação e construção de um ambiente, baseado na arquitetura do DCB, que disponibiliza elementos reconfiguráveis e reutilizáveis para a execução de modelos heterogêneos no projeto de sistemas no domínio da AP.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Braulio Adriano de Mello - Coordenador / Luciano Lores Caimi - Integrante., Número de produções C, T & A: 5
-
2006 - 2007
Simulação heterogênea na validação de sistemas para a agricultura de precisão, Descrição: Técnicas de simulação permitem a representação de sistemas reais através de modelos de representação. Modelos que combinam partes diferentes são denominados modelos heterogêneos (simulação heterogênea). O uso da simulação heterogênea pode oferecer benefícios nos domínios da agricultura de precisão onde os sistemas tendem a ser classificados como heterogêneos por combinar sistemas de precisão e equipamentos de manejo. Neste contexto, este projeto propõe o desenvolvimento de estudos com o objetivo de criar alternativas para promover o uso de técnicas de simulação heterogênea nas etapas intermediárias de desenvolvimento de sistemas aplicados à agricultura de precisão.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Braulio Adriano de Mello - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
-
2006 - 2007
SUPORTE COMPUTACIONAL PARA ESTUDOS DE VIABILIDADE NA AGRICULTURA FAMILIAR, Descrição: A produção agrícola familiar difere da produção agrícola extensiva por ser caracterizada pela pluriatividade, pelo uso combinado das mesmas fontes (de produção) para renda e para subsistência, entre outros. Existe uma tendência a diversificação, a integração de animais e vegetais e ao trabalho em menores escalas. Tais características adicionam complexidade ao tratamento de dados, referentes a esta classe de atividade agrícola, em virtude do aumento do número e da diversidade das variáveis a serem consideradas. Por exemplo, as propriedades rurais que desenvolvem a pluriatividade podem possuir mais fontes de renda do que locais ou postos de trabalho. Isto permite a obtenção de diferentes tipos de remuneração. Esta diversidade visível na produção agrícola familiar exige que métodos e ferramentas mais flexíveis e com propósitos direcionados sejam utilizados para a realização de estudos, análises, avaliações, sejam de caráter econômico, social, produtivo, etc. Neste contexto, este projeto propõe o desenvolvimento um ambiente computacional que possa agregar de modo mais eficaz agilidade e facilidade ao desenvolvimento de estudos ou análises (viabilidade). Neste caso, com ênfase a estudos de cunho econômico (inicialmente) de acordo com variáveis que possam ser ajustadas de acordo com uma configuração (realidade) diferenciada para práticas distintas no contexto da produção agrícola familiar. Além disso, busca abrir espaço para concepção e teste de mecanismos computacionais alternativos neste domínio, por exemplo, em técnicas de suporte à simulação de risco ou em técnicas para projeto de software nesse domínio de aplicação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Braulio Adriano de Mello - Coordenador / Luciano Lores Caimi - Integrante / Paulo Ricardo Betencourt - Integrante / Cristina Paludo - Integrante / Denilson Rodrigues da Silva - Integrante / Luis Claudio Gubert - Integrante / Bernardo Both - Integrante / Vitor K. Reisdorfer - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro., Número de produções C, T & A: 3
Histórico profissional
Endereço profissional
-
Universidade Federal da Fronteira Sul. , Avenida Getúlio Dorneles Vargas - S - de 493 a 1059 - lado ímpar, Centro, 89812000 - Chapecó, SC - Brasil, Telefone: (49) 20491400
Experiência profissional
2010 - Atual
Universidade Federal da Fronteira SulVínculo: Servidor Público, Enquadramento Funcional: Associado III, Regime: Dedicação exclusiva.
Atividades
-
07/2021
Direção e administração, Pró-Reitoria de Graduação, Coordenação Acadêmica - Campus Chapecó.,Cargo ou função, Coordenador Adjunto do curso de Ciência da Computação - PORTARIA DE PESSOAL N 393/GR/UFFS/2021, DE 1 DE JULHO DE 202.
-
08/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores, Linguagens Formais e Autômatos, Modelagem e Simulação, Trabalho de Conclusão de Curso I, Computação Distribuída
-
03/2010
Pesquisa e desenvolvimento, Pró-Reitoria de Pesquisa e Pós-Graduação.,Linhas de pesquisa
-
05/2013 - 07/2014
Conselhos, Comissões e Consultoria, Colégio de Gestores de Tecnologia e Informação das IFES.,Cargo ou função, Coordenador do Grupo de Trabalho: Gestão e Governança em TI.
-
02/2012 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores, Linguagens Formais e Autômatos
-
06/2011 - 07/2014
Direção e administração, Secretaria de Tecnologias e Informação.,Cargo ou função, Secretário Especial de Tecnologia e Informação conforme Portaria 428/GR/UFFS/2011.
-
04/2011 - 07/2014
Conselhos, Comissões e Consultoria, Secretaria de Tecnologias e Informação.,Cargo ou função, Coordenador da comissão de fiscalização e acompanhamento de contrato conforme portaria 056/PROAD/INFRA/UFFS/2011.
-
04/2011 - 07/2014
Conselhos, Comissões e Consultoria, Secretaria Especial de Obras.,Cargo ou função, Membro da comissão de acompanhamento do contrato 004/2011 conforme PORTARIA N 048/PROAD/INFRA/UFFS/ 2011.
-
06/2011 - 12/2012
Conselhos, Comissões e Consultoria, Pró-Reitoria de Graduação.,Cargo ou função, Membro da comissão de revisão do regulamento dos cursos de graduação, Portaria 444/GR/UFFS/2011.
-
09/2011 - 03/2012
Conselhos, Comissões e Consultoria, Pró-Reitoria de Graduação.,Cargo ou função, Membro da comissão de coordenação e execução do Processo Seletivo UFFS 2012 (Portaria 680/GR/UFFS/2011).
-
08/2011 - 12/2011
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação
-
03/2010 - 07/2011
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Informática
-
03/2010 - 05/2011
Direção e administração, Secretaria de Tecnologias e Informação, Diretoria de Sistemas.,Cargo ou função, Diretor de Sistemas.
-
03/2010 - 05/2011
Direção e administração, Secretaria de Tecnologias e Informação.,Cargo ou função, Diretor de Sistemas conforme PORTARIA n 045/GR/UFFS/2010.
-
11/2010 - 03/2011
Conselhos, Comissões e Consultoria, Pró-Reitoria de Graduação.,Cargo ou função, Membro da comissão de Processo Seletivo 2011 conforme PORTARIA N 457/GR/UFFS/2010.
2008 - 2010
Universidade Federal de LavrasVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Portaria de nomeação no. 342 de 20 de junho de 2008, publicada no DOU de 23 de junho de 2008, Seção2, página 23.
Portaria de posse no. 060 de 1o. de agosto de 2008.
Atividades
-
02/2009 - 01/2010
Direção e administração, Departamento de Ciência da Computação.,Cargo ou função, Membro do Colegiado do curso de graduação Bacharelado em Sistemas de Informação (Portaria PRG 09 de 10 de fevereiro de 2009).
-
08/2009 - 12/2009
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação.,Cargo ou função, Membro do Conselho de Ensino, Pesquisa e Extensão (CEPE).
-
05/2009 - 12/2009
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação.,Cargo ou função, Membro da Câmara de Graduação do Departamento de Ciência da Computação - UFLA (portaria DCC no. 6 de 05/2009).
-
03/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Linguagens Formais e Autômatos, Projeto Orientado II
-
03/2009 - 12/2009
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação.,Cargo ou função, Membro da Câmara de Monitoria (Resolução PRG no. 09, de 30 de março de 2009).
-
02/2009 - 11/2009
Direção e administração, Departamento de Ciência da Computação.,Cargo ou função, Coordenador de Curso (Coord Ciência da Computação - Portaria 058 de 30 de janeiro de 2009).
-
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Sistemas Operacionais
-
08/2008 - 12/2008
Ensino, Engenharia Agrícola, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estrutura de Dados I
2008 - 2010
Universidade Regional Integrada do Alto Uruguai e das MissõesVínculo: Colaborador, Enquadramento Funcional: Colaborador externo, Carga horária: 0
Outras informações:
Colaborador no programa de mestrado Ensino Científico e Tecnológico na URI-Campus de Santo Ângelo
1997 - 2008
Universidade Regional Integrada do Alto Uruguai e das MissõesVínculo: Celetista, Enquadramento Funcional: Professor tempo integral, Carga horária: 40
1993 - 1997
Universidade Regional Integrada do Alto Uruguai e das MissõesVínculo: Celetista, Enquadramento Funcional: Funcionário, Carga horária: 40
Atividades
-
08/1997
Pesquisa e desenvolvimento, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Linhas de pesquisa
-
04/2008 - 07/2008
Direção e administração, Universidade Regional Integrada do Alto Uruguai e das Missões.,Cargo ou função, Coordenador local, URI-Campus de Santo Ângelo, do CIAP (Comite Institucional de Avaliação de Projetos).
-
02/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens formais e compiladores II (especial em 07/2008), Linguagens formais e Compiladores I, Tópicos em Teoria da Computação A, Simulação, Sistemas operacionais I
-
03/2006 - 07/2008
Direção e administração, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Cargo ou função, Coordenador de curso seqüencial: Projeto e desenvolvimento de sistemas computacionais.
-
11/2004 - 07/2008
Conselhos, Comissões e Consultoria, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Cargo ou função, Membro de comissão permanente (CIAP-Comitê Interno de Avaliação de Projetos de Pesquisa).
-
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e compiladores II, Segurança e auditoria de sistemas, Sistemas operacionais II, Trabalho de conclusão A
-
08/2007 - 12/2007
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais, Simulação
-
02/2007 - 07/2007
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Trabalho de Conclusão A
-
02/2007 - 07/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Compiladores I, Tópicos em Sistemas Operacionais A, Simulação, Sistemas Operacionais I
-
08/2005 - 07/2007
Extensão universitária , Departamento de Engenharias e Ciência da Computação.,Atividade de extensão realizada, Construção e disponibilização do Laboratório de Experiências em Computação (LEC).
-
08/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Compiladores II, Segurança e Auditoria de Sistemas, Tópicos em Sistemas Operacionais B, Sistemas Operacionais II, Trabalho de Conclusão A
-
08/2006 - 12/2006
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Org. e Arq. de Computadores
-
02/2006 - 07/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Compiladores I, Tópicos em Sistemas Operacionais A, Simulação, Sistemas Operacionais I
-
02/2006 - 07/2006
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Projeto de Conclusão, Trabalho de Conclusão A
-
08/2005 - 12/2005
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Compiladores, Projeto de Conclusão
-
08/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos em Teoria da Computação B, Linguagens Formais e Compiladores II, Sistema Operacional II
-
08/2005 - 11/2005
Extensão universitária , Departamento de Engenharias e Ciência da Computação.,Atividade de extensão realizada, Ministrou módulo no curso Formação de Formadores On Line (total do curso: 102h).
-
02/2005 - 07/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto de Conclusão A, Simulação, Linguagens Formais e Compiladores I, Sistema Operacional I
-
12/2004 - 12/2004
Treinamentos ministrados , Departamento de Engenharias e Ciência da Computação.,Treinamentos ministrados, Clínica Tecnológica com o tema: Análise de comportamento futuro com o uso de técnicas de simulação
-
08/2004 - 12/2004
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Compiladores, Projeto de Conclusão A
-
08/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais, Sistema Operacional II
-
02/2004 - 07/2004
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Simulação, Linguagens Formais e Compiladores I, Sistema Operacional I
-
08/2003 - 12/2003
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Compiladores, Projeto de Conclusão, Sistema Operacional II
-
02/2003 - 07/2003
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Simulação, Linguagens Formais, Sistema Operacional I
-
08/2002 - 12/2002
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Sistema Operacional II, Compiladores
-
02/2002 - 07/2002
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Simulação, Linguagens Formais, Sistema Operacional I
-
03/2002 - 06/2002
Ensino, Sistemas de Informação Para Apoio à Decisão, Nível: Especialização,Disciplinas ministradas, Simulação de Sistemas de Informação
-
08/2001 - 12/2001
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Trabalho de Conclusão, Linguagens Formais, Simulação, Sistema Operacional II
-
08/2001 - 12/2001
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de estágio
-
02/2001 - 07/2001
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Projeto de Conclusão, Sistema Operacional I, Sistema Operacional II
-
02/2001 - 07/2001
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de Estágio
-
08/2000 - 12/2000
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Trabalho de Conclusão de Curso, Linguagens Formais, Sistema Operacional II, Sistema Operacional I
-
08/2000 - 12/2000
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de Estágio
-
02/2000 - 07/2000
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Projeto de Conclusão, Sistema Operacinal I, Simulação
-
02/2000 - 07/2000
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de Estágio
-
07/1998 - 06/2000
Direção e administração, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Cargo ou função, Coordenador de Curso.
-
08/1999 - 03/2000
Direção e administração, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Cargo ou função, Coordenador de curso de Especialização.
-
08/1999 - 12/1999
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Trabalho de Conclusão de curso, Empreendimento em Informática, Sistema Operacional II, Linguagens Formais
-
08/1999 - 12/1999
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de Estágio, Simulação de sistemas
-
07/1999 - 11/1999
Direção e administração, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Cargo ou função, Delegado Institucional da SBC.
-
02/1999 - 07/1999
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Sistema Operacional I, Simulação, Projeto de Conclusão
-
02/1999 - 07/1999
Ensino, Psicologia, Nível: Graduação,Disciplinas ministradas, Computação I
-
02/1999 - 07/1999
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de Estágio
-
08/1998 - 12/1998
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Orientação de estágio, Simulação de Sistemas
-
08/1998 - 12/1998
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Trabalho de Conclusão de curso, Linguagens formais, Sistema Operacional II
-
08/1997 - 11/1998
Direção e administração, Universidade Regional Integrada do Alto Uruguai e das Missões, Departamento de Engenharias e Ciência da Computação.,Cargo ou função, Coordenador Técnico (Campus de Santo Angelo) do Convênio de Cooperação Técnica URI-IBM.
-
02/1998 - 07/1998
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Linguagem e Programação
-
02/1998 - 07/1998
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Simulação, Redes e Sistemas Distribuídos, Linguagem e Programação I, Sistema Operacional I
-
08/1997 - 12/1997
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Linguagens Formais, Sistema Operacional II, Teleprocessamento
-
08/1997 - 12/1997
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Linguagem e Programação
-
02/1997 - 07/1997
Ensino, Administração Com Ênfase Em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Introdução à Programação
-
02/1997 - 07/1997
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Simulação, Linguagem de Programação I, Redes e Sistemas Distribuídos
1992 - 1993
Universidade de Passo FundoVínculo: Auxiliar administrativo, Enquadramento Funcional: estagiário, Carga horária: 40
Outras informações:
Desenvolvimento de sistemas (Convênio entre UPF e PMF de Passo Fundo)
Atividades
-
06/1992 - 06/1993
Estágios , Instituto de Ciências Exatas e Geociências, Curso de Ciência da Computação.,Estágio realizado, Desenvolvimento de sistemas computacionais.
Você é Braulio Adriano de Mello?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!

Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Braulio Adriano de Mello e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário

Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?