Leopoldo Motta Teixeira

2022 - 2023

Pós-Doutorado. , Universität des Saarlandes, UniSAARLANDES, Alemanha. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

Inglês

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

Espanhol

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

Português

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

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: 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: Lógicas e Semântica de Programas.

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.

D'AMORIM, Marcelo ; TEIXEIRA, Leopoldo ; MIRANDA, Breno . Conference and Local Organization Chair in The ACM International Conference on the Foundations of Software Engineering (FSE 2024). 2024. (Congresso).

TEIXEIRA, Leopoldo ; VERGILIO, Silvia . Coordenador do Comitê de Programa da Trilha de Novas Ideias e Resultados Emergentes do Simpósio Brasileiro de Engenharia de Software. 2024. (Congresso).

KEHRER, Timo ; TEIXEIRA, Leopoldo ; HUCHARD, Marianne . Program chair do 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024). 2024. (Congresso).

TEIXEIRA, Leopoldo ; VERGILIO, Silvia . Coordenador do Comitê de Programa da Trilha de Ferramentas do Simpósio Brasileiro de Engenharia de Software. 2023. (Congresso).

TEIXEIRA, Leopoldo . Chair da sessão de Demonstrações e Ferramentas da 23rd International Systems and Software Product Line Conference. 2019. (Congresso).

TEIXEIRA, Leopoldo . Program Chair do XIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2019. (Congresso).

TEIXEIRA, Leopoldo . Chair da 3a Escola de Informática Teórica e Métodos Formais (ETMF 2018). 2018. (Outro).

TEIXEIRA, Leopoldo ; MASSONI, Tiago . Chair da 2a Escola de Informática Teórica e Métodos Formais (ETMF 2017). 2017. (Outro).

TEIXEIRA, Leopoldo . Proceedings Chair do Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2017). 2017. (Outro).

TEIXEIRA, Leopoldo . Publicity Chair da International Systems and Software Product Line Conference (2016). 2016. (Congresso).

TEIXEIRA, Leopoldo ; SEIDL, Christoph . Chair do 7th International Workshop on Feature-Oriented Software Development (FOSD 2016). 2016. (Outro).

SOARES, Sérgio ; TEIXEIRA, Leopoldo . XXXV Congresso da Sociedade Brasileira de Computação (CSBC 2015). 2015. (Congresso).

DANTAS, Francisco ; REBELO, Henrique ; TEIXEIRA, Leopoldo ; CAFEO, Bruno ; ANDRADE, Rodrigo . 11th Workshop on Software Modularity (WMod?14). 2014. (Congresso).

BORBA, Paulo ; SOARES, Sérgio ; GARCIA, Alessandro ; TEIXEIRA, Leopoldo . 10th International Conference on Aspect-Oriented Software Development (AOSD 2011). 2011. (Congresso).

TEIXEIRA, Leopoldo . V Seminário de Engenharia da Computação. 2006. (Congresso).

TEIXEIRA, Leopoldo . IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Congresso).

TEIXEIRA, Leopoldo . IV Seminário de Engenharia da Computação. 2005. (Congresso).

TEIXEIRA, Leopoldo . III Seminário de Engenharia da Computação. 2004. (Congresso).

Escola Regional de Engenharia de Software (ERES 2024).De Produtos a Linhas de Produtos: Um Panorama de Teorias Formais para Análise e Evolução de Linhas de Produtos. 2024. (Encontro).

IEEE/ACM International Conference on Automated Software Engineering. Blackbox Observability of Features and Feature Interactions. 2024. (Congresso).

XLIV Congresso da Sociedade Brasileira de Computação (CSBC 2024). 2024. (Congresso).

XV Congresso Brasileiro de Software: Teorie e Prática (CBSoft 2023). Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns. 2024. (Congresso).

ESEC/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.Avaliador da Student Research Competition. 2023. (Simpósio).

XIV Congresso Brasileiro de Software: Teorie e Prática (CBSoft 2023). Coordenador do comitê de programa da Trilha de Ferramentas do SBES. 2023. (Congresso).

XLIII Congresso da Sociedade Brasileira de Computação (CSBC 2023). 2023. (Congresso).

5th International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2022).From Products to Product Lines, From Revisions to Evolution-aware Techniques: A Brief Overview of Formal Theories for Product Line Analysis and Evolution. 2022. (Oficina).

XIII Congresso Brasileiro de Software: Teorie e Prática (CBSoft 2022). A Technique to Test Refactoring Detection Tools | A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly. 2022. (Congresso).

XXV Brazilian Symposium on Formal Methods (SBMF 2022). 2022. (Simpósio).

IEEE International Conference on Software Testing, Verification and Validation. Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. 2021. (Congresso).

International Conference on Software Engineering. Shipwright: A Human-in-the-Loop System for Dockerfile Repair. 2021. (Congresso).

XII Congresso Brasileiro de Software: Teorie e Prática (CBSoft 2021). TSDolly: A program generator for TypeScript | Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution. 2021. (Congresso).

XXIV Brazilian Symposium on Formal Methods (SBMF 2021). 2021. (Simpósio).

Brazilian Symposium on Formal Methods.An Introduction to Theorem Proving. 2020. (Simpósio).

Brazilian Symposium on Formal Methods.Safe Evolution of Product Lines Using Configuration Knowledge Laws. 2020. (Simpósio).

Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020). 2020. (Congresso).

IEEE International Conference on Software Maintenance and Evolution. Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. 2020. (Congresso).

International Conference on Mobile Software Engineering and Systems. 2020. (Congresso).

International Conference on Software Engineering. 2020. (Congresso).

International Software Product Line Conference. 2020. (Congresso).

SIGPLAN Conference on Programming Language Design and Implementation. 2020. (Congresso).

Working Conference on Mining Software Repositories. 2020. (Congresso).

Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2019). 2019. (Congresso).

Dagstuhl Seminar 19191: Software Evolution in Time and Space: Unifying Version and Variability Management. 2019. (Seminário).

Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2018). 2018. (Congresso).

