Ciro de Barros Barbosa

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

Seção coletada automaticamente pelo Escavador

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

Universidade do Estado do Rio de Janeiro

Seção coletada automaticamente pelo Escavador

Formação complementar

2011 - 2011

Estágio Capacitação. (Carga horária: 360h). , Universidade Federal Fluminense, UFF, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Seção coletada automaticamente pelo Escavador

Á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.

Seção coletada automaticamente pelo Escavador

Organização de eventos

BARBOSA, C. B. . Seminário de Iniciação Científica. 2016. (Outro).

Seção coletada automaticamente pelo Escavador

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).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Artur Duque Rossi

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.

Aluno: Lucas Venezian Povoa

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.

Aluno: Roberto de Carvalho Ferreira

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.

Aluno: Ricardo Silva Campos

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.

Aluno: Alexandre Abrahão Cury

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.

Aluno: Edson Francisco da Fonseca

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.

Aluno: Wang Ho Chung

BARBOSA, C. B.; PIRES, L. F.. Using CORBA in distributed multimedia application development. 1997. Dissertação (Mestrado em Computer Science) - University of Twente.

Aluno: Edson Bruno Novais

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.

Aluno: Igor de Oliveira Knop

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.

Aluno: Camille Carvalho de Mendonça

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.

Aluno: Gisele Goulart Tavares da Silvaufjf

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.

Aluno: Sebastião Lucio Reis De Souza

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.

Aluno: Rodrigo Alexandre Santos Canguçu

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.

Aluno: Adriano Reiné Bueno

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.

Aluno: VITOR RODRIGUES DE OLIVEIRA

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.

Aluno: Rafael Nobre Rocha

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.

Aluno: Gustavo Miranda Teixeira

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.

Aluno: Claudio Soares Lopes Júnior

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.

Aluno: Gilson Luiz Bretas da Fonseca

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.

Aluno: Rafael Sachetto Oliveira

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.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Durval Makoto Akamatu

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.

Antonio Francisco do Prado

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.

Seção coletada automaticamente pelo Escavador

Orientou

Aldemon Lage Bonifácio

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);

Igor de Oliveira Knop

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;

Aldemon Lage Bonifácio

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;

Aldemon Lage Bonifácio

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;

Igor de Oliveira Knop

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;

Felipe Rooke

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;

Brian Mazini Siervi

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;

Paulo Bismark

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;

Bruno Archetti dos Santos

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;

Douglas Granemann

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;

Douglas Antônio Silva

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;

Álvaro Sales Snatiago

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;

Diego Daibert Barreto de Almeida

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;

Welington da Veiga Silva

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;

Mateus Stock

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;

Fernando Manfroi

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;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Wanderley Lopes de Souza

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;

Seção coletada automaticamente pelo Escavador

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).

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 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.

Seção coletada automaticamente pelo Escavador

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

Seção coletada automaticamente pelo Escavador

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:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2004 - Atual

Universidade Federal de Juiz de Fora

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

Atividades

  • 08/2004

    Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 08/2004

    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

  • 03/2009 - 04/2010

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Chefe de Departamento.

  • 03/2005 - 04/2007

    Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

1995 - 2001

University of Twente

Ví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

  • 10/1995 - 02/2001

    Pesquisa e desenvolvimento , Computer Science Department, Tss Group.,Linhas de pesquisa

1993 - 1995

Universidade Federal de São Carlos

Vínculo: Bolsista de Mestrado, Enquadramento Funcional: Mestrando, Carga horária: 40

Atividades

  • 03/1993 - 10/1995

    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 Janeiro

Vínculo: Celetista, Enquadramento Funcional: Projetista de Software, Carga horária: 20

Atividades

  • 03/1988 - 07/1988

    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 Nacional

Vínculo: Celetista, Enquadramento Funcional: Analista de Suporte, Carga horária: 40

Atividades

  • 03/1990 - 04/1993

    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

  • 08/2001 - 09/2003

    Pesquisa e desenvolvimento , Facet, .,Linhas de pesquisa

  • 08/2001 - 09/2003

    Conselhos, Comissões e Consultoria, Facet, .,Cargo ou função, Coordenador de Linha de Pesquisa.

  • 02/2001 - 09/2003

    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ática

Ví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

  • 07/1988 - 03/1990

    Outras atividades técnico-científicas , Terceirizado, Terceirizado.,Atividade realizada, Suporte ao desenvolvimento de aplicativos.