Ricardo Massa Ferreira Lima

2001 - 2002

Pós-Doutorado. , Chalmers University Of Technology, CHALMERS, Suécia. , Bolsista do(a): Chalmers University Of Technology, CHALMERS, Suécia. , Grande área: Ciências Exatas e da Terra

Inglê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: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

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

LIMA, R. M. F. . Chair - Sessão de Ferramentas (CBSoft 2012 ) - Congresso Brasileiro de Software. 2012. (Congresso).

LIMA, R. M. F. . Chair - XIV Simpósio Brasileiro de Linguagens de Programação. 2010. (Congresso).

LENCASTRE, Maria ; GUSMAO, C. M. G. ; GOMES, Alex Sandro ; ALENCAR, Fernanda Maria Ribeiro de ; CRUZ NETO, G. G. ; CORNÉLIO, Márcio Lopes ; LIMA, R. M. F. ; SOARES, S. C. B. ; MASSONI, T. L. . IDEAS 2008 - XI Workshop Iberoamericano de Ambientes de Software e Engenharia de Requisitos (Qualis C - Nacional). 2008. (Congresso).

SOARES, S. C. B. ; MASSONI, T. L. ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; LENCASTRE, Maria . SugarLoafPLoP´2007 - Latin American Conference on Pattern Languages of Programming. 2007. (Congresso).

LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; SOARES, S. C. B. . SBLP 2005 - IX Simpósio Brasileiro de Linguagens de Programação (Qualis A - Nacional) - Coordenador Geral. 2005. (Congresso).

Congresso Brasileiro de Computação - CSBC 2015. 2015. (Congresso).

MRI-BP workshop - Workshop on Methodologies for Robustness Injection into Business Processes. Membro do Comitê de Programa. 2015. (Congresso).

Sessão de Ferramentas (CBSoft 2015) - Congresso Brasileiro de Software. Membro do Comitê de Programa. 2015. (Congresso).

Sessão de Ferramentas (CBSoft 2014) - Congresso Brasileiro de Software. Membro do Comitê de Programa. 2014. (Congresso).

7th annual mHealth Summit. 2013. (Congresso).

CBsoft 2013 Congresso Brasileiro de Software. Membro do Comitê de Programa. 2013. (Congresso).

Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013). XVII Simpósio Brasileiro de Linguagens de Programação (SBLP 2013). 2013. (Congresso).

ICSE 2013 International Conference on Software Engineering. Membro do Comitê de Programa. 2013. (Congresso).

ICSOC 2013 International Conference on Service Oriented Computing. Membro do Comitê de Programa. 2013. (Congresso).

IEEE SMC2013 International Conference on Systems, Man, and Cybernetics. Membro do Comitê de Programa. 2013. (Congresso).

Sessão de Ferramentas (CBSoft 2013) - Congresso Brasileiro de Software. Membro do Comitê de Programa. 2013. (Congresso).

Simpósio Brasileiro de Linguagens de Programação (SBLP 2013).Membro de Comitê de Programa. 2013. (Simpósio).

Software Engineering Innovation Foundation - SEIF 2013.Participante. 2013. (Encontro).

SPLASH 2013 Conference on Semantic Web and Web Services. Membro do Comitê de Programa. 2013. (Congresso).

SWWS 2013 Conference on Semantic Web and Web Services. Membro do Comitê de Programa. 2013. (Congresso).

AMCIS 2012 Conference on Software Engineering and Knowledge Engineering. Membro do Comitê de Programa. 2012. (Congresso).

IEEE ICWS 2012 Simpósio Brasileiro de Sistemas de Informação. Membro do Comitê de Programa. 2012. (Congresso).

II Workshop de Teses e Dissertações do CBSoft - WTDSoft 2012. Membro do Comitê de Programa. 2012. (Congresso).

MODELS 2012 International Conference on Model Driven Engineering Languages & Systems. Membro do Comitê de Programa. 2012. (Congresso).

SBSI 2012 Simpósio Brasileiro de Sistemas de Informação. Membro do Comitê de Programa. 2012. (Congresso).

SEKE 2012 Conference on Software Engineering and Knowledge Engineering. Membro do Comitê de Programa. 2012. (Congresso).

Sessão de Ferramentas (CBSoft 2012) - Congresso Brasileiro de Software. Membro do Comitê de Programa. 2012. (Congresso).

SPLASH 2012 Systems, Programming, Languages and Applications:Software for Humanity. Membro do Comitê de Programa. 2012. (Congresso).

XVI Simpósio Brasileiro de Linguagens de Programação - SBLP 2012 - S.Membro do Comitê de Programa. 2012. (Simpósio).

XXXIX Seminário Integrado de Software e Hardware - SEMISH 2012. Membro do Comitê de Programa. 2012. (Congresso).

ICIS 2011 International Conference on Information Systems. Membro do Comitê de Programa. 2011. (Congresso).

ICSOC 2011 International Conference on Service Oriented Computing. International Conference on Service Oriented Computing. 2011. (Congresso).

IEEE 2011 International Conference on Sytems, Man, and Cybernetics hh. Membro do Comitê de Programa. 2011. (Congresso).

I Workshop de Teses e Dissertações do CBSoft - WTDSoft 2011. Membro do Comitê de Programa. 2011. (Congresso).

SEKE 2011 Conference on Software Engineering and Knowledge Engineering. Membro do Comitê de Programa. 2011. (Congresso).

Sessão de Ferramentas (CBSoft 2011) - Congresso Brasileiro de Software. Membro do Comitê de Programa. 2011. (Congresso).

XV Simpósio Brasileiro de Linguagens de Programação - SBLP 2011.Membro do Comitê de Programa. 2011. (Simpósio).

4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming - LTPD 2010. Membro do Comitê de Programa. 2010. (Congresso).

3rd Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming - LTPD 2009. Membro do Comitê de Programa. 2009. (Congresso).

IEEE International Conference on Systems, Man and Cybernetics - SMC 2009. Membro do Comitê Avaliador. 2009. (Congresso).

VALID 2009 - First International Conference on Advances in System Testing and Validation Lifecycle. Membro do Comitê Avaliador. 2009. (Congresso).

XIII Simpósio Brasileiro de Linguagens de Programação - SBLP 2009.Membro do Comitê de Programa. 2009. (Simpósio).

XXXV Conferência Latinoamericana de Informática (XXXV CLEI). Membro do Comitê Avaliador. 2009. (Congresso).

2nd Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming - LTPD 2008. Membro do Comitê de Programa. 2008. (Congresso).

IEEE International Conference on Systems, Man, and Cybernetics - SMC 2008. Membro do Comitê Avaliador. 2008. (Congresso).

II Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2008). Membro do Comitê de Programa. 2008. (Congresso).

XII Simpósio Brasileiro de Linguagens de Programação - SBLP 2008.Membro do Comitê de Programa. 2008. (Simpósio).

XI Simpósio Brasileiro de Linguagens de Programação - SBLP 2007.Membro do Comitê de Programa. 2007. (Simpósio).

X Simpósio Brasileiro de Linguagens de Programação - SBLP 2006.X SBLP - Membro do Steering Committee. 2006. (Simpósio).

ACM OOPSLA 2005 ? Eclipse Technology eXchange (ETX?2005). Membro do Comitê Avaliador. 2005. (Congresso).

IX Simpósio Brasileiro de Linguagens de Programação - SBLP 2005.IX SBLP - Coordenador Geral - Membro do Comitê de Programa. 2005. (Simpósio).

VIII Simpósio Brasileiro de Linguagens de Programação.VIII SBLP - Membro do Comitê de Programa. 2004. (Simpósio).

VII Simpósio Brasileiro de Linguagens de Programação - SBLP 2003.VII SBLP - Membro do Comitê de Programa. 2003. (Simpósio).

VIII Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho..VIII SBAC-PAD - Membro do Comitê de Programa. 1996. (Simpósio).

LIMA, R. M. F.Oliveira, Adriano L.I.; CASTRO, R. J. D.. Avaliação De Desempenho Das Estratégias De Particionamento De Grandes Volumes De Dados Aplicada Ao JuMP. 2025. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SILVA FILHO, A. G.; OLIVEIRA JUNIOR, M. N.;Lima, Ricardo M. F.. Método para Avaliação da Aplicação do Regulamento de Desempenho Energético dos Edifícios de Habitação (REH) em Diferentes Localizações Geográficas. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; MOURA, H. P.; VASCONCELOS, Alexandre Marcos Lins de; CAVALCANTI, J. C.. Caracterização Do Gerenciamento de Projetos em Micro e pequenas Empresas Desenvolvedoras de Software. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