Simpósio Brasileiro de Métodos Formais. 2018. (Simpósio).

DeepSpec Summer School. 2017. (Outra).

Simpósio Brasileiro de Métodos Formais. 2017. (Simpósio).

ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH). 2016. (Congresso).

International Conference on Generative Programming: Concepts & Experiences (GPCE'2016). A Change-Centric Approach to Compile Configurable Systems. 2016. (Congresso).

37th International Conference on Software Engineering (ICSE). 2015. (Congresso).

Feature-oriented Software Development Meeting (FOSD).A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. 2015. (Encontro).

Sexto Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2015). 2015. (Congresso).

The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering. A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. 2015. (Congresso).

Quinto Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2014). 2014. (Congresso).

Dagstuhl Seminar 13091.Analysis, Test and Verification in The Presence of Variability. 2013. (Seminário).

International Summer School Marktoberdorf. 2012. (Outra).

10th International Conference on Aspect-Oriented Software Development (AOSD 2011). 2011. (Congresso).

Segundo Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). Safe Composition of Configuration Knowledge-based Software Product Lines. 2011. (Congresso).

Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010). Mini-curso: Defining and Implementing Domain-Specific Languages. 2010. (Congresso).

III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009).Hephaestus: A Tool for Managing SPL Variabilities. 2009. (Simpósio).

2nd RiSE Summer School on Software Product Lines. 2008. (Outra).

III Workshop para Introdução de Reuso em Empresas (WIRE 2008). 2008. (Outra).

XI Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software (IDEAS). 2008. (Congresso).

1st Rise Summer School on Software Reuse. 2007. (Congresso).

IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Simpósio).

TEIXEIRA, Leopoldo; AQUINO, Gibeon; LOPES, Frederico; CACHO, Nelio. Geotrack: An End-to-end framework to support Moving Objects. 2024. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

SANTOS NETO, Baldoino; MIRANDA, Breno;TEIXEIRA, Leopoldo. Uma Ferramenta para Detecção Estática de Vazamentos de Recursos em Aplicações Android. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; PRADEL, Michael;D'AMORIM, Marcelo. Learning to Detect Text-Code Inconsistencies with Weak and Manual Supervision. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

MIRANDA, Breno; SANTOS NETO, Baldoino;TEIXEIRA, Leopoldo. Uma Ferramenta para Detecção Estática de Vazamentos de Recursos em Aplicações Android. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; OLIVEIRA, Marcelo C.; SANTOS NETO, Baldoino. Compreendendo Código Nocivo por meio de Transfer Learning. 2023. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

TEIXEIRA, Leopoldo; OLIVEIRA, Marcelo C.; SANTOS NETO, Baldoino. Evaluating the Resilience of Cloud NLP Services across Amazon, Microsoft, and Google. 2023. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

TEIXEIRA, Leopoldo; SOUZA, Rodrigo; MACIEL, Rita Suzana; MACHADO, Ivan. Uma investigação empírica sobre a ocorrência de test smells em Python. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

TEIXEIRA, LeopoldoALVES, VanderBONIFACIO, Rodrigo. RVSec: On the feasibility of applying Runtime Verification for detecting cryptography API Misuse. 2022. Dissertação (Mestrado em Informática) - Universidade de Brasília.

TEIXEIRA, Leopoldo; RIBEIRO, Márcio;D'AMORIM, Marcelo. Usando Ruído para Detectar Test Flakiness. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoRIBEIRO, MárcioGHEYI, Rohit. Comparing the Refactoring Mechanics of Refactoring Detection Tools and IDEs. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

CANEDO, Edna; SILVA, Carla;TEIXEIRA, Leopoldo. eSuporte: Uma Proposta de Melhoria do Sistema de Chamados Focado no Usuário no Âmbito de Uma Instituição Federal de Educação. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoRIBEIRO, Márcio; SANTOS NETO, Baldoino. Understanding and Classifying Code Harmfulness. 2020. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

GHEYI, Rohit; CARVALHO, Gustavo;TEIXEIRA, Leopoldo. Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

CHAVEZ, Christina; BITTENCOURT, Roberto;TEIXEIRA, Leopoldo. Willow: A Tool for Interactive Data Structures and Algorithms Visualization. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SARAIVA, Juliana; FONSECA, Liliane;TEIXEIRA, Leopoldo. Estratégias de Teste para Aplicações de Cidades Inteligentes: Um Estudo de Mapeamento Sistemático. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoMASSONI, TiagoSOARES, GustavoGHEYI, Rohit. An Approach to Rank Program Transformations Based on Machine Learning. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

TEIXEIRA, Leopoldo; FREITAS, M. A. L.; SANTOS, Aldemar. Impactos dos Softwares Business Intelligence no Índice de Transparência das Capitais Brasileiras. 2019. Dissertação (Mestrado em Ciências Contábeis) - Universidade Federal de Pernambuco.

SANTOS NETO, Baldoino; GAMA, Kiev;TEIXEIRA, Leopoldo. Uma análise sobre os desafios e impactos arquiteturais da introdução de gamificação em um sistema de software: O estudo de caso VazaZika. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

VALENTE, Marco Tulio;TEIXEIRA, LeopoldoBORBA, PauloSOARES, Sérgio. Semistructured Merge in JavaScript Systems. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

RIBEIRO, MárcioBORBA, PauloTEIXEIRA, Leopoldo. Characterizing Safe and Partially Safe Evolution Scenarios in Product Lines: An Empirical Study. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoMONGIOVI, Melina; ANDRADE, Wilkerson; ALVES, E. L. G.. Refactoring and What Else? An Exploratory Study on Floss Refactoring. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

TEIXEIRA, Leopoldo; SOUZA, Rodrigo; ALMEIDA, Eduardo. The Lehman's Laws in Highly-Configurable Systems: An Empirical Study on the Linux Kernel Variable Features. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

PINTO, Gustavo;CASTOR, FernandoTEIXEIRA, Leopoldo. An Empirical Study on the Usage of the Kotlin Programming Language for Android Development. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

GAMA, Kiev; BUREGIO, Vanilson;TEIXEIRA, Leopoldo. Avaliação de conformidade de sites governamentais à cartilha de codificação dos Padrões Web em Governo Eletrônico - e-PWG. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; NASCIMENTO, Leandro; GARCIA, Vinicius. Uma Abordagem Gradativa de Modernização de Software Monolítico e em Camadas para Serviços. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; ANDRADE, Wilkerson;SAMPAIO, Augusto. Test Automation from Natural Language with Reusable Capture & Replay and Consistency Analysis. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; CYSNEIROS, Gilberto; REBELO, Henrique. Aplicando Design by Contract em web services RESTful. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; CYSNEIROS, Gilberto; REBELO, Henrique. Uma Extensão do Diagrama de Classe em Aspect-Oriented Design Model (AODM) para modelagem de Design by Contract. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; CORDEIRO, Lucas;D'AMORIM, Marcelo. Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

GHEYI, RohitTEIXEIRA, LeopoldoRIBEIRO, Márcio. Uma Técnica para Compilar Sistemas Configuráveis com #ifdefs baseada no Impacto da Mudança. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

GHEYI, RohitMOTA, AlexandreTEIXEIRA, Leopoldo. Program Synthesis From Denotational Semantics. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

PAES, Rodrigo;TEIXEIRA, LeopoldoRIBEIRO, Márcio; DIAS, Leandro. PRIDE: Uma Ferramenta de Detecção de Similaridade em Código-fonte. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

KULESZA, UiráTEIXEIRA, LeopoldoARANHA, Eduardo; LIMA, Gleydson. Avaliação Sistemática de uma Abordagem para Integração de Funcionalidades em Sistemas Web Clonados. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

TEIXEIRA, Leopoldo; MARCZAK, Sabrina; SARAIVA, Juliana. Investigando o Uso e Aplicação de Métricas de Manutenibilidade em Empresas de Software Brasileiras. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

CASTOR, FernandoTEIXEIRA, Leopoldo; CACHO, Nelio. Bidimensional Exception Interfaces. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; FERRAZ, Carlos; SANTOS, Rodrigo; SILVA, Filipe Santana; PRIKLADNICKI, Rafael; WIESE, Igor. Interoperabilidade: uma teoria fundamentada em dados. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

WOLTRAN, Stefan; BIFFL, Stefan; FELDERER, Michael;TEIXEIRA, Leopoldo; ASSUNCAO, Wesley K. G.. Efficient Reuse and Variability Management for Cyber-Physical Production System Families. 2024. Tese (Doutorado em Informatics) - Vienna University of Technology.

VALENTE, Marco Tulio; MADEIRAL, Fernanda; PINTO, Gustavo;TEIXEIRA, LeopoldoBORBA, Paulo. Unveiling the Usability of Reactive Programming APIs: Findings, Tools, and Recommendations. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

FERRARI, Fabiano;GHEYI, Rohit; MIRANDA, Breno;TEIXEIRA, LeopoldoBORBA, Paulo. A Multimethod Study of Test Smells: Cataloging, Awareness, and Refactoring. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; MACHADO, Ivan;SOUTO, SabrinaMONGIOVI, Melina; ANDRADE, Wilkerson. Uma Investigação sobre Test Smells em códigos de testes Javascript. 2023. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

BONIFACIO, Rodrigo; MAIA, Marcelo; REBELO, Henrique;TEIXEIRA, LeopoldoSOARES, Sérgio. Understanding Code Understandability. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; PINTO, Gustavo; SOUZA, Rodrigo; SANTANNA, Claudio; ALMEIDA, Eduardo. An Automated Software Transplantation Approach For Reengineering Of Systems Into Product Lines. 2023. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia.

DELAMARO, Marcio;MASSONI, Tiago; MIRANDA, Breno;TEIXEIRA, Leopoldo; IYODA, Juliano. A Formal Approach to Test Automation based on Requirements, Domain Model, and Test Cases written in Natural Language. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CRUZ, Luis; PEREIRA, Rui; PEREIRA, Fernando M. Q.; GAMA, Kiev;TEIXEIRA, Leopoldo. Leveraging Design Diversity to Build Energy-Efficient Applications. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

SILVA, Alberto; CANEDO, Edna; CYSNEIROS, Gilberto;TEIXEIRA, Leopoldo; CASTRO, Jaelson. A Privacy Requirements Specification Method for Agile Software Development based on Exploratory Studies. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CARTAXO, Bruno;ARANHA, EduardoTEIXEIRA, Leopoldo; IYODA, Juliano;SANTOS, André. PRIORITTVS: Um processo que se destina a apoiar os pesquisadores a Priorizar Ameaças à Validade e suas ações de Mitigação ao Planejar Experimentos da Área de Engenharia de Software. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

GHEYI, Rohit; FERRARI, Fabiano;D'AMORIM, MarceloTEIXEIRA, LeopoldoBORBA, Paulo. Tackling the Useless Mutants Problem. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoGARCIA, Alessandro; ALVES, E. L. G.;MASSONI, Tiago. A Technique to Test APIs Specified in Natural Language. 2020. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

KULESZA, Uirá; BRUNET, João; BARROS, Flávia;TEIXEIRA, LeopoldoBORBA, Paulo. Understanding Confusion in Code Reviews. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

WASSERMANN, Renata; LINO, Natasha C. Q.; OLIVEIRA, José Maria Parente; OLIVEIRA, Anjolina Grisi;TEIXEIRA, Leopoldo. Uma Abordagem de Modularização de Ontologias Baseada na Satisfação Lógica de Questões de Competência. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

SONG, Siang Wun; CARVALHO JUNIOR, F. H.; VAZ, Fabiano;TEIXEIRA, LeopoldoSANTOS, André. Gerenciamento Dinâmico de Memória Baseado em Regiões com Contagem de Refereências Cíclicas. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

