Curriculum Vitae
Samuel Lincoln Magalhaes Barrocas
| Dados pessoais | Formação acadêmica/Titulação | Formação complementar | Atuação profissional | Projetos de pesquisa | Áreas de atuação |
| Idiomas | Prêmios e títulos | Produção científica, tecnológica e artística/cultural | Dados complementares | Indicadores de produção |
| Nome | Samuel Lincoln Magalhaes Barrocas |
| Nome em citações bibliográficas | BARROCAS, S. L. M. |
| 2012 - 2018 |
Doutorado
em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil. Título: A strategy to verify the Code Generation from concurrent and state-rich circus specifications to Executable Code, Ano de Obtenção: 2018. Orientador: 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 Terra. Grande á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. |
| 2009 - 2011 |
Mestrado
em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil. Título: JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java, Ano de Obtenção: 2011. Orientador: 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 Terra. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: 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. |
| 2003 - 2008 |
Graduação
em Ciências da computação.
Título: Geração de código de grafos de dependências para PEWS. Orientador: Martin Alejandro Musicante. |
| 2023 - 2023 | SID.
Universidade de Fortaleza, UNIFOR, Brasil. |
| 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. |
| Universidade de Fortaleza, UNIFOR, Brasil. |
| Vínculo institucional | ||
| 2023 - Atual | Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20 |
| Banco do Nordeste do Brasil, BNB, Brasil. |
| Vínculo institucional | ||
| 2023 - Atual | Vínculo: Celetista, Enquadramento Funcional: Analista de TI, Carga horária: 30 |
| Universidade Federal do Ceará, UFC, Brasil. |
| Vínculo institucional | ||
| 2023 - 2023 | Vínculo: Servidor Público, Enquadramento Funcional: Analista de TI, Carga horária: 40 |
| Salutis Administração em Saúde, SALUTIS, Brasil. |
| Vínculo institucional | ||
| 2021 - 2021 | Vínculo: Celetista, Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 44 |
| Universidade Federal do Rio Grande do Norte, UFRN, Brasil. |
| Vínculo institucional | ||
| 2013 - 2018 | Vínculo: Livre, Enquadramento Funcional: Bolsista, Regime: Dedicação exclusiva. |
| Vínculo institucional | ||
| 2013 - 2013 | Vínculo: Livre, Enquadramento Funcional: Tutor do IMD (Instituto Metrópole Digital), Carga horária: 10 |
| Vínculo institucional | ||
| 2009 - 2011 | Vínculo: Livre, Enquadramento Funcional: Bolsista |
| Vínculo institucional | ||
| 2006 - 2007 | Vínculo: Livre, Enquadramento Funcional: Bolsista, Carga horária: 20, Regime: Dedicação exclusiva. |
| Outras informações | Bolsista do projeto AnimVideo, do professor Bruno Motta de Carvalho, na área de Segmentação de vídeos. |
| 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. . |
| 2009 - 2018 | Tool Support for Circus |
| Descrição: Projeto que visa desenvolver ferramentas para a linguagem de especificação formal Circus..
Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado ( 2) . Integrantes: Samuel Lincoln Magalhaes Barrocas - Integrante / Marcel Oliveira - Coordenador / Madiel Conserva Filho - Integrante. . |
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
|
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
|
| 3. | 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.
|
| 4. | 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.
|
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Banco de Dados.
|
| Compreende | Inglês (Bem), Espanhol (Bem). |
| Fala | Inglês (Bem), Espanhol (Pouco). |
| Lê | Inglês (Bem), Espanhol (Razoavelmente). |
| Escreve | Inglês (Bem), Espanhol (Pouco). |
| 2012 | Award of Best paper on "JCircus 2.0 - an extension of an automatic translator from Circus to Java", University of Abertay - Dundee. |
| 2023 | Aprovado em 14º lugar no concurso da UFC (Universidade Federal do Ceará), Universidade Federal do Ceará. |
| 2023 | Aprovado em 11º lugar no concurso do BNB (Banco do Nordeste), Banco do Nordeste. |
| Produção bibliográfica | Produção técnica |
| Produção bibliográfica |
| Trabalhos completos/resumidos em eventos |
| 1. |
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.
Palavras-chave: JCSP; Testing; JUnit. Grande área: Ciências Exatas e da Terra. Referências adicionais: Classificação do evento: Nacional; Brasil/ Inglês; Meio de divulgação: Impresso |
| 2. |
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.
Referências adicionais: Classificação do evento: Internacional; Escócia/ Inglês; Meio de divulgação: Impresso |
| 3. | BARROCAS, S. L. M.; OLIVEIRA, M. V. M.. A Validation Strategy for an Automatic Code Generator using Java Pathfinder.
In: Software Engineering Research and Practice,
2016,
Las Vegas.
PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ONSOFTWARE ENGINEERING RESEARCH & PRACTICE,
2016.
Palavras-chave: formal methods; model-checking; validation; Circus; code synthesis. Grande área: Ciências Exatas e da Terra. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Referências adicionais: Classificação do evento: Internacional; Estados Unidos/ Inglês; Meio de divulgação: Impresso; Homepage: [http://www.worldcomp-proceedings.com/proc/proc2016/SERP16_Final_Edition/SERP16_Contents.pdf] |
| 4. | 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.
Palavras-chave: Operational Semantics; Circus; Soundness. Grande área: Ciências Exatas e da Terra. Referências adicionais: Classificação do evento: Internacional; Estados Unidos/ Inglês; Meio de divulgação: Impresso; Homepage: [http://scholar.googleusercontent.com/scholar?q=cache:42VZVc2zYvsJ:scholar.google.com/+%22a+sound+operational+semantics+for+circus%22&hl=pt-BR&as_sdt=0,5] |
| Demais tipos de produção bibliográfica |
| 1. |
BARROCAS, S. L. M.. Geração de Código de Grafos de dependências para PEWS2008
(Trabalho de Conclusão de Curso).
Palavras-chave: PEWS; XPEWS; Grafos de dependência. Grande área: Ciências Exatas e da Terra. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Web services. Referências adicionais: Brasil/Português; Meio de divulgação: Outro |
| Produção técnica |
| 1. | BARROCAS, S. L. M.; ALENCAR, K.; GUTEMBERG JUNIOR, V.. The Maze.
2004.
Referências adicionais: Brasil/; Finalidade: Jogo de labirinto com 3 fases; Plataforma: Java; Ambiente: Java Virtual Machine; Disponibilidade: Irrestrita. |
| 2. | BARROCAS, S. L. M.. Tradutor/Compilador de QBasic para C.
2006.
Grande área: Ciências Exatas e da Terra. Referências adicionais: Brasil/; Finalidade: Trabalho de conclusão da disciplina de Compiladores I; Plataforma: QBasic e C; Ambiente: Compilador; Inst. promotora/financiadora: UFRN. |
| Trabalhos técnicos |
| 1. | BARROCAS, S. L. M.; OLIVEIRA, M. V. M.. Verificação de programas Circus executáveis usando Java Pathfinder.
2015.
Referências adicionais: Brasil/Português; Meio de divulgação: Impresso; Disponibilidade: . |
| Demais tipos de produção técnica |
| 1. |
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).
Grande área: Ciências Exatas e da Terra. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Testes de Software. Referências adicionais: Brasil/Português; Local: Imirá Plaza Hotel; Cidade: Natal; Evento: SAST; Inst. promotora/financiadora: UFRN. |
| 2. |
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).
Palavras-chave: Circus; automatic translation; Java; JCSP. Grande área: Ciências Exatas e da Terra. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Referências adicionais: Escócia/Inglês; Local: University of Abertay; Cidade: Dundee-UK; Evento: Communicating Process Architectures (CPA); Inst. promotora/financiadora: WoTUG. |
| 3. | BARROCAS, S. L. M.; OLIVEIRA, M. V. M.. A Sound Operational Semantics for Circus.
2017.
(Apresentação de Trabalho/Conferência ou palestra).
Referências adicionais: Estados Unidos/Inglês. |
| 4 | BARROCAS, S. L. M.. Manual de Ocaml.
2010.
(Desenvolvimento de material didático ou instrucional - Manual).
Grande área: Ciências Exatas e da Terra. Referências adicionais: Brasil/Português; Meio de divulgação: Magnético; Finalidade: Ajudar os alunos da disciplina "Conceitos e Técnicas de Programação". |
| 5 | BARROCAS, S. L. M.. ICTAC.
2010.
(Organização de evento/Congresso).
Referências adicionais: Brasil/Português; Meio de divulgação: Digital; Evento itinerante: Não; Duração do evento: 1; Inst. promotora/financiadora: UFRN. |
| 6 | BARROCAS, S. L. M.. LFSA.
2010.
(Organização de evento/Congresso).
Referências adicionais: Brasil/Português; Meio de divulgação: Impresso; Evento itinerante: Não; Duração do evento: 1; Local: Imirá Plaza Hotel; Cidade: Natal; Inst. promotora/financiadora: UFRN. |
| 7 | BARROCAS, S. L. M.. CBSoft.
2012.
(Organização de evento/Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Duração do evento: 1; Local: Praiamar Hotel; Cidade: Natal; Inst. promotora/financiadora: Universidade Federal do Rio Grande do Norte. |
| Participação em eventos |
| Participação em eventos |
| 1. | .
2010.
(Participações em eventos/Congresso).
Referências adicionais: Brasil/. |
| 2. | JCSPUnit: a JUnit extension for testing JCSP programs.
2010.
(Participações em eventos/Congresso).
Referências adicionais: Brasil/. |
| 3. | .
2010.
(Participações em eventos/Congresso).
Referências adicionais: Brasil/. |
| 4. | .
2010.
(Participações em eventos/Congresso).
Referências adicionais: Brasil/. |
| 5. | .
2012.
(Participações em eventos/Congresso).
Referências adicionais: Brasil/. |
| 6. | .
2005.
(Participações em eventos/Oficina).
Referências adicionais: Brasil/. |
| Produção bibliográfica | Produção técnica | Dados complementares |
| Total | |
| Produção bibliográfica | 6 |
| Trabalhos em eventos | 4 |
| Completos | 4 |
| Demais tipos de produção bibliográfica | 2 |
| Total | |
| Produção técnica | 10 |
| Softwares | 2 |
| Softwares sem registro ou patente | 2 |
| Trabalhos técnicos | 1 |
| Demais tipos de produção técnica | 7 |
| Total | |
| Dados complementares | 6 |
| Participação em eventos | 6 |
| Página gerada pelo sistema Lattes - CNPq/UNIFOR. As informaçoes acima são de responsabilidade do professor. |
| Última atualização do CV em 21/03/2024 - 18:36 |