Login/Cadastro
Faça login ou crie uma nova conta no Escavador, é simples e rápido.
Cadastrar com e-mail
Para criar uma nova conta com e-mail, preencha os campos abaixo, ou clique em voltar para mais opções.
Login com e-mail
Entre com seu e-mail e senha para fazer login
Obteve seu Bacharelado em Matemática com Especialização em Informatica na Universidade do Estado do Rio de Janeiro (1989), concluiu o mestrado em Ciência da Computação na Universidade Federal de São Carlos, São Paulo (1995) e o doutorado em Computer Science na University of Twente, Holanda (2001). Atualmente é professor Associado da Universidade Federal de Juiz de Fora. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas Distribuídos, atuando principalmente nos seguintes temas: Implementação de Protocolos, Especificações Formais, Desenvolvimento baseado em modelos e E-ciência.
Informações coletadas do Lattes em 25/06/2020
Acadêmico
Formação acadêmica
Doutorado em Computer Science
1996 - 2001
University of Twente
Título: Frameworks for Implementing Protocols: a Model Based Approach
Orientador: CA.Vissers e L.Ferreira Pires
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Implementacao de Protocolos; Metodos Formais; Framework; Orientacao a Objetos; Meta-modelos; Sistemas Distribuidos. Grande área: Ciências Exatas e da TerraGrande Á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. 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. Setores de atividade: Desenvolvimento de Programas (Software).
Mestrado em Ciência da Computação
1993 - 1995
Universidade Federal de São Carlos
Título: Modelagem Orientada a Objetos de Especificacoes Estelle,Ano de Obtenção: 1995
Wanderley Lopes de Souza.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Especificacoes Formais; Sistemas Distribuidos; ESTELLE; Orientacao a Objetos; Protocolos de Comunicacao; Ferramentas.
Graduação em Bacharelado Em Matematica Esp. Informatica
1984 - 1989
Formação complementar
2011 - 2011
Estágio Capacitação. (Carga horária: 360h). , Universidade Federal Fluminense, UFF, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuaçã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: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
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: Sistemas de Computação/Especialidade: Sistemas Distribuidos.
Organização de eventos
BARBOSA, C. B. . Seminário de Iniciação Científica. 2016. (Outro).
Participação em eventos
Encontro Mineiro de Modelagem Computacional.Simulador de Dinâmica de Sistemas, baseado em Arquitetura Web. 2011. (Encontro).
Webmedia - Workshop de Trabalhos de Iniciação Científica.Revisor de trabalhos. 2008. (Simpósio).
XI Encontro de Modelagem Computacional.Análise do uso de um sistema de workflow científico para modelagem de sistemas dinâmicos deformáveis. 2008. (Encontro).
20 Simposio Brasileiro de Redes de Computadores. 2002. (Simpósio).
V Seminario de Pesquisa da UTP.Exposicao das atividades do grupo de Sistemas Distribuidos da UTP. 2001. (Seminário).
Participação em bancas
GOLIATT, P. V. Z. C.; DARDENNE, L. E.;BARBOSA, C. B.. Refinamento Manual e Automático de Modelos Tridimencionais de Proteínas para o Workflow Científico MHOLline. 2017. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.; PIRES, L. F.;SOUZA, W. L.. Uma abordagem para a decomposição de processos de negócio para execução em nuvens computacionais. 2014. Dissertação (Mestrado em Programa de Pós-Graducação em Ciência da Computaçã) - Universidade Federal de São Carlos.
Lobosco M.; VIEIRA, M. B.; DANTAS, S. O.;BARBOSA, C. B.. Ferramenta Computacional para a definição e geração de estruturas cristalinas. 2012. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.; Lobosco M.;SANTOS, Rodrigo Weber dos; PITANGUEIRA, R. L. S.. Ferramentas Web para Descrição e Simulação de Modelos de Células Cardíacas. 2011. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.; BORGES, C. C. H.;BARBOSA, F. S.; BATTISTA, R. C.; PITANGUEIRA, R. L. S.. MIDaS - Um sistema computacional baseado em aplicações web para identificação modal de sistemas dinâmicos deformáveis. 2008. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.SOUZA, W. L.. Anbiente para o Teste de Frameworks Utilizados na Implementacao de Protocolos. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
BARBOSA, C. B.; PIRES, L. F.. Using CORBA in distributed multimedia application development. 1997. Dissertação (Mestrado em Computer Science) - University of Twente.
BORGES, C. C. H.; NETO, R.F.; AUGUSTO, D. A.;BARBOSA, C. B.. Algoritmos Computacionais para detecção eficiente de odontocetos em dispositivos fixos autônomos. 2016. Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.SANTOS, Rodrigo Weber dos; OLIVEIRA, A. P.; BARROS, M. O.; BERNARDINO, H. S.; LOBOSCO, M.. Abordagem para Guiar a Reprodução de Experimentos Computacionais: Aplicações em Biologia Computacional. 2016. Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.; MELO, W. S.. Relação Estrutura-atividade de derivados 1,2,4-oxadiazol como ligantes promissores para a síntese de complexos de platina. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.. Algoritmos para a reconstrução de árvores individuais a partir de dados de varredura tridimensional a laser. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.. Diretrizes para uso da arquitetura MVC no desenvolvimento de softwares. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.
Weber dos Santos, RodrigoBARBOSA, C. B.; Lobosco M.. A utilização do padrão DICOM em sistemas de armazenamento e comunicação de imagens médicas digitais (PACS). 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
SILVA, E. O.;BARBOSA, C. B.; GIGLIO, G. P. M.. Configuração de perfis de acesso com base na disponibilização de serviços web. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
KNOP, I. O.; VILLELA, P. R. C.;BARBOSA, C. B.. Simulação de Processos de Software baseada em metamodelos de dinâmica de sistemas: abordagem e exemplo. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.. Desenvolvimento móvel com a SDK do IPhone. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
SANTOS, Rodrigo Weber dosBARBOSA, C. B.. Análise de desempenho de um simulador da eletrofisiologia cardíaca. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.; Lobosco M.; NETO, R.F.. TV Digital. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.. Influência de Fatores não Técnicos no Desenvolvimento de Sistemas para Administração Pública. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
Weber dos Santos, RodrigoBARBOSA, C. B.; OLIVEIRA, R.. Computação de Alto Desempenho Apoiando o Desenvolvimento de Novas Técnicas de Diagnóstico para Doenças do Coração. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.
BARBOSA, C. B.. Concurso Professor Adjunto. 2010. Universidade Federal de Juiz de Fora.
BERNARDINO, H. S.;BARBOSA, C. B.; HIPPER, H. S.; TOLEDO, E. M.. Processo seletivo Mestrado e Doutorado - PGMC/UFJF. 2017. Universidade Federal de Juiz de Fora.
BERNARDINO, H. S.; FONSECA, L. G.;BARBOSA, C. B.; BASTOS, F. S.. Concurso de seleção para Mestrado e Doutorado dp PGMC/UFJF. 2016. Universidade Federal de Juiz de Fora.
Comissão julgadora das bancas
AKAMATU, D. M.; WANDERLEY. Implementação Semi-Automática de Sistemas Distribuídos Especificados Formalmente. 1994. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
SOUZA, Wanderley Lopes dePRADO, A. F.; PEDROZA, A. C. P.. Modelagem Orientada a Objeto de Especificações Estelle. 1995. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
Orientou
Desenvolvimento de uma plataforma computacional interativa para a solução de problemas mecânicos no CASTEM; Início: 2013; Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora; (Coorientador);
Ferramenta para simulação de gerencia do projetos de desenvolvimento de software; 2008; Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Análise de Ferramentas Computadorizadas para suporte à Modelagem Computacional - Estudo de caso no domínio de dinâmica dos corpos deformáveis; 2008; Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora,; Orientador: Ciro de Barros Barbosa;
Estratégia computacional para avaliação de propriedades mecânicas de concreto de agregado leve; 2017; Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ciro de Barros Barbosa;
Reprodutibilidade de experimentos biológicos in silico; 2016; Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ciro de Barros Barbosa;
Otimização do método de escalonamento de tarefas de uma ferramenta computadorizada para Workflow Científico Distribuído no contexto da Modelagem Computacional; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Reengenharia de Sistemas Distribuídos usando Padrões de Projetos; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Aplicação da tecnologia RFId; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Gerenciamento das Atividades de um workflow Científico: estudo de caso com o Portal Fisiocomp; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Ferramenta para apoio ao ensino de logica de programacao; 2002; 83 f; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Tuiuti do Paraná; Orientador: Ciro de Barros Barbosa;
Implementacao de Protocolos de Gerencia de Redes Baeados em SNMP; 2001; 73 f; Trabalho de Conclusão de Curso; (Graduação em Processamento de Dados) - Universidade Tuiuti do Paraná; Orientador: Ciro de Barros Barbosa;
Ambiente Distribuído para Jogos Gerenciais; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Simulação Computacional de Gerenciamento de Projetos; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Simulador de Dinâmica de Sistemas Estendida, baseado em arquitetura Web; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora; Orientador: Ciro de Barros Barbosa;
Integração do Simulador de dinâmica de Sistemas Jynacore ao Portal de computação ciêntífica Fisiocomp; ; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ciro de Barros Barbosa;
Editor para meta-modelagem de sistemas sensíveis ao contexto; 2007; Orientação de outra natureza - Universidade Federal de Juiz de Fora, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ciro de Barros Barbosa;
Foi orientado por
Modelagem orientada a objeto de especificações Estelle; 1995; Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Wanderley Lopes de Souza;
Produções bibliográficas
ANDRADE, J. J. ; BONIFÁCIO, A. L. ; KNOP, I. O. ; BARBOSA, C. B. . Evaluating the use of Taverna to Improve Reproducibility of HTC in Silico Experiments. Revista SODEBRAS , v. 12, p. 72-75, 2017.
BONIFÁCIO, A. L. ; BARBOSA, C. B. ; BARBOSA, F. S. ; FARAGE, Michele Cristina Resende . Three-Dimensional Numerical Simulation of Lightweight Aggregate Compressive Strength Using Many-Task Computing. Revista SODEBRAS , v. 12, p. 125-129, 2017.
BONIFÁCIO, ALDEMON LAGE ; AMARAL, RAFAELA DE OLIVEIRA ; FARAGE, MICHÈLE CRISTINA RESENDE ; Barbosa, Ciro de Barros ; BARBOSA, FLÁVIO DE SOUZA . Thermo-hydro-mechanical model parameters adjustment via a distributed scientific workflow system. DYNA (MEDELLÍN) , v. 84, p. 46, 2017.
BONIFACIO, A. L. ; MENDES, J. C. ; FARAGE, M.C.R. ; BARBOSA, F. S. ; Barbosa, Ciro de Barros . Comparative analysis of the prediction of the mechanical properties of lightweight aggregate concrete via Artificial Neural Network and Finite Elements Method.. Mecánica Computacional , v. XXXIV, p. 2315-2327, 2016.
Campos, Ricardo Silva ; CAMPOS, FERNANDO OTAVIANO ; GOMES, JOHNNY MOREIRA ; BARROS BARBOSA, CIRO ; LOBOSCO, MARCELO ; SANTOS, RODRIGO WEBER . Comparing high performance techniques for the automatic generation of efficient solvers of cardiac cell models. Computing (Wien. Internet) , v. 2012, p. 1-15, 2013.
KNOP, I. O. ; Pigozzo A.B. ; Quintela B.M. ; BARBOSA, C. B. ; SANTOS, Rodrigo Weber dos ; Lobosco M. . Modeling Human Immune System Using a System Dynamics Approach. IFMBE Proceedings , v. 58, p. 1055-1065, 2012.
KNOP, I. O. ; Costa, Caroline Mendonça ; CRUZ, J. S. ; BARBOSA, C. B. ; Lobosco M. ; SANTOS, Rodrigo Weber dos . A New Web-Based Integration Tool for the Development of in Silico Experiments of Cardiac Electrophysiology. IFMBE Proceedings , v. 37, p. 355-358, 2012.
KNOP, I. O. ; Pigozzo A.B. ; Quintela B.M. ; BARBOSA, C. B. ; SANTOS, Rodrigo Weber dos ; Lobosco M. . System Dynamics Metamodels Supporting the Development of Computational Models of the Human Innate Immune System. Lecture Notes in Computer Science , v. 7333, p. 707-722, 2012.
Campos, Ricardo Silva ; Amorim, Ronan Mendonca ; Costa, Caroline Mendonça ; Lino de Oliveira, Bernardo ; BARBOSA, C. B. ; Sundnes, Joakim ; Weber dos Santos, Rodrigo . Approaching cardiac modeling challenges to computer science with CellML-based web tools. Future Generation Computer Systems , v. 26, p. 462-470, 2010.
MARTINS, D. ; CAMPOS, F. O. ; CIUFFO, L. N. ; OLIVEIRA, R. S. ; AMORIM, R. M. ; FONSECA, V. ; BARBOSA, C. B. ; SANTOS, Rodrigo Weber dos . A Computational Framework for Cardiac Modeling Based on Distributed Computing and Web Applications. Lecture Notes in Computer Science , v. 4395, p. 544-555, 2007.
BARBOSA, C. B. ; SANTOS, Rodrigo Weber dos ; AMORIM, R. M. ; CIUFFO, L. N. ; MANFROI, F. ; OLIVEIRA, R. S. ; CAMPOS, F. O. . A Transformation Tool for ODE based models. Lecture Notes in Computer Science , v. 3991, p. 69-75, 2006.
BARBOSA, C. B. ; BONIFÁCIO, A. L. . Model-Based Environment for Learning Simulations. In: XXXVII International Sodebras Congress, 2017, Fortaleza. Anais do XXXVII International Sodebras Congress. v. 1.
BONIFÁCIO, A. L. ; BARBOSA, C. B. ; BARBOSA, F. S. ; FARAGE, M.C.R. . SWADE: um sistema de gerenciamento e automação de workflows científicos em ambiente distribuído. In: XXXVII International Sodebras Congress, 2017, Fortaleza. Anais do XXXVII International Sodebras Congress, 2017. v. 1.
BONIFACIO, A. L. ; BARBOSA, C. B. ; BARBOSA, F. S. ; FARAGE, M.C.R. . Three-Dimensional Numerical Simulation of Lightweight Aggregate Compressive Strength Using Many-Task Computing. In: SODEBRAS, 2016, Belo Horizonte. XXXVI International SODEBRAS Congress, 2016.
ANDRADE, J. J. ; BONIFACIO, A. L. ; KNOP, I. O. ; BARBOSA, C. B. . Evaluating the use of Taverna to Improve Reproducibility of HTC in Silico Experiments. In: SODEBRAS, 2016, Belo Horizonte. XXXVI International SODEBRAS Congress, 2016.
Bonifácio A.L. ; Rafaela O. Amaral ; ROOKE, F. ; BARBOSA, C. B. ; FARAGE, M.C.R. . Implementação de uma heurística para ajuste de parâmetros de um modelo de mecânica computacional usando um sistema de workflow científico distribuído. In: XI Simpósio de Mecânica Computacional, 2014, Juiz de Fora. SIMMEC/EMMCOMP 2014, 2014.
KNOP, I. O. ; Pigozzo A.B. ; Quintela B.M. ; BARBOSA, C. B. ; SANTOS, Rodrigo Weber dos ; Lobosco M. . System Dynamics Metamodels Supporting the development of computational Models of the immune system. In: International Conference on Computational Science and its Applications, 2012, Salvador. Proceedings of the International Conference on Computational Science and Its Applications, 2012. v. 7333. p. 707-722.
Bonifácio A.L. ; BARBOSA, C. B. ; BARBOSA, F. S. . Análise do uso de um sistema de workflow cientícico para modelagem de sistemas dinâmicos deformáveis. In: XI Encontro de Modelagem Computacional, 2008, Volta Redonda. XI Encontro de Modelagem Computacional. Volta Redonda: EdUFF, 2008.
FARIAS, C. R. G. ; BARBOSA, C. B. ; LEITE, M. M. ; PESSOA, R. M. ; CALVI, C. Z. ; PEREIRA FILHO, J. G. . Suporte ao Desenvolvimento Baseado em Modelos de Aplicações Móveis Sensíveis ao Contexto. In: Second Workshop on Ontologies and Metamodeling in Software and Data Engineering, 2007, João Pessoa. Workshop on Ontologies and Metamodeling in Software and Data Engineering, 2007. p. 29-41.
MARTINS, D. ; CAMPOS, F. O. ; CIUFFO, L. N. ; OLIVEIRA, R. S. ; AMORIM, R. M. ; BARBOSA, C. B. ; SANTOS, Rodrigo Weber dos . A Computational Framework for Cardiac Modeling Based on Distributed Computing and Web Applications. In: Vecpar 2006 Seventh International Meeting on High Performance Computing for computational science, 2006, Rio de Janeiro. COOPTEC, 2006. p. 1-14.
BARBOSA, C. B. . Implementation of Formally Specified Protocols: A case study with the Sliding Window Protocol. In: XI Escola Regional de Informática - ERI 2003 SBC, 2003, Londrina - PR. Anais ERI 2003 Paraná - SBC, 2003.
BARBOSA, C. B. ; PIRES, L. F. . Developing Frameworks for Protocol Implementaiton. In: International Conference on Software in Telecommunications and Computer Networks, 1999, Split-Croacia, 1999.
BARBOSA, C. B. ; PIRES, L. F. ; SINDEREN, M. V. . Frameworks for Protocol Implementation. In: Simpósio Brasileiro de Redes de Computadores, 1998, Rio de Janeiro, 1998.
FARIAS, C. R. G. ; BARBOSA, C. B. . Projeto e Implementacao de Banco de Dados Distribuidos Usando ESTELLE. In: Simpósio Brasileiro de Banco de Dados, 1996, São Carlos SP, 1996.
BARBOSA, C. B. ; SOUZA, W. L. . Modelagem Orientada a Objetos de Especificacoes Escritas em ESTELLE. In: Simposio Brasileiro de Redes de Computadores, 1995, Belo Horizonte, 1995.
BARBOSA, C. B. ; SANTIAGO, A. S. . Model-based interactive simulations applied to managment learning. 2015. (Apresentação de Trabalho/Simpósio).
SILVA, W. V. ; ALMEIDA, D. D. B. ; BARBOSA, C. B. . Simulador de Dinâmica de Sistemas, baseado em Arquitetura Web. 2011. (Apresentação de Trabalho/Simpósio).
BARBOSA, C. B. . Frameworks for implementing protocols: a model based approach 2001 (Tese de Doutorado).
BARBOSA, C. B. . Modelagem Orientada a Objeto de Especificações Estelle 1995 (Dissertacao de Mestrado).
Outras produções
BARBOSA, C. B. . Forum de pesquisas. 2007.
BARBOSA, C. B. . Framework para Desenvolvimento de Sistemas de Planejamento de Producao. 2003.
BARBOSA, C. B. . Implementando protocolos Especificados Formalmente. 2003.
BARBOSA, C. B. ; PIRES, L. F. ; SINDEREN, M. V. . Frameworks for Protocol Implementation. 1998.
BARBOSA, C. B. ; SOUZA, W. L. . Modelagem Orientada a Objeto dos Conceitos Arquitetônicos de Estelle. 1995.
OLIVEIRA, J. A. C. ; BARBOSA, C. B. . Entrevista sobre uso da informática do processo eleitoral. Programa Mesa de Debates. 2008.
2009 - 2011
Ferramentas Computacionais para Determinação de Perfis Metabólicos de Sistemas Biológicos, Descrição: Ferramentas Computacionais para Determinação de Perfis Metabólicos de Sistemas Biológicos. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ciro de Barros Barbosa - Integrante / Rodrigo Weber dos Santos - Integrante / Carlos Cristiano Hasenclever Borges - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2011
Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas., Descrição: O Laboratório de Fisiologia Computacional e de Alto Desempenho (FISIOCOMP) do Departamento de Ciência da Computação da Universidade Federal de Juiz de Fora (UFJF) tem desenvolvido pesquisa de ponta na área de simulação computacional da eletrofisiologia cardíaca. Apesar do pequeno número de pesquisadores e das grandes dificuldades inerentes a esta área multidisciplinar o grupo tem contribuído significativamente para o desenvolvimento da área, como indicam as diversas publicações nacionais e internacionais dos pesquisadores. O objetivo deste projeto multidisciplinar é fortalecer este grupo através da aceleração da capacitação do mesmo em novas tecnologias computacionais e da aquisição de novos equipamentos que permitam o desenvolvimento de um ambiente computacional para: aumentar a produtividade do grupo; e incentivar o uso desta tecnologia de simulação computacional no Brasil, dentre os diversos centros de pesquisa que trabalham nas áreas correlatas, visando o aprimoramento e a aceleração dos diversos processos envolvidos no desenvolvimento de novos medicamentos e equipamentos médicos destinados ao tratamento/diagnóstico de enfermidades que acometem grande parte da população brasileira, como as doenças cardio-vasculares. Para alcançar estes objetivos, o grupo juntará esforços para desenvolver um novo modelo computacional que integra os aspectos da eletrofisiologia, contração celular e metabolismo energético. Este modelo possibilitará de forma inédita o estudo de situações de grande interesse, como é o caso da isquemia cardíaca. Além disto, diversas ferramentas computacionais serão desenvolvidas visando a criação e validação deste novo modelo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) . , Integrantes: Ciro de Barros Barbosa - Integrante / Rodrigo Weber dos Santos - Coordenador / Marcelo Lobosco - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2008 - 2011
Simulação de Dinâmica de Sistemas aplicada a Gerenciamento de Projetos, Descrição: O projeto visa o estudo e adaptação de técnicas de modelagem computacional, para modelagem de processos de gerenciamento, com fins de simulação. Isso implica no desenvolvimento de ferramentas para o usuário final, que permitam descrever o processo a ser gerenciado e sua posterior simulação. Tais ferramentas poderão ser usadas para suprir a carência de atividades práticas de gerenciamento, citadas acima. O aluno poderá iniciar no computador um processo de simulação, cujas regras são definidas pelo professor, de acordo com a área de especialização do mesmo, e interagir com o processo segundo a metodologia e técnicas aprendidas em sala.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Ciro de Barros Barbosa - Coordenador., Número de orientações: 1
2004 - 2007
PARAFISIO - Modelagem Computacional em Fisiologia Cardíaca, Descrição: Este projeto tem como objetivo o emprego de tecnologias inovadoras para promover o desenvolvimento da área de neurofisiologia e a eletro-fisiologia cardíaca computacionais no Brasil. Técnicas de computação paralela de alto desempenho e a tecnologia de metalinguagem XML serão empregadas para acelerar e aumentar a produtividade do pequeno grupo de pesquisa deste projeto. Um potal Web baseado em técnicas para servidor Web permitirá a divulgação e utilização desta tecnologia de simulação computacional no Brasil, entre os diversos centros de pesquisa que trabalham nas áreas correlatas, visando o aprimoramento e a aceleração dos processos envolvidos no desenvolvimento de novos medicamentos e equipamentos médicos destinados ao tratamento/diagnóstico de enfermidades que acometem grande parte da população brasileira, como a doença de chagas, as arritmias cardíacas e a epilepsia.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ciro de Barros Barbosa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2006
DBMWare - Framework para desenvolvimento de sistemas sensíveis ao contexto., Descrição: Desenvolvimento de um ambiente para modelagem de sistemas sensíveis ao contexto. O ambiênte usa a abordagem de Desenvolvimento Baseado em Modelos (MDA) e tem como três grandes partes a definição de um meta-modelo para o domínio em questão; uma ferramenta para modelagem em diagramas e uma plataforma para suporte a aplicações em desenvilvimento.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (1) . , Integrantes: Ciro de Barros Barbosa - Integrante / Clever Ricardo Guareis de Farias - Coordenador / José Antônio de Castro Oliveira - Integrante.
Projetos de desenvolvimento
2005 - 2008
Relógio de Ponto Eletrônico Via Internet, Descrição: EDT-101768/05 Desenvolvimento de tecnologia para a empresa Proveu, na área de relógio de ponto eletrônico. O projeto desenvolveu uma versão de relógio de ponto com acesso direto a internet, com gerenciamento baseado em servidor web. Foi desenvolvido um servidor próprio para o sistema com interação com servidores SMTP e POP e com o protocolo dos Relógios de Ponto.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ciro de Barros Barbosa - Coordenador / Adriano de Almeida Ferreira - Integrante / Leandro Ribeiro de Almeida - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2005 - 2008
Relógio de Ponto Eletrônico Via Internet, Descrição: EDT-101768/05 Desenvolvimento de tecnologia para a empresa Proveu, na área de relógio de ponto eletrônico. O projeto desenvolveu uma versão de relógio de ponto com acesso direto a internet, com gerenciamento baseado em servidor web. Foi desenvolvido um servidor próprio para o sistema com interação com servidores SMTP e POP e com o protocolo dos Relógios de Ponto.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ciro de Barros Barbosa - Coordenador / Adriano de Almeida Ferreira - Integrante / Leandro Ribeiro de Almeida - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2005 - 2008
Relógio de Ponto Eletrônico Via Internet, Descrição: EDT-101768/05 Desenvolvimento de tecnologia para a empresa Proveu, na área de relógio de ponto eletrônico. O projeto desenvolveu uma versão de relógio de ponto com acesso direto a internet, com gerenciamento baseado em servidor web. Foi desenvolvido um servidor próprio para o sistema com interação com servidores SMTP e POP e com o protocolo dos Relógios de Ponto.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ciro de Barros Barbosa - Coordenador / Adriano de Almeida Ferreira - Integrante / Leandro Ribeiro de Almeida - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2005 - 2008
Relógio de Ponto Eletrônico Via Internet, Descrição: EDT-101768/05 Desenvolvimento de tecnologia para a empresa Proveu, na área de relógio de ponto eletrônico. O projeto desenvolveu uma versão de relógio de ponto com acesso direto a internet, com gerenciamento baseado em servidor web. Foi desenvolvido um servidor próprio para o sistema com interação com servidores SMTP e POP e com o protocolo dos Relógios de Ponto.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ciro de Barros Barbosa - Coordenador / Adriano de Almeida Ferreira - Integrante / Leandro Ribeiro de Almeida - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2005 - 2008
Relógio de Ponto Eletrônico Via Internet, Descrição: EDT-101768/05 Desenvolvimento de tecnologia para a empresa Proveu, na área de relógio de ponto eletrônico. O projeto desenvolveu uma versão de relógio de ponto com acesso direto a internet, com gerenciamento baseado em servidor web. Foi desenvolvido um servidor próprio para o sistema com interação com servidores SMTP e POP e com o protocolo dos Relógios de Ponto.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ciro de Barros Barbosa - Coordenador / Adriano de Almeida Ferreira - Integrante / Leandro Ribeiro de Almeida - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2005 - 2008
Relógio de Ponto Eletrônico Via Internet, Descrição: EDT-101768/05 Desenvolvimento de tecnologia para a empresa Proveu, na área de relógio de ponto eletrônico. O projeto desenvolveu uma versão de relógio de ponto com acesso direto a internet, com gerenciamento baseado em servidor web. Foi desenvolvido um servidor próprio para o sistema com interação com servidores SMTP e POP e com o protocolo dos Relógios de Ponto.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ciro de Barros Barbosa - Coordenador / Adriano de Almeida Ferreira - Integrante / Leandro Ribeiro de Almeida - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Histórico profissional
Endereço profissional
Universidade Federal de Juiz de Fora, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Campus Universitário, Cidade Universitária, 36015400 - Juiz de Fora, MG - Brasil, Telefone: (32) 32293311, Ramal: 4025, URL da Homepage:
Experiência profissional
2004 - Atual
Universidade Federal de Juiz de ForaVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação, Linguagens Formais e Autômatos, Princípios de Desenvolvimento de Algoritmo
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Chefe de Departamento.
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
1995 - 2001
University of TwenteVínculo: Bolsista do Doutorado, Enquadramento Funcional: Pesquisador, Carga horária: 40
Outras informações:
Implementacao Orientada a Objetos, usando Frameworks, de Sitemas Distribuidos especificados formalmente. Ambiente operacional: Unix/C++/Solaris Formalismos: Lotos, Estele, SDL
Atividades
Pesquisa e desenvolvimento , Computer Science Department, Tss Group.,Linhas de pesquisa
1993 - 1995
Universidade Federal de São CarlosVínculo: Bolsista de Mestrado, Enquadramento Funcional: Mestrando, Carga horária: 40
Atividades
Pesquisa e desenvolvimento , Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.,Linhas de pesquisa
1988 - 1988
Universidade do Estado do Rio de JaneiroVínculo: Celetista, Enquadramento Funcional: Projetista de Software, Carga horária: 20
Atividades
Pesquisa e desenvolvimento , Centro de Tecnologia e Ciências, Departamento de Informática e Ciências da Computação.,Linhas de pesquisa
1990 - 1993
Companhia Siderúrgica NacionalVínculo: Celetista, Enquadramento Funcional: Analista de Suporte, Carga horária: 40
Atividades
Outras atividades técnico-científicas , Departamento de Informatica Ggsi, Departamento de Informatica Ggsi.,Atividade realizada, Analista de Suporte.
2001 - 2003
Universidade Tuiuti do ParanáVínculo: Celetista, Enquadramento Funcional: professor adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
Pesquisa e desenvolvimento , Facet, .,Linhas de pesquisa
Conselhos, Comissões e Consultoria, Facet, .,Cargo ou função, Coordenador de Linha de Pesquisa.
Ensino, Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Logica Matematica, Engenharia de Software, Compiladores, Linguagens Formais, Organizacao Estruturada de Computadores
1988 - 1990
Bevoreli informáticaVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Outras informações:
Suporte a Banco de Dados Sistemas de Seguranca Apoio ao desenvolvimento de Aplicacoes
Atividades
Outras atividades técnico-científicas , Terceirizado, Terceirizado.,Atividade realizada, Suporte ao desenvolvimento de aplicativos.
Você é Ciro de Barros Barbosa?
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 Ciro de Barros Barbosa 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?