GOMES, Alex SandroOliveira, C. A. L.LIMA, R. M. F.. SecEPC: Processo de Coleta Confiável de Informações para Emissão de Etiquetas de Eficiência Energética para Edificações. 2020. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.; SILVA, F. A. P.. Performance Prediction for Supporting Mobile Applications Offloading. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; MONTEIRO, J. A. S.; SOUSA, E. T. G.;TAVARES, E.A.G.. Avaliação de Desempenho de Protocolos de Comunicação para Aplicações IoT. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.Oliveira, C. A. L.; ANDRADE, M. O.; SANTOS, E. M.. Planejamento de Rede de Transporte Urbano e os Centros Atratores de Viagens: Uma Perspectiva de Otimização Baseada em Redes de Petri. 2018. Dissertação (Mestrado em Engenharia de Producao) - Universidade Federal de Pernambuco.

M. F. LIMA, RICARDO; MOURA, H. P.; FONSECA, D.. Governança de TI em Órgãos Públicos: Um Mapeamento Sistemático da Literatura. 2018. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; LINS, F. A. A.;ROSA, Nelson Souto; CARVALHO, F. F.. Uma Metodologia para Apoiar Políticas de Segurança em Ambientes de Data Center: Uma Estrutura Sistemática com Multiperspectiva. 2018. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; NOGUEIRA, Meuse;TAVARES, E.A.G.. Análise de Desempenho e Consumo de Energia de parâmetros TCP/IP em dispositivos móveis. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.; REGO, P. A. L.. Modelos para Avaliação de Disponibilidade em Ambiente Mobile Cloud Computing: um Estudo Aplicado em Serviços Mhealth Utilizando Dispositivo Wearable. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CYSNEIROS, G.; MACIEL, A.. WEB-REFLEX 2.0: UMA SOLUÇÃO BASEADA EM CONTEXTO PARA ADAPTAÇÃO DE PROCESSOS DE NEGÓCIOS DECLARATIVOS. 2017. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

IYODA, J.M.;Oliveira, C. A. L.Lima, Ricardo M. F.; ANDRADE, E. C.. " Avaliação de Performabilidade do Processo de Manufatura do Café ". 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

AMORIM, F. A. B.; SANTORO, F. M.; REVOREDO, K.;Lima, Ricardo M. F.. " Complexity Reduction of Declarative Process Models Using a Semantic Abstraction Criterion ". 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

MONTEIRO, J. A. S.;Maciel, PauloLima, Ricardo M. F.; LIMA, M. N.; DOMINGUES, M. A. O.. " Mecanismos Energeticamente Eficientes para a Seleção de Canais Baseados em Modelos de Disponibilidade para Redes de Rádios Cognitivos". 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.; ADEODATO, P.J.L.;OLIVEIRA, Adriano Lorena Inácio de. "Ferramenta para Estimativa de Esforço de Projetos de Software Baseada em Técnicas de Computação Inteligente". 2015. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

Lima, Ricardo M. F.; CALLOU, G. R. A.;MACIEL, P.. " Modelos para Análise de Disponibilidade de Arquiteturas de um Serviço de Vod Streaming na Nuvem". 2015 - Universidade Federal de Pelotas.

Lima, Ricardo M. F.; CALLOU, G. R. A.;SILVA FILHO, A. G.. MODELAGEM E ANÁLISE DE DESEMPENHO E CONSUMO DE ENERGIA EM APLICAÇÕES MÓVEIS. 2015. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco.

MACIEL, P. R. M.Lima, Ricardo M. F.; ANDRADE, R. M. C.; SOUTO, E. J. P.; GONCALVES, G. E.. " An Adaptable Storage Slicing Algorithm For Content Delivery Networks". 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

ALVES, C. F.; DINIZ, P. R. B.;Lima, Ricardo M. F.. "BPM e Interoperabilidade entre Sistemas: Apoiando a Coleta de Dados dos Serviços de Telessaúde". 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

ALENCAR, Fernanda Maria Ribeiro de; CASTRO, J. F. B.;Lima, Ricardo M.F.; RODRIGUES, M. A. B.;Maciel, Paulo. " Modelagem e Avaliação de Sistemas Dinâmicos a Eventos Discretos Utilizando Redes de Petri Colorida ". 2014. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Oliveira, Adriano L.I.GUSMAO, C. M. G.Lima, Ricardo M.F.. " A Importância da Abordagem de BPM nos Cursos de TI ". 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

MACIEL, P. R. M.; LINS, F. A. A.;LIMA, R. M. F.. " Uma Abordagem para a Transformação da Notação BPMN para a Notação de Redes Petri !. 2014. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.. " Modelagem de Desempenho, Dependabilidade e Custos para o Planejamento de Infraestrutura de Computação em Nuvem ". 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

MOURA, H. P.;GUSMAO, C. M. G.; VASCONCELOS, Alexandre Marcos Lins de;Lima, Ricardo M.F.. " O Impacto do Uso das Metodologias Ágeis Scrum e XP na Satisfação dos Stakeholders". 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SANTOS, André Luís de MedeirosLIMA, R. M. F.; GARCIA, V.C.; MAAMAR, Z.; AQUINO JUNIOR, G. S.. " Social Machines: A Unified Paradigm to Describe, Design and Implement Emerging Social Systems". 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

ROSA, Nelson SoutoLIMA, R. M. F.; ALENCAR, Fernanda Maria Ribeiro de; ARAUJO JUNIOR, J. B. S.. " MULAS-Multi-Level Adaptation for Software Systems". 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; LINS, F. A. A.;TAVARES, E.A.G.. "Modelagem e Avaliação de Performabilidade de Processo Governamental de um Centro de Atendimento ao Contribuinte (CAC). 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LINS, F. A. A.;ROSA, Nelson SoutoLima, Ricardo M. F.. " Estratégias de Ranqueamento para Seleção Dinâmica de Serviços Baseadas em Atributos de Qualidade". 2014. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.; LINS, F. A. A.;ROSA, Nelson Souto. "Estratégias de Ranqueamento para Seleção Dinâmica de Serviços Baseadas em Atributos de Qualidade". 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.; OLIVEIRA, L. A. H. G.;Maciel, Paulo. Modelos para Análise de Dependabilidade de Arquiteturas de omputação em Nuvem. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.ROSA, Nelson SoutoMAGNANI, F.; LUNA, H. P. L.; TUTSH, D.. Assessment to support the planning of sustainable data centers with high availability. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire; SCHULZE, B. R.;LIMA, R. M. F.. Modelagem e Análise de Mecanismos de Tratamento de Interrupçõesem Infraestruturas Computacionais dos Sistemas Distribuídos. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; LINS, F. A. A.; MEIRA, Silvio Romero Lemos. Uma Arquitetura para a Implatação Automática de Serviços em Infraestruturas de Nuvem. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; ALVES, Carina; SANTOS, S. C.; REIS, R. Q.; SANTANA JUNIOR, C. A.; TEIXEIRA FILHO, J. G. A.. Indicators of Progress in Projet Management Maturity Based on Project Sucess. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.; AQUINO JUNIOR, G. S.; GARCIA, V.C.. "Social Machines: A Unified Paradigm to Describe, Design and Implement the Emerging Social Systems". 2013.

Lima, Ricardo M.F.. " Um Método para Mineração de Processos em Ambientes de Desenvolvimento de Software ". 2013. Dissertação (Mestrado em Engenharia da Computação) - Universidade Federal de Pernambuco.