ARANHA, Eduardo; CARTAXO, Bruno; FRANCA, Alberto Cesar;TEIXEIRA, LeopoldoSANTOS, André. Guidelines for Maintaining Systematic Literature Reviews in Software Engineering. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

APEL, Sven; MURTA, Leonardo; MIRANDA, Breno;TEIXEIRA, LeopoldoD'AMORIM, Marcelo. Should We Replace Our Merge Tools?. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

SARMA, Anita; MURTA, Leonardo;MASSONI, TiagoTEIXEIRA, Leopoldo; GARCIA, Vinicius. Understanding Collaboration Conflicts Charactheristics. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

MELO, A. C. V.;GHEYI, RohitTEIXEIRA, Leopoldo; IYODA, Juliano; CORNELIO, M.. Validating Transformations of Programs using the Alloy Analyzer. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

KULESZA, Uirá; ARAUJO, João; ALENCAR, Fernanda;TEIXEIRA, Leopoldo; CASTRO, Jaelson. Contextual Goal Models for Dynamic Software Product Lines. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

BORBA, PauloMOTA, Alexandre; OLIVEIRA, Marcel; SANTIAGO, Valdivino;TEIXEIRA, Leopoldo. Formalisation of SysML Design Models and an Analysis Strategy using Refinement. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

GHEYI, RohitBORBA, PauloTEIXEIRA, LeopoldoRIBEIRO, MárcioMASSONI, Tiago. Scaling Testing of Refactoring Engines. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

MASSONI, Tiago; MIRANDA, Breno;TEIXEIRA, Leopoldo. Consistent Test Automation from Natural Language in an Industrial Context. 2020. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

MACHADO, Ivan;TEIXEIRA, LeopoldoSOUTO, SabrinaMONGIOVI, Melina. Uma Investigação sobre Test Smells em Códigos de Teste Javascript. 2020. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

FERNANDES, João Paulo; PEREIRA, Fernando M. Q.;TEIXEIRA, Leopoldo. Leveraging Design Diversity to Build Energy-Efficient Mobile Applications. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

GARCIA, AlessandroTEIXEIRA, LeopoldoMONGIOVI, MelinaSOARES, GustavoMASSONI, Tiago. Uma Abordagem para Detectar Bad Smells na API de Reflexão de Java. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

GHEYI, RohitD'AMORIM, MarceloTEIXEIRA, LeopoldoBORBA, Paulo. Avoiding Useless Mutants. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; ALENCAR, Fernanda; ARAUJO, João. Modelling, Configuring, and Evolving Requirements of Dynamic Software Product Lines. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

CARVALHO JUNIOR, F. H.; LIMA, Ricardo Massa;TEIXEIRA, Leopoldo. Tradução em Alto Nível de Objetos Java para Processos em Erlang. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

BRUNET, João;TEIXEIRA, LeopoldoBORBA, Paulo. Using Task Context to Assist Code Review. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

BORBA, PauloMASSONI, TiagoRIBEIRO, MárcioGHEYI, RohitTEIXEIRA, Leopoldo. Scaling Testing of Refactoring Engines. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

TEIXEIRA, Leopoldo; PEREIRA, Leydiana; JERONIMO, Taciana. Qualidade do serviço do sistema integrado de gestão acadêmica: um estudo de caso em programas de pós graduação stricto sensu da Universidade Federal de Pernambuco. 2024. Exame de qualificação (Mestrando em Gestão Pública para o Desenvolvimento do Nordeste (MGP)) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; RODRIGUES, Genaína;ALVES, Vander. Análise de Evolução de Linhas de Produtos de Software. 2023. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade de Brasília.

TEIXEIRA, LeopoldoALVES, VanderBONIFACIO, Rodrigo. RVSec: Runtime Verification Methods for High Precision Detection of Cryptography API Misuse. 2022. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

TEIXEIRA, Leopoldo; SOUZA, Rodrigo; MACIEL, Rita Suzana. Investigando Test Smells sob a Perspectiva do Python. 2021. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

CARTAXO, Bruno; BARBOSA, Luciano;TEIXEIRA, Leopoldo. Identificação de Bad Smells no Uso de Frameworks Object-relational Mapping em Java. 2019. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal de Pernambuco.

BUREGIO, Vanilson; CORNELIO, M.;TEIXEIRA, Leopoldo. Uma Linguagem Específica de Domínio para Descrever Regras de Classificação de Candidatos ao Sistema de Cotas da Rede de Ensino Pública Federal. 2019. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; PRUDENCIO, Ricardo. Label identification and suggestion for Change Requests. 2023. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; MIRANDA, Breno. Improving the process of automated testing with games: an initial approach. 2023. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

MIRANDA, Breno;TEIXEIRA, Leopoldo. Script Development For Automating Tests Results Tracking Of AutoSanity Executions Spreadsheet. 2023. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

TENORIO JUNIOR, Ivaldir;TEIXEIRA, Leopoldo. A tool for registering, analyzing and tracking expenses of employees on business trips. 2023. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

REBELO, Henrique; JULIAO, Daniel;TEIXEIRA, Leopoldo. Implantação de Testes Automatizados: Estudo de Caso para Testes Unitários na Emprel. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; REBELO, Henrique. Analise Exploratória de Plataformas Low Code para o Ambiente da Emprel. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; DUQUE, Mariana; REBELO, Henrique. Os desafios da adaptação ao home office durante a pandemia da Covid-19 ? Estudo de caso na Emprel. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

SAMPAIO, Homero;TEIXEIRA, Leopoldo; PERRELLI, Hermano. Custos de software e compartilhamento de soluções de software dentro da Administração Pública Federal: estudo de caso da Emprel. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

JULIAO, Daniel;TEIXEIRA, Leopoldo; REBELO, Henrique. Análise do processo de testes e como inserir melhorias no ambiente da EMPREL. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

PERRELLI, Hermano; SOUZA, Silas;TEIXEIRA, Leopoldo. Estudo comparativo de ferramentas capture and replay no contexto de aplicações web. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

DUQUE, Mariana; PERRELLI, Hermano;TEIXEIRA, Leopoldo. O Analista de Testes e a Disseminação da Cultura de Testes no Ambiente de Desenvolvimento de Software da Emprel. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco.

TENORIO JUNIOR, Ivaldir;TEIXEIRA, Leopoldo. Improving the ADB Screen Record debugging usage in Auto KPI tests. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

TENORIO JUNIOR, Ivaldir;TEIXEIRA, Leopoldo. Smoke Dashboard Metrics to Assess Test Case Urgency. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; TENORIO JUNIOR, Ivaldir. Observatory of software testing projects. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; TENORIO JUNIOR, Ivaldir. Contextualization and Suggestions for Improvement of the Refactoring Process in Motorola Upgrade Tests Team. 2022. Monografia (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; MIRANDA, Breno. Análise quantitativa e qualitativa da adoção de uma priorização baseada em histórico em um contexto industrial. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; GAMA, Kiev. Princípios de usabilidade e acessibilidade como ferramentas de garantia do acesso à informação: um estudo sobre a plataforma gov.br. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

GAMA, Kiev;TEIXEIRA, Leopoldo. WRITEME 2.0: Generalização e validação de uma ferramenta de auxílio à escrita de READMEs baseada em dados abertos. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

MIRANDA, Breno;TEIXEIRA, Leopoldo. Estudo comparativo entre ferramentas de teste em Angular. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoBORBA, Paulo. Comparação entre React Native e Flutter: Uma análise focada em desempenho. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

GAMA, Kiev;TEIXEIRA, Leopoldo. Comparative study of techniques for detecting emulators on Android devices. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

GAMA, Kiev;TEIXEIRA, Leopoldo. Um Estudo do Uso da framework Combine em Projetos de Código Aberto em Swift. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; GARCIA, Vinicius. Análise de soluções de rastreamento open source no contexto de aplicações baseadas em microsserviços. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

MIRANDA, Breno;TEIXEIRA, Leopoldo. Um estudo sobre o uso da ferramenta Shaker para detecção de testes flaky no contexto de Python. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

GAMA, Kiev;TEIXEIRA, Leopoldo. Estudo Comparativo entre Arquiteturas de Aplicativos Android: MVC, MVP, MVVM e MVI. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

MIRANDA, Breno;TEIXEIRA, Leopoldo. Estudo comparativo entre ferramentas de teste para React. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; MIRANDA, Breno. FAST-maven-plugin: Um plugin para a priorização de casos de testes baseada em similaridade. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; REBELO, Henrique. Plataforma para Gerenciamento de Trabalhos de Graduação utilizando o Node.JS. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; VILELA, Jéssyka. Detecção vs Evasão: Uma avaliação do cenário de detecção do root no Android. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

BORBA, PauloTEIXEIRA, Leopoldo. A TypeScript program generator based on Alloy. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; SA, Luiz Soares;BONIFACIO, Rodrigo. On the Design and Implementation of Hephaestus-ng. 2019. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade de Brasília.

TEIXEIRA, Leopoldo; GARCIA, Vinicius. UM ESTUDO DO STACKOVERFLOW SOBRE PERGUNTAS E SOLUÇÕES PARA MIGRAÇÃO DE SISTEMAS MONOLÍTICOS PARA MICROSSERVIÇOS. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

REBELO, Henrique;TEIXEIRA, Leopoldo. Compreensão da Adoção da Linguagem Kotlin em Repositórios Android. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; FERREIRA NETO, W. P.;SOARES, Sérgio. Consentimento Informado Aplicado à Ética na Pesquisa da Engenharia de Software Empírica (ESE). 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; FONSECA, Liliane. Aplicativo Móvel Recife e Seus Contos. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

MIRANDA, Breno;TEIXEIRA, Leopoldo. Análise e detecção do uso de mecanismos da linguagem Kotlin em repositórios open-source. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

MELO, Silvio;TEIXEIRA, Leopoldo. Uma Aplicação para o Auxílio no Tratamento de Incontinência Urinária de Esforço. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

MIRANDA, Breno;TEIXEIRA, Leopoldo. Análise de repositórios de aplicações móveis híbridas com React Native. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

GAMA, Kiev;TEIXEIRA, Leopoldo. Análise do uso de Flutter em repositórios de código aberto. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

IYODA, Juliano;TEIXEIRA, Leopoldo. Análise comparativa de ferramentas para teste de interface gráfica em dispositivos móveis. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

BORBA, PauloTEIXEIRA, Leopoldo. Proposta de framework iOS para implementação de Feature Toggle. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

BORBA, PauloTEIXEIRA, Leopoldo. Classificação Automatizada de Cenários de Evolução de Código em Linhas de Produtos de Software. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

IYODA, Juliano;TEIXEIRA, Leopoldo. AndroidDriller: Uma ferramenta de mineração de repositórios Android. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; GARCIA, Vinicius. Uma biblioteca Multi-Tenant para o framework Flask. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

FERREIRA, Nivan;TEIXEIRA, Leopoldo. Willow: Uma Ferramenta com Conceitos de Programação Interativa para Auxiliar no Ensino de Programação. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

CORNELIO, M.;TEIXEIRA, Leopoldo. Portando teorias entre assistentes de prova: um estudo de caso. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

SANTANA, Célio;TEIXEIRA, Leopoldo. Uma ferramenta para geração automática de documentação de usuário a partir de casos de teste. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

SOARES, SérgioTEIXEIRA, Leopoldo. Estudo sobre a Utilização do Android Jetpack no Desenvolvimento de Aplicativos Android. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

BORBA, PauloTEIXEIRA, Leopoldo. Extração de medida de modularidade em projetos Android para predição de conflitos de merge. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoCASTOR, Fernando. Framework para Processamentos de Eventos Complexos em Kotlin. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

IYODA, Juliano;MOTA, AlexandreTEIXEIRA, Leopoldo. AutoTestCoverage​P: Uma ferramenta para cobertura de testes de integração no contexto Android sem uso de código-fonte. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

IYODA, Juliano;MOTA, AlexandreTEIXEIRA, Leopoldo. AutoTestCoverage​​C​​ : Uma ferramenta para obtenção de cobertura de código para componentes Android sem uso de instrumentação. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

REBELO, Henrique;TEIXEIRA, Leopoldo. Ferramenta voltada para o aprendizado do funcionamento de parsers. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

CORNELIO, M.;TEIXEIRA, Leopoldo. Comprehensive Repository Analysis of Mobile Projects Built with React Native. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoBORBA, Paulo. Relevância Prática de Fatores que Contribuem para Conflito de Merge. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

SIMOES, F.; MELO, Silvio;TEIXEIRA, Leopoldo. Análise de acurácia do Leap Motion Controller para exercícios dos dedos das mãos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; GONCALVES, Paulo. Uma Análise do Custo Computacional de Estimadores do DFSA. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, LeopoldoSOARES, Sérgio. Análise de vulnerabilidades em aplicações Android com o uso de ferramentas de teste de intrusão e a metodologia OWASP. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; GAMA, Kiev. CEPSwift: Complex Event Processing Framework for Swift. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; CORNELIO, M.. Análise das Permissões e Violações de Privacidade em Aplicações para Android. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo; VASCONCELOS, Alexandre. Estudo Sistemático sobre Testes de Usabilidade Realizados em Aplicativos Móveis. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

CASTOR, FernandoTEIXEIRA, Leopoldo. Suporte a Interfaces Bidimensionais para Exceções em Java na Plataforma de Desenvolvimento Eclipse. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

SOUZA, F. F.;TEIXEIRA, Leopoldo. Visualização e Manipulação de Dados em Dispositivos Móveis. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

ALENCAR, Andreza; ALBUQUERQUE, Gabriel;TEIXEIRA, Leopoldo. Análise Comparativa entre Frameworks de Interfaces Ricas para JavaServer Faces. 2014. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco.

TEIXEIRA, LeopoldoRIBEIRO, Márcio; BRITO, Patrick. Uma Ferramenta para Interfaces Emergentes em Linhas de Produto de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

COSTA, Evandro;TEIXEIRA, Leopoldo; LUNA, H. P. L.. Concurso Público para Professor Adjunto no IC/UFAL. 2016. Universidade Federal de Alagoas.

TEIXEIRA, Leopoldo. Membro do comitê de programa da ACM/IEEE International Conference on Automation of Software Test (AST 2021). 2021. University of Seville.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2021). 2021. IMC University of Applied Sciences Krems.

TEIXEIRA, Leopoldo. Membro do comitê de programa da trilha de ferramentas da IEEE International Conference on Software Testing, Verification and Validation (ICST 2021). 2021. Universidade de São Paulo.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Systems and Software Product Line Conference (SPLC 2021). 2021. University of Leicester.

TEIXEIRA, Leopoldo. Membro do comitê de programa do simpósio de doutorado da International Systems and Software Product Line Conference (SPLC 2021). 2021. University of Leicester.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Formal Methods (SBMF 2021). 2021. Universidade Federal de Campina Grande.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Conference on Generative Programming: Concepts & Experiences (GPCE). 2021. Virginia Tech.

TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2021). 2021. University of Leicester.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2021). 2021. Universidade do Estado de Santa Catarina.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2021). 2021. Universidade do Estado de Santa Catarina.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2020). 2020. Universidade Federal do Rio Grande do Norte.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2020). 2020. Universidade Federal do Rio Grande do Norte.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Formal Methods (SBMF 2020). 2020. Universidade Federal de Ouro Preto.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Systems and Software Product Line Conference (SPLC 2020). 2020. École de Technologie Supérieure de Montréal.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2020). 2020. Otto-von-Guericke-Universität Magdeburg.

TEIXEIRA, Leopoldo. Membro do comitê de avaliação de artefatos da ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020). 2020. University of Texas at Austin.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Systems and Software Product Line Conference (SPLC 2019). 2019. Université Paris 1 Pantheon-Sorbonne.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2019). 2019. Universidade Federal da Bahia.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2019). 2019. Universidade Federal da Bahia.

TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2019). 2019. Katholieke Universiteit Leuven.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Simpósio Latino-americano em Engenharia de Software (SLISW 2019). 2019. Universidad Tecnológica de Panamá.

TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2019). 2019. Université Paris 1 Pantheon-Sorbonne.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Formal Methods (SBMF 2019). 2019. Universidade de São Paulo.

TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018). 2018. Universidad Rey Juan Carlos.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2018). 2018. Universidade de São Paulo.

TEIXEIRA, Leopoldo. Membro do comitê de programa da International Systems and Software Product Line Conference (SPLC 2018). 2018. Chalmers University of Technology.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2018). 2018. Universidade de São Paulo.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2018). 2018. Universidade de São Paulo.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Simpósio Latino-americano em Engenharia de Software (SLISW 2018). 2018. Universidade Presbiteriana Mackenzie.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2017). 2017. Universidade Federal do Ceará.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2017). 2017. Universidade Federal do Ceará.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Workshop de Teses e Dissertações do CBSoft (WTDSoft 2017). 2017. Universidade Federal do Ceará.

TEIXEIRA, Leopoldo. Membro do comitê de programa do track Software Product Lines and Software Ecosystems (SPLSeco @ SEAA 2017). 2017. Universität Wien.

TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE'2016). 2016. Technische Universität Braunschweig.

TEIXEIRA, Leopoldo. Membro do comitê de avaliação de artefatos da European Conference on Object-Oriented Programming (ECOOP'2016 AEC). 2016. Università degli Studi di Roma La Sapienza.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2016). 2016. Universidade Tecnológica Federal do Paraná.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2016). 2016. Universidade Tecnológica Federal do Paraná.

TEIXEIRA, Leopoldo. Membro do comitê de programa da Intel® Embedded Systems Competition 2016. 2016. Universidade Federal de Santa Catarina.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2016). 2016. Universidade Tecnológica Federal do Paraná.

