Vinicius Pereira

Doutorado em Ciência da Computação pela Universidade de São Paulo (2017), mestrado em Ciência da Computação pela Universidade Federal de São Carlos (2012) e graduação em Bacharelado em Ciência da Computação pela Universidade Federal de São Carlos (2008). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente: métodos ágeis, TDD, BDD, UML e verificação formal de modelos.

Informações coletadas do Lattes em 07/12/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação e Matemática Computacional

2012 - 2017

Universidade de São Paulo
Título: Uma abordagem para representação de resultados formais na UML
Orientador: em Politecnico di Milano ( Luciano Baresi)
com Márcio Eduardo Delamaro. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: UML; Traceability; Formal Verification; Formal Methods.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.

Mestrado em Ciência da Computação

2010 - 2012

Universidade Federal de São Carlos
Título: Desenvolvimento Ágil para Groupware na Web 2.0,Ano de Obtenção: 2012
Antonio Francisco do Prado.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Métodos Ágeis; Desenvolvimento Guiado a Comportamento; Groupware.Grande área: Ciências Exatas e da TerraSetores de atividade: Pesquisa e desenvolvimento científico.

Graduação em Bacharelado em Ciência da Computação

2004 - 2008

Universidade Federal de São Carlos

Ensino Médio (2º grau)

2000 - 2002

Escola Estadual José Juliano Neto

Formação complementar

2015 - 2015

Introdução à Linguagem R com ênfase em Probabilidade. , Universidade de São Paulo, USP, Brasil.

2013 - 2013

Scientific writing in English I. , Universidade de São Paulo, USP, Brasil.

2012 - 2012

The "why" and "how" of software safety review. (Carga horária: 5h). , Universidade de São Paulo, USP, Brasil.

2009 - 2009

Web 2.0. (Carga horária: 6h). , Intel NextGenerationCenter, NEXTGENERATION, Brasil.

2008 - 2008

SOA - Service Oriented Architecture. (Carga horária: 8h). , Intel NextGenerationCenter, NEXTGENERATION, Brasil.

2008 - 2008

Gestão de Projetos. (Carga horária: 8h). , Catho Educação Executiva, CATHO, Brasil.

2008 - 2008

ERP - Enterprise Resource Planning. (Carga horária: 8h). , Intel NextGenerationCenter, NEXTGENERATION, Brasil.

2008 - 2008

Gerenciamento de Tecnologia da Informação. (Carga horária: 8h). , Intel NextGenerationCenter, NEXTGENERATION, Brasil.

Idiomas

Inglês

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

Espanhol

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

Italiano

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

Á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: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Organização de eventos

PEREIRA, V. . IV Ciclo de Minicursos. 2011. (Outro).

PEREIRA, V. . VIII Congresso de Extensão da UFSCar (ConEx). 2011. (Congresso).

Participação em eventos

17th International Conference on Enterprise Information Systems. Systematic Mapping: Formalization of UML Semantics using Temporal Logic. 2015. (Congresso).

17th International Conference on Enterprise Information Systems. Mapping Formal Results Back to UML Semi-Formal Model. 2015. (Congresso).

8th International Conference on Web Information Systems and Technologies. Providing Facilities for the Use of TDD in Practice. 2012. (Congresso).

1st International Conference on Integrated Computing Technology. Introducing a New Agile Development for Web Applications Using a Groupware as Example. 2011. (Congresso).

9º É Dia De Java. 2010. (Encontro).

III Semana da Computação - UFSCar. 2010. (Outra).

Participação em bancas

Aluno: Filipe Gomes Leme

BRANCO, K. R. L. J. C.;PEREIRA, V.. Functional Quality Assurance aplicada à sistemas reais de grande porte. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de São Paulo.

Produções bibliográficas