GALDINO, S. M. L.;MACIEL, Paulo Romero Martins; BARRETO, R. S.;Lima, Ricardo M.F.. " Um Algoritmo para Distribuição Balanceada de Carga Elétrica e Redução de Consumo e Energia em Centros de Dados e Nuvens". 2013. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.SANTOS, André Luís de Medeiros; BOIS, A.R.D.. Portando Cloud Haskell para um Ambiente Distribuído Baseado em MPI. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.TAVARES, E.A.G.; OLIVEIRA, S.C.. Construção de Modelos Simuláveis para Avaliação de Consumo de Energia em Redes de Sensores Sem Fio. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; MOURA, H. P.;GUSMAO, C. M. G.. Petri-SW: Uma Metodologia Baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; ALVES, Carina; FILHO, R.A.M.. Modelagem de Negócio Declarativa vs Procedural: um Estudo Comparativo. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.GUSMAO, C. M. G.; GARCIA, V.C.. Gerenciamento de alocação de recursos humanos em ambiente de múltiplos projetos de software utilizando redes de Petri estocásticas generalizadas. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.; PINTO, I. I. B. S.; NOVAES, M. A.. Uma Estratégia para Integração de Serviços em Telessaúde. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.ROSA, Nelson Souto; GAMA, K.. QoSPolicy- Política de Ligação entre Serviços baseada em Eventos QoS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.CORNÉLIO, Márcio Lopes; MASSONI, T. L.. Validando AJCSP com o uso de JPF em leis Algébicas CS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Maciel, PauloCARVALHO JÚNIOR, Francisco Heron deLima, Ricardo M.F.. Um Framewok Estratégico para Tomada de Decisão em Ambiente Orientado a Serviços com Multicritérios e Multidivisão. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

OLIVEIRA, Adriano Lorena Inácio deGUSMAO, C. M. G.LIMA, R. M. F.. " Mineração de Cronogramas para Descoberta de Processos de Software ". 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.ROSA, Nelson Souto; MACIEL, R.S.P.. SecMoSC Translation Framework: An Approach to Transform Business Process Models into Executable Process Considering Security Requirements. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; TAVARES, Eduardo;SOUZA, F. V.. Análise de Dependabilidade de Sistemas Data Center Baseada em Índices de Importância. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.Mota, A.C.; COELHO, R.. AJCSP: Um Compilador Baseado em AspectJ para Modularizar a Programação Concorrente em Programas Java. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; FONSECA, D.; CARVALHO FILHO, E. C. B.. " Investigação da Influência da Governança de TI nas Instituições Federais de Ensino Superior: Estudo de Caso ". 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero Martins; TAVARES, Eduardo. Avaliação de Desempenho e Consumo de Energia de Aplicações Embarcadas: Uma Estratégia Baseada em Modelos da Arquitetura de Hardware e no Código da Aplicação. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SILVA FILHO, A. G.LIMA, R. M. F.; LIMA, Manoel Euzébio de. Análise Nodal de Consumo de Energia para Redes de Sensores sem Fio. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

MACIEL, Paulo Romero Martins; SADOK, D. F. H.; SALGUEIRO, RJPB;LIMA, R. M. F.. Geração de Carga Sintética para o Planejamento de Capacidade em Ambientes de Servidores Virtuais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.OLIVEIRA, Adriano Lorena Inácio de; G.D.C. Cavalcanti. " Detecção de Clones de Software Baseada em Algoritmos de Agrupamento de Dados ". 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.; ALVES, Carina;CORNÉLIO, Márcio Lopes. Uma Proposta para Aplicar Análise Quantitativa de Risco em Projetos de Software Ágeis. 2010.

LIMA, R. M. F.CARVALHO JÚNIOR, Francisco Heron de; CORRÊA, R.C.. Integração de Bibliotecas Científicas de Propósito Especial em uma Plataforma de Componentes Paralelos. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