TEIXEIRA, Leopoldo; SEIDL, Christoph. Coordenador do Comitê de Programa do 7th International Workshop on Feature-Oriented Software Development (FOSD 2016). 2016. Associacion for Computing Machinery.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2015). 2015. Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Formal Methods (SBMF 2015). 2015. Universidade Federal de Pernambuco.

TEIXEIRA, Leopoldo. Membro do comitê de programa da Latin-American School on Software Engineering (ELA-ES). 2015. Universidade Federal do Rio Grande do Sul.

TEIXEIRA, Leopoldo. Revisor de Artigo, 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015). 2015. Knowledge Systems Institute.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). 2014. Universidade Federal Rural de Pernambuco.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Latin American Workshop on Aspect-Oriented Software Development. 2013.

TEIXEIRA, Leopoldo. Revisor de Artigo, 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2013.

TEIXEIRA, Leopoldo. Revisor de Artigo, 12th International Conference on Generative Programming: Concepts & Experiences (GPCE'13). 2013.

TEIXEIRA, Leopoldo. Revisor de Artigo, 16th International Software Product Line Conference (SPLC 2012). 2012.

TEIXEIRA, Leopoldo. Revisor de Artigo, 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012). 2012.

TEIXEIRA, Leopoldo. Revisor de Artigo, 5th International Conference on Software Language Engineering (SLE 2012). 2012.

TEIXEIRA, Leopoldo. Membro do comitê de programa do Latin American Workshop on Aspect-Oriented Software Development.. 2012.

TEIXEIRA, Leopoldo. Revisor de Artigo, XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011). 2011.

TEIXEIRA, Leopoldo. Revisor de Artigo, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 2011.

TEIXEIRA, Leopoldo. Revisor de Artigo, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011). 2011.

TEIXEIRA, Leopoldo. Revisor de Artigo, XXXV Conferencia Latinoamericana de Informática (XXXV CLEI). 2009.

TEIXEIRA, Leopoldo. Revisor de Artigo, 2nd International Conference on Software Language Engineering (SLE 2009). 2009.

Combinando Leis de Programação e JML para ampliar a confiabilidade de refatorações; Início: 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

Análise e testes de sistemas com variabilidade no tempo e espaço; Início: 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Not all those who smell are harmful: improving understanding of code and test smells; Início: 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

On the use of learning techniques for improving refactoring recommendation; Início: 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

On applying software engineering techniques in the context of industrial embedded systems; Início: 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

A comprehensive theory of evolution for software product lines; Início: 2019; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

Evolution-Aware Static Analysis of Software Product Lines; 2024; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Coorientador: Leopoldo Motta Teixeira;

Uma Ferramenta para Detecção Estática de Vazamentos de Recursos em Aplicações Android; 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

eSuporte: Uma Proposta de Melhoria do Sistema de Chamados Focado no Usuário no Âmbito de Uma Instituição Federal de Educação; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Willow: A Tool for Interactive Data Structures and Algorithms Visualization; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Leopoldo Motta Teixeira;

CodeSmells no Contexto de Mapeamento Objeto-Relacional em Projetos Java: Um Catálogo e uma Ferramenta de Detecção; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

Uma Linguagem Específica de Domínio para Descrever Regras de Classificação de Candidatos ao Sistema de Cotas da Rede de Ensino Pública Federal; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

Characterizing Safe and Partially Safe Evolution Scenarios in Product Lines: An Empirical Study; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Estratégias de Teste para Aplicações de Cidades Inteligentes: Um Estudo de Mapeamento Sistemático; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

Uma análise sobre os desafios e impactos arquiteturais da introdução de gamificação em um sistema de software: O estudo de caso VazaZika; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

An Empirical Study on the Usage of the Kotlin Programming Language for Android Development; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

Avaliação de conformidade de sites governamentais à cartilha de codificação dos Padrões Web em Governo Eletrônico - e-PWG; 2018; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Leopoldo Motta Teixeira;

Partially safe evolution of software product lines; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Leopoldo Motta Teixeira;

Evolução Segura de Linhas de Produtos de Software: Cenários de Extração de Features; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Leopoldo Motta Teixeira;

Estratégias Comutativas para Análise de Confiabilidade em Linhas de Produtos de Software; 2016; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Coorientador: Leopoldo Motta Teixeira;

Distributed Repository for Software Packages Using Blockchain; 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Leopoldo Motta Teixeira;

A Machine-Verified Theory of Commuting Strategies for Product-Line Reliability Analysis; 2019; Tese (Doutorado em Informática) - Universidade de Brasília, ; Coorientador: Leopoldo Motta Teixeira;

