Ricardo Massa Ferreira Lima

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/0033981436042117
  • Última atualização do currículo em 05/04/2018


Ricardo Massa Ferreira Lima obteve o título de Doutor em Ciência da Computação pela UFPE em 2000. Graduou-se (1993) e concluiu o mestrado (1994) em Ciência da Computação pela UFPE. Fez pós-doutorado (2001-2002) no grupo de Métodos Formais da Chalmers University of Technology, Suécia. Atualmente é Professor Adjunto em regime de Dedicação Exclusiva da UFPE, onde exerce o cargo de Vice-Coordenador do Programa de Pós-Graduação em Ciência da Computação (nível 6 - Capes). É Chair do Comitê de Programa do SBLP`2010. Faz parte do Comitê de Programa do SBLP desde 2003. É membro do Conselho Editorial do International Journal of Services Operations and Informatics (IJSOI). É membro da SBC desde 1995 e membro da ACM desde 1999. Seus interesses em pesquisa são: 1) modelagem e avaliação de sistemas dinâmicos de eventos discretos usando redes de Petri; 2) implementação e otimização de compiladores. No item (1) tem investigado os seguintes temas: 1.a) modelagem e avaliação da logística de transporte e armazenamento de produtos acabados usando redes de Petri estocásticas; 1.b) modelagem e avaliação de desempenho de processos de negócio usando redes de Petri; 1.c) uso de redes de Petri para a modelagem, avaliação e síntese de código para sistemas embarcados de tempo real e com restrições de consumo de energia; 1.d) mineração de processos para modelagem e avaliação de processos de negócio usando modelos em redes de Petri; 1.e) modelagem e avaliação de desempenho de web services usando redes de Petri estocásticas. No item (2) tem investigado os seguintes temas: 2.a) desenvolvimento de um compilador baseado em programação orientada a aspectos para a linguagem JML (Java Modeling Language); 2.b) otimização de compiladores para redução do consumo de energia em sistemas de tempo real. (Texto informado pelo autor)


Identificação


Nome
Ricardo Massa Ferreira Lima
Nome em citações bibliográficas
LIMA, R. M. F.;Lima, Ricardo M.F.;Lima, Ricardo M. F.;LIMA, RICARDO

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Rua Prof. Luiz Freire, sem número
Cidade Universitária
50732970 - Recife, PE - Brasil
Telefone: (81) 21268430
Ramal: 4372
URL da Homepage: www.cin.ufpe.br/~rmfl


Formação acadêmica/titulação


1995 - 2000
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Haskell, Uma Linguagem Funcional Paralela: Ambiente de Programação, Simulação, Análise de Propriedades e sua Implementação, Ano de obtenção: 2000.
Orientador: Rafael Dueire Lins.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Linguagens Funcionais; Implementação de Compiladores; Redes de Petri; Análise de Propriedades Formais; Sistemas Distribuídos; Processamento de Alto Desempenho.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1994 - 1994
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Implementando e Otimizando TCMC- Parte II,Ano de Obtenção: 1994.
Orientador: Rafael Dueire Lins.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Implementação de Linguagens; Otimização de Código; Teoria da Computação.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1989 - 1993
Graduação em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Pós-doutorado


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


Atuação Profissional



Pitaco Assessoria Técnica, PITACO, Brasil.
Vínculo institucional

1993 - 1993
Vínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 20


Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 1999
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Substituto, Carga horária: 20

Vínculo institucional

1997 - 1997
Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 18

Vínculo institucional

1996 - 1996
Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 4

Vínculo institucional

1992 - 1992
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 10

Atividades

08/2009 - Atual
Ensino, Pós-Graduação em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos em Avaliação de Desempenho de Sistemas
08/2009 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Programação
08/2008 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Membro do Pleno do Departamento de Ciência da Computação.
08/2008 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Membro do Colegiado do Programa de Pós-Graduação em Ciência da Computação (Nível 6 Capes).
01/2000 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

03/1994 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

06/2009 - 06/2015
Direção e administração, Centro de Informática, .

Cargo ou função
Vice-Coordenador da Pós-Graduação em Ciência da Computação.
03/2009 - 07/2009
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Programação
03/2009 - 07/2009
Ensino, Pós-Graduação em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Avaliação de Desempenho de Sistemas
08/2008 - 12/2008
Ensino, Departamento de Eletrônica e Sistemas, Nível: Graduação

Disciplinas ministradas
Computação Eletrônica
3/1997 - 12/1998
Ensino, Departamento de Eletrônica e Sistemas, Nível: Graduação

Disciplinas ministradas
Organização de Computadores (60h)
1/1997 - 2/1997
Extensão universitária , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

Atividade de extensão realizada
Arquiteturas de Computadores dos Anos 90 (18h).
4/1996 - 5/1996
Ensino, Especialização Em Ciência da Computação, Nível: Especialização

Disciplinas ministradas
Arquitetura de Computadores (40h)
7/1992 - 12/1992
Treinamentos ministrados , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

Treinamentos ministrados
Compiladores (Monitor)

Universidade de Pernambuco, UPE, Brasil.
Vínculo institucional

2004 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto C3N1, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2004
Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar C1N1, Carga horária: 40

Vínculo institucional

2000 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Vínculo institucional

1999 - 1999
Vínculo: Colaborador, Enquadramento Funcional: Coordenador de Pós-Graduação Lato Sensu, Carga horária: 20

Atividades

02/2006 - Atual
Conselhos, Comissões e Consultoria, Departamento de Sistemas Computacionais, .

Cargo ou função
Colegiado do Programa de Pós-Graduação em Engenharia da Computação.
03/2008 - 07/2008
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Análise e Verificação de Sistemas
03/2008 - 07/2008
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação (60h)
08/2003 - 07/2008
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Projeto de Compiladores (60h)
02/2003 - 07/2008
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores (60)
02/2002 - 07/2008
Conselhos, Comissões e Consultoria, Departamento de Sistemas Computacionais, .

Cargo ou função
Pleno do Departamento de Sistemas Computacionais.
02/2006 - 03/2008
Direção e administração, Departamento de Sistemas Computacionais, .

Cargo ou função
Coordenador de Mestrado Acadêmico em Engenharia da Computação.
08/2007 - 12/2007
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação (60h)
10/2007 - 11/2007
Ensino, Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Tópicos Avançados em Engenharia de Software (30h)
10/2005 - 10/2007
Direção e administração, Departamento de Sistemas Computacionais, .

Cargo ou função
Chefe de Departamento.
09/2006 - 09/2007
Direção e administração, Reitoria, .

Cargo ou função
Comitê de Ética - UPE.
02/2007 - 06/2007
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Projeto de Linguagens de Programação (60h)
8/2002 - 3/2007
Conselhos, Comissões e Consultoria, Escola Politécnica de Pernambuco, .

Cargo ou função
Representante dos Professores Auxiliares.
08/2006 - 12/2006
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação (60)
08/2002 - 12/2005
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Organização de Computadores (60h)
1/2004 - 10/2005
Direção e administração, Universidade de Pernambuco, .

Cargo ou função
Coordenador de Extensão.
05/2004 - 05/2005
Extensão universitária , Departamento de Sistemas Computacionais, .

Atividade de extensão realizada
IX Simpósio Brasileiro de Linguagens de Programação - IX SBLP (Coordenação Geral).
01/2004 - 07/2004
Extensão universitária , Departamento de Sistemas Computacionais, .

Atividade de extensão realizada
III Seminário de Engenharia da Computação - III SEC (Coordenação).
04/2002 - 12/2003
Direção e administração, Escola Politécnica de Pernambuco, .

Cargo ou função
Vice-Chefe de Departamento.
01/2003 - 7/2003
Extensão universitária , Departamento de Sistemas Computacionais, .

Atividade de extensão realizada
II Seminário de Engenharia da Computação - II SEC (Coordenação).
02/2003 - 06/2003
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação III (60h)
07/2002 - 12/2002
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação I (60h)
02/2002 - 06/2002
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação (60h)
02/2002 - 06/2002
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução à Informática (60h)
3/2000 - 12/2000
Ensino, Sistemas Computacionais, Nível: Especialização

Disciplinas ministradas
Arquitetura de Computadores (60h)
Paradigmas de Linguagens de Programação (60h)
02/2000 - 12/2000
Direção e administração, Departamento de Sistemas Computacionais, .

Cargo ou função
Coordenador de Curso de Graduação.
08/2000 - 11/2000
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Iniciação à Ciência da Computação (60h)
Linguagens de Programação I (60h)
02/2000 - 06/2000
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Iniciação à Ciência da Computação (60h)
08/1999 - 12/1999
Ensino, Sistemas Computacionais, Nível: Especialização

Disciplinas ministradas
Arquitetura de Computadores (60h)
Paradigmas de Linguagens de Programação (60h)
01/1999 - 12/1999
Direção e administração, Escola Politécnica de Pernambuco, .

Cargo ou função
Coordenador de Curso de Pós-Graduação Lato Sensu (Sistemas Computacionais).
02/1999 - 06/1999
Ensino, Sistemas Computacionais, Nível: Especialização

Disciplinas ministradas
Arquitetura de Computadores (60h)
06/1998 - 06/1999
Serviços técnicos especializados , Escola Politécnica de Pernambuco, .

Serviço realizado
Projeto Pedagógico - Graduação em Engenharia da Computação.
01/1999 - 01/1999
Serviços técnicos especializados , Escola Politécnica de Pernambuco, .

Serviço realizado
Elaboração de Projeto Pedagógico - Pós-Graduação Lato Sensu (Sistemas Computacionais).

Banco Mercantil, BANCO MERCANTIL, Brasil.
Vínculo institucional

1993 - 1994
Vínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 20



Linhas de pesquisa


1.
Implementação e Otimização de Compiladores
2.
Modelagem e Avaliação de Sistemas Dinâmicos de Eventos Discretos


Projetos de pesquisa


2016 - Atual
Modelagem e Avaliação de Sistemas Dinâmicos de Eventos Discretos
Descrição: Este projeto tem como objetivo o estudo e desenvolvimento de técnicas de modelagem e avaliação determinística e estocástica para a análise de aspectos quantitativos, mais particularmente aqueles com implicações temporais, de sistemas dinâmicos de eventos discretos (DEDS) usando diferentes linguagens, técnicas e ferramentas matemáticas como redes de Petri e suas extensões, cadeias de Markov, diagramas de decisão binária (binary decision diagram - BDD), processo de análise hierárquica (analytic hierarchy process - AHP), model checking, redes de fila, linguagens para processamento de eventos complexos (complex event processing - CEP) entre outras que se mostrem adequadas aos objetivos do trabalho. As investigações serão conduzidas com a finalidade de elaborar metodologias apoiadas em modelos simuláveis para o estudo de métricas relevantes como throughput, custo e qualidade em diferentes tipos de DEDS, bem como avaliar o impacto nas métricas causado por mudanças nas configurações de tais processos...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (6) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2016 - Atual
Avaliação de Sistemas Dinâmicos de Eventos Discretos
Descrição: Este projeto tem como objetivo o estudo e desenvolvimento de técnicas de modelagem e avaliação determinística e estocástica para a análise de aspectos quantitativos, mais particularmente aqueles com implicações temporais, de DEDS usando diferentes linguagens, técnicas e ferramentas matemáticas como redes de Petri e suas extensões, cadeias de Markov, diagramas de decisão binária, processo de análise hierárquica, redes de fila, entre outras que se mostrem adequadas aos objetivos do trabalho. As investigações serão conduzidas com a finalidade de elaborar metodologias apoiadas em modelos simuláveis para o estudo de métricas relevantes como throughput, dependabilidade, custo e qualidade em diferentes tipos de DEDS, bem como avaliar o impacto nas métricas causado por mudanças nas configurações de tais processos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2015 - 2016
Sistema de Apoio à Decisão para o Desenvolvimento de Aditivos de Carbono e Estudo do Impacto de suas Propriedades Microeytruturais no Desempenho de Baterias de Chumbo-ácido para Sistemas Fotovoltáicos
Descrição: Desenvolver um sistema computacional para dar suporte a análise de impacto dos parâmetros microestruturais no desempenho das baterias. Ou seja, identificar quais parâmetros são mais relevantes para minimizar o fenômeno de sulfatação das baterias chumbo-ácido..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador / Erika Pinto Marinho - Integrante / Elder Alpes Vasconcelos - Integrante / Ana Cecília Vieira da Nóbrega - Integrante / Bruno Tenório Ávila - Integrante.Financiador(es): Moura Baterias Automotivas e Industriais - Bolsa.
2014 - 2014
Lumen - Monitoramento de Access Points para Redes Wifi Mesh
Descrição: O projeto tem como produto o desenvolvimento de um aplicativo móvel para monitoramento dos access points (AP) Vagalumes, que utilizam o protocolo de redes Mesh Wifi e que desenvolvidos pela Elcoma, através de um projeto financiado pela FINEP. O aplicativo funcionará permitirá acompanhar diferentes parâmetros dos APs instalados, devendo funcionar nas plataformas Android e iOS..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco - Cooperação.
2013 - 2015
Avaliação de Sistemas Dinâmicos de Eventos Discretos
Descrição: Este projeto tem como objetivo o estudo e desenvolvimento de técnicas de modelagem e avaliação determinística e estocástica para a análise de aspectos quantitativos, mais particularmente aqueles com implicações temporais, de DEDS usando diferentes linguagens, técnicas e ferramentas matemáticas como redes de Petri e suas extensões, cadeias de Markov, diagramas de decisão binária, processo de análise hierárquica, redes de fila, entre outras que se mostrem adequadas aos objetivos do trabalho. As investigações serão conduzidas com a finalidade de elaborar metodologias apoiadas em modelos simuláveis para o estudo de métricas relevantes como throughput, dependabilidade, custo e qualidade em diferentes tipos de DEDS, bem como avaliar o impacto nas métricas causado por mudanças nas configurações de tais processos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (3) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2013 - 2013
Small Business Server Elcoma
Descrição: O projeto tem como objetivo avaliar o desempenho de servidores small business da Elcoma Computadores para determinar possíveis aspectos de melhoria e avaliar seu consumo energético..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Doutorado: (1) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Elcoma Computadores LTDA - Cooperação.
2012 - 2014
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Descrição: O projeto tem o objetivo de aplicar combinações de técnicas de mineração de processos para descobrir múltiplas perspectivas de processos operacionais (fluxo de controle, dependência de dados, características de desempenho e aspectos organizacionais) a partir de dados históricos (logs) da organização. Essas várias perspectivas serão integradas em um modelo simulável único. Tal modelo será representado em redes de Petri estocástica (GSPN) e poderá ser usado para analisar o processo, por exemplo, para avaliar o desempenho do processo em diferentes cenários..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2014
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Descrição: Este projeto tem como objetivo o estudo e desenvolvimento de técnicas de modelagem e avaliação determinística e estocástica para a análise de aspectos quantitativos, mais particularmente aqueles com implicações temporais, de sistemas dinâmicos de eventos discretos (DEDS) usando diferentes linguagens, técnicas e ferramentas matemáticas como redes de Petri e suas extensões, cadeias de Markov, diagramas de decisão binária (binary decision diagram - BDD), processo de análise hierárquica (analytic hierarchy process - AHP), model checking, redes de fila, linguagens para processamento de eventos complexos (complex event processing - CEP) entre outras que se mostrem adequadas aos objetivos do trabalho. As investigações serão conduzidas com a finalidade de elaborar metodologias apoiadas em modelos simuláveis para o estudo de métricas relevantes como throughput, custo e qualidade em diferentes tipos de DEDS, bem como avaliar o impacto nas métricas causado por mudanças nas configurações de tais processos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (6) / Doutorado: (2) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador / Paulo Romero Martins Maciel - Integrante / Nelson Souto Rosa - Integrante / Paulo Roberto Freire Cunha - Integrante / Adriano Lorena Inácio de Oliveira - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2009 - 2011
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 - PPP/FACEPE/CNPq - N 06/2008 - R$ 20mil - Coordenador
Descrição: O projeto propõe o desenvolvimento de uma metodologia para a aplicação de Redes de Petri Estocásticas Generalizadas (GSPN) em projetos de melhoria de Workflow. Os conceitos de Workflow são mapeados em estruturas modeladas em GSPN, fornecendo uma representação formal para Workflow que é utilizada para a realização de análises qualitativas e de desempenho. Diversas características encontradas em processos reais são consideradas neste modelo, tais como disputa por recursos e controle de fluxo complexo entre atividades..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 4
2007 - 2012
MPhyScaS Multi-Physics and Multi-Scale Solver Environment - FINEP/Petrobras
Descrição: Este projeto propõe o desenvolvimento do MPhyScaS, um ambiente de desenvolvimento de simuladores integrado com um repositório de componentes de software reutilizáveis. Tal ambiente deverá dar suporte tanto ao desenvolvimento integral de um simulador quanto para sua montagem ou re-configuração, utilizando componentes de software já implementados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) .
Integrantes: Ricardo Massa Ferreira Lima - Integrante / Sérgio Castelo Branco Soares - Coordenador / Felix Christian Guimarães Santos - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 6
2007 - 2009
Exploração de Arquiteturas Visando a Aspectos Inteligentes para Redução do Consumo de Energia - Chamada Pública MCT/FINEP/FNDCT - Promove - Laboratórios de Inovação - R$400 mil - Coordenador
Descrição: Este projeto dedica-se à pesquisa de mecanismos automáticos para análise e estimativa de consumo de energia em componentes de sistemas SoC (System on Chip), utilizando técnicas de computação inteligente e compiladores para redução de consumo de energia..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (14) / Mestrado acadêmico: (7) / Doutorado: (2) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador / Abel Guilhermino da Silva Filho - Integrante / Carmelo José Albanez Bastos Filho - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
Número de produções C, T & A: 4
2005 - 2007
Modelagem e Estimativas no Projeto de Sistemas Embarcados - Edital Universal - CNPq nº 019/2004.
Descrição: A designação de sistema embutido, ou embarcado, cabe a quaisquer sistemas digitais que estejam incorporados a outros sistemas, com o fim de acrescer ou otimizar funcionalidades. Equipamentos eletro-médico, instrumentação eletrônica, automóveis, aeronaves, telefones, modernos equipamentos eletro-domésticos, todos estes sistemas têm, em maior ou menor grau, um sistema digital embutido que otimiza e implementa algumas funcionalidades que simplesmente não existiam em suas concepções originais. Alguns outros produtos só se tornaram possíveis comercialmente graças ao ato de embutir sistemas computacionais em sua base funcional, como é o caso do telefone celular, sistema de injeção eletrônica, freio ABS e navegação eletrônica de aeronaves. Devido à tamanha diversidade de aplicações, o projeto de sistemas embutidos pode estar sujeito aos mais variados tipos de restrições, incluindo, as restrições temporais, tamanho, peso, consumo de energia, confiabilidade e custo. Novos paradigmas de projeto tiveram de ser criados visando estabelecer ganhos de produtividade e qualidade de projeto. A criação de tais paradigmas e otimizações das técnicas existentes é, em ultima análise, o objetivo da maioria das pesquisas voltadas a sistemas embutidos. O objetivo geral deste projeto é propor uma metodologia formal, e ferramentas de apoio para a geração automática de software para sistemas embutidos de tempo-real críticos, de tal forma que o código resultante satisfaça as propriedades especificadas, assim como as restrições temporais, de consumo de energia e de acesso a recursos compartilhados...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Ricardo Massa Ferreira Lima - Integrante / Paulo Romero Martins Maciel - Coordenador / Raimundo Barreto - Integrante / Eduardo Tavares - Integrante / Meuse Oliveira Jr - Integrante / Ângelo Roncalli Ribeiro - Integrante / Leonardo Amorim - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 11 / Número de orientações: 9
2005 - 2006
R-TOOL: Análise Precisa de Confiabilidade em Plantas Abertas.
Descrição: A infra-estrutura de comunicação é um componente fundamental da automação de plantas de transmissão de energia elétrica em usinas e subestações e sua disponibilidade é determinante para o sucesso das operações automatizadas, como tele-supervisão, teleproteção, telecomando, principalmente em situações de emergência. De fato, enquanto a confiabilidade dos equipamentos da planta é influenciada pela qualidade da automação, a confiabilidade da própria automação é influenciada pela confiabilidade da infra-estrutura de comunicação que suporta esta automação. No contexto operacional da CHESF, a confiabilidade desta rede de comunicação é fundamental para garantir o fornecimento de energia elétrica nos níveis e padrões de qualidade (e também confiabilidade) definidos pela Agência Nacional de Energia Elétrica (ANEEL). Em particular, o Operador Nacional do Sistema Elétrico (ONS) tem definido documentos, especificamente o Módulo 13 dos Procedimentos de Rede, que já tratam da confiabilidade das redes de telecomunicações. Mais especificamente, são definidos parâmetros para avaliação da qualidade de serviços de comunicação de voz e de dados, fornecidos pelas redes de telecomunicações. Diante deste contexto, o projeto R-TOOL visa desenvolver uma sistemática de modelagem e de avaliação precisa da confiabilidade da infra-estrutura de comunicação da automação em transmissão de energia elétrica em plantas de usinas e subestações de transmissão da CHESF..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Ricardo Massa Ferreira Lima - Integrante / Paulo Romero Martins Maciel - Integrante / Nelson Souto Rosa - Integrante / César Augusto Lins de Oliveira - Integrante / Hélio Burle - Coordenador / Sérgio Murilo Maciel Fernandes - Integrante / Otávio Dias - Integrante / Roberto Delgado Arteiro - Integrante.Financiador(es): Agência Nacional de Energia Elétrica - Cooperação.
Número de produções C, T & A: 4
2005 - 2006
Teaching Formal Methods Through Eclipse - IBM Faculty Award
Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (7) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador / César Augusto Lins de Oliveira - Integrante / Henrique Emanuel Mostaert Rebêlo - Integrante / Frederico Guilherme Alvares de Oliveira Jr. - Integrante / Renata Wanderley Medeiros - Integrante / Vanessa Figueiredo Trajano - Integrante / Gabriel Alves de Albuquerque Junior - Integrante / Petrônio Braga - Integrante / Leopoldo Pires Ferreira - Integrante.Financiador(es): IBM Research Brazil - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 12


Projetos de extensão


2014 - Atual
Plataforma Virtus - UFPE
Descrição: A Plataforma Virtus - UFPE (https://virtus.ufpe.br/#ufpe-mobile) é uma composta pelo portal do estudante da UFPE, pelo aplicativo para dispositivos móveis da UFPE (UFPE Mobile), pelo Sistema de Estágios da UFPE e pelo sistema de comunicação por meio de Smart TVs espalhadas pelo Campi da instituição..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (1) .
Integrantes: Ricardo Massa Ferreira Lima - Coordenador / Tiago José Dimas Dias Nogueira - Integrante / Diego Viana - Integrante / Hugo Ramos Freire Neto - Integrante / Paulo Nascimento - Integrante / bruno henrique souza - Integrante / Isabella Farias - Integrante / Sylvio Elias Freire - Integrante / Jorge Henrique Linhares - Integrante.
Número de produções C, T & A: 1


Membro de corpo editorial


2010 - 2014
Periódico: Science of Computer Programming (Print)
2008 - Atual
Periódico: International Journal of Services Operations and Informatics (IJSOI)
2005 - 2005
Periódico: Journal of Universal Computer Science (Online)


Revisor de periódico


2003 - 2008
Periódico: Journal of Universal Computer Science (0948-695X)
2008 - Atual
Periódico: International Journal of Services Operations and Informatics (IJSOI)
2015 - 2015
Periódico: iSys: Revista Brasileira de Sistemas de Informação


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Avaliação de Desempenho.
3.
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.
4.
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.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.


Idiomas


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


Prêmios e títulos


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).


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
TEIXEIRA, M.2015TEIXEIRA, M. ; RIBEIRO, R. ; Oliveira, C. A. L. ; LIMA, R. M. F. . A quality-driven approach for resources planning in Service-Oriented Architectures (Qualis A1). Expert Systems with Applications, v. 99, p. 1-48, 2015.

2.
ALVES JUNIOR, G.2013ALVES JUNIOR, G. ; Maciel, Paulo ; LIMA, R. M. F. ; MAGNANI, F. . Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE T SYST MAN CY-S, p. 1-15, 2013.

3.
Oliveira, Cesar A. L.2013Oliveira, Cesar A. L. ; SILVA, N. C. ; LIMA, R. M. F. ; Sabat, Cecilia L. . Reducing the Gap Between Business and Information Systems Through Complex Event Processing (Qualis B3). Computing and Informatics, v. 32, p. 225-250, 2013.

4.
REBÊLO, Henrique2013REBÊLO, Henrique ; LIMA, R. M. F. ; KULESZA, U. ; RIBEIRO, Márcio ; Yuanfang Cai ; COELHO, R. S. ; SANT`ANNA, Cláudio ; MOTA, Alexandre . Quantifying the Effects of Aspectual Decompositions on Design By Contract Modularization: A Maintenance Study (Qualis B2). International Journal of Software Engineering and Knowledge Engineering, v. 23, p. 913-941, 2013.