LIMA, R. M. F.ROSA, Nelson Souto; RIBEIRO, C.M.F.A.. Um Ambiente para Desenvolvimento de Aplicações em Redes de Sensores Sem Fio. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CASTOR, F.;ROSA, Nelson Souto. Um Arcabouço de Tolerância a Falhas para Grades Computacionais. 2010. Dissertação (Mestrado em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.; BATISTA, M.C.. Avaliação de Desempenho de Processo de Software / Simulação de Processos de Software. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; MENEZES, L.C.S.;SANTOS, André Luís de Medeiros. Compilando Haskell para .NET via F#. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.CARVALHO JÚNIOR, Francisco Heron de; SOARES, S. C. B.. Scheduling Parallel Jobs for Multiphysics Simulators. 2010. Dissertação (Mestrado em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.. " Melhoria no Processo de Clonagem de Computadores numa Linha de Produção ". 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero Martins; SALGUEIRO, RJPB. Modelagem e Análise de Especificações de Sistemas Embarcados Críticos com Restrições de Energia. 2009. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; SALGUEIRO, RJPB;MACIEL, Paulo Romero Martins. Cavalcanti. Avaliação de Desempenho de VoIP através de modelos estocásticos utilizando distribuições poli-exponenciais. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.OLIVEIRA, Adriano Lorena Inácio de. Avaliação de Desempenho de Web Services usando Redes de Petri Estocásticas. 2009. Dissertação (Mestrado em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.ROSA, Nelson Souto. SEMANTICMIDD: Middleware Semântico para Suporte e Reconfiguração Dinâmica em Redes de Sensores sem Fio. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.OLIVEIRA, Adriano Lorena Inácio de; CARVALHO, F.A.T.. Sistema Automático para Previsão de Tendência de Preços em Bolsas de Valores Baseado em Análise Técnica e Inteligência Computacional. 2009. Dissertação (Mestrado em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.SANTOS, André Luís de Medeiros; MOURA, H. P.. Integração de Linguagens Funcionais à Plataforma .NET Utilizando o Framework Phenix. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.OLIVEIRA, Adriano Lorena Inácio de; ADEODATO, P.J.L.. Ferramenta de Estimativa de Esforço de Projetos de Software Baseada em Técnicas de Computação Inteligente. 2008. Dissertação (Mestrado em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.; SANTOS, F. C. G. (Felix Christian Guimarães Santos). Integração de Dados de Navegação de um Robô Bípede. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Pernambuco.

MOURA, H. P.;Lima, Ricardo M. F.SANTOS, André Luís de Medeiros. "Integração de Linguagens Funcionais à Plataforma NET Utilizando o Framework Phenix". 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

BARROS, Edna Natividade da Silva;LIMA, R. M. F.; CRISTIANO, C. A.. Arquitetura de Suporte à Análise de Comunicação em Plataformas MPSoS. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SANTOS, André Luís de MedeirosLIMA, R. M. F.; MEIRA, Silvio Romero Lemos. Specification, Design and Implementation of a Reuse Repository. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

VASCONCELOS, Alexandre Marcos Lins de;LIMA, R. M. F.; SAMPAIO, Augusto César Alves. Geração Automática de Diagramas UML-RT a partir de Especificações CSP. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

BORBA, Paulo Henrique MonteiroLIMA, R. M. F.SANTOS, André Luís de Medeiros. Integrando Haskell à Plataforma .NET. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

MACIEL, Paulo Romero MartinsLIMA, R. M. F.; BARROS, Edna Natividade da Silva. SCExamine: Um Mecanismo para Introspecção de Sistemas em SystemC. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; SANTOS, F. C. G. (Felix Christian Guimarães Santos). Desenvolvimento de um Robô Bípede Autônomo. 2006. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero Martins; BARROS, Tomaz de Carvalho. A Time Petri Net Based Approach for Software Synthesis in Harde Real-Time Embedded Systems with Multiple Processors. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero MartinsROSA, Nelson Souto. Mapping Live Sequence Charts to Coloured Petri Net for Analysis and Verification of Embedded Systems. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SADOK, D. F. H.;LIMA, R. M. F.MACIEL, Paulo Romero Martins. Avaliação Estocástica de Consumo de Energia no Projeto de Sistemas Embarcados. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

MELO, S. B.;LIMA, R. M. F.SANTOS, André Luís de Medeiros. Avaliação Experimental de Detecção de Colisão para Jogos J2ME. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

BORBA, Paulo Henrique MonteiroLIMA, R. M. F.SANTOS, André Luís de Medeiros. AspectH: Uma Extensão Orientada a Aspectos de Haskell. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SANTOS, André Luís de MedeirosLIMA, R. M. F.; MOURA, H. P.. Uma Linguagem para Modelagem de Processos Baseada em Semântica de Ações. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SANTOS, André Luís de MedeirosLIMA, R. M. F.; SILVA, F. Q. B.. PIPS - Proactive Intrusion Prevention System. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

SANTOS, André Luís de MedeirosLIMA, R. M. F.; MOURA, H. P.. Uma Linguagem para Modelagem de Processos Baseada em Semântica de Ações. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

ROSA, Nelson SoutoLIMA, R. M. F.MACIEL, Paulo Romero Martins. Um Ambiente de Suporte à Modelagem Hierárquica por Redes de Petri para Sistmas de Produção. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero Martins; LIMA, Manoel Euzébio de. Estimativas de Recursos Baseados em Redes de Petri para Ambientes de Sistemas de Hardware/Software Codesign. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.SANTOS, André Luís de MedeirosBORBA, Paulo Henrique Monteiro. Otimizações Bytecode Java na Plataforma J2ME. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; PIMENTEL, Cecílio José Lins;LINS, Rafael Dueire. Aplicações VoIP Utilizando o Teleporto da Rede Metropolitana da Prefeitura de Manaus. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; ALENCAR, Fernanda Maria Ribeiro de;LINS, Rafael Dueire. Divulgação de Orçamento via Web Services em Java. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; ALENCAR, Fernanda Maria Ribeiro de;LINS, Rafael Dueire. Uma Arquitetura de Integração de Metadados Governamentais - Abordagem Baseada em CWM. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; ALENCAR, Fernanda Maria Ribeiro de;LINS, Rafael Dueire. Um Ambiente Telemático para Mediar Investigação em Grupos com Uso de Mapas Conceituais. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LINS, Rafael Dueire; ROCHA, Valdemar Cardoso da;CARVALHO JÚNIOR, Francisco Heron deLIMA, R. M. F.. Um Algoritmo para Gerenciamento Consistente de Páginas Web. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LINS, Rafael Dueire; ROCHA, Valdemar Cardoso da;CARVALHO JÚNIOR, Francisco Heron deLIMA, R. M. F.. Proposta de um Modelo VPNs na Interligação de Redes Cooperativas. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

SANTOS, André Luís de MedeirosLIMA, R. M. F.; SAMPAIO, Augusto César Alves. Design de uma Linguagem Multiparadigmas Modular para o Ensino de Conceitos de Programação. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero Martins; BARROS, Tomaz de Carvalho. Modelagem de Políticas de Estoques: uma abordagem baseada em Redes de Petri. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.LINS, Rafael Dueire. Desenvolvimento de Aplicações ETL como uma Proposta para Redução de Custos em Projetos de Data Warehouse. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.LINS, Rafael Dueire; MELLO, C. A. B.. Controvérsia Acadêmica com Mapas Conceituais - Requisitos para Mediação via Ambientes Telemáticos. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.LINS, Rafael Dueire; ROCHA, Valdemar Cardoso da. Uma Aplicação de Voz sobre IP Baseada no Session Initiation Protocol. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CAMPELO, R.;LINS, Rafael Dueire. Análise de Códigos Detectores de Erros Utilizados na Camada de Transporte. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.LINS, Rafael Dueire; ALENCAR, Fernanda Maria Ribeiro de. Web Services e J2EE: Uma Solução para Integração de Sistemas em Ambientes Heterogêneos. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

LIMA, R. M. F.LINS, Rafael Dueire; GUIMARAES, K. S.. Algoritmos para Contagem de Referências Cíclicas. 2002. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CUNHA, Paulo Roberto Freire;MACIEL, P. R. M.; RIBEIRO, A. R. L.; NOBREGA, O. O.. UP-Home: Uma Solução Adaptativa para Segurança de Casas Inteligentes com Suporte ao Human-In-the-Loop. 2025. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; REIJERS, H.A.; DEPAIRE, B.; SEREBRENIK, A.; ZHANG, Y.. Multi-perspective Conformance Checking. 2024. Tese (Doutorado em Computer Science) - Eindhoven University of TechnologY.

LIMA, R. M. F.; SANTORO, F. M.; STURGEON, T. J.; GOMES, S. B.;SANTOS, André Luís de Medeiros. Impacts and critical success factors of digital transformation in the Brazilian automotive industry: a qualitative study. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; DANTAS, J. R.; SOUZA, J. N.; SILVA, F. A.; BARROS, H. N.; LIMA, S. M. L.. A Colored Petri Net - Based Model for Internet of Things Networks. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; FERREIRA JUNIOR, N. R.; FALCAO, T. P. R.; CAMPOS FILHO, A. S.; GASPARINI, I.. Design Recommendations for Building Teacher-facing Learning Analytics Dashboards for Process-oriented Feedback in Online Learning. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.; SOUSA, E. T. G.; SANTOS, M. A. B.; KAMIENSKI, C. A.; DOMINGUES, M. A. O.. Um Framework Inteligente para Escalonamento de VNFs em Centro de Dados. 2020. Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco.

LIMA, R. M. F.ROSA, Nelson Souto; SADOK, D. F. H.; SALGUEIRO, RJPB; ZIVIANI, A.. Tomada de Decisão Multicritério em Infraestruturas como Serviço em Nuvem: Uma Abordagem baseada em Modelos de Dependabilidade, Peformabilidade e Custo. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; SADOK, D. F. H.;TAVARES, E.A.G.; SOUZA, J. C.; OLIVEIRA NETO, F. M.. Modelos de Desempenho, Confiabilidade e Disponibilidade para o Planejamento de Sistemas de Transporte Público. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; SADOK, D. F. H.; CUNHA, Paulo Roberto Freire; LOUREIRO, A. A. F.; BRINKMANN, A.. A Modeling Framework for Infrastructure Planning of Workflow-as-a-Service Environments. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; MONTEIRO, J. A. S.;MACIEL, P. R. M.; LOPES, A. L. M.; SILVA, J. L. C. E.. Otimizado Redes Virtuais ao Longo do Tempo Integrando Modelos Multiplicativos da Data Envelopment Analysis Integrados com Avaliação Fractal. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.; GARCIA, V.C.; SOUZA, J. N.; MENDONCA , N. C.. Runtime Adaptation of Microservices. 2018.

LIMA, R. M. F.MACIEL, P. R. M.; GARCIA, V.C.; OLIVEIRA, D. C. M.; MEDEIROS, R. W. A.. LONGWisE4cloud: Um Ambiente Adaptativo para Execução de Workflows de Longa Duração como Serviço. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.TAVARES, E.A.G.; ZIVIANI, A.; SOUZA, J. N.. Planejamento de Infraestrutura de Nuvens Computacionais para Serviço de VoD Streaming Considerando Desempenho, Disponibilidade e Custo. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

FARIAS, A. C.;LIMA, R. M. F.; ANDRADE, W. L.; SIMAO, A.. Writing and Debugging Contracts. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

LIMA, R. M. F.; SADOK, D. F. H.; SOUSA, E. T. G.; BARROSO, G. C.; LOUREIRO, A. A. F.. ANÁLISE DE SENSIBILIDADE APLICADAS À IDENTIFICAÇÃO DE PONTOS QUE REQUEREM MELHORIA NA DISPONIBILIDADE EM INFRAESTRURA DE CLOUD. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.MACIEL, P. R. M.; CASTRO, J. F. B.; MENDONCA , N. C.; SANTORO, F. M.. Cost Management of Service Composition. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; ALVES, Carina; MONTEIRO, B. S.; SOUZA, F. V. C.; LIMA, M. G.. Aprendizagem Significativa Ubíqua: Práticas Educativas no Contexto Urbano. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.CARVALHO JÚNIOR, Francisco Heron de; BARBOSA, L. M. D. C. S.; ROCHA, L. S.; FARIAS, P. M. S.. Certificação de Componentes em uma Plataforma de Nuvens Computacionais para Serviços de Computação de Alto Desempenho. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

LIMA, R. M. F.; ANDRADE, W. L.; FARIAS, A. C.; SIMAO, A.; GHEYI, R.. Fostering DBC Adoption: Writing and Debugging Contracts. 2017. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

LIMA, R. M. F.MACIEL, P. R. M.; ZIVIANI, A.; CALLADO, A. C.; SOUTO, E. J. P.. Towards Improvements in Resource Management for Content Delivery Networks. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CUNHA, Paulo Roberto Freire;ROSA, Nelson Souto; ZIMMERMANN, A.; GOMES, D. G.. A FRAMEWORK FOR AVAILABILITY, PERFORMANCE AND SURVIVABILITY EVALUATION OF DISASTER TOLERANT CLOUD COMPUTING SYSTEMS. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M.F.OLIVEIRA, Adriano Lorena Inácio de; FERNANDES, S. F. L.; ZIVIANI, A.; ALBANI, L. C. P.. " Systematic Design of Control-Based Systems ". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire;Lima, Ricardo M.F.; SADOK, D. F. H.; STRUM, Marius; LUNA, H. P. L.. " Exploração Multiobjetivo do Espaço de Projeto de Sistemas Embarcados de Tempo-Real Não Críticos ". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

MACIEL, P.; ZIVIANI, A.;Lima, Ricardo M. F.. " Algorithms Models, And Tools For Resource Management in Multimedia Content Delivery ". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.; ASSAD, R.; GARCIA, V.C.. " UCloud: Uma Proposta para Datacenter Como Serviço para Ambientes de Computação em Nuvem ". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.MACIEL, P.; MONTEIRO, J. A. S.; LIMA, M. N.; DOMINGUES, M. A. O.. Mecanismos energeticamente eficientes para a seleção de canais baseados em modelos de disponibilidade para Redes de Rádios Cognitivos. 2015. Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco.

ROSA, Nelson Souto; ZIMMERMANN, A.;Lima, Ricardo M. F.. " Dependability, Performance and Suvivability Evaluation of Disaster Tolerant Cloud Computing Systems". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.; FIDALGO, R. N.; SCHUENEMANN, C. T. L. L. S.; LEITE, J. C. S. P.; MARTINS, L. E. G.. "MABUP: Multi Level Autonomic Business Process". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire;Lima, Ricardo M.F.TAVARES, E.A.G.; MATIAS JUNIOR, R.; SALGUEIRO, RJPB. " Modelagem e Análise de Mecanismos de Tratamento de Interrupções em Infraestruturas Computacionais dos Sistemas Distribuídos". 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.SILVA FILHO, A. G.; VALENTE, M. T.. A Refactoring Approach to Improve Energy Consumption of Parallel Software Systems. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

ALVES, C. F.; SANTOS, S. C.;Lima, Ricardo M.F.; REIS, R. Q.; SANTANA JUNIOR, C. A.; TEIXEIRA FILHO, J. G. A.. " Indicators of Progress in Project Management Maturity Based on Project Success ". 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.SILVA FILHO, A. G.; Fröhlich, A. A.. HdSC: Modelagem de Alto Nível para Execução Nativa de Sistemas com Suporte ao Desenvolvimento de HdS. 2012. Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco.

FERREIRA, J. E.; LEJBMAN, A.G.V.; MATTOSO, M.L.Q.;LIMA, R. M. F.; FERNANDES, P.H.L.. Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio. 2011. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

LIMA, R. M. F.ROSA, Nelson Souto; DIAS, K.L.; MACEDO, R. J. A.; FERRAS, C.J.G.. Um Framework para Transparência de Handover Vertical Centrada no Usuário em Ambientes de Redes Heterogêneas Sem Fio de Quarta Geração. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; G.D.C. Cavalcanti; T. B. Ludemir; LEON, A.C.P.; LIMA NETO, F. B.. Um Modelo para Segmentação Automática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, Manoel Euzébio de;SANTOS, André Luís de MedeirosLIMA, R. M. F.; DAHAB, R.. Uma Linguagem para Desenvolvimento de Device Drivers. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire;LIMA, R. M. F.ROSA, Nelson Souto; ALMEIDA, V. A.; ZORZO, A.. ISPN: Modelagem e Avaliação Estocástica Intervalar. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, Manoel Euzébio de;LIMA, R. M. F.SANTOS, André Luís de Medeiros; AZEVEDO, R. J.; BECKER, L. B.. Uma Metodologia para Desenvolvimento Concorrente de Device Drivers e Modelos de Controladores de Entrada e Saída. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; REIS, R.A.L.; SONG, Siang Wun; CUNHA, Paulo Roberto Freire;ROSA, Nelson Souto. Software Synthesis for Energy-Constrained Hard Real-Time Embedded Systems. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.CORNÉLIO, Márcio Lopes; ALBUQUERQUE, J.O.; BARROS, R.S.M.; IYODA, J.M.. Abstraction of Infinite and Communicating CSPz Processes. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

T. B. Ludemir; CARVALHO, A. C. P. L. F.;Lima, Ricardo M.F.. Um Método para Segmentação Automática de Preditores em Modelos de Risco. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire;ROSA, Nelson SoutoLIMA, R. M. F.; FERNANDES, A. O.; ABDELOUAHAB, Zair. Avaliação de Dependabilidade com Mecanismos Tolerantes a Falha: Desenvolvimento de um Método Híbrido Baseado em EDPSN e Diagrama de Blocos. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire;LIMA, R. M. F.; BARROS, Tomaz de Carvalho;MACIEL, Paulo Romero Martins; STRUM, Marius. Uma Metodologia de Escalonamento de Tarefas de Tempo Real em Arquiteturas Dinamicamente Reconfiguráveis. 2006. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CUNHA, Paulo Roberto Freire;ROSA, Nelson SoutoLIMA, R. M. F.; MARRANGHELLO, N.; BARROS, Tomaz de Carvalho. Estimativa do Consumo de Energia Devido ao Software: Uma Abordagem Baseada em Redes de Petri Coloridas. 2006. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

MACIEL, Paulo Romero Martins; SONG, Siang Wun;LIMA, R. M. F.ROSA, Nelson Souto; CUNHA, Paulo Roberto Freire. Uma Metodologia Baseada em Rede de Petri Temporizada para a Síntese de Software em Sistemas Embarcados e de Tempo-Real Críticos. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; MARRANGHELLO, N.; BARROS, Tomaz de Carvalho. Estimativas de Potência Devido ao Software: Uma abordagem Baseada em Redes de Petri Coloridas. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; FERNANDES, E. S. T.;MACIEL, Paulo Romero MartinsROSA, Nelson Souto; SONG, Siang Wun. Um ambiente para programação paralela eficiente. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

ROSA, Nelson SoutoMaciel, Paulo; FERNANDES, E. S. T.;Lima, Ricardo M.F.; SONG, Siang Wun. Programação Paralela de Alto Nível e Eficiente sobre Arquiteturas Distribuídas. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CAMPOS FILHO, A. S.; VASCONCELOS, Alexandre Marcos Lins de. OntoLearn: Uma Ontologia para Análise de Aprendizagem Baseada em Competências. 2024. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; PERES, S. M.; AMORIM, F. A. B.; CARVALHO, V. O.. Descoberta de conhecimento em logs de eventos centrado em objetos: uma abordagem independente do modelo de processo. 2023. Exame de qualificação (Doutorando em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.

LIMA, R. M. F.; REATEGUI, E. B.;GOMES, Alex Sandro. Especificação de Sistema de Recomendação a Partir de Análise de Interações em Rede Social Educacional. 2021. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; RIBEIRO, A. R. L.; CAMPELO, D. R. S.. UP-Home: Uma Solução Auto-adaptativa para Segurança de Casas Inteligentes. 2021. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; VALENCA, G.;Oliveira, Adriano L.I.. Collaborative Fuzzy Miner: uma abordagem para descoberta de modelo de processo de referência através de informações relevantes para o negócio. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; FARIAS, A. C.; ANDRADE, W. L.; SIMAO, A.. Writing and Debugging Contracts. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

LIMA, R. M. F.; T. B. Ludemir; A. P. L. F. Carvalho; G.D.C. Cavalcanti; LIMA NETO, F. B.. Um Método para Segmentação Automática de Preditores em Modelos de Risco. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; LIMA, Manoel Euzébio de;SANTOS, André Luís de Medeiros. Geração de Device Drivers para Projetos Baseados em Plataforas. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.ROSA, Nelson Souto; CUNHA, Paulo Roberto Freire; SONG, Siang Wun. Software Synthesis for Embedded Hard Real-Time Systems in Hardware-Software Codesign Methodologies. 2004. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Metodologia para Melhoria da Performance de Queries. 2005. Monografia (Aperfeiçoamento/Especialização em Banco de Dados) - Centro de Estudos Superiores Barros Melo.

LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Aplicação de Visões Materializadas em Data Warehouse. 2005. Monografia (Aperfeiçoamento/Especialização em Banco de Dados) - Centro de Estudos Superiores Barros Melo.

LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Abordagens utilizadas para manipulação de grandes volumes de dados na carga de tabelas. 2005. Monografia (Aperfeiçoamento/Especialização em Banco de Dados) - Centro de Estudos Superiores Barros Melo.

LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. O Processo de Tomada de Decisões, a Ferramenta OLAP e o Software de Data Mining: Data Habitat. 2005. Monografia (Aperfeiçoamento/Especialização em Banco de Dados) - Centro de Estudos Superiores Barros Melo.

CALÁBRIA, Eduardo Gonçalves;LIMA, R. M. F.GUSMAO, C. M. G.. Automatizando a Segurança de Dados Utilizando Virtual Private Database (VPD). 2005. Monografia (Aperfeiçoamento/Especialização em Banco de Dados) - Centro de Estudos Superiores Barros Melo.

LIMA, R. M. F.; MELLO, C. A. B.;MACIEL, Paulo Romero Martins. UML - Linguagem de Modelagem Unificada. 2004. Monografia (Aperfeiçoamento/Especialização em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.MACIEL, Paulo Romero Martins; MELLO, C. A. B.. O Uso de Redes de Petri na Modelagem, Daignóstico de Falhas e Estimativa de Recursos em Sistemas Automatizados de Manufatura. 2003. Monografia (Aperfeiçoamento/Especialização em Sistemas Computacionais) - Universidade de Pernambuco.

LIMA, R. M. F.; GAMA, K.. Extensão e Análise de Performance da Biblioteca CEPlin. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.. Extensão e avaliação funcional de biblioteca CEPlin. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.. Guia de boas práticas de gestão de projetos em Micro e Pequenas Empresas Desenvolvedoras de Software. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.. Consolidando Design by Contract através de AspectJML Web. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.. Avaliação de Segurança da Informação de uma Rede Social. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.; NOVAES, M. A.. Análise de Desenvolvimento de Sistemas de Gestão da Informação em Saúde nas Nuvens: Um Estudo de Caso em Prontuário Eletrônico do Paciente. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Lima, Ricardo M. F.. Ferramenta para Ludificação do Ensino de Programação. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

LIMA, R. M. F.. Análise de Desempenho de Plataformas para Desenvolvimento com Sistema Operacional Android. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

SOARES, S. C. B.;LIMA, R. M. F.. Configuração Dinâmica de Interface com o Usuário. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais.

LIMA, R. M. F.CORNÉLIO, Márcio LopesOLIVEIRA, Adriano Lorena Inácio de. Padrões de Projeto no Desenvolvimento de Aplicações J2ME. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.; LENCASTRE, Maria;CORNÉLIO, Márcio Lopes. Modelagem de Desempenho de programas paralelos utilizando Redes de Petri Temporizadas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.; MELLO, C. A. B.; SOARES, S. C. B.. Diretrizes de desenvolvimento de aplicações para dispositivos móveis a partir de Portais Universitários. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.; MELLO, C. A. B.; TEICHRIEB, V.. Estudo e Aplicação da Tecnologia de Realidade Aumentada. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.OLIVEIRA, Adriano Lorena Inácio de; SOARES, S. C. B.. 6ix Linux: Divulgando e intensificando a utilização do novo protocolo da Internet (ipv6). 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.OLIVEIRA, Adriano Lorena Inácio de; SOARES, S. C. B.. Configuração de Dispositivos de Rede Via Celular. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

LIMA, R. M. F.; SOARES, S. C. B.;CORNÉLIO, Márcio Lopes. Especificação comportamental da API J2ME. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

FRANCA NETO, L. R.; ASSAD, R.;LIMA, R. M. F.. Erlang, Uma linguagem Funcional Concorrente: Ambiente de Programação, Características e um Editor, baseado na Plataforma Eclipse. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo.

LIMA, R. M. F.; BRITO, P.H.S; Dall'Igna, A.Jr.. Professor Auxiliar na área de Linguagens de Programação. 2009. Universidade Federal de Alagoas.

LIMA, R. M. F.; MEDEIROS FILHO, E. S.; CAVALCANTE, C. C.; SOUSA, F. R. C.; SOUZA, J. T.. Professor Adjunto - Ciência Computacional. 2018. Universidade Federal do Ceará.

LIMA, R. M. F.; MEDEIROS, F.; SEREY, D.. Professor Adjunto - Ciência da Computação. 2016. Universidade Federal de Alagoas.

Lima, Ricardo M. F.. Professor Adjunto. 2014. Universidade Federal do Rio Grande do Sul.

Lima, Ricardo M. F.. Professor Assistente. 2013. Universidade Federal de Sergipe.

Lima, Ricardo M. F.; Comba, João L. D.; Klein, Sulamita. Algoritmos, Modelos de Linguagens de Programação e Compiladores. 2012. Universidade Federal do Rio Grande do Sul.

Lima, Ricardo M. F.. Professor Adjunto. 2011. Universidade Estadual de Feira de Santana.

Lima, Ricardo M. F.. Professor Adjunto. 2011. Universidade Federal de São Paulo.

Lima, Ricardo M.F.; DURHAM, A. M.; FIQUEIREDO, C. C.; SILVEIRA, F. F.; FERNANDES, M. M.. Professor Adjunto. 2010. Universidade Federal de São Paulo.

LIMA, R. M. F.ROSA, Nelson SoutoOLIVEIRA, Adriano Lorena Inácio de. Professor Adjunto. 2006. Universidade de Pernambuco.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Tecnologia. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Banco de Dados. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Compiladores. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Computação Instrumental. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Estrutura de Dados e Programação. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Introdução à Computação. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Lógica Aplicada à Computação. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Métodos e Projetos de Sistemas. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Redes de Computadores. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; SOARES, S. C. B.. Professor Auxiliar na área de Teoria da Computação. 2005. Faculdade de Ciências Aplicadas e Sociais de Petrolina.

LIMA, R. M. F.; LIMA NETO, F. B.; TAVARES, M.. Professor Adjunto. 2004. Universidade de Pernambuco.

LIMA, R. M. F.LINS, Rafael Dueire. Professor Auxiliar. 2003. Universidade de Pernambuco.

Lima, Ricardo M. F.. Consultor Ad-hoc. 2015. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Lima, Ricardo M. F.. Consultor Ad-hoc. 2014. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Lima, Ricardo M. F.. Consultor Ad-hoc. 2013. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Lima, Ricardo M. F.. Consultor Ad-hoc. 2012. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Lima, Ricardo M. F.. Consultor Ad-hoc. 2011. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

LIMA, R. M. F.. Consultor ad-hoc. 2010. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

a ser definido; Início: 2024; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

Modelagem do Sistema Hidráulico dos Grandes Anéis do Recife; Início: 2021; Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; (Orientador);

a ser definido; Início: 2021; Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco; (Orientador);

JuMP - Judiciário com Mineração de Processos; Início: 2020; Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco; (Orientador);

a ser definido; Início: 2020; Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco; (Orientador);

Avaliação de Desempenho das Estratégias de Particionamento de Grandes Volumes de Dados Aplicadas ao JuMP; 2025; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

JuMP - Plataforma de Mineração de Processos do Judiciário Brasileiro; 2022; Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Método para Avaliação da Aplicação do Regulamento de Desempenho Energético dos Edifícios de Habitação (REH) em Diferentes Localizações Geográficas; 2021; 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: Ricardo Massa Ferreira Lima;

CARACTERIZAÇÃO DO GERENCIAMENTO DE PROJETOS EM MICRO EPEQUENAS EMPRESAS DESENVOLVEDORAS DE SOFTWARE; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ricardo Massa Ferreira Lima;

SecEPC: Processo de Coleta Confiável de Informações para Emissão de Etiquetas de Eficiência Energética para Edificações; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Governança de TI em Órgãos Públicos: Um Mapeamento Sistemático da Literatura; 2018; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Planejamento de Rede de Transporte Urbano e os Centros Atratores de Viagens: Uma Perspectiva de Otimização Baseada em Redes de Petri; 2018; Dissertação (Mestrado em Engenharia de Producao) - Universidade Federal de Pernambuco, ; Coorientador: Ricardo Massa Ferreira Lima;

Uma Metodologia para Apoiar Políticas de Segurança em Ambientes de Data Center: Uma Estrutura Sistemática com Multiperspectiva; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ricardo Massa Ferreira Lima;

Web-REFlex: uma solução para evitar Context Tunneling na execução de processos de negócios declarativos; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

WEB-REFLEX 2; 0: UMA SOLUÇÃO BASEADA EM CONTEXTO PARA ADAPTAÇÃO DE PROCESSOS DE NEGÓCIOS DECLARATIVOS; 2017; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, ; Coorientador: Ricardo Massa Ferreira Lima;

Modelagem e Análise de Desempenho e Consumo de Energia em Aplicações Móveis; 2015; 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: Ricardo Massa Ferreira Lima;

BPM e Interoperabilidade entre Sistemas: Apoiando a Coleta de Dados dos Serviços de Telessaúde; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de Performabilidade do Processo de Manufatura do Café; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Comparando Abordagens para Modelagem de Processos de Negócio Baseadas em Regras de Negócio e Workflows: Estudo Experimental; 2014; 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: Ricardo Massa Ferreira Lima;

REFlex - Rule Engine for Flexible Processes; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

A importância da abordagem de BPM nos Cursos de TI; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Uma abordagem para a transformação da notação BPMN para a notação de Redes de Petri; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Avaliação da Maturidade em Gerenciamento de Projetos: Uma perspectiva do Gerente de Projetos; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Framework Estratégico para Tomada de Decisão em Ambiente Orientado a Serviços com Multicritério e Multivisão; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

QosPolicy: Política de Ligação de Serviço baseada em Eventos de QoS; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ricardo Massa Ferreira Lima;

Construção de Modelos Simuláveis para Avaliação de Consumo de Energia em Redes de Sensores Sem Fio; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Validando AJCSP com o Uso de JPF em Leis Algébricas CSP; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Mineração de Cronogramas para Descoberta de Processos de Software; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Gerenciamento de Alocação de Recursos Humanos em Ambiente de Múltiplos Projetos de Software utilizando Redes de Petri Estocásticas Generalizadas; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Petri-SW: Uma Metodologia baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

AJCSP: um compilador baseado em AspectJ para modularizar a programação concorrente em programas Java; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Scheduling Parallel Jobs for Multiphysics Simulators; 2010; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de Desempenho de Web Services usando Redes de Petri Estocásticas; 2009; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Uma Abordagem para Melhoria de Workflow Baseada em Redes de Petri Estocásticas Generalizadas; 2008; 0 f; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Implementing JML Contracts with AspectJ; 2008; 0 f; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ricardo Massa Ferreira Lima;

Um Framework Adaptativo para Aplicações Distribuídas e Paralelas; 2008; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Ricardo Massa Ferreira Lima;

Análise Semi-Markoviana de Recursos Críticos nos Sistemas da Manufatura; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Ricardo Massa Ferreira Lima;

Avaliação de Desempenho de Cadeias de Suprimentos Utilizando Componentes GSPN; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Ricardo Massa Ferreira Lima;

Beholder: Uma Arquitetura Baseada em Processamento de Eventos Complexos para Detecção e Prevenção de Intrusão em Ambientes de Internet das Coisas; 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ricardo Massa Ferreira Lima;

Reflex Water ? um Framework de IoT para Gerenciamento; 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Tecnologia da Informação e Comunicação: Uma Metodologia para Uso e Governança no Setor Público do Brasil; 2020; Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

Modelos Probabilísticos e Método de Tomada de Decisão para Avaliação e Seleção de Estratégias de Recuperação de Desastres; 2020; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

PRÉ-PROCESSAMENTO PARA MINERAÇÃO DE PROCESSOS: TÉCNICAS PARA SIMPLIFICAÇÃO AUTOMÁTICA DE LOGS DE EVENTOS; 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Ricardo Massa Ferreira Lima;

Modelo de Referência para Plataformas de Telessaúde; 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Ricardo Massa Ferreira Lima;

A Graph-based Model form Declarative Business Processes; 2015; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Strategy-Aware Business Process Management; 2014; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Contract Modularity in Design By Contract Languages; 2014; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Modelagem e Avaliação de Desempenho Operacional e Ambiental em Cadeias de Suprimentos Verdes; 2013; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Ricardo Massa Ferreira Lima;

Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos; 2011; Monografia; (Aperfeiçoamento/Especialização em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Modelo de Processo Flexível para Adoção de BPM na Gestão de Projetos; 2009; Monografia; (Aperfeiçoamento/Especialização em Gestão Global de Processos) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Melhorias ao Processo de Desenvolvimento de Software da MM Sistemas; 2009; Monografia; (Aperfeiçoamento/Especialização em Gestão Global de Processos) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Aplicação de Six Sigma a Processos de Desenvolvimento de Software; 2008; Monografia; (Aperfeiçoamento/Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Gestão de Conteúdo como Apoio à Gestão do Conhecimento: Uma Análise das Soluções Existentes no Mercado; 2008; Monografia; (Aperfeiçoamento/Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Certificação Digital: Garantindo Segurança e Autencidade dos Dados; 2008; Monografia; (Aperfeiçoamento/Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

C; de Albuquerque; Bancos de Dados Orientados a Objetos; 2005; Monografia; (Aperfeiçoamento/Especialização em Sistemas Computacionais) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

C-Doc - Um Gerador Genérico de Documentos; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Uma Arquitetura de Software para Geração de Simuladores; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Simulação de Redes de Petri em Ambiente Java; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Mapeando estruturas LSC em redes de Petri coloridas; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Estudo sobre Segurança em VoIP em um PC-PBX configurado para um ambiente corporativo; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Solfeggiare ? Um compilador para Partituras Musicais; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

; CML: Uma Linguagem de Especificação de Requisitos Não-Funcionais para C; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Integração da Ferramenta TimeNet ao Ambiente EZPetri; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Utilizando Técnicas de Compilação para Otimização e Análise do Consumo de Energia; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

VWML: Linguagem e Ambiente de Modelagem de Mundos Virtuais; 2005; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Erlang, Uma linguagem Funcional Concorrente: Ambiente de Programação, Características e um Editor, baseado na Plataforma Eclipse; 2005; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

; EZPetri: Um ambiente de integração para linguagens de descrição de redes de Petri; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Aplicando Padrões de Projeto para publicar Web Services em uma arquitetura MVC a partir de legados; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

; EZPetri: Um Ambiente para redes de Petri no Eclipse; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Sistema de Migração de Dados entre SGBD´s relacionais baseado em XML; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Comunicação por Porta Paralela; 2003; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Programação Java Usando Arquitetura RMI; 2003; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Java Server Page como Tendência de Tecnologia para Web; 2003; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

França; ; Net Framework; 2003; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Análise das Tecnologias para Implementação de Sistemas Distribuídos; 2002; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Cluster Computing: Beowulf Systems; 2002; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Erlang; 2002; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Integradas Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Voz sobre IP-VOIP; 2000; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Integradas Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

A Influência da Tecnologia no Processo Ensino-Aprendizado; 2000; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Integradas Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Descoberta de Processos Para Análise e Melhoria de Desempenho em Ambientes de Desenvolvimento de Software Baseados em Metodologias Ágeis; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MODELO DE INTEGRAÇÃO ENTRE O GUIA PMBOK® E O FRAMEWORK SCRUM PARA O GERENCIAMENTO DE PROJETOS DE SOFTWARE; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MODELO DE INFRAESTRUTURA PARA GESTÃO DE ÁGUAS COM PROCESSOS DECLARATIVOS; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MODELO DE INFRAESTRUTURA PARA GESTÃO DE ÁGUAS COM PROCESSOS DECLARATIVOS; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MODELO DE INTEGRAÇÃO ENTRE O GUIA PMBOK® E O FRAMEWORK SCRUM PARA O GERENCIAMENTO DE PROJETOS DE SOFTWARE; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MAPEAMENTO SYSML- DSPNS DE CONSUMO DE ENERGIA DE APLICATIVOS MÓVEIS COM INFRAESTRUTURA EM NUVEM; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MAPEAMENTO SYSML- DSPNS DE CONSUMO DE ENERGIA DE APLICATIVOS MÓVEIS COM INFRAESTRUTURA EM NUVEM; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

GUIA DE APLICAÇÃO DA ENGENHARIA DE REQUISITOS NO DESENVOLVIMENTO DE APLICATIVOS MÓVEIS; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

MAPEAMENTO SYSML- DSPNS DE CONSUMO DE ENERGIA DE APLICATIVOS MÓVEIS COM INFRAESTRUTURA EM NUVEM; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

GUIA DE APLICAÇÃO DA ENGENHARIA DE REQUISITOS NO DESENVOLVIMENTO DE APLICATIVOS MÓVEIS; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

AVALIAÇÃO DE DESEMPENHO ENTRE SGBDS RELACIONAIS E NOSQL PARA REDES SOCIAIS; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

AVALIAÇÃO DE DESEMPENHO ENTRE SGBDS RELACIONAIS E NOSQL PARA REDES SOCIAIS; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de Desempenho de Sistemas utilizando Redes de Petri Estocásticas; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Modelo de Consumo de Energia de Aplicações em Computação nas Nuvens Móvel; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Modelo deDesenvolvimento de APIs REST para Redes Sociais; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Modelo de Consumo de Energia de Aplicações em Computação nas Nuvens Móvel; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Modelo de Consumo de Energia de Aplicações Móveis nas Nuvens; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de Desempenho entre Banco de Dados Relacionais e noSQL no modelo de Computação nas Nuvens; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de Desempenho entre Banco de Dados Relacionais e noSQL no modelo de Computação nas Nuvens; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

AVALIAÇÃO DE DESEMPENHO DE PROCESSOS DE NEGÓCIO EM ARQUITETURAS ORIENTADAS A SERVIÇO; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

AVALIAÇÃO DE DESEMPENHO DE PROCESSOS DE NEGÓCIO EM ARQUITETURAS ORIENTADAS A SERVIÇOS; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

AVALIAÇÃO DE DESEMPENHO DE PROCESSOS DE NEGÓCIO EM ARQUITETURAS ORIENTADAS A SERVIÇO; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Descobrindo Modelos Simuláveis: Uma Abordagem Focada em Processos de Negócio Usando Redes de Petri Estocásticas; 2009; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Design by Contract for Concurrent Programs: An Approach Based on CSP and JML; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Design by Contract for Concurrent Programs: An Approach Based on CSP and JML; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

EZPetri: Um Ambiente Integrado para o Desenvolvimento de Ferramentas Baseadas em Redes de Petri; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Centro de Pesquisa Petrobrás; Orientador: Ricardo Massa Ferreira Lima;

Utilização de Redes de Petri para Avaliação de Sistemas Dinâmicos de Eventos Discretos: Um Enfoque em Melhoria de Processos de Negócio; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Uma Abordagem para Workflow Management Baseada em Redes de Petri Estocásticas Generalizadas; 2007; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Adaptando JML para aplicações J2ME; 2007; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Uma Abordagem para Workflow Management Baseada em Redes de Petri Estocásticas Generalizadas; 2007; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Um Ambiente para Integração de Ferramentas e Aplicações de Redes de Petri; 2006; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Ensinando Métodos Formais no Eclipse; 2006; Iniciação Científica - Departamento de Sistemas Computacionais, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Um ambiente para análise de circuitos baseado em redes de Petri; 2006; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

; Teaching Formal Methods Through Eclipse; 2006; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Teaching Formal Methods Through Eclipse; 2006; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Teaching Formal Methods Through Eclipse; 2006; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

PetriLogic: Um plugin para ensino de métodos formais no Eclipse; 2006; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Modelo de Redes de Petri para o LSC; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Um ambiente integrado para modelagem e análise formal baseado em redes de Petri; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

EZPetri: Um Ambiente Computacional para Integração de Redes de Petri; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Um modelo para SystemC baseado em redes de Petri temporizadas; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Síntese de Software para Multiprocessadores em Sistemas de Tempo Real Críticos; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Estimativa de Potência em Arquiteturas MCS51/52; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Estimativa de Potência em Arquiteturas MCS51/52; 2005; Iniciação Científica; (Graduando em Bacharelado em Sistemas de Informação) - Centro de Estudos Superiores Barros Melo, Centro de Estudos Superiores Barros Melo; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de desempenho de middleware utilizando redes de Petri; 2005; Iniciação Científica - Centro de Estudos Superiores Barros Melo, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Estimativa de Potência no EZPetri; 2005; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Avaliação de Desempenho de Programas # Usando Redes de Petri Temporizadas e Estocásticas; 2005; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

; Teaching Formal Methods Through Eclipse; 2005; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Ensinando Métodos Formais Através do Eclipse; 2005; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Síntese de Software para Multiprocessadores em Sistemas de Tempo Real Críticos; 2004; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Um ambiente integrado para modelagem e análise formal baseado em redes de Petri; 2004; Iniciação Científica; (Graduando em Engenharia da Computação) - Departamento de Sistemas Computacionais, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Um Modelo para SystemC Baseado em Redes de Petri Temporizadas; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Um Modelo para SystemC Baseado em Redes de Petri Temporizadas; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Programação Concorrente Usando Erlang; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Sistemas de Informação) - Centro de Estudos Superiores Barros Mel, Ensino Superior de Olinda; Orientador: Ricardo Massa Ferreira Lima;

Concepção, Evolução e Avaliação de Desempenho de Ambientes de Alto Nível para Programação Paralela sobre Clusters; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Back-end Haskell Sensível à Cache; 2002; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Ricardo Massa Ferreira Lima;

Geração Automática de Simuladores Multifísicos em Ambientes de Processamento Paralelo de Alto Desempenho (Bolsa DTI); 2008; Orientação de outra natureza; (Departamento de Engenharia Mecânica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

CMS ? Content Management System; 2007; Orientação de outra natureza; (Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

MphyScaS - Ambiente para Geração Automática de Simuladores Multi-Físicos; 2007; Orientação de outra natureza; (Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

MphyScaS - Ambiente para Geração Automática de Simuladores Multi-Físicos; 2007; Orientação de outra natureza; (Engenharia da Computação) - Departamento de Sistemas Computacionais; Orientador: Ricardo Massa Ferreira Lima;

Geração Automática de Simuladores Multifísicos em Ambientes de Processamento Paralelo de Alto Desempenho (Bolsa DTI); 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Massa Ferreira Lima;

Lima, Ricardo M. F. . Descoberta e melhoria de processos de desenvolvimento de software. 2020.

FERREIRA LIMA, RICARDO MASSA ; Oliveira, Adriano L.I. ; D'CASTRO, RAPHAEL JOSÉ ; DE SOUSA ARAÚJO, THIAGO . JuMP (Judiciário com Mineração de Processos). 2022.

Lima, Ricardo M. F. ; GOMES, Alex Sandro ; NOGUEIRA, T. J. D. D. ; MARTINS, A. . Plugin para Extração dos Dados Educacionais de Cursos Oferecidos pela Moodle. 2020.

Lima, Ricardo M. F. ; NOGUEIRA, T. J. D. D. ; PATO, P. R. G. ; ACOSTA, O. E. C. . Atlas da Energia Elétrica do Brasil. 2018.

Lima, Ricardo M. F. ; NOGUEIRA, T. J. D. D. ; COSTOLA, D. . Automação do Processo de Etiquetagem Energética de Edificações. 2018.

OLIVEIRA, César Augusto Lins de ; MEDEIROS, R. W. ; ROCHA, F. A. F. ; SANTOS, F. C. G. (Felix Christian Guimarães Santos) ; SOARES, S. C. B. ; LIMA, R. M. F. . MPhyScaS - Multi-Physics and Multi-Scale Solver Environment. 2009.

LIMA, R. M. F. ; OLIVEIRA, César Augusto Lins de ; RODRIGUES, C. M. DE O. ; OLIVEIRA JR., F. G. A. DE ; REBÊLO, H. E. M. ; BRAGA, P. ; MEDEIROS, R. W. ; TRAJANO, V. F. . PetriLogic: Ambiente Educacional para Ensino de Métodos Formais. 2007.

LIMA, R. M. F. ; ARCOVERDE, Adilson ; ALVES, Gabriel . EZPetri. 2004.

LIMA, R. M. F. ; CAMELO, H. A. L. ; LINS, Rafael Dueire ; CRUZ NETO, G. G. . Vestibular Facil. 1997.

LIMA, R. M. F. ; CAMELO, H. A. L. ; LINS, Rafael Dueire ; CRUZ NETO, G. G. . Dicionario Eletronico de Informatica e Telecomunicacoes. 1997.

Lima, Ricardo M. F. ; NOGUEIRA, T. J. D. D. ; VIANA, D. . Portal do Estudante da UFPE. 2014. (Site).

2012

Best Demo Paper - 1st Place (Artigo: Checking Contracts for AOP using XPIDRs), 24th International Conference on Software Engineering and Knowledge Engineering - SEKE 2012.

2005

IBM Scholars Programa - 2005 IBM Faculty Award, IBM.

2005

Iniciação Científica - 2o lugar (Orientador), PIBIC - Poli / Escola Politécnica de Pernambuco - UPE.

2005

Prêmio Destaques do Ano - Categoria Pesquisa Científica, Escola Politécnica de Pernambuco (UPE).

2004

Iniciação Científica - 1o lugar (Orientador), PIBIC - Poli / Escola Politécnica de Pernambuco - UPE.

2004

Professor Homenageado, Formandos em Engenharia da Computação, Universidade de Pernambuco (UPE).