A tool for registering, analyzing and tracking expenses of employees on business trips; 2023; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Script Development For Automating Tests Results Tracking Of AutoSanity Executions Spreadsheet; 2023; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Implantação de Testes Automatizados: Estudo de Caso para Testes Unitários na Emprel; 2022; Monografia; (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Análise do processo de testes e como inserir melhorias no ambiente da EMPREL; ; 2022; Monografia; (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Estudo comparativo de ferramentas capture and replay no contexto de aplicações web; 2022; Monografia; (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

O Analista de Testes e a Disseminação da Cultura de Testes no Ambiente de Desenvolvimento de Software da Emprel; 2022; Monografia; (Aperfeiçoamento/Especialização em Residência em Desenvolvimento de Software CIn/EMPREL) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Smoke Dashboard Metrics to Assess Test Case Urgency; 2022; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Improving the ADB Screen Record debugging usage in Auto KPI tests; 2022; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Extracting features from Motorola devices; 2021; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Automatic Mapping of RPDAX Features; 2021; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

MEMORY_HAUNTED: A Test Suite for Detecting Memory Leaks in Android Apps; 2021; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Automated Tool for Supporting UI Validation Task; 2020; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Automatic test case selection for regression test plans; 2020; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Automating the product checklist process; 2020; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

ARAS API - A solution to answer REST requests and communicate with the ARAS database; 2020; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Aras Mobile: A solution to optimize the self-inventory process; 2020; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

An automated approach to Google Acceptance team framework; 2019; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Automated tests for detecting text bound issues; 2018; Monografia; (Aperfeiçoamento/Especialização em Residência em Software) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Generalização e validação de uma ferramenta de auxílio à escrita de READMEs baseada em dados abertos; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Estudo comparativo entre ferramentas de teste em Angular; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Um estudo sobre o uso da ferramenta Shaker para detecção de testes flaky no contexto de Python; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Comparative study of techniques for detecting emulators on Android devices; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Estudo comparativo entre ferramentas de teste para React; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

A TypeScript program generator based on Alloy; 2020; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Compreensão da Adoção da Linguagem Kotlin em Repositórios Android; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Classificação Automatizada de Cenários de Evolução de Código em Linhas de Produtos de Software; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Proposta de framework iOS para implementação de Feature Toggle; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Análise comparativa de ferramentas para teste de interface gráfica em dispositivos móveis; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Análise do uso de Flutter em repositórios de código aberto; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Análise de repositórios de aplicações móveis híbridas com React Native; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Uma Aplicação para o Auxílio no Tratamento de Incontinência Urinária de Esforço; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Análise e detecção do uso de mecanismos da linguagem Kotlin em repositórios open-source; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

AndroidDriller: Uma ferramenta de mineração de repositórios Android; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Uma ferramenta para geração automática de documentação de usuário a partir de casos de teste; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Willow: Uma Ferramenta com Conceitos de Programação Interativa para Auxiliar no Ensino de Programação; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Portando teorias entre assistentes de prova: um estudo de caso; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Estudo sobre a Utilização do Android Jetpack no Desenvolvimento de Aplicativos Android; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Extração de medida de modularidade em projetos Android para predição de conflitos de merge; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Ferramenta voltada para o aprendizado do funcionamento de parsers; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Comprehensive Repository Analysis of Mobile Projects Built with React Native; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

IncR: Ferramenta de Detecção Incremental de Comunicação entre Componentes Android; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Uma análise do uso de mapas open source em aplicações Android; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Uma ferramenta de refactoring para disciplinar anotações em linhas de produto de software; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Uma ferramenta leve de análise para descoberta estática de comunicações entre componentes de aplicações Android; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Definição e Especificação de uma DSL para implementação de variações em uma linha de produtos de software; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Centro de Informática; Orientador: Leopoldo Motta Teixeira;

Suporte ferramental à evolução de linhas de produtos de software; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Usando Live Programming para o Ensino de Algoritmos e Estruturas de Dados; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Engenharia de software - SUATI; 2017; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Quality and Assurance Tests @ Epitrack - eHealth for better health; 2016; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

SABER Tecnologias Educacionais e Sociais; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Monitoria da Disciplina IF688 - Compiladores; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

Monitoria da disciplina IF969 - Algoritmos e Estruturas de Dados; 2016; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Pernambuco; Orientador: Leopoldo Motta Teixeira;

BITTNER, Paul M. ; SCHULTHEISS, Alexander ; MOOSHERR, Benjamin ; YOUNG, Jeffrey ; TEIXEIRA, Leopoldo ; WALKINGSHAW, Eric ; ATAEI, Parisa ; THUM, Thomas . Vatras - Artifact for the Paper 'On the Expressive Power of Languages for Static Variability'. 2024.

LOLI, Samuel ; TEIXEIRA, Leopoldo . Ferramenta para deteção de bad smells em projetos Java-ORM. 2020.

TEIXEIRA, Leopoldo . Ligo. 2007.

TEIXEIRA, Leopoldo . Defining and Implementing Domain-Specific Languages. 2010. (Curso de curta duração ministrado/Outra).

BORBA, Paulo ; TEIXEIRA, Leopoldo ; RIBEIRO, Márcio . Defining and Implementing Domain-Specific Languages. 2010. (Curso de curta duração).

2024

Distinguished Reviewer Award, 28th ACM International Systems and Software Product Line Conference (SPLC 2024).

2024

Distinguished Artifact Award - On the Expressive Power of Languages for Static Variability, ACM Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2024).

2022

Palestrante convidado do 5th International Workshop on Variability and Evolution of Software-Intensive Systems, TU Graz, Áustria.

2022

Paraninfo da turma 2022.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2021

Paraninfo da turma 2021.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2021

Paraninfo da turma 2021.2 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2020

Best Reviewer Award, 24th International Systems and Software Product Line Conference.

2020

Contemplado com uma bolsa de pesquisador experiente na 17ª chamada do Programa de Bolsas para Pesquisa CAPES/HUMBOLDT, CAPES e Fundação Alexander von Humboldt.

2020

Professor Homenageado da turma 2020.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2020

Patrono da turma 2020.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2020

Paraninfo da turma 2020.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2020

Professor Homenageado da turma 2020.2 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2020

Paraninfo da turma 2020.2 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2019

Professor Homenageado da turma 2019.2 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2019

Professor Homenageado da turma 2019.2 de Sistemas da Informação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2018

Patrono da turma 2018.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2018

Distinguished Reviewer Award, 22nd International Systems and Software Product Line Conference.

2018

Distinguished PC Member Award, XII Simpósio Brasileiro de Componentes de Software, Arquiteturas e Reutilização (SBCARS).

2018

Paraninfo da turma 2018.2 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.

2015

Professor homenageado da Turma 15 da Residência em Software CIn/UFPE - Motorola, CIn/UFPE.

2011

O trabalho "Safe Composition of Configuration Knowledge-based Software Product Lines" foi eleito o 2o. melhor artigo do XXV Simpósio Brasileiro de Engenharia de Software - SBES 2011, Sociedade Brasileira de Computação.