5.
REBÊLO, H.2013REBÊLO, H. ; LIMA, R. M. F. ; CORNÉLIO, M. L. ; G. T. Leavens ; MOTA, Alexandre Cabral ; C. Oliveira . Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study (Qualis B1). Science of Computer Programming (Print), v. 78, p. 1137-1156, 2013.

6.
OLIVEIRA, C. A. L. DE2012 OLIVEIRA, C. A. L. DE ; LIMA, R. M. F. ; REIJERS, H.A. ; Joel T. S. Ribeiro . Quantitative Analysis of Resource-Constrained Business Processes (Qualis A1). IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans, v. 42, p. 669-684, 2012.

7.
ALBUQUERQUE JUNIOR, G. A. DE2011ALBUQUERQUE JUNIOR, G. A. DE ; MACIEL, P. R. M. ; LIMA, R. M. F. ; MAGNANI, F. ; ARCOVERDE JUNIOR, A. DE O. . Towards the Evaluation of Environment and Business Trade-offs in Supply Chains (Qualis B1). Electronic Notes in Theoretical Computer Science, v. 275, p. 5-10, 2011.

8.
ALBUQUERQUE JUNIOR, G. A. DE2010ALBUQUERQUE JUNIOR, G. A. DE ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. ; ZIMMERMANN, A. . Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution (Qualis A1). IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans, v. 40, p. 1025-1044, 2010.