PEREIRA, V. ; PRADO, A. F. . RAMBUS: An Agile Process for Developing Web Applications. Journal of Intelligent Computing , v. 2, p. 42-53, 2011.
PEREIRA, V. ; DURELLI, R. S. ; DELAMARO, M. E. . From Formal Results to UML Model - A MDA Tracing Approach. In: 4th Workshop on Software Visualization, Maintenance, and Evolution (VEM), 2016, Maringá. 4th WORKSHOP ON SOFTWARE VISUALIZATION, MAINTENANCE, AND EVOLUTION (VEM 2016), 2016. p. 113-120.
COSTA, S. L. ; PEREIRA, V. . Revisão Sistemática: ferramentas de apoio do método B e da notação Z. In: X Experimental Software Engineering Latinamerican Workshop - ESELAW, 2013, Montevideo. Memorias del X Workshop Latinoamericano Ingeniería de Software Experimental - ESELAW 2013, 2013. p. 34-47.
SOUZA, F. C. M. ; SANTOS, A. C. C. ; PEREIRA, V. ; BARBOSA, E. F. ; FERRAZ, V. R. T. . Generation of Thematic Maps using WPS-Cartographer: An experimental study. In: The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2013, Boston. International Conference on Software Engineering and Knowledge Engineering 2013 (SEKE'13), 2013. p. 500-503.
SILVA, V. G. ; CIRILO, C. E. ; PRADO, A. F. ; SOUZA, W. L. ; PEREIRA, V. . An Approach to Dynamic Discovery of Context-Sensitive Web Services. In: The 8th International Conference on Internet and Web Applications and Services (ICIW), 2013, Roma. International Conference on Internet and Web Applications and Services (ICIW 2013), 2013. p. 83-89.
PEREIRA, V. ; PRADO, A. F. . Introducing a New Agile Development for Web Applications Using a Groupware as Example. In: 1st International Conference on Integrated Computing Technology, 2011, São Carlos. COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE. Berlin Heidelberg: Springer-Verlag, 2011. v. 165. p. 144-160.
PEREIRA, V. ; PRADO, A. F. . A New Agile Process for Web Development. In: 6th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2011, Pequim. ENASE 2011 - 6th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2011. v. 1. p. 177-187.
PEREIRA, VINÍCIUS ; E. DELAMARO, MARCIO . Systematic Mapping - Formalization of UML Semantics using Temporal Logic. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems. v. 2. p. 486-493.
PEREIRA, VINÍCIUS ; BARESI, LUCIANO ; DELAMARO, MÁRCIO E. . Mapping Formal Results Back to UML Semi-formal Model. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems. v. 2. p. 320-329.
PEREIRA, V. ; PRADO, A. F. . PROVIDING FACILITIES FOR THE USE OF TDD IN PRACTICE. In: 8th International Conference on Web Information Systems and Technologies, 2012, Porto. Proceedings of the 8th International Conference on Web Information Systems and Technologies. p. 242-245.
PEREIRA, V. ; DURELLI, R. S. ; DELAMARO, M. E. . From Formal Results to UML Model - A MDA Tracing Approach. 2016. (Apresentação de Trabalho/Congresso).
PEREIRA, V. ; DELAMARO, M. E. . Systematic Mapping: Formalization of UML Semantics using Temporal Logic. 2015. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, V. ; BARESI, L. ; DELAMARO, M. E. . Mapping Formal Results Back to UML Semi-Formal Model. 2015. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, V. . An Approach to Dynamic Discovery of Context-Sensitive Web Services. 2013. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, V. . Providing Facilities for the Use of TDD in Practice. 2012. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, V. . Introducing a New Agile Development for Web Applications Using a Groupware as Example. 2011. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, V. . Desenvolvimento Ágil para Groupware na Web. 2010. (Apresentação de Trabalho/Outra).

Outras produções

PEREIRA, V. . FR2UML-RTool. 2016.

PEREIRA, V. . Biblioteca Story2CSharp (DLL). 2012.

PEREIRA, V. . Conversor Story2CSharp. 2012.

PORTO, F. R. ; DURELLI, R. S. ; FALVO JUNIOR, V. ; PEREIRA, V. ; SANTOS, A. C. C. ; DEGROSSI, L. C. ; SOUZA, F. C. M. ; SILVA, J. D. P. . JTUF - Java Teste de Unidade Funcional. 2012.

PEREIRA, V. . Introdução a linguagem Ruby e ao framework Rails. 2014. (Curso de curta duração ministrado/Especialização).

PEREIRA, V. . Desenvolvimento Guiado por Comportamento. 2014. (Curso de curta duração ministrado/Especialização).

PEREIRA, V. . Desenvolvimento Ágil com Ruby e Rails. 2010. (Curso de curta duração ministrado/Outra).

PEREIRA, V. . Desenvolvimento Orientado por Testes (TDD). 2010. (Curso de curta duração ministrado/Outra).

PEREIRA, V. . Desenvolvimento Orientado por Comportamento (BDD). 2010. (Curso de curta duração ministrado/Outra).

PEREIRA, V. . 2nd International Conference on Software Engineering and Computer Science. 2011 (Revisor de Artigos) .

Histórico profissional

Endereço profissional

Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação. , Avenida Trabalhador Sancarlense, 400, Parque Arnold Schimidt, 13566590 - São Carlos, SP - Brasil, Telefone: (16) 33739700, URL da Homepage:

Experiência profissional

2013 - 2014

Politecnico Di Milano

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Doutorado Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Bolsista pelo programa Ciência sem Fronteiras (processo número 245715/2012-6).

2014 - 2016

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

2013 - 2013

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

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

Outras informações:
Bolsa de doutorado fornecida pela Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES).

2012 - 2013

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista, Enquadramento Funcional: Bolsista DTI-2 (Des. Tecnológica Industrial), Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Bolsista DTI-nível 2 (Desenvolvimento Tecnológica Industrial) do projeto intitulado "Apoio à sistematização e automatização da atividade de teste de software" (Processo número: 382029/2012-7)

2010 - 2012

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de projeto, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Bolsista através do processo 131074/2010-5, referente ao projeto "Reuso de Software em Groupware Ubíquo na Web 2.0" (Processo número 554982/2009-9).

2009 - 2009

São Carlos Indústria e Comércio de Componentes Eletrônicos

Vínculo: CLT, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

2007 - 2009

Contern - Construções e Comércio

Vínculo: CLT, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44