Jorge Cesar Abrantes de Figueiredo

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


Engenheiro Eletricista (eletrônica) pela UFPB, PB, 1987, Mestre em Informática e Doutor em Ciência pela UFPB, PB, em 1989 e 1994, respectivamente. Realizou atividades de Pós-Doutorado na Aarhus University, Dinamarca, durante o período de agosto/98 a abril/2000. É Professor Titular do Departamento de Sistemas e Computação da Universidade Federal de Campina Grande. Foi Coordenador Administrativo do Departamento de Sistemas e Computação da UFCG de 2011 a 2013. Foi coordenador do Curso de Ciência da Computação, DSC/UFCG, PB, em 1997 e 1998 e coordenador do curso de Pós-Graduação em Informática, Copin/DSC/UFCG, PB, entre 2001 e 2003. Foi pesquisador visitante no Department of Computer Science, University of Pittsburgh, PA, USA, em 1992 e 1993. As principais áreas de interesse de pesquisa são: Métodos Formais, Redes de Petri e Engenharia de Software, em especial Evolução de Software e Educação em Engenhara de Software. Áreas nas quais publicou mais de 100 artigos a nível nacional e internacional. É membro do Editorial Board das LNCS ToPNoC ? Transactions on Petri nets and Other Models of Concurrency (Springer). De janeiro/2014 a dezembro/2017 foi Vice-diretor do Centro de Engenharia Elétrica e Informática da UFCG. Desde janeiro/2018 é Diretor do Centro de Engenharia Elétrica e Informática da UFCG. (Texto informado pelo autor)


Identificação


Nome
Jorge Cesar Abrantes de Figueiredo
Nome em citações bibliográficas
FIGUEIREDO, J. C. A.;Figueiredo, Jorge C. A.;Figueiredo, Jorge;Figueiredo, Jorge C. A. de;DE FIGUEIREDO, JORGE CESAR ABRANTES;DE FIGUEIREDO, JORGE C. A.;DE FIGUEIREDO, JORGE C.A.;DE FIGUEIREDO, J.C.A.;FIGUEIREDO, JORGE C.A. DE;FIGUEIREDO, JORGE

Endereço


Endereço Profissional
Universidade Federal de Campina Grande, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.
Caixa Postal 10091 - Av. Aprígio Veloso, 882
Bodocongó
58109970 - Campina Grande, PB - Brasil - Caixa-postal: 10091
Telefone: (83) 21011429
URL da Homepage: http://www.dsc.ufcg.edu.br/~abrantes


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


1990 - 1994
Doutorado em Engenharia Elétrica.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: Redes de Petri com Temporização Nebulosa, Ano de obtenção: 1994.
Orientador: Shi-Kuo Chang e Misael Elias de Morais.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática.
1987 - 1989
Mestrado em Ciência da Computação.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: Sistema de Auxílio à Manobras e Liberação de Linhas de Transmissão Utilizando Técnicas de Inteligência Artificial,Ano de Obtenção: 1989.
Orientador: Misael Elias de Morais e Angelo Perkusich.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Sistemas Especialistas; Sistemas de Potencia.
Grande área: Ciências Exatas e da Terra
1982 - 1987
Graduação em Engenharia Elétrica.
Universidade Federal da Paraíba, UFPB, Brasil.


Pós-doutorado


1998 - 2000
Pós-Doutorado.
Aarhus University, AU, Dinamarca.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

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

Vínculo institucional

2002 - 2014
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado 4, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

01/2018 - Atual
Direção e administração, Centro de Engenharia Elétrica e Informática, .

Cargo ou função
Diretor do Centro de Engenharia Elétrica e Informática.
10/2004 - Atual
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, .

3/2003 - Atual
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Técnicas de Algoritmos
Laboratório de Programação 1
Programação 1
T.E.C.C.: Métodos Formais
T.E.C.C.: Redes de Petri
Teoria dos Grafos
Estrutura de Dados
3/2003 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Evolução de Software
Modelagem e Validação de Sistemas Usando redes de Petri
01/2014 - 12/2017
Direção e administração, Centro de Engenharia Elétrica e Informática, .

Cargo ou função
Vice-Diretor do Centro de Engenharia Elétrica e Informática (CEEI).
08/2011 - 08/2013
Direção e administração, Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

Cargo ou função
Coordenador Administrativo (Chefe de Departamento).
3/2002 - 5/2003
Direção e administração, Centro de Ciências e Tecnologia, Programa de Pós Graduação Em Informática.

Cargo ou função
Coordenador de Curso.
3/2002 - 5/2003
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Programa de Pós Graduação Em Informática.

Cargo ou função
Conselheiro.
3/2002 - 1/2003
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Técnicas de Algoritmos
TEI: Redes de Petri
8/2002 - 11/2002
Ensino, Mestrado Em Informática, Nível: Pós-Graduação

Disciplinas ministradas
TEI: Teoria de Redes de Petri
TEI: Métods Formais

Aarhus University, AU, Dinamarca.
Vínculo institucional

1998 - 2000
Vínculo: Outro, Enquadramento Funcional: Visiting Researcher

Atividades

08/1998 - 3/2000
Pesquisa e desenvolvimento , Coloured Petri Net Group/Department of Computer Science, .

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2000 - 2002
Vínculo: Outro, Enquadramento Funcional: Pesquisadsor 2B, Carga horária: 0

Vínculo institucional

1994 - 1998
Vínculo: Outro, Enquadramento Funcional: PESQUISADOR 2C
Outras informações
Interrompido para efetuar atividades de pós-doutorado

Atividades

8/2000 - 7/2002
Conselhos, Comissões e Consultoria, Conselho Nacional de Desenvolvimento Científico e Tecnológico, .

Cargo ou função
Consultor Ad-Hoc.

Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

1993 - 2002
Vínculo: Outro, Enquadramento Funcional: Outro

Atividades

4/2001 - 3/2002
Direção e administração, Centro de Ciências e Tecnologia - Campus II, Mestrado em Sistemas e Computação.

Cargo ou função
Coordenador de Curso.
4/2000 - 3/2002
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Modelagem e Validação de Sistemas Usando redes de Petri
4/2000 - 3/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes de Petri
Introdução à Computação
Análise e Técnicas de Algoritmos
08/1994 - 3/2002
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.
10/1996 - 07/1998
Direção e administração, Curso de Graduação em Ciência da Computação, Curso de Graduação em Ciência da Computação.

Cargo ou função
Coordenador de Curso.
09/1994 - 07/1998
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Estrutura de Dados e Organização de Arquivos
Redes de Petri
01/1994 - 07/1998
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
T.E.C.C: redes de Petri
Estrutura de Dados
Introdução à Computação

University of Pittsburgh, PITT, Estados Unidos.
Vínculo institucional

1991 - 1993
Vínculo: Outro, Enquadramento Funcional: VISITING RESEARCHER, Regime: Dedicação exclusiva.

Atividades

01/1992 - 12/1993
Pesquisa e desenvolvimento , University of Pittsburgh, .

Prefeitura Municipal de Campina Grande, PMCG, Brasil.
Vínculo institucional

1990 - 1990
Vínculo: Colaborador, Enquadramento Funcional: CHEFE DE DIVISÃO
Outras informações
Chefe de Divisão de Empresas de Base Tecnológica - Incubadora de Empresas

Atividades

03/1991 - 12/1991
Direção e administração, .

Cargo ou função
CHEFE DE DIVISAO DE EMPRESAS DE BASE TECNOLOGICA // DIRECAO DA INCUBADORA DE EMPRESAS.

Companhia Hidro Elétrica do São Francisco, CHESF, Brasil.
Vínculo institucional

1989 - 1990
Vínculo: Consultor, Enquadramento Funcional: sem vínculo empregatício
Outras informações
Consultor na área de Inteligência Artificial

Atividades

08/1989 - 12/1991
Estágios , Companhia Hidro Elétrica do São Francisco, .

Estágio realizado
CONSULTORIA TECNICA NA AREA DE SISTEMAS ESPECIALISTAS.


Linhas de pesquisa


1.
Engenharia de Software
2.
Métodos Formais


Projetos de pesquisa


2018 - Atual
Evolução do Protótipo da Plataforma Virtual para o Complexo Industrial da Saúde
Descrição: O objetivo desse projeto é dar continuidade ao desenvolvimento do e-CIS, uma plataforma virtual para o Complexo Industrial da Saúde. Além da manutenção corretiva, o projeto prevê manutenção evolutiva com a inclusão de novas features como chat e uma versão mobile..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante.Financiador(es): Organizacão Pan-Americana da Saude/Organizacão Mundial da Saude - Outra.
2017 - 2018
e-CIS: Plataforma Virtual do Complexo Industrial da Saúde
Descrição: Desenvolvimento de um protótipo de plataforma virtual para o Complexo Industrial da Saúde..
Situação: Concluído; Natureza: Pesquisa.
2013 - 2015
Caracterização do Vocabulário de Commits ao Longo da Evolução de Sistemas
Descrição: O objetivo geral deste projeto de iniciação científica é o de caracterizar o padrão típico de commits, concretizados pelos desenvolvedores, com relação à quantidade de termos presente nos vocabulários das mudanças realizadas ao longo da evolução dos sistemas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Doutorado: (1) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Katyusco de Farias Santos - Integrante / Martha Michelly Galvão Menezes - Integrante / João Pedro Leoncio - Integrante.
2012 - 2013
Avaliação do Uso de Vocabulário de Software para Identificação de Experts em Sistemas de Software
Descrição: Esta pesquisa de iniciaçã ̃o científica, é focada em avaliar a possibilidade de fazer uso do vocabulário de um sistema para identificar dentre os desenvolvedores aquele(s) que tenha(m) maior conhecimento sobre um dado artefato ou funcionali- dade de um software..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Katyusco de Farias Santos - Integrante / Martha Michelly Galvão Menezes - Integrante.
2009 - 2011
Análise de Impacto e Localização de Feature no Contexto de Evolução de Software
Descrição: A presente proposta de pesquisa tem duplo objetivo. O primeiro objetivo é investigar e desenvolver técnicas e ferramentas de análise de impacto que apresentem resultados mais consistentes, reduzindo o número de falso-positivos e falso-negativos. O segundo objetivo é o de investigar causas que dificultam a compreensão de software durante a sua evolução e analisar e desenvolver técnicas de localização de feature que auxiliem na análise de impacto de mudanças. Com base nos objetivos acima declarados, definimos as seguintes metas/resultados esperados para o projeto: Meta 1. Investigação e definição de uma técnica de análise de impacto que reduza o número de falso-positivos e/ou falso-negativos; Meta 2. Investigação e definição de técnicas de localização de features que auxiliem no processo da análise de impacto de mudanças em software; Meta 3. Construção de suporte ferramental para validação das técnicas propostas. Meta 4. Aplicação prática da técnica desenvolvida; Meta 5. Estudo comparativo entre o trabalho proposto e trabalhos relacionados já existentes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2009 - 2011
Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri
Descrição: O objetivo principal do projeto de colaboração é o de explorar sinergias resultantes da interação de três trabalhos de teses de doutorado atualmente em curso sob a supervisão do Grupo de Métodos Formais da UFCG e Do Grupo de Pesquisa da UNINOVA/Portugal. Dois desses na equipe portuguesa e um na equipe brasileira. O trabalho de doutorado do lado brasileiro explora um problema em aberto na Arquitetura Dirigida por Modelos, que é a falta de garantia da preservação da semântica do modelo nas transformações entre modelos providas por esta arquitetura. Do lado português, os dois trabalhos de doutorado estão inseridos no contexto no projeto FORDESIGN (projeto da UNINOVA), sob responsabilidade da UNINOVA, cujo intuito é utilizar redes de Petri como linguagem central para construção de modelos dos sistemas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (3) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Franklin Ramalho - Integrante / Luis Gomes - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 1
2008 - 2009
Smart Diagnostics
Descrição: The Smart Analysis project aims to specify, implement and test a software system to produce diagnostics of faults in power systems equipment and systems. The software system must be based on behavior models of such equipments and systems. Given a functional specification of an equipment, mathematical (or other types of) models of the equipment must be constucted and diagnostic techniques must be researched based on these models. Validation will be performed using complex electronic and electrical equipments in CHESF's laboratories. The project must base the models on a library of plug-in components (sub-models, functions, etc.), allowing the easy construction of complete models. The library must be sufficiently generic to model various equipment types, including digital models, analogical models, discrete models, probabilistic models, Petri nets, etc. The diagnostic precision must be sufficient to allow pinpointing faults down to the level of the Logical Replacement Units (LRUs). This project is financed by CHESF/Aneel..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Pedro Sérgio Nicolletti - Integrante / Wagner Porto - Integrante / Renata Pontes - Integrante.Número de orientações: 1
2008 - 2009
Smart Alarms 2
Descrição: The Smart Alarms project aims to develop a software system to help power system operators diagnose system faults during large scale contingencies. The basic problem to be solved is event/alarm correlation in order to map hundreds or thousands of events/alarms into much fewer high-level diagnostics. The basic value proposition for the end product is that it is "zero maintenance": there is essentially no maintenance activity to be performed on the Smart Alarms system even in the face of major topology changes. The system is interfaced to CEPEL's SAGE SCADA/EMS system but can be interfaced to other such systems. The system also must provides the identification of the root -cause of events. This project is financed by CHESF/Aneel..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Pedro Sérgio Nicolletti - Integrante / Stéfani Pires - Integrante.Número de orientações: 1
2005 - 2007
DVeritas: Verificação de Modelos RPOO Distribuída
Descrição: O principal objetivo deste projeto é investigar e desenvolver métodos e ferramentas para aliviar o problema da explosão de estados em verificação de modelos. Em particular, desenvolver técnicas para a verificação de modelos distribuída dentro do contexto do Veritas (verificador de modelos RPOO desenvolvido no GMF/DSC/UFCG)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / Cássio Leonardo Rodrigues - Integrante / Paulo Eduardo e Silva Barbosa - Integrante / Jairson Cabral Marinho - Integrante / Talita de Paula Uchoa - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2003 - 2005
Mobile: Técnicas e Ferramentas para o Desenvolvimento e Vali
Descrição: Neste projeto nos propomos a investigar a adequação da utilização de métodos formais no desenvolvimento de software baseado em agentes móveis. Mais especificamente, nos propomos a utilizar uma classe de redes de Petri orientadas a objetos (RPOO) na modelagem, análise e verificação de sistemas de software, em especial aqueles com características de mobilidade. Acreditamos que a integração da teoria de concorrência (baseada em redes de Petri) e a modelagem orientada a objetos se constitui em uma poderosa ferramenta para os desafios que são encontrados no desenvolvimento prático de software com conceitos avançados como mobilidade. Nos propomos ainda a desenvolver ferramentas, métodos e técnicas que permitam a utilização de RPOO em cenários práticos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (7) / Especialização: (0) / Mestrado acadêmico: (12) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / José Amancio Macedo Santos - Integrante / Cássio Leonardo Rodrigues - Integrante / Patrícia Duarte de Lima Machado - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Taciano de Morais Silva - Integrante / Cidinha Costa Gouveia - Integrante / Daniel Lima Barbosa - Integrante / Flavio Roninson Sampaio - Integrante / Rogério Dourado Silva Junior - Integrante / Elthon Allex da Silva Oliveira - Integrante / Wilkerson Lucena - Integrante / Daniel Aguiar Silva - Integrante / Fabricio Vale de Azevedo Guerra - Integrante / Afranio Mangueira Lima de Assis - Integrante / André Luís Lima de Figueiredo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 18 / Número de orientações: 10
2003 - 2004
Verificação de Modelos em Redes de Petri Orientadas a Modelo
Descrição: O objetivo principal deste trabalho é desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / Cássio Leonardo Rodrigues - Integrante / Paulo Eduardo e Silva Barbosa - Integrante / Fabricio Vale de Azevedo Guerra - Integrante / Leandro Max de Lima Silva - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 3


Projetos de desenvolvimento


2014 - Atual
Projeto SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium

Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 24/04/2014.
Descrição: A cooperação entre a Ingenico e a UFCG constitui-se em uma oportunidade de se criar uma nova parceria focada no desenvolvimento de uso e modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada..
Situação: Em andamento; Natureza: Desenvolvimento.
2013 - Atual
e-Pol (Cooperação de P&D UFCG-DPF)

Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 15/04/2014.
Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento..
Situação: Em andamento; Natureza: Desenvolvimento.
2007 - 2009
Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software
Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Coordenador / Amanda Saraiva Bezerra - Integrante / Lile Palma Hattori - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / CPM Braxis Outsourcing - Auxílio financeiro.Número de orientações: 6
2005 - 2008
Smart Action
Descrição: Utilização de técnicas de inteligência artificial no desenvolvimento de um sistema de recomposição de sistemas de transmissão de energia..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Coordenador / Eloi Rocha Neto - Integrante / Michael Angelo Henrique da Silva - Integrante / Pedro Sérgio Nicoletti - Integrante.Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
2003 - 2004
Smart Alarms
Descrição: Este é um projeto financiado pela CHESF/Aneel que visa desenvolver um sistema de software, baseado em técnicas de Inteligência Artificial, para o tratamento on-line de alarmes. Tal sistema deverá diagnosticar as causas dos alarmes, avaliar sua dimensão e localização, e propor um conjunto de ações a serem tomadas, no menor tempo possível. O sistema será integrado ao sistema SAGE (Sistema Aberto de Gerência de Energia) da Superintendência de Telecomunicação e Controle (STC) da CHESF..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Jacques Phillipe Sauvé - Integrante / Marcus Costa Sampaio - Integrante / Alexandre Nóbrega Duarte - Integrante / Eloi Rocha Neto - Integrante / Walfredo Cirne Filho - Coordenador.Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.


Membro de corpo editorial


2006 - Atual
Periódico: Transactions on Petri Nets and Other Models of Concurrency


Revisor de periódico


2009 - 2009
Periódico: Science of Computer Programming


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Redes de Petri.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Métodos Formais.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Dinamarquês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2004
Melhor Ferramenta do SBES'2004, SBC.
1990
PREMIO SUCESU DE INFORMATICA, SUCESU/PE.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:28
Total de citações:42

Outras
Total de trabalhos:52
Total de citações:219
"Jorge Figueiredo" OR "JCA de Figueiredo" OR "JCA de Figueired" OR "JCA De Figueiredo" OR "JCA De Figueired"  Data: 04/02/2009

Artigos completos publicados em periódicos

1.
BRUNET, JOAO2014BRUNET, JOAO ; MURPHY, GAIL C. ; SEREY, DALTON ; Figueiredo, Jorge . Five years of Software Architecture Checking: A Case Study of Eclipse. IEEE Software, v. 99, p. 1-1, 2014.

2.
Rodrigues, Cássio L.2011Rodrigues, Cássio L. ; Silva, Karina R. G. ; Cunha, Henrique N. ; FIGUEIREDO, J. C. A. ; Guerrero, Dalton D. S. ; Melcher, Elmar . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems, v. 1, p. 1-15, 2011.

3.
MENDONÇA, Andrea Pereira2010MENDONÇA, Andrea Pereira ; CHAVES, D. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; COSTA, E. B. . Dealing with Requirements Specification: A Case Study with Novice Programming Students. IEEE Multidisciplinary Engineering Education Magazine, v. 5, p. 3-10, 2010.

4.
BARBOSA, Paulo Eduardo e Silva2009BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. ; COSTA, Anikó ; GOMES, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science (Print), v. 15, p. 2196-2224, 2009.

5.
FIGUEIREDO, J. C. A.;Figueiredo, Jorge C. A.;Figueiredo, Jorge;Figueiredo, Jorge C. A. de;DE FIGUEIREDO, JORGE CESAR ABRANTES;DE FIGUEIREDO, JORGE C. A.;DE FIGUEIREDO, JORGE C.A.;DE FIGUEIREDO, J.C.A.;FIGUEIREDO, JORGE C.A. DE;FIGUEIREDO, JORGE2007FIGUEIREDO, J. C. A.; BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; ANDRADE, Wilkerson Lucena ; LIMA, Helton Souza ; Makelli Araújo Jucá . Automating Functional Testing of Components from UML Specifications. International Journal of Software Engineering and Knowledge Engineering, v. 17, p. 339-358, 2007.

6.
ARAÚJO, Antonio Sérgio2006ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; SAUVÉ, Jacques Phillipe ; SAMPAIO, Marcus Costa ; FIGUEIREDO, J. C. A. ; ROCHA NETO, Eloi ; DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo . Smart Alarms - Tratamento inteligente de alarmes para centros de operação de sistema da CHESF. EletroEvolução (Rio de Janeiro), v. 44, p. 29-37, 2006.

7.
GUERRA, Fabricio Vale de Azevedo2005GUERRA, Fabricio Vale de Azevedo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language. Electronic Notes in Theoretical Computer Science, v. 130, p. 187-209, 2005.

8.
SAUVÉ, Jacques Phillipe2005SAUVÉ, Jacques Phillipe ; ROCHA NETO, Eloi ; CIRNE FILHO, Walfredo ; DUARTE, Alexandre Nóbrega ; FIGUEIREDO, J. C. A. ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; NICOLLETTI, Pedro Sérgio . Maintenance Techniques for an Intelligent Alarm Processing System. Engineering Intelligent Systems, Grã-Bretanha, v. 13, n.4, p. 213-222, 2005.

9.
LEITE, Bruno de Brito2005LEITE, Bruno de Brito ; BARBOSA, Ana Emília Victor ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Automação da Ordenação de Testes de Integração de Classes Baseada em Grafos de Dependência. REIC. Revista Eletrônica de Iniciação Científica, v. 1, p. 1-20, 2005.

10.
LIMA, Emerson Ferreira de Araújo2004LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. Electronic Notes in Theoretical Computer Science, v. 95, p. 287-305, 2004.

11.
LIMA, Emerson Ferreira de Araújo2004LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; SAMPAIO, Flavio Ronison ; FIGUEIREDO, J. C. A. . An Approach to Modelling and Applying Mobile Agent Design Patterns. Software Engineering Notes, v. 29, n.3, p. 1-8, 2004.

12.
FIGUEIREDO, J. C. A.;Figueiredo, Jorge C. A.;Figueiredo, Jorge;Figueiredo, Jorge C. A. de;DE FIGUEIREDO, JORGE CESAR ABRANTES;DE FIGUEIREDO, JORGE C. A.;DE FIGUEIREDO, JORGE C.A.;DE FIGUEIREDO, J.C.A.;FIGUEIREDO, JORGE C.A. DE;FIGUEIREDO, JORGE2001FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . An Object-based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.. Lecture Notes in Computer Science, v. 2001, p. 338-354, 2001.

13.
BRAGA, J. D. M.1997BRAGA, J. D. M. ; FIGUEIREDO, J. C. A. . A Modified Proof of a Theorem Related to Reachability and Liveness. Petri Net Newsletter, Alemanha, v. 52, 1997.

14.
PERKUSICH, Angelo1997PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . G-Nets: a Petri Net Based Approach for Logical and Timing Analysis of Complex Software Systems. The Journal of Systems and Software, v. 39, n.1, p. 39-59, 1997.

15.
BARROS, T. C.1997BARROS, T. C. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A Fault Tolerant Coloured Petri Net Model For Flexible Manufacturing Systems. Journal of the Brazilian Computer Society (Impresso), v. 4, n.2, p. 16-30, 1997.

16.
FIGUEIREDO, J. C. A.;Figueiredo, Jorge C. A.;Figueiredo, Jorge;Figueiredo, Jorge C. A. de;DE FIGUEIREDO, JORGE CESAR ABRANTES;DE FIGUEIREDO, JORGE C. A.;DE FIGUEIREDO, JORGE C.A.;DE FIGUEIREDO, J.C.A.;FIGUEIREDO, JORGE C.A. DE;FIGUEIREDO, JORGE1996 FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Faults and Timing Analysis in Real-Time Distributed Systems: A Fuzzy Time Petri-Net-Based Approach. Fuzzy Sets and Systems, v. 2, n.83, p. 143-168, 1996.

17.
PERKUSICH, Angelo1995PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A Petri Net Based Approach to Model Objects for a Track-Vehicle Control System. JOURNAL OF COMPUTING AND INFORMATION, Peterborough, v. 1, n.2, p. 1040-1062, 1995.

18.
FIGUEIREDO, J. C. A.;Figueiredo, Jorge C. A.;Figueiredo, Jorge;Figueiredo, Jorge C. A. de;DE FIGUEIREDO, JORGE CESAR ABRANTES;DE FIGUEIREDO, JORGE C. A.;DE FIGUEIREDO, JORGE C.A.;DE FIGUEIREDO, J.C.A.;FIGUEIREDO, JORGE C.A. DE;FIGUEIREDO, JORGE1995FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Fault Tolerance in Real-Time Distributed Systems Using Petri Nets Extensions. JOURNAL OF COMPUTING AND INFORMATION, Peterborough, v. 1, n.2, p. 924-946, 1995.

19.
PERKUSICH, Angelo1994PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. ; CHANG, S. . Embedding Fault-Tolerant Properties in The Design Of Complex Software Systems. Journal of Systems and Software, v. 25, n.2, p. 23-37, 1994.

20.
DENG, Y.1993DENG, Y. ; FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo ; CHANG, S. . Integrating Software Engineering Methods And Petri Nets For The Specification And Prototyping Of Complex Information Systems. Lecture Notes in Computer Science, Alemanha, v. 691, p. 206-223, 1993.

Capítulos de livros publicados
1.
Luna Freire, Victor da C. ; BRUNET, JOÃO ; DE FIGUEIREDO, JORGE C. A. . Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. In: Lecture Notes in Computer Science: 44th International Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM2018. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 1, p. 255-268.

2.
COSTA, Anikó ; Barbosa, Paulo E. S. ; Moutinho, Filipe ; Pereira, Fernando ; RAMALHO, Franklin ; Figueiredo, Jorge C. A. ; Gomes, Luis . MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In: Zhiwu Li (Xidian University, People?s Republic of China); Abdulrahman M. Al-Ahmari (King Saud University, Saudi Arabia). (Org.). MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. 1ed.: IGI Global, 2013, v. 1, p. 112-135.

3.
MOUTINHO, F. ; GOMES, L. ; BARBOSA, Paulo Eduardo e Silva ; BARROS, J. P. ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; COSTA, Anikó ; MONTEIRO, A. . Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous Systems. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Secon IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Boston: Springer, 2011, v. 349, p. 237-245.

4.
BARBOSA, Paulo Eduardo e Silva ; BARROS, J. P. ; RAMALHO, Franklin ; GOMES, L. ; FIGUEIREDO, J. C. A. ; MOUTINHO, F. ; COSTA, Anikó ; MONTEIRO, A. . SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Secon IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Boston: Springer, 2011, v. 349, p. 256-265.

5.
COSTA, Anikó ; GOMES, L. ; BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. . Properties Preservation in Distributed Execution of Petri Nets Models. Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 241-250.

6.
BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; COSTA, Anikó ; GOMES, L. ; JUNIOR, A.D.S. . Semantic Equations for Formal Models in the Model-Driven Architecture. Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 251-260.

7.
OLIVEIRA, Elthon Allex da Silva ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. . Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing and Commerce. Hershey, PA: Idea Group Inc., 2007, v. 1, p. 987-995.

8.
SILVA JUNIOR, Rogério Dourado ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Design by Contract com JML. In: Unisinos. (Org.). Jornadas de Atualização em Informática 2005 - JAI2005. : , 2005, v. 1, p. 1455-1499.

Trabalhos completos publicados em anais de congressos
1.
MAIA, MIRNA CARELLI OLIVEIRA ; SEREY, DALTON ; Figueiredo, Jorge . Learning styles in programming education: A systematic mapping study. In: 2017 IEEE Frontiers in Education Conference (FIE), 2017, Indianapolis. 2017 IEEE Frontiers in Education Conference (FIE), 2017. p. 1.

2.
ARAUJO, ELIANE ; GAUDENCIO, MATHEUS ; SEREY, DALTON ; Figueiredo, Jorge . Applying spectrum-based fault localization on novice's programs. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE), 2016. p. 1.

3.
ARAUJO, ELIANE ; SEREY, DALTON ; Figueiredo, Jorge . Qualitative aspects of students' programs: Can we make them measurable?. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE), 2016. p. 1.

4.
SANTOS, KATYUSCO DE F. ; GUERRERO, DALTON D.S. ; FIGUEIREDO, JORGE C.A. DE . Using Developers Contributions on Software Vocabularies to Identify Experts. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 451.

5.
BRUNET, JOÃO ; MURPHY, GAIL C. ; TERRA, RICARDO ; Figueiredo, Jorge ; SEREY, DALTON . Do developers discuss design?. In: the 11th Working Conference, 2014, Hyderabad. Proceedings of the 11th Working Conference on Mining Software Repositories - MSR 2014. v. 1. p. 340.

6.
Barbosa, Paulo E. S. ; MORAIS, MISAEL ; GALDINO, KATIA ; ANDRADE, MELQUISEDEC ; Gomes, Luis ; Moutinho, Filipe ; DE FIGUEIREDO, JORGE C. A. . Towards medical device behavioural validation using Petri nets. In: 2013 IEEE 26th International Symposium on ComputerBased Medical Systems (CBMS), 2013, Porto. Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. v. 1. p. 4-10.

7.
Melo, Izabela ; BRUNET, JOAO ; SEREY, DALTON ; Figueiredo, Jorge . Verificação de Conformidade Arquitetural com Testes de Design - Um Estudo de Caso. In: I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013, Brasília. Anais do I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013. v. 1. p. 30-37.

8.
GAUDENCIO, MATHEUS ; WANDERLEY, LETICIA FARIAS ; LEMOS, FILIPE WESLEY ; DE ARAÚJO, ELIANE CRISTINA ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Eu Sei o que Vocês Fizeram (Agora e) na Aula Passada: o TSTView no Acompanhamento de Exercícios de Programação. In: XXIV Simpósio Brasileiro de Informática na Educação, 2013. v. 1.

9.
BRUNET, JOAO ; BITTENCOURT, ROBERTO ALMEIDA ; SEREY, DALTON ; Figueiredo, Jorge . On the Evolutionary Nature of Architectural Violations. In: 2012 19th Working Conference on Reverse Engineering (WCRE), 2012, Kingston. 2012 19th Working Conference on Reverse Engineering. v. 1. p. 257-6.

10.
CAVALCANTI, D. T. ; SANTOS, K. F. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. . Using Software Vocabulary to Rank Classes that are Probably Impacted by a Bug Report. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia, Italy. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. v. 1. p. 16-20.

11.
SANTOS, K. F. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. ; BITTENCOURT, R. A. . Towards a Prediction Model for Source Code Vocabulary. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. v. 1. p. 41-45.

12.
CAVALCANTI, D. T. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . A Case Study on the Similarity Between Source Code and Bug Report Vocabularies. In: VIII Workshop de Manutenção de Software Moderna, 2011, Curitiba. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 1-8.

13.
SANTOS, K. F. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Understanding the Occurrence of Vocabulary Terms in Java Code. In: VIII Workshop de Manutenção de Software Moderna, 2011, Curitiba. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 16-24.

14.
MONTEIRO, J. A. B. ; GUERRERO, Dalton Dario Serey ; Figueiredo, Jorge C. A. . Structural Conformance Checking with Design Tests: An Evaluation of Usability and Scalability. In: International Conference on Software Maintenance - ICSM2011, 2011, Williamsburg, VA. Proceedings of the 2011 International Conference on Software Maintenance, 2011. v. 1. p. 143-149.

15.
Rodrigues, Cássio L. ; Silva, Karina R. G. ; Melcher, Elmar ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Refactoring VeriSc Testbenchs to Improve the Functional Verification During the Integration Phase. In: 37th Annual Conference on IEEE Industrial Electronics Society, 2011, Melbourne, Australia. Proceedings of the 37th Annual Conference on IEEE Industrial Electronics Society, 2011. v. 1. p. 2820-2825.

16.
BARBOSA, Paulo Eduardo e Silva ; COSTA, Anikó ; GOMES, L. ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. . A MDA-based contribution for integrating web services within embedded system's design. In: 8th IEEE International Conference on Industrial Informatics, 2010, Osaka, Japão. Proceedings of the 8th IEEE International Conference on Industrial Informatics, 2010. v. 1. p. 565-570.

17.
MAIA, M. C. O. ; BITTENCOURT, R. A. ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . The Hybrid Technique for Object-Oriented Software Change Impact Analysis. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. v. 1. p. 261-265.

18.
SOUZA, R. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Modular Network Models for Class Dependencies in Software. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. v. 1. p. 245-249.

19.
NASCIMENTO, M. R. ; MENDONÇA, Andrea Pereira ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Teaching Programming for High School Students: a Distance Education Experience. In: 40th Annual Frontiers in Education Conference, 2010, Washington DC. Proceedings of the 40th Annual Frontiers in Education Conference, 2010. v. 1. p. 1-10.

20.
MOUTINHO, F. ; GOMES, L. ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; BARROS, J. P. ; BARBOSA, Paulo Eduardo e Silva ; PAES, R. ; COSTA, Anikó . Ecore Representation for Extending PNML for Input-Output Place Transition Nets. In: 36th Annual Conference of the IEEE Industrial Electronics Society, 2010, Phoenix. Proceedings of the 36th Annual Conference of the IEEE Industrial Electronics Society, 2010.

21.
BRUNET, JOAO ; GUERRERO, DALTON ; Figueiredo, Jorge . Design tests: An approach to programmatically check your code against design rules. In: , 2009, Vancouver. . v. 1. p. 255.

22.
RODRIGUES, Cássio Leonardo ; SILVA, K. R. G. ; CUNHA, H. N. ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey ; MELCHER, E. U. K. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: 24th Annual ACM Symposium on Applied Computing, 2009, Waikiki Beach. Proceedings of 24th Annual ACM Symposium on Applied Computing, 2009. v. 1. p. 823-827.

23.
BITTENCOURT, R. A. ; FIGUEIREDO, J. ; SANTOS, G. J. S. ; TRIGUIERO FILHO, A. ; NOBREGA FILHO, J. M. ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Design Suite: Towards an Open Scientific Investigation Environment for Software Architecture Recovery. In: VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009, Ouro Preto. Anais do VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009. v. 1. p. 1-8.

24.
BARBOSA, Paulo Eduardo e Silva ; COSTA, Anikó ; FIGUEIREDO, J. C. A. ; RAMALHO, Franklin ; GOMES, L. ; JUNIOR, A.D.S. . Modeling complex Petri nets operations in the Model-Driven Architecture. In: The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009, Porto, Portugal. Proceedings of The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009. v. 1. p. 4365-4370.

