Samuel Lincoln Magalhães Barrocas

Possui graduação em Ciências da computação pela Universidade Federal do Rio Grande do Norte (2008), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2011), e Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (2018), com período sanduíche na Universidade de York em 2015. Tem experiência na área de Ciência da Computação, com ênfase nas seguintes linhas de pesquisa: Verificação formal, Prova de Teoremas, Geração/Síntese de código e Testes de Software.

Informações coletadas do Lattes em 04/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Sistemas e Computação

2012 - Atual

Universidade Federal do Rio Grande do Norte
Título: An approach to validate the translator from Circus to Java,
Orientador: em University of York ( Jim Woodcock)
com Marcel Vinícius Medeiros Oliveira. Coorientador: Jim Woodcock. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Testes de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Model Checking.

Mestrado em Sistemas e Computação

2009 - 2011

Universidade Federal do Rio Grande do Norte
Título: JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java,Ano de Obtenção: 2011
Marcel Vinícius Medeiros Oliveira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. 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: Linguagens de Programação. 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.

Graduação em Ciências da computação

2003 - 2008

Universidade Federal do Rio Grande do Norte
Título: Geração de código de grafos de dependências para PEWS
Orientador: Martin Alejandro Musicante

Seção coletada automaticamente pelo Escavador

Formação complementar

2014 - 2014

Capacitação de Professores Conteudistas do IMD. (Carga horária: 20h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2012 - 2013

Formação de Tutores do IMD. (Carga horária: 20h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

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

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: Linguagens de Programaçã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: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

BARROCAS, S. L. M. . CBSoft. 2012. (Congresso).

BARROCAS, S. L. M. . ICTAC. 2010. (Congresso).

BARROCAS, S. L. M. . LFSA. 2010. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

CBSoft. 2012. (Congresso).

ICTAC. 2010. (Congresso).

ICTSS. 2010. (Congresso).

SAST. JCSPUnit: a JUnit extension for testing JCSP programs. 2010. (Congresso).

SBMF. 2010. (Congresso).

ERMAC. 2005. (Oficina).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Bruno Emerson Gurgel Gomes

OLIVEIRA, M. V. M.; MUSICANTE, M. A.; COSTA, U. S.; MOTA, A. C.;GOMES, B. E. G.. Uma Estratégia para Validar a Geração de Códigos de Circus para Java. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Marcel Vinícius Medeiros Oliveira

MUSICANTE, M. A.;OLIVEIRA, M. V. M.; D., Adolfo. JCircus 2.0: Uma Extensao da ferramenta de traducao de Circus para Java. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Marcel Vinícius Medeiros Oliveira

OLIVEIRA, M. V. M.; MUSICANTE, M. A.;COSTA, U. S.; MOTA, A. C.; GOMES, B. E. G.. A Strategy to verify the Code Generation from Circus to Java. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Marcel Vinícius Medeiros Oliveira

OLIVEIRA, M. V. M.; MUSICANTE, M. A.;COELHO, R. de S.. A strategy to validate the code generator from Circus to Java. 2017. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Martin Alejandro Musicante

Musicante, Martin A.. JCircus 2.0: Uma Extensao da ferramenta de traducao de Circus para Java. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Martin Alejandro Musicante

Musicante, Martin A.. JCIRCUS++: Uma Versão do Aplicativo JCIRCUS com uma Estratégia de Tradução de CIRCUS para Java mais Robusta. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Martin Alejandro Musicante

Musicante, Martin A.. Geracao de codigo de grafos de dependencias para PEWS. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

Umberto Souza da Costa

OLIVEIRA, M. V. M.MUSICANTE, Martin A.COSTA, U. S.; MOTA, A. C.; GOMES, B. E. G.. Uma Estratégia para Validar a Geração de Códigos de Circus para Java. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Umberto Souza da Costa

OLIVEIRA, M. V. M.MUSICANTE, Martin A.COSTA, U. S.. JCIRCUS++: Uma Versão do Aplicativo JCIRCUS com uma Estratégia de Tradução de CIRCUS para Java mais Robusta. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Umberto Souza da Costa

MUSICANTE, Martin A.COSTA, U. S.; DELICATO, F. C.. Geração de Código de Grafos de Dependências para PEWS. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Marcel Vinícius Medeiros Oliveira

JCircus 2; 0: Uma extensão da Ferramenta de Tradução de Circus para Java; 2011; Dissertação (Mestrado em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcel Vinicius Medeiros Oliveira;

Martin Alejandro Musicante

Geracao de grafos de dependencia para PEWS; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Martin Alejandro Musicante;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • BARROCAS, S. L. M. ; OLIVEIRA, M. V. M. . A Sound Operational Semantics for Circus. In: Software Engineering Research and Practice (SERP), 2017, Las Vegas. A Sound Operational Semantics for Circus, 2017.

  • BARROCAS, S. L. M. ; Oliveira . JCircus 2.0: an extension of an automatic translator from Circus to Java. In: Communicating Process Architectures, 2012, Dundee. JCircus 2.0: an extension of an automatic translator from Circus to Java, 2012.

  • BARROCAS, S. L. M. ; Coelho ; Oliveira . JCSPUnit: A JUnit extension for testing JCSP programs. In: SAST, 2010, Natal. Proceedings of the IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), 2010.

  • BARROCAS, S. L. M. ; OLIVEIRA, M. V. M. . A Sound Operational Semantics for Circus. 2017. (Apresentação de Trabalho/Conferência ou palestra).

  • BARROCAS, S. L. M. ; Oliveira . JCircus 2.0: an extension of an automatic translator from Circus to Java. 2012. (Apresentação de Trabalho/Conferência ou palestra).

  • BARROCAS, S. L. M. ; COELHO, R. S. ; Oliveira . JCSPUnit: a JUnit extension for testing JCSP programs. 2010. (Apresentação de Trabalho/Conferência ou palestra).

  • BARROCAS, S. L. M. . JCircus 2.0: uma extensão da ferramenta de tradução de Circus para Java 2011 (Dissertação de Mestrado).

  • BARROCAS, S. L. M. . Geração de Código de Grafos de dependências para PEWS 2008 (Trabalho de Conclusão de Curso).

Seção coletada automaticamente pelo Escavador

Outras produções

BARROCAS, S. L. M. . Tradutor/Compilador de QBasic para C. 2006.

BARROCAS, S. L. M. ; ALENCAR, K. ; GUTEMBERG JUNIOR, V. . The Maze. 2004.

BARROCAS, S. L. M. ; OLIVEIRA, M. V. M. . Verificação de programas Circus executáveis usando Java Pathfinder. 2015.

BARROCAS, S. L. M. . Manual de Ocaml. 2010. (Desenvolvimento de material didático ou instrucional - Manual).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2009 - Atual

    Tool Support for Circus, Descrição: Projeto que visa desenvolver ferramentas para a linguagem de especificação formal Circus.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Samuel Lincoln Magalhaes Barrocas - Integrante / Marcel Oliveira - Coordenador / Madiel Conserva Filho - Integrante.

  • 2007 - 2008

    Desenvolvimento de um ambiente para a linguagem PEWS, Descrição: Projeto que visou o desenvolvimento de um ambiente de programação para a linguagem PEWS. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Samuel Lincoln Magalhaes Barrocas - Integrante / Edinardo Potrich - Integrante / Marcos Carrero - Integrante / Martin Alejandro Musicante - Coordenador.

Seção coletada automaticamente pelo Escavador

Prêmios

2012

Award of Best paper on "JCircus 2.0 - an extension of an automatic translator from Circus to Java", University of Abertay - Dundee.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional