Adalberto Cajueiro de Farias

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


Possui graduação em Ciências da Computação pela Universidade Federal de Pernambuco (2000), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2003) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2009). Atualmente é professor adjunto do Departamento de Sistemas e Computação da Universidade Federal de Campina Grande. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: métodos formais, padrões de projeto, java, cspz, model checking e ferramenta de suporte, big data. (Texto informado pelo autor)


Identificação


Nome
Adalberto Cajueiro de Farias
Nome em citações bibliográficas
A. FARIAS;Farias, Adalberto

Endereço


Endereço Profissional
Universidade Federal de Campina Grande.
Rua Aprígio Veloso, 882
Universitário
58429-140 - Campina Grande, PB - Brasil
Telefone: (83) 21011120
Ramal: 216
Fax: (83) 8321011120
URL da Homepage: http://www.ufcg.edu.br


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


2004 - 2009
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Abstraction of Infinite and Communicating CSPZ Processes, Ano de obtenção: 2009.
Orientador: Alexandre Cabral Mota.
Palavras-chave: CSP-Z; model checking; Abstração de Dados; Mecanização; Especificação formal.
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: Métodos Formais.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
Setores de atividade: Desenvolvimento de Programas (Software); Outro.
2001 - 2003
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Efficient and Mechanised Analysis of Infinite CSP-Z Processes: strategy and tool support,Ano de Obtenção: 2003.
Orientador: Augusto César Álves Sampaio.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Métodos Formais; especificação; CSP-Z; Ferramentas; Abstração.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Desenvolvimento de Programas (Software); Consultoria em Sistemas de Informática; Outras Atividades de Prestação de Serviços em Informática.
1995 - 2000
Graduação em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.




Formação Complementar


2005 - 2005
Extensão universitária em Curso de Atualização Didática. (Carga horária: 40h).
Faculdade Integrada do Recife, FIR, Brasil.


Atuação Profissional



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

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

Atividades

02/2011 - Atual
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Estruturas de Dados e Algoritmos
Estrutura de Dados e Algoritmos
02/2011 - Atual
Extensão universitária , Unidade Acadêmica de Sistemas e Computação, .

Atividade de extensão realizada
Orientação de Monitoria da Disciplina Estruturas de Dados e Algoritmos.
02/2011 - Atual
Extensão universitária , Unidade Acadêmica de Sistemas e Computação, .

Atividade de extensão realizada
Orientação de Monitoria da Disciplina Laboratório de Estrutura de Dados e Algoritmos.
03/2012 - 12/2015
Conselhos, Comissões e Consultoria, Câmara de Gestão Administrativo-Financeiro da UFCG, .

Cargo ou função
Conselheiro da Camara Superior de Gestão Administrativo-Financeira da UFCG.
09/2013 - 11/2015
Direção e administração, Unidade Acadêmica de Sistemas e Computação, .

Cargo ou função
Coordenador Administrativo da Unidade Academica de Sistemas e Computação.
12/2011 - 09/2013
Conselhos, Comissões e Consultoria, Unidade Acadêmica de Sistemas e Computação, .

Cargo ou função
Membro de Comissão de Criação de Novo Curso.
09/2011 - 09/2013
Conselhos, Comissões e Consultoria, Unidade Acadêmica de Sistemas e Computação, .

Cargo ou função
Membro do Colegiado da Graduação.
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
08/2010 - 12/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Computação
Teoria dos Grafos

Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

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

Atividades

01/2009 - 09/2010
Conselhos, Comissões e Consultoria, Unidade Academica de Garanhuns, .

Cargo ou função
COMISSAO DE DIVULGACAO DOS CURSOS DA UNIDADE ACADEMICA DE GARANHUNS.
05/2010 - 08/2010
Direção e administração, Unidade Academica de Garanhuns, .

Cargo ou função
Coordenador de Curso.
01/2009 - 08/2010
Ensino, Bacharelado em Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
Algoritmos e Estruturas de Dados II
Introdução a Ciência da Computação
Introdução a Informática
Introdução ao Processamento de Dados
Laboratorio de Informática
Linguagem de Programação
Programação Orientada a Objetos
03/2010 - 07/2010
Extensão universitária , Unidade Academica de Garanhuns, .

Atividade de extensão realizada
Orientacao de Monitoria em Algoritmo e Estrutura de Dados I.
10/2009 - 04/2010
Direção e administração, Unidade Academica de Garanhuns, .

Cargo ou função
Substituto Eventual do Coordenador do Bacharelado em Ciencia da Computacao.

Instituto Federal de Pernambuco, IFPE, Brasil.
Vínculo institucional

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

Atividades

03/2008 - 01/2009
Ensino, Tecnologo em Analise e Desenvolvimento de Sistemas, Nível: Graduação

Disciplinas ministradas
Algoritmos I
Desenvolvimento de Sistemas em Ambiente Web
Engenharia de Software Orientada a Objetos
Linguagem de Programacao Orientada a Objetos para Web
Linguagem de Programacao para Web
Projeto de Sistemas de Informacao e Prototipagem

Faculdade Integrada do Recife, FIR, Brasil.
Vínculo institucional

2001 - 2007
Vínculo: Celetista, Enquadramento Funcional: Outro (professor), Carga horária: 20
Outras informações
Professor da instituição

Atividades

8/2001 - 7/2007
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação
Laboratório de Programação Orientada a Objetos
Programação Orientada a Objetos
6/2005 - 2/2007
Direção e administração, Copesq, .

Cargo ou função
Supervisor de Pós-Graduação.
1/2003 - 7/2005
Pesquisa e desenvolvimento , Copesq, .


Unibratec, UNIBRATEC, Brasil.
Vínculo institucional

2003 - 2007
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

10/2003 - 02/2007
Ensino, Ctds, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação Multiplataforma

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

1999 - 2002
Vínculo: Outro, Enquadramento Funcional: Outro (Monitor de curso de especialização), Carga horária: 4

Vínculo institucional

1997 - 2000
Vínculo: Outro, Enquadramento Funcional: Outro (Iniciação Científica), Carga horária: 20, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 1999
Vínculo: Outro, Enquadramento Funcional: Outro (Monitor de graduação), Carga horária: 20

Atividades

8/1999 - 9/2002
Extensão universitária , Centro de Informática, .

Atividade de extensão realizada
Monitoria de curso de especialização.
7/1999 - 6/2000
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

7/1997 - 6/1999
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.



Linhas de pesquisa


1.
Teoria da Computação
2.
Inteligência Artificial
3.
Engenharia de Software

Objetivo: Aplicação de métodos formais na indústria aviônica.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.
4.
Métodos Formais

Objetivo: Aplicacao de métodos formais na indústria aviônica.
5.
Engenharia de Software
6.
Padrões para desenvolvimento Web
7.
Algoritmos e estruturas de dados


Projetos de pesquisa


2014 - Atual
Verificação de Modelos com Estados Enriquecidos

Projeto certificado pelo(a) coordenador(a) Alexandre Cabral Mota em 18/12/2014.
Descrição: Neste projeto (o qual é apoiado pela Embraer), propomos a construção de um verificador automático de modelos (model checker) para uma linguagem formal,seguindo fielmente sua semântica operacional estruturada e que seja capaz de lidar com espaço de estados enriquecido com tipos de dados complexos, tais como conjuntos, sequências,bags, etc. (Tipos de dados provenientes da linguagem formal Z). O formalismo alvo deste projeto é a linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra. Tal combinação faz de Circus não apenas uma linguagem de especificação, mas também de programação. Circus é um formalismo adequado para descrever os vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Alexandre Cabral Mota - Coordenador / Augusto Sampaio - Integrante / Juliano Manabu Iyoda - Integrante / Fabio Soares dos Santos - Integrante / Rafael Pereira de Araújo - Integrante.
2014 - Atual
Uma Infra-estrutura Integrada para Desenvolvimento de Aplicações Envolvendo Analytics e Big-Data
Descrição: Analytics é a descoberta e comunicação de padrões nos dados que sejam úteis para algum propósito. Essa técnica tem um valor imenso em áreas de manipulação de dados e faz uso de diversas áreas, teorias e técnicas sobrejacentes tais como estatística, programação, pesquisa operacional, mineração, otimização, visualização de dados, etc. Neste contexto onde diversas ferramentas são utilizadas por analytics, a definição, aplicação e adaptação de técnicas de analytics tem diversos custos associados: contextualização do problema, conhecimento e seleção da técnica mais adequada para o problema, conhecimento de frameworks para implementação da técnica, conhecimentos arquiteturais programáticos, conhecimentos de infra-estrutura para grandes volumes de dados, etc. Nesse sentido, a integração das ferramentas é algo extremamente desejável para reduzir custos da aplicação de analytics. O objetivo desta proposta é produzir um protótipo de um framework que integre metodologias e ferramentas ao processo de desenvolvimento de aplicações que lidam com análise de grandes volumes de dados. Adicionalmente, o protótipo tem também o propósito de ser utilizado em novos ?startups? da UFCG (e quais quer outros projetos) que estejam alinhados com o tema, ampliar os horizontes e consolidar a UFCG nesta área de pesquisa. Apesar disso representar um significativo impacto regional, o protótipo proposto, num escopo mais amplo, será o passo inicial de uma infra-estrutura integrada de suporte para desenvolvimento de aplicações relacionadas a Big-Data. Nesse sentido a proposta foca em diminuir o impacto de lidar com Big Data no processo de desenvolvimento de software, abstraindo detalhes de analytics e integração entre frameworks sobrejacentes..
Situação: Em andamento; Natureza: Pesquisa.
2012 - 2014
Desenvolvimento sistemático e rigoroso para sistemas aeronáuticos

Projeto certificado pelo(a) coordenador(a) Alexandre Cabral Mota em 02/01/2014.
Descrição: Este projeto objetiva empregar técnicas de teste, métodos formais e de análise de segurança em sistemas aeronáuticos. O principal desafio é promover avanços teórico-práticos para a indústria aeronáutica bem como as áreas de pesquisa associadas. Em particular, procuramos com este projeto permitir que sistemas aeronáuticos sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, não obstante requerendo um custo menor do que o empregado atualmente. A Embraer (Empresa Brasileira de Aeronáutica S.A.), visando satisfazer requisitos de desenvolvimento e certificação de sistemas, usa padrões sistemáticos e rigorosos como a FAR 25.1309 (Federal Aviation Regulations)[FAR25] e ARP 4754, 4761 (Aerospace Recommended Practice) [ARP4754, ARP4761]. Estes padrões definem guias para a produção de sistemas e equipamentos de aviação, os quais devem executar suas funções de acordo com o especificado (comportamento funcional ou nominal), tendo como resultado um nível de confiança em segurança (comportamento com falhas ou anormal) alto, tal qual requer o domínio aeronáutico. Desta forma, desde 2006 a Embraer vem manifestando interesse em colaborar com as pesquisas realizadas pelo proponente deste projeto (ver Anexo I) com o objetivo de diminuir o custo com o desenvolvimento de seus sistemas aeronáuticos e ao mesmo tempo aumentar a confiabilidade e segurança sobre os mesmos. Desde o início desta colaboração Universidade-Indústria, temos conseguido satisfazer a três maiores objetivos para a pesquisa brasileira (e mundial): (i) Publicar resultados científicos alcançados; (ii) Transferir tais resultados para a indústria como tecnologia; (iii) Formar capital humano qualificado. Este projeto considerará as seguintes direções de pesquisa: (1) definição de um cálogo de refatoramentos para introdução de tolerância a falhas; (2) investigação sobre a corretude dos refatoramentos deste catálogo; (3) experimentação dos refatoramentos em metodol..
Situação: Concluído; Natureza: Pesquisa.
2011 - 2014
COMPASS Comprehensive Modelling for Advanced Systems of Systems

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 23/05/2013.
Descrição: COMPASS will augment existing industry tools and practice with an underlying modelling language in which Systems of Systems (SoS) architectures and contracts can be expressed. A formal semantic foundation the first to be developed specifically for SoS engineering will enable this language to support analysis of global SoS properties. The language and methods will be supported by an open, extendible tools platform with integrated prototype plugins for model construction, dynamic analysis by simulation and test automation, static analysis by model checking and proof, and links to an established architectural modelling language (SysML). These strengthened foundations and tools will support enhanced methods guidelines that help users embed this new technology in industrial SoS practice. Technical advances in COMPASS are focussed on industry needs evaluated through substantial industry led case studies in three diverse and complementary areas. These will be augmented by challenge problems solicited from a range of SoS stakeholders and developer organisations through a special interest group. The open platform, tools plugins, semantics, development guidelines, industry case study experience and challenge problems will ensure that COMPASS‟s outputs can be readily exploited by SoS developers and stakeholders as well as in future research and development.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (2) / Mestrado acadêmico: (2) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Alexandre Cabral Mota - Integrante / Augusto Cesar Alves Sampaio - Coordenador / Juliano Manabu Iyoda - Integrante / Márcio Lopes Cornélio - Integrante.
2009 - 2011
Análise de Segurança Baseada em Modelos para Sistemas Autônomos
Descrição: O projeto é direcionado ao emprego integrado e complementar de técnicas de Métodos Formais e Confiabilidade para sistemas aeroespaciais. O principal objetivo é a definição de estratégias para a modelagem formal e análise de aspectos funcionais e não-funcionais (segurança) de sistemas aeroespaciais. Em particular, procuramos com este projeto permitir que sistemas aeroespaciais sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, no entanto requerendo um custo menor do que o empregado atualmente. Avanços são esperados em vários aspectos e norteados pela alta competitividade do mercado e pelos estudos existentes sobre o custo da não-conformidade dos softwares.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Alexandre Cabral Mota - Coordenador / Augusto Cesar Alves Sampaio - Integrante / Juliano Manabu Iyoda - Integrante.Financiador(es): Agência Espacial Brasileira - Auxílio financeiro.
2009 - 2011
Análise de Segurança de Sistemas Aviônicos com Métodos Formais
Descrição: Este projeto tem como enfoque empregar técnicas de Métodos Formais e de Análise de Segurança de Sistemas em sistemas aeronáuticos. O principal objetivo é promover avanços teórico-práticos nestas áreas de pesquisa. Em particular, procuramos com este projeto permitir que sistemas aeronáuticos sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, entretanto requerendo um custo menor do que o empregado atualmente. Resumo A Embraer (Empresa Brasileira de Aeronáutica S.A.) tem utilizado como meio de cumprimento de requisitos de desenvolvimento e certificação de sistemas os padrões FAR 25.1309 (Federal Aviation Regulations)[FAR25] e ARP 4754, 4761 (Aerospace Recommended Practice) [ARP4754, ARP4761]. Esses padrões definem guias para a produção de sistemas e equipamentos de aviação, os quais que devem executar suas funções esperadas (comportamento nominal ou normal) com um nível de confiança em segurança (comportamento com falhas ou anormal) de acordo com os requisitos aeronáuticos determinados. Desta forma, a Embraer manifestou interesse em colaborar com o presente projeto de pesquisa com o objetivo de diminuir o custo com o desenvolvimento de seus sistemas aeronáuticos e ao mesmo tempo aumentar a confiabilidade e segurança sobre os mesmos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Alexandre Cabral Mota - Coordenador / Augusto Cesar Alves Sampaio - Integrante / Juliano Manabu Iyoda - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Projetos de extensão


2014 - Atual
Uso das TICs para gestão e comercialização da produção na agricultura familiar.
Descrição: O projeto tem por objetivo qualificar pessoal ligado a produção na agricultura familiar no uso de TICs usando uma metodologia que facilite o aprendizado e abstraia conceitos mais aprofundados de programação..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .
Integrantes: Adalberto Cajueiro de Farias - Coordenador / Leandro Balby - Integrante.


Outros Projetos


2016 - Atual
Term Monitor - Monitoramento e Campanha de Media em terminais
Descrição: Monitoramento e campanha de media em terminais..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (4) .
Integrantes: Adalberto Cajueiro de Farias - Coordenador / Claudio Elisio Calazans Campelo - Integrante.
2016 - Atual
Dev Telium
Descrição: Desenvolvimento e Validação de aplicações na plataforma Telium.
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Wilkerson Andrade - Integrante / Patricia Machado - Coordenador.
2015 - Atual
SAFF 3 - Análise Estatísticas dos Arquivos de Falhas dos Terminais Ingenico Telium
Descrição: analisar os dados de falhas dos terminais Ingenico..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Wilkerson Andrade - Coordenador.
2015 - Atual
Flex Trans - Flexibilização de transações financeiras em terminais
Descrição: Flexibilização de transações financeiras em terminais..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (1) .
Integrantes: Adalberto Cajueiro de Farias - Coordenador / Wilkerson Andrade - Integrante / Dalton Guerrero - Integrante.
2014 - 2014
SAFF - Análise estatísticas dos arquivos de falhas dos terminais Ingenico Telium
Descrição: Análise de falhas de software acontecidas em terminais Ingenico..
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (4) .
Integrantes: Adalberto Cajueiro de Farias - Integrante / Alexandre Mota - Integrante / Wilkerson Andrade - Coordenador / Jorge Abrantes - Integrante.
2014 - 2014
Investigação de novos cenários para utilização dos terminais Ingenico
Descrição: Pesquisa de novas situações de uso para terminais Ingenico..
Situação: Concluído; Natureza: Outra.
2013 - 2015
Smart-TCE
Descrição: Projeto destinado a investigar técnicas de analytics e vizualização de dados armazenados em HP Vertica..
Situação: Concluído; Natureza: Outra.
2013 - 2013
Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica
Descrição: Projeto focado em desenvolver aplicações para uso de contactless e identificação biométrica envolvendo terminais da Ingenico..
Situação: Concluído; Natureza: Outra.


Á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: Linguagens de Programação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.


Idiomas


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


Prêmios e títulos


2009
Best paper of the Brazilian Symposium on Formal Methods., Sociedade Brasileira de Computacao.
2004
3o lugar no Concurso de Teses e Dissertacoes, Sociedade Brasileira de Computacao.


Produções



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

1.
MOTA, A.2015 MOTA, A. ; A. FARIAS ; WOODCOCK, J. ; LARSEN, P. G. . Model checking CML: tool development and industrial applications. Formal Aspects of Computing, v. 1, p. 1-35, 2015.

2.
Didier, André2009 Didier, André ; A. FARIAS ; MOTA, Alexandre . Checking Z Data Refinements Using Traces Refinement. Electronic Notes in Theoretical Computer Science, v. 240, p. 129-148, 2009.

3.
DAMASCENO, A.2009 DAMASCENO, A. ; A. FARIAS ; A. Mota . A Mechanized Strategy for Safe Abstraction of CSP Specifications. Lecture Notes in Computer Science, v. 5902, p. 118-133, 2009.

4.
A. FARIAS;Farias, Adalberto2008 A. FARIAS; A. Mota ; A. Sampaio . Compositional Abstraction of CSPZ Processes. Journal of the Brazilian Computer Society, v. 14, p. 23-44, 2008.

5.
A. FARIAS;Farias, Adalberto2001A. FARIAS; A. Mota ; A. Sampaio . Um Conversor da Notação CSPZ para CSPM. REIC. Revista Eletrônica de Iniciação Científica, v. 1, p. 105-120, 2001.

Trabalhos completos publicados em anais de congressos
1.
A. Mota ; A. FARIAS ; DIDIER, A. ; Woodcock, J. . Rapid Prototyping of a Semantically Well Founded Circus Model Checker. In: Software Engineering Formal Methods, 2014, Grenoble. Software Engineering and Formal Methods, 2014. v. 8702. p. 235-249.

2.
GONDIM, D. ; RAMALHO, F. ; A. FARIAS . UCL Uma Linguagem Unificada para Construção de Compiladores. In: II Workshop de Teses e Dissertações do CBSoft, 2012, Natal. Anais do II Workshop de Teses e Dissertações do CBSoft. Natal, 2012. v. 6. p. 73-78.

3.
DAMASCENO, A. ; A. FARIAS ; A. Mota . A Mechanyzed Strategy for Safe Abstraction of CSP Specifications. In: Brazilian Symposium on Formal Methods, 2009, Gramado. A Mechanyzed Strategy for Safe Abstraction of CSP Specifications, 2009. v. 12. p. 118-133.

4.
DIDIER, A. ; A. FARIAS ; A. Mota . Checking Z Refinements Using Traces Refinement. In: Brazilian Symposium on Formal Methods, 2008, Salvador. Proceeding of the Brazilian Symposium on Formal Methods. Salvador: Editora Gráfica da UFBA, 2008. v. 1. p. 67-82.

5.
A. FARIAS; A. Mota ; A. Sampaio . Efficient CSPz Data Abstraction. In: Integrated Formal Methods, 2004, Canterbury. Proceedings of the 4th International Conference on Integrated Formal Methods, 2004. p. 108-127.

6.
A. FARIAS; A. Mota ; A. Sampaio . Efficient Analysis of Infinite CSPZ Specifications. In: Workshop On Formal Methods, 2002, Gramado. Proceedings Of 5th Workshop On Formal Methods, 2002. v. 5. p. 113-128.

7.
A. FARIAS; A. Mota ; A. Sampaio . De CSPZ para CSPM: Uma Ferramenta Transformacional Java. In: Workshop de Métodos Formais, 2001, Rio de Janeiro. Proceedings Of 4th Workshop On Formal Methods, 2001. v. 4. p. 1-10.

8.
A. FARIAS; FERRAZ, C. A. G. ; OLIVEIRA, J. P. ; SIMÕES, M. A. C. ; ALMEIDA, M. P. ; ROSA, N. S. . TNS: Um serviço de Nomes CORBA Tolerante a Falhas.. In: Workshop de Objetos Distribuídos, 2001. Anais do 1o Workshop de Objetos Distribuídos.

9.
A. FARIAS; P. LUCENA . Sistemas Dedutivos Rotulados e suas Aplicações ao Raciocínio Abdutivo. In: VII CONIC (Congresso Nacional de Iniciação Científica), 1999, Recife. Anais do VII CONIC, 1999. p. 148-149.

Resumos expandidos publicados em anais de congressos
1.
A. Mota ; A. FARIAS . A Rapid Approach for Building a Semantically Well Founded Circus Model Checker. In: Congresso Brasileiro de Software, 2014, Maceió. Anais da Sessão de Ferramentas do CBSoft 2014, 2014. v. 2. p. 77-84.

2.
A. Mota ; A. FARIAS . Implementing an SMT-based Model Checker for CSP from its Operational Semantics. In: Congresso Brasileiro de Software, 2013, Brasília. XVI Simpósio Brasileiro de métodos formais, 2013. v. 1. p. 36-41.

3.
A. FARIAS; A. Mota ; A. Sampaio . A Support Tool for CSP-Z Data Abstraction. In: FME Symposium, 2003, Pisa. The 12th International FME Symposium, 2003. p. 11-14.

Apresentações de Trabalho
1.
A. FARIAS. Efficient Analysis of Infinite CSPZ Specifications: strategy and tool support. 2004. (Apresentação de Trabalho/Seminário).

2.
A. FARIAS; A. Mota ; A. Sampaio . Efficient Analysis of Infinite CSPZ Specifications. 2002. (Apresentação de Trabalho/Seminário).


Produção técnica
Programas de computador sem registro
1.
A. FARIAS; Lucas Caliari . Programa de Calculo de Fundacoes. 2007.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
A. Sampaio; J. Iyoda; A. FARIAS. Participação em banca de Sérgio Barza. Model Checking of Requirements Written in Controlled Natural Language. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
A. Mota; A. Sampaio; A. FARIAS. Participação em banca de Pedro Ribeiro Gonçalves Antonino. A Refinement Based Strategy for Locally Verifying Networks. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
RAMALHO, F. S.; A. FARIAS; MACHADO, P.; CARVALHO FILHO, F. H.. Participação em banca de Daniel Gondim Ernesto de Mélo. Uma Abordagem para Construção das Etapas de Análise de um Compilador. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
MASSONI, T.; Farias, Adalberto; GUERERRO, D.; CORNELIO, M. L.. Participação em banca de Mikaela Anuska Oliveira Maia. Uma Abordagem para Adaptação de Clientes do Java Collections Framework baseada em técnicas de migração de APIs. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
J. Iyoda; A. Mota; A. FARIAS. Participação em banca de Marcelo Costa Melo de Andrade. Gerando modelos SCADE a partir de especificações descritas em SCR. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
CORNELIO, M. L.; A. Mota; A. FARIAS. Participação em banca de Robson dos Santos e Silva. A rigorous methodology for developing GUI-based DSL formal tools. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
A. FARIAS; A. Sampaio; A. Mota. Participação em banca de André Luís Ribeiro Didier. Estratégia sistemática para identificar falhas em componentes de hardware usando anotações HW em comportamento nominal. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
RAMALHO, F. S.; A. FARIAS; GARCIA, V. C.. Participação em banca de Anderson Rodrigo Santos Bezerra Ledo. MetaTT - uma abordagem baseada em metamodelos para a escrita de transformações de modelo para texto. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
MACHADO, P.; A. FARIAS; ANDRADE, W.; ARANHA, E.. Participação em banca de Diego Rodrigues de Almeida. Critérios de Geração de Casos de Teste de Sistemas de Tempo Real. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Teses de doutorado
1.
MACHADO, P.; ANDRADE, W.; A. Mota; MATTIELLO-FRANCISCO, M. F.; ABRANTES, J.; A. FARIAS. Participação em banca de Adriana Carla Damasceno. Towards a Test Generation Approach for Compositional Real-Time Systems. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
RAMALHO, F.; A. FARIAS; GUERERRO, D.; MACIEL, R. S. P.; KULESZA, U.. Participação em banca de Andreza de Souza Vieira. Uma Abordagem para Análise de Impacto de Mudanças em Transformações de Modelos. 2014. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

Monografias de cursos de aperfeiçoamento/especialização
1.
Celso Roberto Perez; A. FARIAS. Participação em banca de Osman de Oliveira Lira Junior. Interoperabilidade entre J2EE e .NET. 2007. Monografia (Aperfeiçoamento/Especialização em Sistemas de Informação) - Faculdade Integrada do Recife.

2.
Celso Roberto Perez; A. FARIAS. Participação em banca de Leonardo de Paula Gomes Filho. Análise de Decisão e Resolução para Seleção de Arquiteturas de Software. 2007. Monografia (Aperfeiçoamento/Especialização em Sistemas de Informação) - Faculdade Integrada do Recife.

Trabalhos de conclusão de curso de graduação
1.
A. FARIAS; M. Andrade; A. Araújo. Participação em banca de Janaina de Barros Tenório Silva.Uma proposta de utilizacao de vídeo educativo e webquest para o ensino de ciência nas séries iniciais numa perspectiva ausubeliana. 2009. Trabalho de Conclusão de Curso (Graduação em LIcenciatura Plena em Pedagogia) - Universidade Federal Rural de Pernambuco.

2.
A. FARIAS; NÓBREGA, Obionor; ARAÚJO, Telmo; MEDEIROS, Érika. Participação em banca de Bruna Maciel Campos.Estudo comparativo de tecnologias sem fio para aplicações da computação ubíqua.. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife.

3.
A. FARIAS; NEIVA, Juliana; ARAÚJO, Telmo; SIEBRA, Sandra. Participação em banca de Antônio Paulo.Um Agente Companheiro para Guiar em Estudo Tópicos da língua Inglesa. 2003. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife.



Participação em bancas de comissões julgadoras
Concurso público
1.
A. FARIAS; J. Iyoda; ANDRADE, W.. CONCURSO PUBLICO PARA DOCENTES DA UEPB. 2012. Universidade Estadual da Paraíba.

2.
A. FARIAS; ANDRADE, W.; DIAS, G.. CONCURSO PUBLICO PARA DOCENTES DA UEPB. 2012. Universidade Estadual da Paraíba.

3.
Santana, R.; A. FARIAS; DIAS, L.. CONCURSO PUBLICO PARA DOCENTES DA UEPB. 2011. Universidade Estadual da Paraíba.

4.
A. FARIAS; SIEBRA, Sandra; A. Sarmento. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA PROFESSOR EFETIVO DA UAG. 2009. Universidade Federal Rural de Pernambuco.

5.
A. FARIAS; A. Sarmento; ESPINOLA, T.. CONCURSO PARA PROFESSOR ASSISTENTE PARA UAG/UFRPE. 2009.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Formal Methods. 2009. (Simpósio).

2.
Simposio Brasileiro de Métodos Formais.Checking Z Refinements Using Traces Refinement. 2008. (Simpósio).

3.
II Pernambuco School on Software Engineering: Testing. 2007. (Outra).

4.
Simposio Brasileiro de Métodos Formais. 2006. (Simpósio).

5.
Simposio Brasileiro de Métodos Formais. 2005. (Simpósio).

6.
Concurso de Teses e Dissertações. Efficient Analysis of Infinite CSPZ Specifications: strategy and tool support. 2004. (Congresso).

7.
I Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio).

8.
Pernambuco School on Software Engineering:Refinement. 2004. (Outra).

9.
Workshop de Métodos Formais.Efficient Analysis of Infinite CSPZ Specifications. 2002. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
A. Sampaio ; A. Mota ; Ana Lucia Caneca Cavalcanti ; A. FARIAS . Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).



Orientações



Orientações e supervisões em andamento
Iniciação científica
1.
Amintas Victor Pereira Ramos. Integrando CSP com Linguagens de Programação. Início: 2017. 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).

2.
Igor Brasileiro Duarte. Uma ferramenta de suporte a desenvolvimento em CSP. Início: 2017. 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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Filipe Neves Cavalcante. Listas usadas como conjuntos: um estudo através de ferramenta de reescrita. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Adalberto Cajueiro de Farias.