25.
FIGUEIREDO, J. C. A.; SAUVÉ, Jacques Phillipe ; NICOLETTI, Pedro Sérgio ; ROCHA NETO, Eloi ; ARAÚJO, Antonio Sérgio . Smart Action: a Tool to Help Power System Restoration. In: Hawaii International Conference on System Sciences 2008, 2008, Hawaii, Estados Unidos. Proceedings of HICSS'08, 2008. v. 1. p. 1-10.

26.
HATTORI, LILE ; GUERRERO, DALTON ; Figueiredo, Jorge ; BRUNET, JO ; DAM, JEMERSON . On the Precision and Accuracy of Impact Analysis Techniques. In: Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008. Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008). v. 1. p. 513-10.

27.
FIGUEIREDO, André Luís Lima de ; MACHADO, Patrícia Duarte de Lima ; GADELHA, E. C. ; FIGUEIREDO, J. C. A. ; BARBOSA, Paulo Eduardo e Silva . Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. In: IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008, Rio de Janeiro. Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008. v. 1. p. 29-42.

28.
BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. . Incorporating Semantic Algebra in The MDA Framework. In: ICSOFT2008 - Third International Conference on Software and Data Technologies, 2008, Porto, Portugal. Proceedings of the Third International Conference on Software and Data Technologies. Porto: INSTICC Press, 2008. v. 1. p. 330-336.

29.
RODRIGUES, CASSIO L. ; MORAIS, FABIO J. ; SILVA, LEANDRO M. L. ; DA SILVA, KARINA R. G. ; DE FIGUEIREDO, JORGE C. A. ; Guerrero, Dalton D. S. ; Melcher, Elmar . Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. In: 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2008, Singapore. 2008 IEEE International Conference on Systems, Man and Cybernetics. v. 1. p. 2093-7.

30.
BARBOSA, PAULO E.S. ; RAMALHO, Franklin ; DE FIGUEIREDO, JORGE C.A. ; JUNIOR, ANTONIO D. DOS S. . An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: 2008 32nd Annual IEEE Software Engineering Workshop (SEW), 2008, Kassandra. 2008 32nd Annual IEEE Software Engineering Workshop. v. 1. p. 33-10.

31.
MACHADO, PATRICIA D. L. ; Figueiredo, Jorge C. A. ; LIMA, EMERSON F. A. ; BARBOSA, ANA E. V ; LIMA, HELTON S. . Component-based integration testing from UML interaction diagrams. In: 2007 IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. 2007 IEEE International Conference on Systems, Man and Cybernetics. p. 2679.

32.
Barbosa, Paulo E. S. ; RODRIGUES, CASSIO L. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: , 2007, Taipei. . p. 82.

33.
RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; MARINHO, Jairson Cabral ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. In: 4th IEEE International Conference on Software Engineering and Formal Methods, 2006, Pune, India. Proceedings of 4th IEEE International Conference on Software Engineering and Formal Methods. v. 1. p. 56-70.

34.
BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis, SC. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 1-6.

35.
BARBOSA, Ana Emília Victor ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Verificação Automática em Tempo de Execução da Conformidade de Código. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis, SC. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 13-18.

36.
ANDRADE, Wilkerson Lucena ; LIMA, Helton Souza ; BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software. In: Workshop de Software Livre, 2005, Porto Alegre. Anais do WSL05 - Workshop de Software Livre 2005 - Trilha Nacional, 2005. v. 1. p. 205-210.

37.
OLIVEIRA, Elthon Allex da Silva ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia, MG. Anais do WTES05, 2005. v. 10. p. 15-20.

38.
SILVA JUNIOR, Rogério Dourado ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Uma Abordagem Rigorosa para o Desenvolvimento de Sistemas em Processos Ágeis. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia, MG. Anais do WTES05, 2005. v. 10. p. 45-50.

39.
SAUVÉ, Jacques Phillipe ; ROCHA NETO, Eloi ; CIRNE FILHO, Walfredo ; DUARTE, Alexandre Nóbrega ; FIGUEIREDO, J. C. A. ; SAMPAIO, Marcus Costa ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; NICOLLETTI, Pedro Sérgio . A Robust and Maintenance-Fee Alarm Processing Solution Transmission System Operations Control Centers. In: International Colloquium on Telecommunications and Informatics for the Power Industry, 2005, Cuernavaca. Annals of the International Colloquium on Telecommunications and Informatics for the Power Industry, 2005. v. 1. p. 1-10.

40.
RODRIGUES, Cássio Leonardo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Model Checking in Object Oriented Petri Nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2004, The Hague. Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 2004. v. 5. p. 4977-4982.

41.
BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Automação de Métodos e Técnicas para Teste Funcional de Componentes. In: II Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília, DF. Anais do WTDQS 2004, 2004. v. 1. p. 14-20.

42.
CIRNE FILHO, Walfredo ; FIGUEIREDO, J. C. A. ; DUARTE, Alexandre Nóbrega ; ROCHA NETO, Eloi ; SAMPAIO, Marcus Costa ; SAUVÉ, Jacques Phillipe ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa . Simplifying Maintenance on Intelligent Alarm Processing Systems. In: International Conference on Knowledge Engineering and Decision Support (ICKEDS'04), 2004, Porto, Portugal. Proceedings of the International Conference on Knowledge Engineering and Decision Support, 2004. v. 1. p. 1-8.

43.
GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Extensão Temporizada para Redes de Petri Orientadas a Objetos. In: IX Workshop de Teses e Dissertações em Engenharia de Software, 2004, Brasília, Brasil. Anais do IX Workshop de Teses e Dissertações em Engenharia de Software, 2004. v. 9. p. 5-10.

44.
RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . RPOO Model Checker. In: XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília, Brasil. Anais do XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004. v. 9. p. 49-54.

45.
BARBOSA, Daniel Lima ; LUCENA, Wilkerson ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . SPACES - Uma Ferramenta para Teste Funcional de Componentes. In: XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília, Brasil. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1.

46.
GOUVEIA, Cidinha Costa ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Uma Estratégia de Teste de Integração de Componentes. In: VI Workshop de Desenvolvimento Baseado em Componentes - WDBC2004, 2004, João Pessoa, PB. Anais do WDBC2004, 2004. v. 1. p. 15-21.

47.
BARBOSA, Daniel Lima ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Um Método Automático para Verificação Funcional de Componentes. In: VI Workshop de Desenvolvimento Baseado em Componentes - WDBC2004, 2004, João Pessoa, PB. Anais do WDBC2004, 2004. v. 1. p. 30-36.

48.
SILVA, D. A. ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. ; MACHADO, Patrícia Duarte de Lima . Modelagem e Validação do Protocolo WTLS. In: VI Workshop de Comunicação Sem Fio e Computação Móvel, 2004, Fortaleza, CE. Anais do VI WCSF - Workshop de Comunicação Sem Fio e Computação Móvel, 2004. v. 1. p. 108-116.

49.
LIMA, Emerson Ferreira de Araújo ; NASCIMENTO, Laísa Helena Do ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Modelagem e Análise de um Sistema de Recuperação de Informação Baseado em Agentes Móveis. In: VI Workshop de Comunicação Sem Fio e Computação Móvel, 2004, Fortaleza, CE. Anais do VI WCSF - Workshop de Comunicação Sem Fio e Computação Móvel, 2004. v. 1. p. 171-180.

50.
GUERRA, Fabricio Vale de Azevedo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Timed Extension for an Object Oriented Petri Net Language. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife, PE. Anais do SBMF'2004, 2004. v. 1. p. 132-148.

51.
RODRIGUES, Cássio Leonardo ; GUERRA, Fabrício Vale de Azevedo ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; SILVA, Taciano de Morais . Modeling and Verification of Mobility Issues Using Object-Oriented Petri Nets. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos, SP. Proceedings of the Third International Information and Telecommunication Symposium, 2004. v. 1. p. 10-18.

52.
DUARTE, Alexandre Nóbrega ; SAUVÉ, Jacques Phillipe ; CIRNE FILHO, Walfredo ; SAMPAIO, Marcus Costa ; FIGUEIREDO, J. C. A. ; ROCHA NETO, Eloi ; MELO, Maria Do Socorro Costa ; ARAÚJO, Antonio Sérgio . Desenvolvimento de uma Ferramenta de Tratamento de Eventos em Redes Elétricas. In: V Simpósio de Automação em Sistemas Elétricos, 2003, Recife. Anais do V Simpase, 2003. v. 1.

53.
RODRIGUES, Cássio Leonardo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Verificação de Modelos em redes de Petri Orientadas a Objetos. In: 8 Workshop de Teses em Engenharia de Software, 2003, Manaus, AM. Anais do VIII Workshop de Teses em Engenharia de Software, 2003. v. 1. p. 41-46.

54.
LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Formalização e Análise de Padrões de Projetos para Agentes Móveis. In: 8 Workshop de Teses em Engenharia de Software, 2003, Manaus, AM. Anais do VIII Workshop de teses em Engenharia de Software, 2003. v. 1. p. 47-52.

55.
GOUVEIA, Cidinha Costa ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Teste de Integração para Sistemas baseados em Componentes. In: 8 Workshop de Teses em Engenharia de Software, 2003, Manaus, AM. Anais do VIII Workshop de Teses em Engenharia de Software, 2003. v. 1. p. 29-34.

56.
LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Comparative Study of Mobile Agent Design Patterns: a Coloured Petri Nets Approach. In: VI WMF - Workshop de Métodos Formais, 2003, Campina Grande, PB. Anais do VI Workshop de Métodos Formais, 2003. v. 1. p. 212-227.

57.
LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; SAMPAIO, Flávio Ronison ; FIGUEIREDO, J. C. A. . Modelling Mobile Agent Design Patterns. In: 7th IASTED International Conference on Software Engineering and Applications - SEA 2003, 2003, Marina del Rey, CA. Proceedings of the 7th International Conference on Software Engineering and Applications, 2003. v. 1.

58.
SAMPAIO, L. M. R. ; BRASILEIRO, Francisco Vilar ; FILHE, Walfredo Cirne ; FIGUEIREDO, J. C. A. . How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. In: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, 2003, San Francisco. Proceedings of the International Conference on Dependable Systems and Networks, 2003. v. 1. p. 123-129.

59.
BRASILEIRO, Francisco Vilar ; FIGUEIREDO, J. C. A. ; SAMPAIO, L. M. R. . A Hierarchical Failure Detection Service with Perfect Semantics. In: III Workshop de Testes e Tolerância a Falhas, 2002, Búzios. Anais do III Workshop de Testes e Tolerância a Falhas, 2002. v. único. p. 7-13.

60.
FIGUEIREDO, J. C. A.; BRASILEIRO, Francisco Vilar ; SAMPAIO, L. M. R. . Using Coloured Petri Nets to Evaluate Quality of Service of Failure Detectors. In: 2002 IEEE International Conference on Systems, Man and Cybernetics, 2002, Hammamet. Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, 2002. v. 3. p. 152-158.

61.
CANEDO, E. D. ; SANTOS, J. A. M. ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Experimenting a Notation Based on Petri Nets and Object-Oriented Concepts. In: I Brazilian Petri Net Meeting, 2002, Natal. Anais do I Brazilian Petri Net Meeting, 2002. v. 1. p. 10-18.

62.
GALLINDO, É. L. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . Aplicação em uma Notação Baseada em Redes de Petri e Orientação a Objetos: um Experimento de Modelagem. In: IV Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF - Workshop on Formal Methods, 2001. v. 1. p. 13-24.

63.
BATISTA, O. M. N. ; CABRAL, M. I. C. ; FIGUEIREDO, J. C. A. . An Equivalence Between Markovian Queueing Networks and Generalized Stochastic Petri Nets. In: The 4th World Multiconference on Systemics, Cybernetics and Informatics - SCI2000, 2000, Orlando, EUA. Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, 2000. v. 1. p. 230-236.

64.
FIGUEIREDO, J. C. A.; KRISTENSEN, L. M. . Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols. In: Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, 1999, Aarhus. Proceedings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. Aarhus: DAIMI, 1999. p. 21-40.

65.
FIGUEIREDO, J. C. A.; COSTA, S. A. D. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . Inheritance Issues in Object-Oriented Petri Net models. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. p. 196-201.

66.
FIGUEIREDO, J. C. A.; GOIS, G. M. ; COSTA, E. B. ; PERKUSICH, Angelo . Towards a Multi-Agent Interactive Learning Environment Oriented to the Petri Net Domain. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. p. 250-261.

67.
FIGUEIREDO, J. C. A.; SAMPAIO, L. M. R. ; BRASILEIRO, Francisco Vilar . Applying Coloured Petri Nets to Analyze Fail Silent Nodes in Distributed Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. v. 1. p. 420-426.

68.
FIGUEIREDO, J. C. A.; MEDEIROS, A. K. A. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . An Object-Oriented Petri Net Modeling Tool and Abstraction Mechanisms for Cooperative Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. p. 172-177.

69.
FIGUEIREDO, J. C. A.; COSTA, S. A. D. ; GUERRERO, Dalton Dario Serey ; PERKUSICH, Angelo . Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri. In: Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Anais do Simpósio Brasileiro de Engenharia de Software, 1998. p. 297-312.

70.
FIGUEIREDO, J. C. A.; BARROS, T. C. ; PERKUSICH, Angelo . Modelagem do Controle dos Sistemas Flexíveis de manufatura baseada em Redes de Petri Coloridas. In: Congresso Brasileiro de Automática, 1998, Uberlândia. Anais do XII Congresso Brasileiro de Automática, 1998. p. 1403-1408.

71.
FIGUEIREDO, J. C. A.; FARIAS, G. F. ; TURNNELL, Maria de Fátima Queiroz Vieira . Modelagem em Redes de Petri da Interface Homem-Máquina de sistemas Industriais. In: Congresso Brasileiro de Automática, 1998, Uberlândia. Anais do XII Congresso Brasileiro de Automática, 1998. v. 1. p. 120-126.

72.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Towards A Modular Timing Analysis Of Real-Time Software Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 4442-4447.

73.
FERNANDES, J. P. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . An Object Based Petri Net Model: Application To Manufacturing Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 2735-2740.

74.
BARROS, T. C. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A Fault Tolerant Coloured Petri Net Resource Allocation Manager For Manufacturing Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 1210-1215.

75.
GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Object-Based High-Level Petri Nets as a Formal Approach to Distributed Information Systems. In: 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando. Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics, 1997. p. 3383-3388.

76.
SOUZA, M. F. ; TURNNELL, Maria de Fátima Queiroz Vieira ; FIGUEIREDO, J. C. A. . Modelagem do Fluxo de Informações em Interfaces Usuário-Computador. In: CLEI'97, 1997, Valparaíso. Anais do CLEI'97, 1997.

77.
MARTINS, A. F. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . A G-Cpn Approach For M4 Network-View Interface Managed Objects Entities Modeling. In: Simpósio Brasileiro de Telecomunicações, 1997, Recife. Anais do XV Simpósio Brasileiro de Telecomunicações - SBT'97, 1997. p. 35-39.

78.
NÓBREGA, G. M. ; FERNEDA, E. ; FIGUEIREDO, J. C. A. . A System For Aiding Discovery Based In a Multi-Agent Architecture: the Communication Module. In: The World Multiconference on Systemics, Cybernetics and Informatics, 1997. Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 1997.

79.
FIGUEIREDO, J. C. A.; ASSIS, Francisco Marcos de ; PERKUSICH, Angelo ; FIGUEIREDO, F. A. . Tolerância a Falhas em Sistema de Software Utilizando Códigos Convolucionais. In: Simpósio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII Simpósio de Computadores Tolerantes a Falhas, 1997. p. 195-209.

80.
BARROS, T. C. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . Alocação de Recursos e Tolerância a Faltas em Sistemas Flexíveis de Manufatura Utilizando Redes de Petri Petri Coloridas. In: Simpósio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII Simpósio de Computadores Tolerantes a Falhas - SCTF'97, 1997. p. 153-167.

81.
GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. ; PERKUSICH, Angelo . Modeling A Cooperative Environment Based on an Object-Based Modular Petri Net. In: IX International Conference on Software Engineering and Knowledge Engineering, 1997, Madrid. Proceeding of the IX International Conference on Software Engineering and Knowledge Engineering, 1997. p. 240-247.

82.
FIGUEIREDO, J. C. A.; BARROS, T. C. ; PERKUSICH, Angelo . A Coloured Petri Net Based Approach for Resource Allocation and Fault Tolerance for Flexible Manufacturing Systems. In: Workshop on Manufacturing and Petri Nets, 1997, Toulouse. Proceedings of the 2nd Workshop on Manufacturing and Petri Nets, 1997. p. 77-96.

83.
FIGUEIREDO, J. C. A.; MIRANDA, M. V. C. ; PERKUSICH, Angelo . Um Ambiente Para Edição e Animação de Sistemas de G-Nets. In: Congresso Brasileiro de Automática, 1996, São Paulo. Anais do X Congresso Brasileiro de Automática - CBA'96, 1996. p. 1309-1314.

84.
FIGUEIREDO, J. C. A.; MEDEIROS, C. L. G. ; LOPES, M. A. . UFPB: Curso de Ciência da Computação. In: IV workshop de Educação em Informática, 1996, Recife, 1996.

85.
FIGUEIREDO, J. C. A.; COSTA, E. B. ; PERKUSICH, Angelo . A Multi-Agent Environment to Aid in the Design of Petri Nets Based Software Systems. In: 8th International Conference on Software Engineering and Knowledge Engineering, 1996, Lake Tahoe. Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996. p. 253-259.

86.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Modeling a Multi-Agent Cooperative Graphical Editor With a Class of Object Oriented Petri Nets. In: 2nd Workshop on Object Oriented Petri Nets and Models of Concurrency, 1996, Osaka, 1996. p. 57-71.

87.
LIMA, I. S. ; PERKUSICH, Angelo ; FIGUEIREDO, J. C. A. . An Interactive Petri Net Tool For Modeling, Analysis and Simulation of Complex Systems. In: 1996 IEEE International Conference on Systems, Man and Cybernetics, 1996, Beijing. Proceedings of 1996 IEEE International Conference on Systems, Man and Cybernetics, 1996. p. 870-875.

88.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Distributed Control of Track-Vehicle System With Fault-Tolerant Characteristics: a Petri Net Based Approach. In: IEEE International Conference on Systems, Man, and Cybernetics, 1995, Vancouver. Proceedings of the 1995 IEEE International Conference on Systems, Man, and Cybernetics, 1995. p. 377-382.

89.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Design Of Distributed Track-Vehicle Systems Applying a High-Level Object Oriented Petri Net Methodology. In: IEEE International Conference on Systems, Man, and Cybernetics, 1995, Vancouver. Proceedings of the 1995 IEEE International Conference on Systems, Man, and Cybernetics, 1995. p. 389-394.

90.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . A G-Net Based Environment For Logical and Timing Analysis of Software Systems. In: XIX Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do Simpósio Brasileiro de Engenharia de Software - SBES'95, 1995. p. 56-75.

91.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Tratamento Antecipado de Falhas: uma Abordagem por Redes de Petri. In: VI Simpósio de Computadores Tolerantes a Falhas, 1995, Canela. Anais do VI Simpósio de Computadores Tolerantes a Falhas, 1995. p. 125-142.

92.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Object Oriented Design of a Track-Vehicle System. In: 7th International Conference on Software Engineering and Knowledge Engineering, 1995, Rockville. Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering, 1995. p. 283-290.

93.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Anticipated Faults In Real-Time Distributed Systems. In: 7TH International Conference on Software Engineering and Knowledge Engineering, 1995, Rockville. Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering - SEKE'95, 1995. p. 411-418.

94.
FIGUEIREDO, J. C. A.. A Generalized Timing Petri Net Extension for Real-Time systems. In: 6th International Fuzzy Systems Association World Congress, 1995, São Paulo. Proceedings of the 6th International Fuzzy Systems Association World Congress - IFSA'95, 1995.

95.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Análise Temporal Baseada em Redes de Petri para Sistemas de Software. In: XX Seminário Integrado de Software e Hardware, 1994, Caxambu. Anais do XX Seminário Integrado de Software e Hardware - SEMISH'94, 1994.

96.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; CHANG, S. . Timing Analysis of Real-Time Software Systems Using Fuzzy Time Petri Nets. In: 6th International Conference on Software Engineering and Knowledge Engineering, 1994, Riga. Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering - SEKE'94, 1994. p. 243-253.

97.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . Projeto de Sistemas em Tempo Real Distribuídos Com Características Baseada em Objetos e Tolerância aFalhas. In: XIX Seminário Integrado de Software e Hardware, 1993, Florianópolis. Anais do XIX Seminário Integrado de Software e Hardware - SEMISH'93, 1993.

98.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . Análise e Verificação de Sistemas Baseados em Objetos Utilizando uma Abordagem Por Redes de Petri. In: XIX Seminário Integrado de Software e Hardware, 1993, Flroianópolis. Anais do XIX Seminário Integrado de Software e Hardware - SEMISH'93, 1993.

99.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . Tolerancia a Falhas Em Sistemas de Software Utilizando uma Abordagem por Redes de Petri. In: V Simpósio de Computadores Tolerantes a Falhas, 1993, São José dos Campos. Anais do V Simpósio de Computadores Tolerantes a Falhas, 1993.

100.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; CHANG, S. ; YU, B. ; EREHNBERGER, M. . The Design of Real-Time Distributed Information Systems with Object Oriented and Fault-Tolerant Characteristics. In: 5th International Conference on Software Engineering and Knowledge Engineering, 1993, San Francisco. Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering - SEKE'95, 1993.

101.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . Um Ambiente Para Construço de Sistemas Especialistas em Tempo Real. In: IX Congresso Brasileiro de Automática, 1992, Vitória. Anais do IX Congresso Brasileiro de Automática - CBA'92, 1992. p. 640-645.

102.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . An Expert System To Aid Power System Transmission Lines Liberation For Equipment Maintenance. In: IFIP Working Conference on Dependability of Artificial Intelligence Systems, 1991, Vienna. Proceedings of IFIP Working Conference on Dependability of Artificial Intelligence Systems, 1991.

103.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . Salima: an Expert System to Aid Power System Transmission Lines Liberation for Equipment Maintenance. In: The First world Congress on Expert Systems, 1991, Orlando. Proceedings of the First World Congress on Expert Systems, 1991.

104.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; BARROS, T. C. ; PERKUSICH, M. L. B. . A Petri Net Based Approach for Knowledge Base Construction for Fault Analysis And Control of Discrete Time Systems. In: 1991 IEEE Industrial Electronics Society Conference, 1991, Kobe. Proceedings of the 1991 IEEE Industrial Electronics Society Conference - IECON'91, 1991. p. 1631-1636.

105.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. ; PERKUSICH, M. L. B. . Knowledge Based Systems Application To Implement Petri Net Models Of Discrete Time Systems. In: IFIP Working Conference on Dependability of Artificial Intelligence Systems, 1991, Vienna. Proceedings of the IFIP Working Conference on Dependability of Artificial intelligence Systems, 1991.

106.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. ; PERKUSICH, M. L. B. ; GUEDES, F. . Sistemas para Auxílio em Manobras de Sistemas de Energia Elétrica Utilizando Técnicas de Inteligência Artificial. In: III Encontro para debates sobre Assuntos de Operação, 1990, São Paulo. Anais do III Encontro para Debates sobre Assuntos de Operação - III EDAO, 1990.

107.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . Sistema Inteligente para Liberação de Manobras em Sistemas de Transmissão de Energia Elétrica. In: VIII Congresso Brasileiro de Automática, 1990, Belém. Anais do VIII Congresso Brasileiro de Automática - CBA'90, 1990.

108.
FIGUEIREDO, J. C. A.; LYRA, I. A. ; SILVA, H. M. ; BRAGA, J. D. M. . Nucleo de Intforbayes, uma Ferramenta Para Sistemas Especialistas Bayesianos. In: III Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. Anais do III Simpóasio Brasileiro de Inteligência Artificial, 1991.

109.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. . Sistema de Auxílio à Decisão de Manobras em Linhas de Transmissão Utilizando Técnicas de Inteligência Artificial. In: VI Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. Anais do VI Simpósio Brasileiro de Inteligência Artificial, 1989.

110.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MORAES, M. E. ; DANTAS, M. . Aplicação de Sistemas Especialistas na Operação de Processos: Exemplificação Sistemas de Potência. In: III ENCONTRO REGIONAL LATINO-AMERICANO DO CIGRE, 1989, Foz do Iguaçu. Anais do III ERLAC, 1989.

Resumos expandidos publicados em anais de congressos
1.
DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo ; SAUVÉ, Jacques Phillipe ; FIGUEIREDO, J. C. A. ; SAMPAIO, Marcus Costa ; ROCHA NETO, Eloi ; ARAÚJO, Antonio Sérgio ; MELO, Maria Do Socorro Costa ; SILVA, Michael Angelo Henrique da . Tratamento de Eventos em Redes Elétricas: uma Ferramenta. In: Congresso Brasileiro de Automática, 2004, Gramado, RS. Anais do CBA2004, 2004. v. 25. p. 1-5.

Resumos publicados em anais de congressos
1.
MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, André Luís Lima de ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. . Teste para Software Orientado a Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Anais do XIX Simpoósio Brasileiro de Engenharia de Software, 2005. v. 1. p. 9-9.

2.
FIGUEIREDO, J. C. A.; KRISTENSEN, L. M. . Modelling and Analysis of TCP Protocols Using Coloured Petri Nets. In: HP Openview University Association 6th Plenary Workshop, 1999, Bologna. Proceedings of HPOVUA'99, 1999. v. 1. p. 15-25.

Outras produções bibliográficas
1.
FIGUEIREDO, André Luís ; LIMA, Emerson Ferreira de Araújo ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Padrões de Teste para Software Orientado a Objetos 2005 (Desenvolvimento de material didático ou instrucional - Tutorial).

2.
MACHADO, Patrícia Duarte de Lima ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, J. C. A. . Automatic Functional Test Generation 2005 (Desenvolvimento de material didático ou instrucional - Mini-curso).


Produção técnica
Programas de computador sem registro
1.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo ; MIRANDA, M. V. C. ; AUGUSTO, C. . Editos e Animador de Sistemas de G-Nets. 1996.

2.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo . SALIMA - Sistema de Apoio a Decisão de Manobras em Linhas de Transmissão de Energia. 1989.

Trabalhos técnicos
1.
FIGUEIREDO, J. C. A.. Estudo e Validação de uma Linguagem Baseada em Redes de Petri e Orientação a Objetos. 2003.

2.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey ; MACHADO, Patrícia Duarte de Lima . Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2003.

3.
FIGUEIREDO, J. C. A.. Redes de Petri de Alto Nível: Teoria, Aplicação e Ferramentas. 2002.

4.
FIGUEIREDO, J. C. A.. Redes de Petri de Alto Nível: Teoria, Applicação e Ferramentas. 2002.

5.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey ; MACHADO, Patrícia Duarte de Lima . MOBILE: Técnicas e Ferramentas para o Desnvolvimento Rigoroso de Software com Característica de mobilidade. 2002.

6.
FIGUEIREDO, J. C. A.. Estudo e Validação de uma Linguagem Baseada em Redes de Petri e Orientação a Objetos. 2001.


Demais tipos de produção técnica
1.
FIGUEIREDO, J. C. A.. Modelagem e Validação de Sistemas Usando Redes de Petri. 2006. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SAUVE, J. P.; MOTA, W. S.; FIGUEIREDO, J. C. A.. Participação em banca de Renato Almeida de Freitas. Geração de Manobras Finais de Recomposição de Subestações do Sistema Elétrico. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
SAUVÉ, Jacques Phillipe; MOTA, Wellington Santos; Figueiredo, Jorge C. A. de. Participação em banca de Camilla Falconi Crispim. Geração Automática de Manobras para Sistemas Eletroenergéticos. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
Figueiredo, Jorge C. A. de; GUERRERO, Dalton Dario Serey; MASSONI, T.; CHAVEZ, Christina. Participação em banca de Diego Tavares Cavalcanti. Estudo do Uso de Vocabulários para Analisar o Impacto de Relatórios de Defeitos a Código-fonte. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
LEITE, Maria Silene; GOMES, Maria de Lourdes; WALTER, Fábio; Figueiredo, Jorge C. A. de. Participação em banca de Manoel Edervaldo Souto Araújo. Metodologia de Avaliação de Prestação de Serviços por Meio de Modelagem de Processos e Análise de Falhas: O Caso de Novas Ligações em Empresas de Distribuição de Energia Elétrica. 2011. Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal da Paraíba.

5.
FIGUEIREDO, J. C. A.; SAUVÉ, Jacques Phillipe; VIEIRA, M. F. Q.. Participação em banca de Renata França de Pontes. Um Framework para Auxílio na Criação de Diagnosticadores de Falhas em Sistemas. 2008. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
FIGUEIREDO, J. C. A.; MACHADO, Patrícia Duarte de Lima; LEMOS, G.. Participação em banca de Wilkerson de Lucena Andrade. Geração de Casos de Teste de Interação para Aplicações de Celulares. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey; MACHADO, Patrícia Duarte de Lima; DEHARBE, David. Participação em banca de Paulo Eduardo e Silva Barbosa. Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
MACHADO, Patrícia Duarte de Lima; FIGUEIREDO, J. C. A.; SAMPAIO, Augusto César Alves. Participação em banca de Emanuela Gadelha Cartaxo. Geração de Casos de Teste Funcional para Aplicações de Celulares. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey; MACHADO, Patrícia Duarte de Lima; SIMÃO, Adenilso da Silva. Participação em banca de Ana Emília Victor Barbosa. Detecção Automática de Violações de Propriedades de Sistemas Concorrentes em Tempo de Execução. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
DEHARBE, David; FIGUEIREDO, J. C. A.; OLIVEIRA, M. V. M.. Participação em banca de Cláudia Fernanda Oliveira Kiermes Tavares. Prova Automática de Satisfabilidade Módulo Teoria Aplicada ao Método B. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

11.
FIGUEIREDO, J. C. A.; MAIA JUNIOR, Braulio; LEMOS, Manoel José Machado Soares. Participação em banca de Aluízio Freire da Silva Junior. Invariantes de Tutte-Grothendieck em Grafos. 2006. Dissertação (Mestrado em Pós Graduação Em Matemática) - Universidade Federal de Campina Grande.

12.
FIGUEIREDO, J. C. A.; SAMPAIO, Augusto César Alves; MACHADO, Patrícia Duarte de Lima. Participação em banca de Emanuela Cartaxo Gadelha. Geração de Casos de Teste Funcional para Aplicações de Celulares. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

13.
FIGUEIREDO, J. C. A.; MOTA, Alexandre Cabral; MACHADO, Patrícia Duarte de Lima; GUERRERO, Dalton Dario Serey. Participação em banca de André Luiz Lima de Figueiredo. Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. 2005. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

14.
FIGUEIREDO, J. C. A.; MACHADO, Patrícia Duarte de Lima; GUERRERO, Dalton Dario Serey; BORBA, Paulo Henrique Monteiro. Participação em banca de Emerson Ferreira de Araújo Lima. Formalização e Análise de Padrões de Projetos para Agentes Móveis. 2004. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

15.
FIGUEIREDO, J. C. A.; MACHADO, Patrícia Duarte de Lima; GARCIA, Francilene Procópio; MEDEIROS, Álvaro Francisco de Castro. Participação em banca de Cidinha Costa Gouveia. Teste de Integração para Sistemas Baseados em Componentes. 2004. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

16.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey; MACHADO, Patrícia Duarte de Lima; PERKUSICH, Angelo; MOTA, Alexandre Cabral. Participação em banca de Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

17.
SAUVÉ, Jacques Phillipe; FIGUEIREDO, J. C. A.; SOUZA, Benemar Alencar de; FERNANDES, Marcial Porto. Participação em banca de Alexandre Nóbrega Duarte. Tratamento de Eventos em Redes Elétricas: Uma Ferramenta. 2003. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

18.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey; MACHADO, Patrícia Duarte de Lima; DOMINGUEZ, Arturo Hernadez. Participação em banca de José Amancio Macedo Santos. Suporte à Análise e Verificação de Modelos. 2003. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

19.
MACHADO, Patrícia Duarte de Lima; FIGUEIREDO, J. C. A.; GARCIA, Francilene Procópio; MARTINS, Eliane. Participação em banca de Carina Machado de Farias. Um Método de Teste Funcional para Verificação de Componentes. 2003. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

20.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira; LIMA, Antonio Marcus Nogueira. Participação em banca de Leandro Dias da Silva. Modelagem Sistemática de Sistemas Flexíveis de Manufatura Baseada em Reuso de MOdelos de Redes de Petri Coloridas. 2002. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba.

21.
FIGUEIREDO, J. C. A.; MACHADO, Patrícia Duarte de Lima; DOMINGUEZ, Arturo Hernadez. Participação em banca de Edna Dias Canedo. Estudo e Experimentação de uma Linguagem de Modelagem de Sistemas Baseada em Redes de Petri e Orientação a Objetos. 2002. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

22.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; ARAÚJO, E.. Participação em banca de Adriano José Pinheiro Lemos. Reúso de Modelos em redes de Petri Coloridas. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba.

23.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; COSTA, E. B.. Participação em banca de Kyller Costa Gorgônio. Adaptação de Modelos de Redes de Petri Coloridas. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba.

24.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira; PERKUSICH, M. L. B.. Participação em banca de Pedro Fernandes Ribeiro Neto. Análise de Controle de Concorrência e Escalonamento de Transações em Banco de Dados em Tempo Real Usando Redes de Petri. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba.

25.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira. Participação em banca de Alexandre Scaico. Aplicação de um Modelo Genérico de Navegação de IHM no Contexto de Sistemas Industriais. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba.

26.
BRASILEIRO, Francisco Vilar; FIGUEIREDO, J. C. A.; FRAGA, Joni da Silva. Participação em banca de Lívia Maria Rodrigues Sampaio. Serviços de Processamento Tolerantes a Faltas para Sistemas Distribuidos Assincronos. 2000. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

27.
PERKUSICH, Angelo; FIGUEIREDO, J. C. A.; DEHARBE, David. Participação em banca de Ana Karla Alves de Medeiros. Mecanismos de Interacao para um Modelo de Redes de Petri Orientado a Objetos. 2000. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande.

Teses de doutorado
1.
FIGUEIREDO, J. C. A.; MEIRA JUNIOR, Wagner; FERRAZ, Carlos André Guimarães; GREVE, Fabíola Gonçalves Pereira; BRASILEIRO, Francisco Vilar. Participação em banca de Lívia Maria Rodrigues Sampaio. Adaptação de Protocolos Distribuídos Simétricos pelo Texto à Dinamicidade e Heterogeneidade de Carga do AMbiente de Execução Através de Oráculos de Latência. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

2.
FIGUEIREDO, J. C. A.; BITTENCOURT, Guilherme; MOTA, Alexandre Cabral; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira. Participação em banca de Alexandre Scaico. Aplicação de Métodos Formais no Projeto de Interfaces para Sistemas Industriais Críticos. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

3.
FIGUEIREDO, J. C. A.; MOTA, Alexandre Cabral; GUERRERO, Dalton Dario Serey; LUCENA JUNIOR, Vicente Ferreira de; PERKUSICH, Angelo. Participação em banca de Leandro Dias da Silva. Especificação e Verificação Sistemática, Formal e Modular de Sistemas Embarcados. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

4.
ROCHA NETO, José Sérgio da; FINAMORE, Weiler Alves; PIMENTEL, Cecílio José Lins; LIMA, Antonio Marcus Nogueira; FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; ASSIS, Francisco Marcos de. Participação em banca de Edmar Candeia Gurjão. Concorrência, Redes de Petri e Teoria da Informação: Aspectos Comuns. 2003. Tese (Doutorado em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

5.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; MOTA, Wellington Santos; SAMPAIO, Augusto César Alves; SILVA, José Reinaldo; TURNNELL, Maria de Fátima Queiroz Vieira; LIMA, Antonio Marcus Nogueira. Participação em banca de Dalton Dario Serey Guerrero. Redes de Petri Orientadas a Objetos. 2002. Tese (Doutorado em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

6.
FIGUEIREDO, J. C. A.; SILVA, A. P. A.; SZCZUPAK, J.; NEVES, W. L. A.; LIMA, Antonio Marcus Nogueira; SOUZA, Benemar Alencar de. Participação em banca de Núbia Silva Dantas Brito. Teoria das Wavelets: Estudo e Aplicação na Análise de Transitórios em Sistemas de Potência. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba.

Qualificações de Doutorado
1.
SCHIEL, Ulrich; Figueiredo, Jorge C. A. de; COSTA, E. B.; PEREIRA, Adriana Soares; MEDINA, Roseclea Duarte. Participação em banca de Isabel Dillmann Nunes. Rede de Atividade Aplicados à Edição, Atualização e Acompanhamento de Design Instrucional com Suporte a Learning Analytics. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
Figueiredo, Jorge C. A. de; GUERRERO, Dalton Dario Serey; SAUVÉ, Jacques Phillipe; MASSONI, T.; SANT'ANNA, Cláudio; VALENTE, M. T. O.. Participação em banca de João Arthur Brunet Monteiro. Erosão Arquitetural em Perspectiva: Um Estudo Sobre a Natureza das Violações Arquiteturais e Sua Relevância. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
BRASILEIRO, Francisco Vilar; FIGUEIREDO, J. C. A.; SPOHN, Marco Aurélio; GOMES, F. A. C.; ALMEIDA, J.A.. Participação em banca de Álvaro Vinícius de Souza Coelho. Seleção de Portfólio no Contexto de Grades P2P MultiServiço. 2009. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
RAMALHO, Franklin; FIGUEIREDO, J. C. A.; GHEYI, R.; MASSONI, T.; GOMES, L.; ROBIN, J. P. L.. Participação em banca de Paulo Eduardo e Silva Barbosa. Uma Arquitetura MDA Estendida para Transformações Preservadoras de Semântica. 2009. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; GUERRERO, Dalton Dario Serey; Cláudia Werner; LEITE, Júlio César Sampaio do Prado; LUCENA, Carlos José Pereira. Participação em banca de Hyggo Oliveira de Almeida. Infraestrutura Baseada em Componentes para o Desenvolvimento de Software com Suporte à Evolução Dinâmica Não Antecipada. 2007. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

6.
FIGUEIREDO, J. C. A.; SCHIEL, Ulrich; TRAVASSOS, Guilherme Horta; MOURA, Hermano Perrelli de. Participação em banca de Cecir Barbosa de Almeida Farias. Gerenciamento de Projetos com Redes de Atividades. 2007. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

7.
ROCHA NETO, José Sérgio da; PERKUSICH, Angelo; SPOHN, Marco Aurélio; GRANVILLE, Lizandro Zambenedetti; FIGUEIREDO, J. C. A.. Participação em banca de Paulo Sérgio Sausen. Gerenciamento de Energia e Qualidade de Serviço em Redes de Sensores Sem Fio. 2007. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

8.
FIGUEIREDO, J. C. A.; ASSIS, Francisco Marcos de; BRASILEIRO, Francisco Vilar; CIRNE FILHO, Walfredo; FERRAZ, Carlos André Guimarães; MEIRA JUNIOR, Wagner. Participação em banca de Lívia Maria Rodrigues Sampaio. Protocolos Distribuídos Assimétricos Adaptativos para Sistemas Heterogêneos e Dinâmicos. 2005. Exame de qualificação (Doutorando em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

9.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; GUERRERO, Dalton Dario Serey; ROCHA NETO, José Sérgio da; MOTA, Alexandre Cabral; LUCENA JUNIOR, Vicente Ferreira de. Participação em banca de Leandro dias da Silva. Especificação e Verificação Sistemática, Formal, e Modular de Sistemas Embutidos. 2004. Exame de qualificação (Doutorando em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

10.
FIGUEIREDO, J. C. A.; PACHECO, Roberto Carlos dos Santos; FURTADO, João José Peixoto; TURNELL, Maria de Fátima Queiroz Vieira; SCHIEL, Ulrich; BRASILEIRO, Francisco Vilar. Participação em banca de Francisco Milton Mendes neto. Uma Estratégia para Elicitação de Requisitos, Verificação de Propriedades e Integração Efetiva de Sistemas de Gestão do Conhecimento e Aprendizagem Colaborativa no Contexto Organizacional. 2004. Exame de qualificação (Doutorando em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

11.
FIGUEIREDO, J. C. A.; SOUZA, Benemar Alencar de; TURNNELL, Maria de Fátima Queiroz Vieira; BITTENCOURT, Guilherme; MOTA, Alexandre Cabral; PERKUSICH, Angelo; SANTONI, Charles. Participação em banca de Alexandre Scaico. Métodos Formais no Projeto de Interfaces para Sistemas Industriais Críticos. 2004. Exame de qualificação (Doutorando em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

12.
ROCHA NETO, José Sérgio da; PERKUSICH, Angelo; BORBA, Paulo Henrique Monteiro; DEHARBE, David; FIGUEIREDO, J. C. A.; MACHADO, Patrícia Duarte de Lima. Participação em banca de Sandro Alex Damasceno. Relações Flexíveis de Subtipo. 2003. Exame de qualificação (Doutorando em Pós Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Trabalhos de conclusão de curso de graduação
1.
FIGUEIREDO, J. C. A.; GUERRERO, Dalton Dario Serey; CIRNE FILHO, Walfredo. Participação em banca de Loreno Feitosa de Oliveira.MyPhotoGrid. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande.

Outros tipos
1.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; MACHADO, Patrícia Duarte de Lima. Participação em banca de Edna Dias Canedo. Estudo e Validação de Sistemas Baseado em Redes de Petri e Orientação a Objetos. 2001. Outra participação, Universidade Federal da Paraíba.

2.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira. Participação em banca de Leandro Dias da Silva. Reúso de Modelos em Sistemas Flexíveis de Manufatura. 2001. Outra participação, Universidade Federal da Paraíba.

3.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira. Participação em banca de Pedro Fernandes Ribeiro Neto. Escalonamento de Transações para Banco de Dados Tempo-Real Usando Redes de Petri Coloridas. 2001. Outra participação, Universidade Federal da Paraíba.

4.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira. Participação em banca de Ana Luísa Nóbrega Distéfano. Reúso de Modelos em Redes de Petri Coloridas para Sistemas de Produção. 2001. Outra participação, Universidade Federal da Paraíba.

5.
FIGUEIREDO, J. C. A.; PERKUSICH, Angelo; TURNELL, Maria de Fátima Queiroz Vieira. Participação em banca de Alexandre Scaico. Otimização da Interface Homem-máquina de Sistemas Industriais. 2001. Outra participação, Universidade Federal da Paraíba.



Participação em bancas de comissões julgadoras
Concurso público
1.
SAUVÉ, Jacques Phillipe; CASTOR, Fernando; Figueiredo, Jorge C. A. de; RAMALHO, Franklin. Concurso Público para Professor Adjunto do DSC/CEEI/UFCG. 2013. Universidade Federal de Campina Grande.

2.
FIGUEIREDO, J. C. A.; LURDEMIR, Teresa Bernarda; FERRAZ, Carlos. Concurso Público para Professor Assistente do departamento de Sistemas e Computação. 2005. Universidade Federal de Campina Grande.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
SAST 2011 - Systematic and Automated Software.Membro do Comitê de Programa. 2011. (Oficina).

2.
Simpósio Brasileiro de Métodos Formais.Membro do Comitê de Programa. 2011. (Simpósio).

3.
VIII Workshop de Manutenção de Software Moderna.Membro do Comitê de Programa. 2011. (Oficina).

4.
International Workshop on Petri Nets and Software Engineering - PNSE2010.Membro do Comitê de Programa. 2010. (Oficina).

5.
VII Workshop de Manutenção de Software Moderna.Membro do Comitê de Programa. 2010. (Oficina).

6.
12th Brazilian Symposium on Formal Methods.Membro do Comitê de Programa. 2009. (Simpósio).

7.
30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Membro do Comitê de Programa. 2009. (Congresso).

8.
3nd Brazilian Workshop on Systematic and Automated Software Testing.Membro do Comitê de Programa. 2009. (Simpósio).

9.
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems.Membro do Comitê de Programa. 2009. (Simpósio).

10.
International Workshop on Petri Nets and Software Engineering.Membro do Comitê de Programa. 2009. (Simpósio).

11.
11th Brazilian Symposium on Formal Methods.Membro do Comitê de Programa. 2008. (Simpósio).

12.
29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Membro do Comitê de Programa. 2008. (Congresso).

13.
2nd Brazilian Workshop on Systematic and Automated Software Testing.Membro do Comitê de Programa. 2008. (Simpósio).

14.
6th Workshop on Verification and Validation of Enterprise Information Systems.Membro do Comitê de Programa. 2008. (Simpósio).

15.
International Workshop on Petri Nets and Distributed Systems.Membro do Comitê de Programa. 2008. (Simpósio).

16.
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.Membro do Comitê de Programa. 2008. (Simpósio).

17.
1st Brazilian Workshop on Systematic and Automated Software Testing.Membro do Comitê de Programa. 2007. (Simpósio).

18.
28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Membro do Comitê de Programa. 2007. (Congresso).

19.
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.Membro do Comitê de Programa. 2007. (Simpósio).

20.
International Workshop on Petri Nets and Software Engineering.Membro do Comitê de Programa. 2007. (Simpósio).

21.
9th Brazilian Symposium on Formal Methods.Membro do Comitê de Programa. 2006. (Simpósio).

22.
9th Brazilian Symposium on Formal Methods.Modelagem e Validação de Sistemas Usando Redes de Petri. 2006. (Simpósio).

23.
Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.Membro do Comitê de Programa. 2006. (Simpósio).

24.
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.Membro do Comitê de Programa. 2005. (Simpósio).

25.
Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.Membro do Comitê de Programa. 2004. (Simpósio).

26.
Third Workshop on Modelling of Objects, Components, and Agents.Membro do Comitê de Programa. 2004. (Simpósio).

27.
VI Workshop on Formal Methods.Membro do Comitê de Programa. 2003. (Simpósio).

28.
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Membro do Comitê de Programa. 2002. (Congresso).

29.
Second Workshop on Modelling of Objects, Components, and Agents.Membro do Comitê de Programa. 2002. (Simpósio).

30.
Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.Membro do Comitê de Programa. 2001. (Simpósio).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Marcos Antonio Silva Nascimento. Feedback automático utilizando vocabulário no contexto de ensino de programação. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Júlio Leitão de Melo Junior. Prioritizing Changesets at Code Review. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Coorientador).

3.
Rafael Guerra de Pontes. Increasing Student Engagement in Introductory Programming Courses with Gamification. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Antonio Dias dos Santos Junior. Estratégia, Métodos e Ferramentas no Contexto do Ensino de Programação. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

2.
Victor Cunha Luna Freire. Decomposição Automática de Mudanças para Revisão de Código. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Coorientador).

3.
Mirna Carelli Oliveira Maia. Contributing Student Pedagogy in Programming Education. Início: 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Jucélio Soares Santos. Avaliação das Habilidades Cognitivas Preditoras do Desenvolvimento de Leitura em Crianças por Meio de um Jogo. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Jorge Cesar Abrantes de Figueiredo.

2.
Klaudio Henrique de Medeiros. Avaliação da Utilização de Leaderboards em Disciplinas Introdutórias de Programação. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

3.
Victor da Cunha Luna Freire. Automatic Decomposition of Code Review Changesets in Open Source Software Projects. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

4.
Luiz Augusto Macedo Morais. Avaliação de uma Abordagem Personalizada de Ensino no Contexto de Programação Introdutória. 2015. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

5.
Alan de Farias Cruz. Geração Automática de Script de Testes em Ambiente 61850. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

6.
Diego Tavares Cavalcanti. Estudo do Uso de Vocabulários para Analisar o Impacto de Relatórios de Defeitos a Código-fonte. 2012. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

7.
Mariana Romão do Nascimento. Um Estudo sobre a Eficácia do Ensino à Distância de Programação para Alunos Iniciantes. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

8.
Jemerson Figueiredo Damásio. Simulação de Evolução de Software Baseada em Modelagem Estatística de Padrões de Mudanças Estruturais em Software. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

9.
Stéfani Silva Pires. Técnica de Análise de Causa-Raiz em Sistemas Elétricos de Potência. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Parque Tecnológico de Campina Grande. Orientador: Jorge Cesar Abrantes de Figueiredo.

10.
Rodrigo Rocha Gomes e Souza. Modelos Realistas para a Avaliação de Agrupamentos de Software. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

11.
João Arthur Brunet Monteiro. Testes de Design: Uma Abordagem Baseada em Testes para Verificação Automática de Conformidade entre Implementação e Regras de Design. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

12.
Pablo Oliveira Antonino de Assis. Análise da Correlação entre Métricas de Evolução e Qualidade de Design de Software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

13.
Mirna Carelli Oliveira Maia. Técnica Híbrida de Análise de Impacto. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Jorge Cesar Abrantes de Figueiredo.

14.
Amanda Saraiva Bezerra. Verificação do Design de Software. 2008. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

15.
Lile Palma Hattori. Análise Probabilística de Impacto de Mudanças Baseada em Históricos de Mudanças do Software. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

16.
Paulo Eduardo e Silva Barbosa. Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais. 2007. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

17.
Ana Emília Victor Barbosa. Detecção Automática de Violações de Propriedades de Sistemas Concorrentes em Tempo de Execução. 2007. 0 f. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

18.
Rogério Dourado Silva Junior. CASTOR: Uma Técnica de Verificação de Conformidade para Arquiteturas de Software. 2006. 0 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

19.
Elthon Allex da Silva Oliveira. Uma Técnica para Modelagem e Verificação de Programas Java Concorrentes Auxiliada por Anotações de Código. 2006. 161 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

20.
Afranio Mangueira Lima de Assis. Modelagem Executável de Sistemas Distribuídos em Java. 2006. 115 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

21.
Fabrício Vale de Azevedo Guerra. Modelagem de Sistemas com Restrições Temporais em Redes de Petri Orientadas a Objetos. 2005. 120 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

22.
Taciano de Morais Silva. Geração de Espaço de Estados de Modelos em Redes de Petri Orientadas a Objetos. 2005. 100 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

23.
Daniel Lima Barbosa. Um Método Automático de Teste Funcional para a Verificação de Componentes. 2005. 150 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

24.
Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. 120 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

25.
Emerson Ferreira de Araújo Lima. Formalização e Análise de Padrões de Projeto para Agentes Móveis. 2004. 137 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

26.
Cidinha Costa Gouveia. Teste de Integração para Sistemas Baseados em Componentes. 2004. 140 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

27.
José Amancio Macedo Santos. Suporte à Análise e Verificação de Modelos RPOO. 2003. 120 f. Dissertação (Mestrado em Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

28.
Edna Dias Canedo. Estudo e Experimentação de uma Linguagem de Modelagem de Sistemas Baseada em redes de Petri e Orientação a Objetos. 2002. 130 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

29.
Sandro Alex Damasceno Costa. Aspectos de Herança em uma Notação Orientada a Objetos Baseada em Redes de Petri. 1999. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

30.
Othon Marcelo Nunes Batista. Estudo de Equivalência entre Redes de Petri e Redes de Fila no Ambiente SAVAD. 1999. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Jorge Cesar Abrantes de Figueiredo.

31.
Dalton Dario Serey Guerrero. Sistemas de Redes de Petri Modulares Baseados Em Objetos. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

32.
Itamar de Souza Lima. Mannet: Uma Ferramenta Para Modelagem, Simulação e Análise de Sistemas Complexos. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba, . Orientador: Jorge Cesar Abrantes de Figueiredo.

33.
Aldenor Falcão Martins. Formalizando Entidades Gerenciadas Utilizando Redes de Petri Orientada a Objetos. 1997. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba, . Orientador: Jorge Cesar Abrantes de Figueiredo.

34.
Márcia Verônica da Costa Miranda. Ambiente Para Edição e Animação de Sistemas G-Nets. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, . Orientador: Jorge Cesar Abrantes de Figueiredo.

Tese de doutorado
1.
Fabrício Vale de Azevedo Guerra. zReader: A Mobile Game Suite for Improving Children's Reading Skills and Behavior. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Jorge Cesar Abrantes de Figueiredo.

2.
Eliane Cristina de Araújo. Automatização de Feedback para Apoiar o Aprendizado no Processo de Resolução de Problemas de Programação. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Jorge Cesar Abrantes de Figueiredo.

3.
Katyusco de Farias Santos. Uso de Vocabulário de Código Fonte para Identificação de Especialistas. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Jorge Cesar Abrantes de Figueiredo.

4.
João Arthur Brunet Monteiro. Erosão Arquitetural em Perspectiva: Um estudo sobre regras arquiteturais, suas violações e como os desenvolvedores lidam com o problema.. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

5.
Paulo Eduardo e Silva Barbosa. Preservando a Semântica de Transformação entre Modelos. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

6.
Cássio Leonardo Rodrigues. ANÁLISE DE COBERTURA FUNCIONAL NA FASE DE INTEGRAÇÃO DE BLOCOS DE CIRCUITOS DIGITAIS. 2010. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jorge Cesar Abrantes de Figueiredo.

7.
Dalton Dario Serey Guerrero. Redes de Petri Orientada a Objetos. 2002. 130 f. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba, . Orientador: Jorge Cesar Abrantes de Figueiredo.

Trabalho de conclusão de curso de graduação
1.
Ana Emília Victor Barbosa. Ferramenta de Catalogação de Padrões de Teste para a Verificação de Aplicações Baseadas em Agentes Móveis. 2005. 89 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Jorge Cesar Abrantes de Figueiredo.

2.
Laísa Helena do Nascimento. CPAM: Uma ferramenta Web para Catalogação de Padrões de Projeto para Agentes Móveis. 2005. 84 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Jorge Cesar Abrantes de Figueiredo.

Iniciação científica
1.
João Pedro Ferreira de Melo Leoncio. CARACTERIZAÇÃO DO VOCABULÁRIO DE COMMITS AO LONGO DA EVOLUÇÃO DE SISTEMAS. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

2.
João Pedro Ferreira de Melo Leoncio. Utilizando Redes de Petri na Especificação e Modelagem da Lógica de Negócio de um WFMS na Web. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

3.
Martha Michelly Galvão de Menezes. Identificação de Violações Arquiteturais: Ferramentas de Apoio. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

4.
Tércio de Melo Souza. Identificação de Violações Arquiteturais: Ferramenta de apoio. 2012. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

5.
André Farias Aranha Monteiro. Representação Semantica de Artefatos no Desenvolvimento de Sistemas Embarcados. 2011. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

6.
Antonio Dias Santos Junior. Verificação de Equivalência em Transformações MDA Entre Modelos de Sistemas Concorrentes. 2010. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

7.
Antonio Dias Santos Junior. Concepção e Implementação de uma Infra-Estrutura para Garantir a Preservação de Semântica em transformações de Modelos. 2009. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

8.
Fábio Jorge Almeida Morais. Análise de Cobertura de Execução na Verificação Funcional de Sistemas de Hardware Usando Redes de Petri. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

9.
Fábio Jorge de Almeida Morais. Metodologia de Verificação Funcional Baseada em Redes de Petri Coloridas. 2007. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

10.
Talita de Paula Uchoa. Refatoramento do J-Mobile. 2006. 35 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

11.
Fábio Jorge de Almeida. Verificação de Modelos Distribuida. 2006. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

12.
Leandro Max de Lima Silva. Estudo em Verificação Distribuída. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

13.
Paulo Eduardo e Silva Barbosa. Verificação de Modelos RPOO: Desenvolvimento e Integração. 2004. 50 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

14.
Rodrigo de Oliveira Tavares. Simulação de Modelos RPOO: Desenvolvimento de Ferramentas de Suporte. 2004. 30 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Jorge Cesar Abrantes de Figueiredo.

15.
Taciano de Morais Silva. Ferramenta de Simulação de RPOO. 2003. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

16.
Rodrigo de Oliveira Tavares. Ferramentas de Simulação de RPOO. 2003. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

17.
Luciana Maria de Araújo. Redes de Petri Orientada a Objetos - Ambiente de Desenvolvimento. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

18.
Kyller da Costa Gorgônio. Redes de Petri Orientada a Objetos - Ambiente de desenvolvimento. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

19.
Gustavo Meneses Gois. Redes de Petri com Temporizaçào Nebulosa. 1997. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

20.
Sérgio Luciano Soares Gaião. Redes de Petri com Temporização Nebulosa. 1997. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Jorge Cesar Abrantes de Figueiredo.

21.
Joseana Barbosa de Farias. Modelagem de Sistemas de Informações Utilizando PN e INC: Um estudo de Caso. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Jorge Cesar Abrantes de Figueiredo.

22.
Yure Pereira Campos. Modelagem de Sistemas de Informações Utilizando PN e INC: Um estudo de Caso. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

23.
Jáder de Carvalho Belarmino. Editor Gráfico para G-Nets. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

24.
César Augusto. Ambiente para Desenvolvimento de Sistemas G-Nets. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

25.
Adriana Militão Agra. Ambiente de Desenvolvimento de Sistemas G-Nets. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.

26.
Raquel Menezes Costa. Ambiente para Desenvolvimento de Sistemas de G-Nets. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Cesar Abrantes de Figueiredo.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 10:23:55