9.
NOGUEIRA, B.2010NOGUEIRA, B. ; MACIEL, Paulo Romero Martins ; TAVARES, Eduardo ; ANDRADE, E. ; LIMA, R. M. F. ; CALLOU, G. ; Ferraz, R. . A Formal Model for Performance and Energy Evaluation of Embedded Systems (Qualis B2). Eurasip Journal on Embedded Systems, v. 316510, p. 1-12, 2010.

10.
OLIVEIRA, Adriano Lorena Inácio de2010OLIVEIRA, Adriano Lorena Inácio de ; Oliveira, Adriano L.I. ; LIMA, R. M. F. ; Braga, Petronio L. ; Cornélio, Márcio L. . GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation (Qualis A2). Information and Software Technology, v. 52, p. 1155-1166, 2010.

11.
LIMA, R. M. F.;Lima, Ricardo M.F.;Lima, Ricardo M. F.;LIMA, RICARDO2008LIMA, R. M. F.; ALBUQUERQUE JR., G. A. DE ; MACIEL, Paulo Romero Martins . Stochastic evaluation of supply chains and replenishment policies with Petri net components. International Journal of Services Operations and Informatics (Print), v. 3, p. 221-241, 2008.

12.
BARRETO, Raimundo2008BARRETO, Raimundo ; MACIEL, Paulo Romero Martins ; TAVARES, Eduardo ; FREITAS, R. D. F. ; OLIVEIRA JR, Meuse ; LIMA, R. M. F. . A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis (Qualis B2). Design Automation for Embedded Systems, v. 12, p. 31-62, 2008.

13.
OLIVEIRA, C. A. L. DE2008OLIVEIRA, C. A. L. DE ; ROCHA, F. A. F. ; MEDEIROS, R. W. ; LIMA, R. M. F. ; SOARES, S. C. B. ; SANTOS, F. C. G. (Felix Christian Guimarães Santos) ; Ismael H. S. Santos . Dynamic Interface for Multi-physics Simulators. International Journal of Modeling and Simulation for the Petroleum Industry (Impresso), v. 2, p. 35-42, 2008.

14.
OLIVEIRA JR., F. G. A. DE2007OLIVEIRA JR., F. G. A. DE ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; SOARES, S. C. B. ; MACIEL, Paulo Romero Martins ; BARRETO, Raimundo ; OLIVEIRA JR, Meuse ; TAVARES, Eduardo . CML: C Modeling Language (Qualis B2). Journal of Universal Computer Science (Print), v. 13, p. 682-700, 2007.

15.
TAVARES, Eduardo2007TAVARES, Eduardo ; BARETO, Raimundo ; MACIEL, P. R. M. ; NOGUEIRA, Meuse ; AMORIM, Leonardo ; ROCHA, Fernando ; LIMA, R. M. F. . Software synthesis for hard real-time embedded systems with multiple processors. Software Engineering Notes, v. 32, p. 1, 2007.

16.
TAVARES, E.2005TAVARES, E. ; BARRETO, R. ; MACIEL, P. ; OLIVEIRA, M. ; ARCOVERDE JR., A. O. ; ALVES, G. ; LIMA, R. M. F. ; BARROS, L. ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. Lecture Notes in Computer Science, v. 3728, p. -, 2005.

Livros publicados/organizados ou edições
1.
REBÊLO, Henrique Emanuel Mostaert ; Lima, Ricardo M. F. ; CORNÉLIO, M. L . Implementing JML Contracts with AspectJ: Improving Instrumentation and Checking of JML Contracts. 1. ed. , 2012. v. 1. 144p .

2.
LIMA, R. M. F.; MUSICANTE, M. A. (Org.) . IX Simpósio Brasileiro de Linguagens de Programação. Recife: , 2005. v. 1000. 272p .

3.
LIMA, R. M. F.; MUSICANTE, M. A. (Org.) . Journal of Universal Computer Science - The 9th Brazilian Symposium on Programming Languages. 11. ed. Berlin: Springer-Verlag, 2005.

4.
LIMA, R. M. F.; ALVES, J. L. (Org.) ; FRANCA NETO, L. R. (Org.) ; SANATANA, S. A. (Org.) . Revista do Centro de Estudos Superiores Barros Melo. Recife: , 2003. v. 500. 202p .

5.
LIMA, R. M. F.; CALDAS, N. (Org.) ; RATTON, J. L. A. (Org.) ; ALVES, J. L. (Org.) . Revista do Centro de Estudos Superiores Barros Melo. Recife: , 2001. v. 1. 183p .

Capítulos de livros publicados
1.
Oliveira, César A. L. ; Lima, Ricardo M. F. ; Reijers, Hajo A. . Implementing a Digital Strategy through Business Process Management. Management for Professionals. 4ed.Switzerland: Springer International Publishing, 2015, v. , p. 231-245.

2.
SILVA, N. C. ; MEDEIROS, R. W. ; Oliveira, C. A. L. ; Lima, Ricardo M. F. . REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (Org.). 11th International Conference, ICSOC 2013. 18ed.Berlin: Springer-Verlag, 2013, v. 8274, p. 222-236.

3.
SILVA, N. C. ; SABAT, C. ; OLIVEIRA, C. A. L. DE ; LIMA, R. M. F. . Integrating Business Process Analysis and Complex Event Processing. In: Roger Lee. (Org.). (Org.). Studies in Computational Intelligence: Computer and Information Science. Berlin: Springer-Verlag, 2011, v. , p. 111-126.

4.
AMORIM, Leonardo ; BARRETO, Raimundo ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. ; TAVARES, Eduardo ; OLIVEIRA JR, Meuse . On the Use of TPN and LSC for Embedded Hard Real-Time Software Synthesis. In: Laurence Yang, Youtao Zhang, Zili Shao. (Org.). Embedded Systems: Status and Perspective. New York: American Scientific Publishers, 2007, v. , p. -.

5.
BARRETO, Raimundo ; TAVARES, Eduardo ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse ; LIMA, R. M. F. . Embedded Hard Real-Time Software Synthesis Considering Dispacher Overheads. In: Achim Rettberg and Mauro C. Zanella. (Org.). From Specification to Embedded Systems Application. 1ed.New York: Springer Verlag, 2006, v. , p. 77-86.

Trabalhos completos publicados em anais de congressos
1.
MENDONCA NETO, J. R. ; Lima, Ricardo M. F. ; ANDRADE, E. . Assessing Performance and Energy Consumption in Mobile Applications. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015), 2015, Hong Kong. IEEE SMC 2015, 2015. p. 1-10.

2.
SOUZA, F. N. ; COUTINHO, T. ; ROSA, Nelson Souto ; Lima, Ricardo M. F. . A Meta-model for QoS Monitoring in a Dynamic Service-Component Platform. In: 12th IEEE International Conference on Services Computing, 2015, Nova York. IEEE SCC 2015, 2015. p. 1-12.

3.
SOUZA, L. M. F. ; Lima, Ricardo M. F. ; ANDRADE, E. ; TAVARES, E.A.G. . Avaliação de Desempenho do Processo de Manufatura do Café. In: 14º WPerformance - CSBC 2015, 2015, Recife. 14º WPerformance - CSBC 2015, 2015. p. 1-8.

4.
TEIXEIRA, Marcelo ; RIBEIRO, R. ; BARBOSA, M. ; ENEMBRECK, F. ; Lima, Ricardo M. F. . A modeling architecture for the orchestration of service components in factory automation. In: 20th IEEE International Conference on Emerging Technology & Factory Automation, 2015, Luxemburgo. IEEE ETFA'2015, 2015. p. 1-12.

5.
REBÊLO, H. E. M. ; Gary T. Leavens ; Lima, Ricardo M.F. ; BAGHERZADEH, M. ; RAJAN, H. ; ZIMMERMAN, D. ; CORNÉLIO, Márcio Lopes ; THUMAS, T. . AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. In: Modularity 2014, 2014, Lugano. 13th International Conference on Modularity, 2014.

6.
REBÊLO, Henrique ; LEAVENS, GARY T. ; BAGHERZADEH, MEHDI ; RAJAN, HRIDESH ; LIMA, RICARDO ; ZIMMERMAN, DANIEL M. ; CORNÉLIO, MÁRCIO ; THÜM, THOMAS . AspectJML. In: the 13th international conference, 2014, Lugano. Proceedings of the 13th international conference on Modularity - MODULARITY '14. New York: ACM Press. p. 157.

7.
REBÊLO, Henrique ; LEAVENS, GARY T. ; BAGHERZADEH, MEHDI ; RAJAN, HRIDESH ; LIMA, RICARDO ; ZIMMERMAN, DANIEL M. ; CORNÉLIO, MÁRCIO ; THÜM, THOMAS . Modularizing crosscutting contracts with AspectJML. In: the 13th international conference, 2014, Lugano. Proceedings of the 13th international conference on Modularity - MODULARITY '14, 2014. p. 21.

8.
MEDEIROS, R. W. ; SILVA, N. C. ; OLIVEIRA, C. A. L. DE ; Lima, Ricardo M.F. . A Solution to the State Space Explosion Problem in Declarative Business Process. In: SEKE 2013, 2013, Boston. 2013 Conference on Software Engineering and Knowledge Engineering, 2013.

9.
VASCONCELOS, L. M. R. ; OLIVEIRA, C. A. L. DE ; LIMA, R. M. F. . Uma Metodologia Quantitativa baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software. In: Simpósio Brasileiro de Qualidade de Software, 2012, Fortaleza. XI Simpósio Brasileiro de Qualidade de Software, 2012.

10.
NEVES, A. M. V. ; OLIVEIRA, C. A. L. DE ; LIMA, R. M. F. ; SABAT, C. . Computing Strategic Trade-Offs in Web Service Deployment and Selection (Qualis B1). In: International Conference on Web Services, 2012, Hawaii. 19th International Conference on Web Services, 2012.

11.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; Mota, A.C. ; CORNÉLIO, Márcio Lopes ; OLIVEIRA, C. A. L. DE ; RIBEIRO, M. . Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (Qualis B2). In: Conference on Software Engineering and Knowledge Engineering, 2012, Califórnia. SEKE 2012, 2012.

12.
CASTRO, R. J. D. ; OLIVEIRA, Adriano Lorena Inácio de ; GUSMAO, C. M. G. ; LIMA, R. M. F. . Garantia de Qualidade de Software através da Mineração de Processos. In: Workshop de Teses e Dissertações em Qualidade de Software, 2012, Fortaleza. WTDQS 2012, 2012.

13.
AMORIM, Leonardo ; MACIEL, P. R. M. ; SOUSA, E. T. G. ; TAVARES, E.A.G. ; LIMA, R. M. F. . A Performance Comparison of Public Cloud Storage Services. In: IEEE International Conference on Systems, Man, and Cybernetics, 2012, Seoul. IEEE SMC 2012, 2012.

14.
ALBUQUERQUE JUNIOR, G. A. DE ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. ; Magnani, F. ; ARCOVERDE, Adilson . Towards the evaluation of environment and business trade-offs in supply chains. In: Fifth International Workshop on Practical Applications of Stochastic Modelling, 2011, Karlsruhe. PASM'11, 2011. p. 1-15.

15.
Queiroga J. E. ; REBÊLO, H. E. M. ; LIMA, R. M. F. ; Mota, A.C. ; Kulesza, U. ; SANTAANNA, C. . An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study. In: 1st Workshop on Modularity In Systems Software - co-located with AOSD'2011, 2011, Porto de Galinhas. MISS'2011, 2011.

16.
LEMOS, A. M. ; SABINO, C. C. ; LIMA, R. M. F. ; OLIVEIRA, C. A. L. DE . Conformance Checking of Software Development Processes Through Process Mining. In: 13th Software Engineering and Knowledge Engineering, 2011, Miami. SEKE 2011, 2011. p. 211-218.

17.
REBÊLO, H. E. M. ; COELHO, R. ; LIMA, R. M. F. ; Gary T. Leavens ; HUISMAN, M. ; Mota, A.C. ; CASTOR, F. . On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011, 2011, Lancaster. Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011, 2011.

18.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; Kulesza, U. ; SANTAANNA, C. ; COELHO, R. ; Mota, A.C. ; RIBEIRO, M. ; OLIVEIRA, C. A. L. DE . Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. In: 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 2011, Miami. Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 2011.

19.
TEIXEIRA, Marcelo ; LIMA, R. M. F. ; OLIVEIRA, C. A. L. DE ; MACIEL, Paulo Romero Martins . Planning Service Agreements in SOA-Based Systems through Stochastic Models. In: 26th Symposium On Applied Computing, 2011, Taiwan. Proceeding of the 26th ACM SAC 2011, 2011. p. 1576-1581.

20.
LEMOS, A. M. ; SABINO, C. C. ; LIMA, R. M. F. ; OLIVEIRA, C. A. L. DE . Using Process Mining in Software Development Process Management: A Case Study. In: IEEE Int Conf on Systems, Man, and Cybernetics (IEEE SMC 2011 - Qualis B1), 2011, Anchorage. IEEE SMC 2011, 2011.

21.
MEDEIROS, R. W. ; LIMA, R. M. F. ; Oliveira, Adriano L.I. . An efficient algorithm for static task scheduling in parallel applications. In: IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), 2011. IEEE SMC 2011, 2011.

22.
SOUZA, F. N. ; LOPES, D. V. ; GAMA, K. ; ROSA, Nelson Souto ; LIMA, R. M. F. . Dynamic Event-based Monitoring in a SOA Environment. In: International Symposium on Distributed Objects and Application, 2011. 13th International Symposium on Distributed Objects and Application, 2011. p. 1-8.

23.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; Gary T. Leavens . Modular Contracts with Procedures, Annotations, Pointcuts and Advice. In: Brazilian Symposium on Programming Languages (SBLP 2011), 2011, São Paulo. 16th Brazilian Symposium on Programming Languages (SBLP 2011), 2011.

24.
TEIXEIRA, Marcelo ; LIMA, R. M. F. ; OLIVEIRA, César Augusto Lins de ; MACIEL, Paulo Romero Martins . Mining Service Agreements in SOA-Based Systems through Stochastic Models. In: 26th Symposium On Applied Computing, 2011, Taiwan. SAC'2011, 2011.

25.
MEDEIROS, R. W. ; LIMA, R. M. F. ; SANTOS, F. C. G. (Felix Christian Guimarães Santos) ; OLIVEIRA, Adriano Lorena Inácio de . Scheduling Parallel Jobs For Multiphysics Simulators. In: IEEE Congress on Evolutionary Computation, 2010, Barcelona. IEEE Congress on Evolutionary Computation, 2010.

26.
Queiroga J. E. ; LIMA, R. M. F. ; REBÊLO, H. E. M. ; Mota, A.C. ; Lucena J. ; Lima F. ; Lima T. . An Aspect-Based Approach for Concurrent Programming Using CSP Features. In: 5th International Conference on Software and Data Technologies, 2010, Atenas. 5th International Conference on Software and Data Technologies, 2010.

27.
TEIXEIRA, Marcelo ; LIMA, R. M. F. ; OLIVEIRA, César Augusto Lins de ; MACIEL, Paulo Romero Martins . A Stochastic Model for Performance Evaluation and Bottleneck Discovering on SOA-Based Systems. In: 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010), 2010, Istanbul. 2010 IEEE International Conference on Systems, Man, and Cybernetics, 2010. p. 358-365.

28.
MEDEIROS, R. W. ; LIMA, R. M. F. ; SANTOS, F. C. G. (Felix Christian Guimarães Santos) ; OLIVEIRA, César Augusto Lins de ; OLIVEIRA, Adriano Lorena Inácio de . Identifying Parallel Jobs for Multi-Physics Simulators Scheduling. In: 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010), 2010, Istanbul. 2010 IEEE International Conference on Systems, Man, and Cybernetics, 2010.

29.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; Kulesza, U. ; COELHO, R. ; Mota, A.C. ; RIBEIRO, M. ; ARAUJO, J. E. Q. C. . The Contract Enforcement Aspect Pattern. In: 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010), 2010, Salvador. SugarLoafPLoP 2010, 2010.

30.
Rocha, F. ; SOARES, S. C. B. ; Soares, A. ; LIMA, R. M. F. . An Adaptable Framework for Distributed and Parallel Applications. In: 8th Parallel/High-Performance Object-Oriented Scientific Computing (POOSC 09), Workshop at the 23rd European Conference on Object-Oriented Programming (ECOOP 09), 2009, Gênova. 8th Parallel/High-Performance Object-Oriented Scientific Computing (POOSC?09). New York: ACM, 2009.

31.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; Gary T. Leavens ; Mota, A.C. . Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings (Qualis B3). In: Simpósio Brasileiro de Linguagens de Programação - SBLP 2009, 2009, Gramado. XIII Simpósio Brasileiro de Linguagens de Programação, 2009.

32.
OLIVEIRA, C. A. L. DE ; LIMA, R. M. F. ; REIJERS, H.A. . Modeling and Analyzing Resource-Constrained Business Processes (Qualis B1). In: IEEE International Conference on Systems, Man and Cybernetics (SMC), 2009, Texas. SMC 2009, 2009.

33.
TEIXEIRA, Marcelo ; LIMA, R. M. F. ; OLIVEIRA, C. A. L. DE ; MACIEL, Paulo Romero Martins . Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets (Qualis B1). In: IEEE International Conference on Systems, Man and Cybernetics (SMC), 2009, Texas. SMC 2009, 2009.

34.
NOGUEIRA, B. ; MACIEL, Paulo Romero Martins ; TAVARES, Eduardo ; LIMA, R. M. F. ; CALLOU, G. ; ANDRADE, E. . Application of Coloured Petri Net For Performance and Energy Consumption Evaluation of Embedded Systems (Qualis B2). In: International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD, 2009, São Paulo. SBAC-PAD 2009, 2009.

35.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; SOARES, S. C. B. . A JML Compiler based on AspectJ (Qualis B) - Divulgação Internacional. In: International Conference on Software Testing, Verification and Validation, 2008, Lillehammer. Proceedings of International Conference on Software Testing, Verification and Validation, 2008. p. 541-544.

36.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; SOARES, S. C. B. ; FERREIRA, Leopoldo Pires . Implementing Java Modeling Language Contracts with AspectJ (Qualis A). In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. 2008 Symposium on Applied Computing - ACM SAC 2008, 2008. p. 228-233.

37.
ALBUQUERQUE JR., G. A. DE ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . Performance Evaluation of Logistic with Componentized Stochastic Models (Qualis A - Internacional). In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008. Preceedings of IEEE SMC 2008, 2008.

38.
REBÊLO, H. E. M. ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; Gary T. Leavens ; SOARES, S. C. B. ; BORBA, Paulo Henrique Monteiro . JML and Aspects: The Benefits of instrumenting JML Features with AspectJ (Qualis C - Internacional). In: Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 16), 2008, Georgia. Proceedings of the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 2008.

39.
SOARES, S. C. B. ; BORBA, Paulo Henrique Monteiro ; LIMA, R. M. F. . Concurrency Control Modularization with Aspect-Oriented Programming. In: 31st Annual International Computer Software and Applications Conference COMPSAC'07, 2007, Pequin. 31st Annual International Computer Software and Applications Conference COMPSAC'07, 2007.

40.
OLIVEIRA JR., F. G. A. DE ; LIMA, R. M. F. ; CORNÉLIO, Márcio Lopes ; SOARES, S. C. B. ; TAVARES, Eduardo ; MACIEL, Paulo Romero Martins ; BARRETO, Raimundo ; OLIVEIRA JR, Meuse . CML: C Modeling Language (Qualis A). In: 11o Simpósio Brasileiro de Linguagens de Programação, SBLP'07, 2007, Natal. 11o Simpósio Brasileiro de Linguagens de Programação, SBLP'07, 2007.

41.
ALVES, Gabriel ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . A GSPN Based Approach to Evaluate Outbound Logistics (Qualis A) Circulação: Internacional. In: 2007 IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. Preceedings of IEEE SMC 2007, 2007.

42.
ALVES, Gabriel ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . Evaluating Supply Chains with Stochastic Models. In: 2007 IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics, 2007, Philadelphia. 2007 IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics, 2007.

43.
ALBUQUERQUE JUNIOR, G. A. DE ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . Modeling and Evaluation of Supply Chains with GSPN Components (Qualis C) Circulação Internacional. In: ValueTools: 2nd International Conference on Performance Evaluation Methodologies and Tools, 2007, Nantes. ValueTools: 2nd International Conference on Performance Evaluation Methodologies and Tools, 2007.

44.
ARCOVERDE JR., A. DE O. ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations (Qualis A) Circulação Internacional. In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceedings of IEEE SMC 2007.

45.
SILVA FILHO, A. G. ; BASTOS FILHO, C. J. A. ; LIMA, R. M. F. ; Coderiro, D. M. A. C. ; LIMA, M. P. . An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance. In: SBAC-PAD 2007: 19th International Symposium on Computer Architecture and High Performance Computing, 2007, Gramado. Proceedings of SBAC-PAD 2007: 19th International Symposium on Computer Architecture and High Performance Computing, 2007. p. 184-184.

46.
TAVARES, Eduardo ; BARRETO, Raimundo ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse ; AMORIM, Leonardo ; LIMA, R. M. F. . Software synthesis for hard real-time embedded systems with multiple processors. In: ACM SIGSOFT Software Engineering Notes, 2007. Software Engineering Notes, 2007. v. 12. p. 1-32.

47.
OLIVEIRA JR, Meuse ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. ; BARRETO, Raimundo ; TAVARES, Eduardo . Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Net. In: 27th International Conference on Application and Theory of Petri Nets and Other Models Of Councurrency - ICTPN'2006, 2006, Turku. Petri Nets 2006 : Application and Theory of Petri Nets and Other Models of Concurrency. Berlin: Lecture Notes In Computer Scicence - Springer Verlag., 2006. v. 4024. p. 261-181.

48.
TAVARES, Eduardo ; BARRETO, Raimundo ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse ; LIMA, R. M. F. ; BARROS, L. ; BESSA, A. . A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes. In: 18th Symposium on Integrated Circuits and Systems, 2005, Florianópolis. Proceedings of the 18th Symposium on Integrated Circuits and Systems, 2005.

49.
LIMA, R. M. F.; ARCOVERDE, Adilson ; ALVES, Gabriel ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse . Petri Nets tools integration through Eclipse (Qualis C, Internacional). In: eclipse Technology eXchange (eTX) Workshop at OOPSLA 2005, 2005, San Diego. eclipse Technology eXchange (eTX) Workshop at OOPSLA 2005, 2005. p. 94-98.

50.
BARRETO, Raimundo ; TAVARES, Eduardo ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse ; AMORIM, Leonardo ; LIMA, R. M. F. ; CARVALHO, C. A. M. DE ; MELLO, C. A. B. . A Time Petri Net-based Approach for Software Synthesis Considering Overheads. In: 17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'05), 2005, Rio de Janeiro. 17th International Symposium on Computer Architecture and High Performance Computing. Princenton: IEEE Publisher, 2005.

51.
QUENTAL, Nivia Cruz ; CARVALHO JÚNIOR, Francisco Heron de ; LIMA, R. M. F. . Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos. In: VI Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2005, 2005, Rio de Janeiro. Anais WSCAD 2005, 2005. p. 9-18.

52.
OLIVEIRA JR, Meuse ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. ; RIBEIRO, Ângelo Roncalli ; OLIVEIRA, C. A. L. DE ; ARCOVERDE JR., A. DE O. ; BARRETO, Raimundo ; TAVARES, Eduardo ; AMORIM, Leonardo . A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets. In: PATMOS, 2005, Leuven. Integrated Circuit and System Design. Berlin: Lecture Notes in Computer Science - Springer Verlag, 2005. p. 49-59.

53.
TAVARES, Eduardo ; BARRETO, Raimundo ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse ; ARCOVERDE JR., A. DE O. ; ALBUQUERQUE JUNIOR, G. A. DE ; LIMA, R. M. F. ; AMORIM, Leonardo ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: PATMOS, 2005, Leuven. Integrated Circuit and System Design. Berlin: Lecture Notes in Computer Science - Springer Verlag, 2005. p. 382-392.

54.
BARRETO, Raimundo ; MACIEL, Paulo Romero Martins ; NEVES, Marília ; TAVARES, Eduardo ; LIMA, R. M. F. . A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. In: IFIP Working Conference on Distributed and Parallel Embedded Systems - in conjunction with 18th IFIP World Computer Congress. Design Methods and Applications for Distributed Embedded Systems. B. Kleinjohann, G.R. Gao, H. Kopetz, L. Kleinjohann (eds.), 2004, Toulousse. IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004.

55.
BARRETO, Raimundo ; TAVARES, Eduardo ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems. In: 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004, Porto de Galinhas. 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004.

56.
TAVARES, Eduardo ; BARRETO, Raimundo ; NEVES, Marília ; MACIEL, Paulo Romero Martins ; LIMA, R. M. F. . An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints. In: 16th Brazilian Symposium on Computer Architecture and High Performance Computing, 2004, Foz do Iguaçu. 16th Brazilian Symposium on Computer Architecture and High Performance Computing, 2004.

57.
ARCOVERDE, Adilson ; ALVES, Gabriel ; LIMA, R. M. F. ; MACIEL, Paulo Romero Martins ; OLIVEIRA JR, Meuse ; BARRETO, Raimundo . EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: 1st International Symposium on Leveraging Applications of Formal Method - ISOLA 2004, 2004, Nicosia, 2004.

58.
LIMA, R. M. F.; LINS, Rafael Dueire ; SANTOS, André Luís de Medeiros . A back-end for GHC based on Categorical Multi-Combinators. In: ACM - SYMPOSIUM ON APPLIED COMPUTING - Technical Track on Programming Languages, 2003, Cypros. Proceedings of the 2004 ACM symposium on Applied computing. New York: ACM Press, 2004. p. 1482-1489.

59.
CARVALHO JÚNIOR, Francisco Heron de ; LIMA, R. M. F. ; LINS, Rafael Dueire . Coordinating Functional Processes with Haskell#. In: ACM Symposium on Applied Computing - Special Track on Coordination Models, Languages and Applications, 2002, Madrid. SAC 2002 - 17th ACM Symposium on Applied Computing. New York: ACM Press, 2002. p. 393-400.

60.
CARVALHO JÚNIOR, Francisco Heron de ; LIMA, R. M. F. ; LINS, Rafael Dueire . Translating Haskell# Programs into Petri Nets. In: High Performance Computing for Computational Science, 2002, Porto. Proceedings of VECPAR 2002. Berlin: Lecture Notes in Computer Science - Springer Verlag, 2002. v. 2565. p. 635-649.

61.
CARVALHO JÚNIOR, Francisco Heron de ; LIMA, R. M. F. ; LINS, Rafael Dueire . Parallelizing MPC-Haskell for Evaluating Haskell Parallel Programming Environment. In: 13th Brazilian Symposium on Computer Architecture and High Performance Computing, 2001, Pirenópolis. 13th Brazilian Symposium on Computer Architecture and High Performance Computing, 2001. p. 195-205.

62.
LIMA, R. M. F.; LINS, Rafael Dueire . Translating HCL Programs into Petri Nets. In: 13th Brazilian Symposium on Software Engineering, 2000, João Pessoa. XIV BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2000. p. 147-162.

63.
CARVALHO JÚNIOR, Francisco Heron de ; MOURA, H. P. ; LIMA, R. M. F. ; LINS, Rafael Dueire . An Action Semantics to STG. In: Action Semantics, 2000, Recife. Action Semantics. Dinamarca: Brics Newsletter, 2000. v. 6. p. 98-117.

64.
LIMA, R. M. F.; CARVALHO JÚNIOR, Francisco Heron de ; LINS, Rafael Dueire . HaskellX: A Message Passing Extension to Haskell. In: Latin American Conference on Functional Programming, 1999, Recife. 3rd Latin American Conference on Functional Programming, 1999.

65.
LIMA, R. M. F.; LINS, Rafael Dueire . HaskelX: A Functional Language with Explicity Parallelism. In: VECPAR'98, 1998, Porto. 3rd International Meeting on Vector and Parallel Processing, 1998. p. 1-6.

66.
CAMELO, H. A. L. ; LINS, Rafael Dueire ; LIMA, R. M. F. ; SOUZA, F. V. . Research Interest in Functional Programming. In: Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais, 1998. p. 71-78.

67.
LIMA, R. M. F.; CRUZ NETO, G. G. ; SALZANO FILHO, J. A. ; LIRA, B. O. ; LINS, Rafael Dueire . Implementando Haskell Usando mGCMC. In: SBLP'97, 1997, Campinas. II Congresso Brasileiro de Linguagens de Programacao, 1997. p. 8-22.

68.
LIMA, R. M. F.; CRUZ NETO, G. G. ; LINS, Rafael Dueire ; SANTOS, André Luís de Medeiros . Optimising Pseudoknot in GCMC. In: EUROMICRO'96, 1996, Praga. 22th EUROMICRO Conference, 1996. p. 120-126.

69.
LIMA, R. M. F.; LINS, Rafael Dueire ; QUEIROZ, J. A. M. . Translating Basic LOTOS into Occam 2. In: EUROMICRO'96, 1996, Praga. Beyond 2000: Hardware/Software Design Strategies, 1996. p. 229-234.

70.
LIMA, R. M. F.; CRUZ NETO, G. G. ; LINS, Rafael Dueire ; SANTOS, André Luís de Medeiros . Novas Técnicas de Otimização de Código em GCMC. In: SBLP'96, 1996, Belo Horizonte. I Simposio Brasileiro de Linguagens de Programacao, 1996. p. 169-180.

71.
LIMA, R. M. F.; LINS, Rafael Dueire ; QUEIROZ, J. A. M. . Mapping Basic LOTOS Constructors into Occam 2. In: SEMISH, 1996, Recife. XXIII Seminário Integrado de Software e Hardware, 1996. p. 71-82.

72.
LINS, Rafael Dueire ; CRUZ NETO, G. G. ; LIMA, R. M. F. . Implementing and Optimising GCMC. In: EUROMICRO'94, 1994, Liverpool. Implementing and Optimising GCMC, 1994. p. 353-360.

73.
LINS, Rafael Dueire ; CRUZ NETO, G. G. ; LIMA, R. M. F. . Implementando and Otimizando GCMC. In: SEMISH, 1994, Caxambu. XXI Seminário Integrado de Software e Hardware, 1994. p. 255-269.

Artigos aceitos para publicação
1.
MEDEIROS, R. W. ; Lima, Ricardo M. F. ; SILVA, N. C. ; REIJERS, H.A. . Formal semantics of the liveness-enforcing mechanism of REFlex rule engine (Qualis A1) - Aceito para Publicação em 2015. IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans, 2015.


Produção técnica
Programas de computador sem registro
1.
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.

2.
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.

3.

4.

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

Redes sociais, websites e blogs
1.
Lima, Ricardo M. F.; NOGUEIRA, T. J. D. D. ; VIANA, D. . Portal do Estudante da UFPE. 2014. (Site).


Demais tipos de produção técnica


Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
IYODA, J.M.; Oliveira, C. A. L.; Lima, Ricardo M. F.; ANDRADE, E. C.. Participação em banca de Lubnnia Morais Florêncio de Souza. " Avaliação de Performabilidade do Processo de Manufatura do Café ". 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
AMORIM, F. A. B.; SANTORO, F. M.; REVOREDO, K.; Lima, Ricardo M. F.. Participação em banca de Pedro Henrique Piccoli Richetti. " 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.

3.
MONTEIRO, J. A. S.; Maciel, Paulo; Lima, Ricardo M. F.; LIMA, M. N.; DOMINGUES, M. A. O.. Participação em banca de Eduardo de Melo Vasconcelos. " 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.

4.
Lima, Ricardo M. F.; ADEODATO, P.J.L.; OLIVEIRA, Adriano Lorena Inácio de. Participação em banca de Petrônio Luna Braga. "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.

5.
Lima, Ricardo M. F.; CALLOU, G. R. A.; MACIEL, P.. Participação em banca de Maria Clara dos Santos Bezerra. " Modelos para Análise de Disponibilidade de Arquiteturas de um Serviço de Vod Streaming na Nuvem". 2015 - Universidade Federal de Pelotas.

6.
Lima, Ricardo M. F.; CALLOU, G. R. A.; SILVA FILHO, A. G.. Participação em banca de Júlio Rodrigues de Mendonça Neto. 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.

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

8.
ALVES, C. F.; DINIZ, P. R. B.; Lima, Ricardo M. F.. Participação em banca de Danilo Farias Soares da Silva. "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.

9.
ALENCAR, Fernanda Maria Ribeiro de; CASTRO, J. F. B.; Lima, Ricardo M.F.; RODRIGUES, M. A. B.; Maciel, Paulo. Participação em banca de Julio Cesar de Lima Lopes. " 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.

10.
Oliveira, Adriano L.I.; GUSMAO, C. M. G.; Lima, Ricardo M.F.. Participação em banca de Rosinete Libanio dos Santos Costa. " 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.

11.
MACIEL, P. R. M.; LINS, F. A. A.; LIMA, R. M. F.. Participação em banca de Jesse James Matos Soares. " 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.

12.
Lima, Ricardo M.F.. Participação em banca de Erica Teixeira Gomes de SOusa. " 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.

13.
MOURA, H. P.; GUSMAO, C. M. G.; VASCONCELOS, Alexandre Marcos Lins de; Lima, Ricardo M.F.. Participação em banca de Melquizedequi Cabral dos Santos. " 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.

14.
SANTOS, André Luís de Medeiros; LIMA, R. M. F.; GARCIA, V.C.; MAAMAR, Z.; AQUINO JUNIOR, G. S.. Participação em banca de Vanilson André de Arruda Burégio. " 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.

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

16.
LIMA, R. M. F.; LINS, F. A. A.; TAVARES, E.A.G.. Participação em banca de Rosiberto dos Santos Gonçalves. "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.

17.
LINS, F. A. A.; ROSA, Nelson Souto; Lima, Ricardo M. F.. Participação em banca de David Júnio Mota Cavalcanti. " 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.

18.
Lima, Ricardo M. F.; LINS, F. A. A.; ROSA, Nelson Souto. Participação em banca de David Júnio Mota Cavalvanti. "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.

19.
Lima, Ricardo M.F.; OLIVEIRA, L. A. H. G.; Maciel, Paulo. Participação em banca de Jamilson Ramalho Dantas. 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.

20.
LIMA, R. M. F.; ROSA, Nelson Souto; MAGNANI, F.; LUNA, H. P. L.; TUTSH, D.. Participação em banca de Gustavo Rau de Almeida Callou. 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.

21.
CUNHA, Paulo Roberto Freire; SCHULZE, B. R.; LIMA, R. M. F.. Participação em banca de Emerson Carneiro de Andrade. 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.

22.
LIMA, R. M. F.; LINS, F. A. A.; MEIRA, Silvio Romero Lemos. Participação em banca de Lenin Ernesto Abadié Otero. 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.

23.
LIMA, R. M. F.; ALVES, Carina; SANTOS, S. C.; REIS, R. Q.; SANTANA JUNIOR, C. A.; TEIXEIRA FILHO, J. G. A.. Participação em banca de Luciana de Queiroz Leal Gomes. 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.

24.
Lima, Ricardo M.F.; AQUINO JUNIOR, G. S.; GARCIA, V.C.. Participação em banca de Vanilson André de Arruda Buregio. "Social Machines: A Unified Paradigm to Describe, Design and Implement the Emerging Social Systems". 2013.

25.
Lima, Ricardo M.F.. Participação em banca de Artini Mascarenhas de Lemos. " 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.

26.
GALDINO, S. M. L.; MACIEL, Paulo Romero Martins; BARRETO, R. S.; Lima, Ricardo M.F.. Participação em banca de João Ferreira da Silva Júnior. " 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.

27.
LIMA, R. M. F.; SANTOS, André Luís de Medeiros; BOIS, A.R.D.. Participação em banca de Leonardo Fernandes Mendonça de Oliveira. 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.

28.
LIMA, R. M. F.; TAVARES, E.A.G.; OLIVEIRA, S.C.. Participação em banca de Cláudio Rogério Albuquerque de Oliveira. 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.

29.
LIMA, R. M. F.; MOURA, H. P.; GUSMAO, C. M. G.. Participação em banca de Lívia Maria Rocha de Vasconcelos Cunha. 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.

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

31.
LIMA, R. M. F.; GUSMAO, C. M. G.; GARCIA, V.C.. Participação em banca de Katiane Oliveira Alpes da Silva. 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.

32.
Lima, Ricardo M.F.; PINTO, I. I. B. S.; NOVAES, M. A.. Participação em banca de Hugo Araújo Souza. 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.

33.
Lima, Ricardo M.F.; ROSA, Nelson Souto; GAMA, K.. Participação em banca de Danilo Vieira Lopes. 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.

34.
Lima, Ricardo M.F.; CORNÉLIO, Márcio Lopes; MASSONI, T. L.. Participação em banca de Walter Maymone de Melo Neto. 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.

35.
Maciel, Paulo; CARVALHO JÚNIOR, Francisco Heron de; Lima, Ricardo M.F.. Participação em banca de Alan Mateus Vieira Neves. 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.

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

37.
LIMA, R. M. F.; ROSA, Nelson Souto; MACIEL, R.S.P.. Participação em banca de Bruno Leonardo Barros Silva. 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.

38.
LIMA, R. M. F.; TAVARES, Eduardo; SOUZA, F. V.. Participação em banca de José Jair Cavalcante de Figueirêdo. 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.

39.
LIMA, R. M. F.; Mota, A.C.; COELHO, R.. Participação em banca de José Elias Queiroga da Costa Araújo. 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.

40.
LIMA, R. M. F.; FONSECA, D.; CARVALHO FILHO, E. C. B.. Participação em banca de José Hermano Cavalcanti Filho. " 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.

41.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; TAVARES, Eduardo. Participação em banca de Bruno Costa e Silva Nogueira. 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.

42.
SILVA FILHO, A. G.; LIMA, R. M. F.; LIMA, Manoel Euzébio de. Participação em banca de Frederico Cox Cavalcanti Lins Jr. 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.

43.
MACIEL, Paulo Romero Martins; SADOK, D. F. H.; SALGUEIRO, RJPB; LIMA, R. M. F.. Participação em banca de Hugo Estanislau Soares. 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.

44.
LIMA, R. M. F.; OLIVEIRA, Adriano Lorena Inácio de; G.D.C. Cavalcanti. Participação em banca de Felipe Toledo Gonçalves de Oliveira. " 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.

45.
LIMA, R. M. F.; ALVES, Carina; CORNÉLIO, Márcio Lopes. Participação em banca de Marcio Magalhães de Souza. Uma Proposta para Aplicar Análise Quantitativa de Risco em Projetos de Software Ágeis. 2010.

46.
LIMA, R. M. F.; CARVALHO JÚNIOR, Francisco Heron de; CORRÊA, R.C.. Participação em banca de Davi Morais Ferreira. 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á.

47.
LIMA, R. M. F.; ROSA, Nelson Souto; RIBEIRO, C.M.F.A.. Participação em banca de Roberto Lopes Marques. 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.

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

49.
LIMA, R. M. F.; MACIEL, P. R. M.; BATISTA, M.C.. Participação em banca de Marcely Daniela dos Santos Dias. 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.

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

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

52.
LIMA, R. M. F.. Participação em banca de Carlos Henrique Maciel Sobral. " 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.

53.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; SALGUEIRO, RJPB. Participação em banca de Ermeson Carneiro de Andrade. 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.

54.
LIMA, R. M. F.; SALGUEIRO, RJPB; MACIEL, Paulo Romero Martins. Participação em banca de Antonio Ricardo P. 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.

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

56.
LIMA, R. M. F.; ROSA, Nelson Souto. Participação em banca de Kalil Araújo Bispo. 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.

57.
LIMA, R. M. F.; OLIVEIRA, Adriano Lorena Inácio de; CARVALHO, F.A.T.. Participação em banca de Lamartine Almeida Teixeira. 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.

58.
LIMA, R. M. F.; OLIVEIRA, Adriano Lorena Inácio de; ADEODATO, P.J.L.. Participação em banca de Petrônio Luna Braga. 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.

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

60.
MOURA, H. P.; Lima, Ricardo M. F.; SANTOS, André Luís de Medeiros. Participação em banca de Guilherme Amaral Avelino. "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.

61.
LIMA, R. M. F.; SANTOS, André Luís de Medeiros; MOURA, H. P.. Participação em banca de Guilherme Amaral Avelino. 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.

62.
BARROS, Edna Natividade da Silva; LIMA, R. M. F.; CRISTIANO, C. A.. Participação em banca de Guilherme Álvares Rodrigues Maia Esmeraldo. 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.

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

64.
VASCONCELOS, Alexandre Marcos Lins de; LIMA, R. M. F.; SAMPAIO, Augusto César Alves. Participação em banca de Patrícia Muniz Ferreira. 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.

65.
BORBA, Paulo Henrique Monteiro; LIMA, R. M. F.; SANTOS, André Luís de Medeiros. Participação em banca de Monique Louise de Barros Monteiro. Integrando Haskell à Plataforma .NET. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

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

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

68.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; BARROS, Tomaz de Carvalho. Participação em banca de Eduardo Antonio Guimarães Tavares. 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.

69.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; ROSA, Nelson Souto. Participação em banca de Leonardo Amorim de Barros. 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.

70.
SADOK, D. F. H.; LIMA, R. M. F.; MACIEL, Paulo Romero Martins. Participação em banca de Fernando Ferreira de Carvalho. 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.

71.
MELO, S. B.; LIMA, R. M. F.; SANTOS, André Luís de Medeiros. Participação em banca de Eric Bruno Perazzo Mariz. 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.

72.
BORBA, Paulo Henrique Monteiro; LIMA, R. M. F.; SANTOS, André Luís de Medeiros. Participação em banca de Carlos Andrezza Rego de Andrade. AspectH: Uma Extensão Orientada a Aspectos de Haskell. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

73.
SANTOS, André Luís de Medeiros; LIMA, R. M. F.; MOURA, H. P.. Participação em banca de Bruno Loreiro de Abreu. 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.

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

75.
SANTOS, André Luís de Medeiros; LIMA, R. M. F.; MOURA, H. P.. Participação em banca de Bruno Loureiro de Abreu. 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.

76.
ROSA, Nelson Souto; LIMA, R. M. F.; MACIEL, Paulo Romero Martins. Participação em banca de Wellington João da Silva. 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.

77.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; LIMA, Manoel Euzébio de. Participação em banca de Albano Portela Machado. 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.

78.
LIMA, R. M. F.; SANTOS, André Luís de Medeiros; BORBA, Paulo Henrique Monteiro. Participação em banca de Tarcisio Pinto Câmara. Otimizações Bytecode Java na Plataforma J2ME. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

79.
LIMA, R. M. F.; PIMENTEL, Cecílio José Lins; LINS, Rafael Dueire. Participação em banca de João Guilherme Moraes Silva. 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.

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

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

82.
LIMA, R. M. F.; ALENCAR, Fernanda Maria Ribeiro de; LINS, Rafael Dueire. Participação em banca de Luciana Souza e Silva. 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.

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

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

85.
SANTOS, André Luís de Medeiros; LIMA, R. M. F.; SAMPAIO, Augusto César Alves. Participação em banca de Antonio Algusto Rodrigues de Albuquerque. 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.

86.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; BARROS, Tomaz de Carvalho. Participação em banca de Mauro José Carlos e Silva. 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.

87.
LIMA, R. M. F.; LINS, Rafael Dueire. Participação em banca de Carla Oran Fonseca de Souza. 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.

88.
LIMA, R. M. F.; LINS, Rafael Dueire; MELLO, C. A. B.. Participação em banca de Andréa Pereira de Mendonça. 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.

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

90.
LIMA, R. M. F.; CAMPELO, R.; LINS, Rafael Dueire. Participação em banca de Ricardo Silva Barboza. 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.

91.
LIMA, R. M. F.; LINS, Rafael Dueire; ALENCAR, Fernanda Maria Ribeiro de. Participação em banca de Nívia Menezes de Oliveira. 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.

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

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

2.
CUNHA, Paulo Roberto Freire; Lima, Ricardo M.F.; SADOK, D. F. H.; STRUM, Marius; LUNA, H. P. L.. Participação em banca de Bruno Cosa e Silva Nogueira. " 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.

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

4.
Lima, Ricardo M. F.; ASSAD, R.; GARCIA, V.C.. Participação em banca de Julio Cesar Damasceno. " 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.

5.
Lima, Ricardo M. F.; MACIEL, P.; MONTEIRO, J. A. S.; LIMA, M. N.; DOMINGUES, M. A. O.. Participação em banca de Eduardo de Melo Vasconcelos. 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.

6.
Lima, Ricardo M. F.; GARCIA, V.C.; ASSAD, R. E.; REBBELO, E. F. V.; SALES, D. M.. Participação em banca de Julio Cesar Damasceno. " UCloud: Uma Abordagem para Implantação de Nuvem Privada Para a Administração Pública Federal". 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

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

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

9.
CUNHA, Paulo Roberto Freire; Lima, Ricardo M.F.; TAVARES, E.A.G.; MATIAS JUNIOR, R.; SALGUEIRO, RJPB. Participação em banca de Emerson Carneiro de Andrade. " 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.

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

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

12.
LIMA, R. M. F.; SILVA FILHO, A. G.; Fröhlich, A. A.. Participação em banca de Bruno Otávio Piedade Prado. 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.

13.
FERREIRA, J. E.; LEJBMAN, A.G.V.; MATTOSO, M.L.Q.; LIMA, R. M. F.; FERNANDES, P.H.L.. Participação em banca de Kelly Rosa Braghetto. 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.

14.
LIMA, R. M. F.; ROSA, Nelson Souto; DIAS, K.L.; MACEDO, R. J. A.; FERRAS, C.J.G.. Participação em banca de Obionor de Oliveira Nóbrega. 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.

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

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

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

18.
LIMA, Manoel Euzébio de; LIMA, R. M. F.; SANTOS, André Luís de Medeiros; AZEVEDO, R. J.; BECKER, L. B.. Participação em banca de Edson Barbosa Lisboa. 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.

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

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

21.
T. B. Ludemir; CARVALHO, A. C. P. L. F.; Lima, Ricardo M.F.. Participação em banca de Roberto Angelo Fernandes Santos. 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.

22.
CUNHA, Paulo Roberto Freire; ROSA, Nelson Souto; LIMA, R. M. F.; FERNANDES, A. O.; ABDELOUAHAB, Zair. Participação em banca de Sérgio Murilo Maciel Fernandes. 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.

23.
CUNHA, Paulo Roberto Freire; LIMA, R. M. F.; BARROS, Tomaz de Carvalho; MACIEL, Paulo Romero Martins; STRUM, Marius. Participação em banca de Remy Eskinazi Sant'Anna. 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.

24.
CUNHA, Paulo Roberto Freire; ROSA, Nelson Souto; LIMA, R. M. F.; MARRANGHELLO, N.; BARROS, Tomaz de Carvalho. Participação em banca de Meuse Nogueira de Oliveira Júnior. 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.

25.
MACIEL, Paulo Romero Martins; SONG, Siang Wun; LIMA, R. M. F.; ROSA, Nelson Souto; CUNHA, Paulo Roberto Freire. Participação em banca de Raimundo da Silva Barreto. 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.

26.
LIMA, R. M. F.; MARRANGHELLO, N.; BARROS, Tomaz de Carvalho. Participação em banca de Meuse Nogueira de Oliveira Júnior. 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.

27.
LIMA, R. M. F.; FERNANDES, E. S. T.; MACIEL, Paulo Romero Martins; ROSA, Nelson Souto; SONG, Siang Wun. Participação em banca de Francisco Heron de Carvalho Júnior. Um ambiente para programação paralela eficiente. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

28.
ROSA, Nelson Souto; Maciel, Paulo; FERNANDES, E. S. T.; Lima, Ricardo M.F.; SONG, Siang Wun. Participação em banca de Francisco Heron de Carvalho Júnior. 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.

Qualificações de Doutorado
1.
LIMA, R. M. F.; T. B. Ludemir; A. P. L. F. Carvalho; G.D.C. Cavalcanti; LIMA NETO, F. B.. Participação em banca de Roberto Ângelo Fernandes Santos. 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.

2.
LIMA, R. M. F.; LIMA, Manoel Euzébio de; SANTOS, André Luís de Medeiros. Participação em banca de Edson Barbosa Lisboa. 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.

3.
LIMA, R. M. F.; ROSA, Nelson Souto; CUNHA, Paulo Roberto Freire; SONG, Siang Wun. Participação em banca de Raimundo da Silva Barreto. 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.

Monografias de cursos de aperfeiçoamento/especialização
1.
LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Participação em banca de Alice do Rêgo Barros Guaraná. Metodologia para Melhoria da Performance de Queries. 2005. Monografia (Aperfeiçoamento/Especialização em Banco de Dados) - Centro de Estudos Superiores Barros Melo.

2.
LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Participação em banca de Eziel de Arruda. 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.

3.
LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Participação em banca de George Roberto Pinheiro Costa. 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.

4.
LIMA, R. M. F.; CALÁBRIA, Eduardo Gonçalves; FRANCA NETO, L. R.. Participação em banca de Raquel Ouriques de Araújo Torres Carvalho. 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.

5.
CALÁBRIA, Eduardo Gonçalves; LIMA, R. M. F.; GUSMAO, C. M. G.. Participação em banca de Maurício Guedes Marques. 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.

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

7.
LIMA, R. M. F.; MACIEL, Paulo Romero Martins; MELLO, C. A. B.. Participação em banca de Paulo Roberto Alves Cavendish. 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.

Trabalhos de conclusão de curso de graduação
1.
Lima, Ricardo M. F.. Participação em banca de Igor Leonardo Rodrigues Gomes.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.

2.
LIMA, R. M. F.; NOVAES, M. A.. Participação em banca de Fred Eduardo Revoredo Rabelo Ferreira.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.

3.
Lima, Ricardo M. F.. Participação em banca de Davi Duarte Pinheiro.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.

4.
LIMA, R. M. F.. Participação em banca de Júlio Gil da Fonte Freire.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.

5.
SOARES, S. C. B.; LIMA, R. M. F.. Participação em banca de Fernando Antônio Farias Rocha.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.

6.
LIMA, R. M. F.; LENCASTRE, Maria; CORNÉLIO, Márcio Lopes. Participação em banca de Nivea Quental.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.

7.
LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; OLIVEIRA, Adriano Lorena Inácio de. Participação em banca de Filipe Regueira.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.

8.
LIMA, R. M. F.; MELLO, C. A. B.; SOARES, S. C. B.. Participação em banca de Carlos Adriano Lima.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.

9.
LIMA, R. M. F.; MELLO, C. A. B.; TEICHRIEB, V.. Participação em banca de Clóvis Santos.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.

10.
LIMA, R. M. F.; OLIVEIRA, Adriano Lorena Inácio de; SOARES, S. C. B.. Participação em banca de Pedro França.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.

11.
LIMA, R. M. F.; OLIVEIRA, Adriano Lorena Inácio de; SOARES, S. C. B.. Participação em banca de Renato Pina França.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.

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

13.
FRANCA NETO, L. R.; ASSAD, R.; LIMA, R. M. F.. Participação em banca de Henrique Emanuel Mostaert Rebêlo.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.



Participação em bancas de comissões julgadoras
Professor titular
1.
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.

Concurso público
1.
Lima, Ricardo M. F.. Professor Adjunto. 2014. Universidade Federal do Rio Grande do Sul.

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

3.
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.

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

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

6.
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.

7.
LIMA, R. M. F.; ROSA, Nelson Souto; OLIVEIRA, Adriano Lorena Inácio de. Professor Adjunto. 2006. Universidade de Pernambuco.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

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

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

Outras participações
1.
Lima, Ricardo M. F.. Consultor Ad-hoc. 2015. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

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

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

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

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

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



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Congresso Brasileiro de Computação - CSBC 2015. 2015. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Organização de eventos, congressos, exposições e feiras
1.
LIMA, R. M. F.. Chair - Sessão de Ferramentas (CBSoft 2012 ) - Congresso Brasileiro de Software. 2012. (Congresso).

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

3.
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).

4.
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).

5.
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).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Milton Vinicius Morais de Lima. a ser definido. Início: 2016. Dissertação (Mestrado em Centro de Informática) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Rafael Isaias Rodrigues Coelho. a ser definido. Início: 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

3.
Pedro Augusto Clemente de Melo. a ser definido. Início: 2013. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

Tese de doutorado
1.
Lubnnia Morais Florêncio de Souza. a ser definido. Início: 2016. 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).

2.
Rosiberto dos Santos Goncalves. a ser definido. Início: 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Jesse James Matos Soares. a ser definido. Início: 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco. (Orientador).

4.
Julio Rodrigues de Mendonca Neto. a ser definido. Início: 2015. 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).

5.
Verônica Telino Leal de Lacerda. a ser definido. Início: 2015. Tese (Doutorado em Centro de Informática) - Universidade Federal de Pernambuco. (Orientador).

6.
Marilia Eutimia de Souza Oliveira. a ser definido. Início: 2014. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Júlio Rodrigues de Mendonça Neto. 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.

2.
Danilo Farias Soares da Silva. 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.

3.
Lubnnia Morais Florêncio de Souza. 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.

4.
Fabiane de Andrade Lima Amorim Albino. 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.

5.
Natália Cabral Silva. 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.

6.
Rosinete Libanio dos Santos. 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.

7.
Jesse James Matos Soares. 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.

8.
Washington de Almeida Franco. 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.

9.
Alan Mateus Vieira Neves. 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.

10.
Danilo Vieira Lopes. 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.

11.
Cláudio Rogério Albuquerque de Oliveira. 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.

12.
Walter Maymone de Melo Neto. 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.

13.
Juliana Brayner Medeiros. 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.

14.
Katiane Oliveira Alpes da Silva. 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.

15.
Lívia Maria Rocha de Vasconcelos. 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.

16.
José Elias Queiroga da Costa Araújo. 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.

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

18.
Marcelo Teixeira. 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.

19.
César Augusto Lins de Oliveira. 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.

20.
Henrique Emanuel Mostaert Rebêlo. 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.

21.
Fernando Antônio Farias Rocha. 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.

22.
Adilson de Oliveira Arcoverde Junior. 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.

23.
Gabriel Alves de Albuquerque Junior. 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.

Tese de doutorado
1.
Renata Wanderley Medeiros. 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.

2.
César Augusto Lins de Oliveira. 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.

3.
Henrique Emanuel Mostaert Rebêlo. 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.

4.
Gabriel Alves de Albuquerque Junior. 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.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Natália Cabral Silva. 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.

2.
Luciana Andrade de Oliveira. 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.

3.
Ioná Aguiar. 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.

4.
Mariana Cervino. 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.

5.
José Claudemir Pacheco Júnior. 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.

6.
Ivo Leonardo Kawahala. 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.

7.
Arthur César T. 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.

Trabalho de conclusão de curso de graduação
1.
Paulo Batista. 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.

2.
Renata Wanderley Medeiros. 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.

3.
César Augusto Lins de Oliveira. 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.

4.
Cleyton Mário de Oliveira Rodrigues. 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.

5.
Laura Moraes. 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.

6.
Marcelo Nunes. 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.

7.
Frederico Guilherme Alvares de Oliveira Jr.. 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.

8.
André Câmara. 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.

9.
Emanuel de Aragão. 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.

10.
César Augusto Mendonça de Carvalho. 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.

11.
Henrique Emanuel Mostaert Rebêlo. 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.

12.
Adilson de Oliveira Arcoverde Jr.. 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.

13.
Laureano de Lira Montarroyos Filho. 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.

14.
Gabriel Alves de Albuquerque Jr.. 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.

15.
Reinaldo Melo Soares. 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.

16.
Ludmila Braga Pinto. 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.

17.
Edvaldo Panta das Neves Júnior. 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.

18.
Henrique de Aguiar Sá Vila Nova Júnior. 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.

19.
Luiz Fernando S. 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.

20.
José Adilson Lopes da Silva. 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.

21.
Paulo Rogério Cavalcanti de Carvalho. 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.

22.
Myrna Ribeiro de Melo Cabral. 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.

23.
Marcos Antonio Barbosa. 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.

24.
Cláudia Canuto Machado. 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.

Iniciação científica
1.
Erick Július Corrêa Santiago. 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.

2.
Diego Viana. 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.

3.
Tiago José Dimas Dias Nogueira. 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.

4.
Tiago José Dimas Dias Nogueira. 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.

5.
Igos Matos de Sá Pereira Costa. 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.

6.
Rodolfo José de Oliveira Soares. 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.

7.
Natália Cabral Silva. 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.

8.
Eric Andersen Freitas e Silva. 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.

9.
Natália Cabral Silva. 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.

10.
Cecília Leite Sabat. 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.

11.
Cecília Leite Sabat. 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.

12.
Marcelo Florêncio Sobral. 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.

13.
Tiago 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.

14.
Juliana Medeiros de Lucena. 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.

15.
Caio César Sabino Silva. 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.

16.
Cecília Leite Sabat. 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.

17.
Thiago Moreira André. 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.

18.
Leopoldo Pires Ferreira. 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.

19.
Thiago Moreira André. 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.

20.
Fernando Antônio Farias Rocha. 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.

21.
Renata Wanderley Medeiros. 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.

22.
Vanessa Figueiredo Trajano. 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.

23.
Guilherme Alvares de Oliveira Jr.. 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.

24.
Henrique Emanuel Mostaert Rebêlo. 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.

25.
Thiago Moreira Andrade. 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.

26.
Leopoldo Pires Ferreira. 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.

27.
Cleyton Mário de Oliveira Rodrigues. 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.

28.
Gabriel Alves. 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.

29.
Cleyton Mário de Oliveira Rodrigues. 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.

30.
Fernando Antônio Farias Rocha. 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.

31.
Ângelo Roncalli Ribeiro. 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.

32.
Anderson da Silva Santos. 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.

33.
Henrique Emanuel Mostaert Rebêlo. 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.

34.
César Augusto Lins de Oliveira. 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.

35.
Nivia Cruz Quental. 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.

36.
Frederico Guilherme Alvares de Oliveira Jr.. 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.

37.
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.

38.
Adilson Arcoverde. 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.

39.
César Augusto Lins de Oliveira. 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.

40.
Cleyton Mário de Oliveira Rodrigues. 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.

41.
Cleyton Mário de Oliveira Rodrigues. 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.

42.
César Augusto Lins de Oliveira. 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.

43.
Henrique Emanuel Mostaert Rebêlo. 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.

44.
Marcelo Alves Costa. 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.

45.
Rodrigo Henrique da Silva. 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.

Orientações de outra natureza
1.
Felipe Sarmanho. 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.

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

3.
Renata Wanderley Medeiros. 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.

4.
Fernando Antônio Farias Rocha. 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.

5.
Renata Wanderley Medeiros. 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.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 13/11/2018 às 5:35:42