2.
Fábio Soares dos Santos. Verificador de modelos semanticamente correto. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Coorientador: Adalberto Cajueiro de Farias.

3.
Daniel Gondim Ernesto de Mélo. Uma Abordagem para Construção das Etapas de Análise de um Compilador. 2014. 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: Adalberto Cajueiro de Farias.

4.
Mikaela Anuska Oliveira Maia. Uma abordagem para adaptação da utilização do Java Collections Framework baseada em técnicas de migração de APIs. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Adalberto Cajueiro de Farias.

5.
Diego Machado Dias. Behavioural Preservation in Fault Tolerant Patterns. 2012. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Adalberto Cajueiro de Farias.

6.
Adriana Carla Damasceno. Geração mecanizada de abstrações seguras para sistemas CSP. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Adalberto Cajueiro de Farias.

Trabalho de conclusão de curso de graduação
1.
Cesar Martins de Albuquerque. Proposta para Geracao Automática de Mapeamento para Hibernate em Aplicacoes Java. 2007. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.

2.
Dalton Nicodemos Jorge. Migração de Sistemas Locais para Distribuídos: padrão de Migração e Ferramenta de Apoio. 2006. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.

3.
Rita de Cassia Acioli de Lima. Uso de Padrões de Projetos e Técnicas de Reengenharia para Reduzir Acoplamento de Sistemas. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.

4.
Aurino de Souza Ferreira. Aplicando Padrões de Projeto para Abstrair a Utilização da Microsoft Enterprise Library 1.1. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.

5.
Arthur Orlando de Miranda Henriques. Utilização de Recursos de Groupware nos Serviços do Poder Judiciário de Pernambuco. 2004. 80 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.

6.
Rodolfo Layme Sobrinho Junior. Padronização do Modelo de 3 camadas : sugestão de mudanças. 2004. 90 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.

Iniciação científica
1.
Júlio Cesar Neves da Silva. Integrando CSP com Scala: uma perspectiva prática para execução de especificações formais. 2016. 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: Adalberto Cajueiro de Farias.

2.
MARCOS ANTÔNIO SILVA NASCIMENTO. Integração de CSP com AKKA para execução de especificações formais. 2016. 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: Adalberto Cajueiro de Farias.

3.
Igor Brasileiro Duarte. Uma ferramenta gráfica para desenvolvimento em CSP. 2016. 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: Adalberto Cajueiro de Farias.

4.
Filipe Paulo Coutinho. Uso de tecnologias e padrões no desenvolvimento de aplicações Java/Scala para Big Data. 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: Adalberto Cajueiro de Farias.

5.
Fábio Fernando de Oliveira Silva. Uso de adaptadores entre coleções Java para flexibilizar mudanças em sistemas clientes de JFC. 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: Adalberto Cajueiro de Farias.

6.
Priscilla Barros Barbosa. Refinamento de Dados e Refatoramento: um estudo formal e prático baseado em adaptadores entre coleções Java. 2012. 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: Adalberto Cajueiro de Farias.

7.
Fábio Fernando de Oliveira Silva. Um estudo formal e prático baseado em adaptadores entre coleções Java para implementar refatoramentos. 2012. 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: Adalberto Cajueiro de Farias.

8.
Rodolfo de Lima Viana. Uso de Métodos Formais na Indústria Aviônica ? Conversão Automática de Modelos CSP (FDR) para CSP (PAT). 2011. 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: Adalberto Cajueiro de Farias.

9.
Arthur Silva Freire. Uso de Métodos Formais na Indústria Aviônica ? Conversão Automática de Modelos CSP (FDR) para CSP (PAT). 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, PET Computação UFCG. Orientador: Adalberto Cajueiro de Farias.

10.
Natasha Bezerra da Silva. Uso de Métodos Formais na Indústria Aviônica ? Conversão Automática de Modelos CSP (FDR) para CSP (PAT). 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, PET Computação UFCG. Orientador: Adalberto Cajueiro de Farias.

11.
Webster Silva Compelo Junior. Migração de sistemas locais Java para sistemas distribuídos CORBA: padrão de migração e ferramenta de apoio. 2004. Iniciação Científica. (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Adalberto Cajueiro de Farias.

12.
Renato Cezar Alves Guimarães. Algoritmos de aproximação para problemas NP-difíceis em grafos. 2003. 0 f. Iniciação Científica. (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias.



Inovação



Projetos de pesquisa

Projeto de extensão

Outros projetos



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