César Augusto Lins de Oliveira

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


possui graduação e mestrado em Engenharia da Computação pela Universidade de Pernambuco (2006, 2008), com pesquisa na área de melhoria de processos de negócio, utilizando modelos estocásticos. É doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2014), trabalhando nas áreas de planejamento estratégico, gestão de processos e business intelligence. Já atuou em diversos projetos de Pesquisa & Desenvolvimento envolvendo métodos formais e simulação, com grandes empresas nacionais como Petrobrás e Chesf (Companhia Hidro Elétrica do São Francisco), assim também como em consultorias no setor público pelas Nações Unidas e Banco Interamericano de Desenvolvimento. (Texto informado pelo autor)


Identificação


Nome
César Augusto Lins de Oliveira
Nome em citações bibliográficas
Oliveira, Cesar A. L.;OLIVEIRA, César Augusto Lins de;Oliveira, César Augusto L.;C.A.L. Oliveira;Oliveira, Cesar A.L.;Oliveira, César;OLIVEIRA, CESAR;Oliveira, César A. L.

Endereço


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


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


2009 - 2014
Doutorado em Doutorado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Strategy-Aware Business Process Management, Ano de obtenção: 2014.
Orientador: Ricardo Massa Ferreira Lima.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: strategic planning; business process management; strategic alignment; results-oriented management; context-aware information system.
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.
Grande Área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas / Especialidade: Gestão de Processos de Negócio.
Grande Área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas / Especialidade: Planejamento Estratégico.
2006 - 2008
Mestrado em Engenharia da Computação.
Universidade de Pernambuco, UPE, Brasil.
Título: Uma Abordagem para Melhoria de Workflow Baseada em Redes de Petri Estocásticas Generalizadas,Ano de Obtenção: 2008.
Orientador: Ricardo Massa Ferreira Lima.
Palavras-chave: business process; workflow; improvement; processos de negócios; otimização; modelos estocásticos.
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 Humanas / Área: Ciência Política / Subárea: Administração / Especialidade: Workflow Management.
Grande Área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade / Especialidade: Processos Markovianos.
Setores de atividade: Qualidade e Produtividade; Outras Atividades de Assessoria e Consultoria Às Empresas.
2001 - 2006
Graduação em Engenharia da Computação.
Universidade de Pernambuco, UPE, Brasil.
Título: Simulação de Redes de Petri em Ambiente Java.
Orientador: Ricardo Massa Ferreira de Lima.




Formação Complementar


2008 - 2008
Certified ScrumMaster. (Carga horária: 16h).
SWQuality.


Atuação Profissional



Banco Interamericano de Desenvolvimento, BID, Estados Unidos.
Vínculo institucional

2014 - Atual
Vínculo: Contrato a Prazo Determinado, Enquadramento Funcional: Consultor Internacional, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Consultor na área de business intelligence, gestão orientada a resultados e gestão da informação.

Vínculo institucional

2013 - 2014
Vínculo: Bolsista, Enquadramento Funcional: Consultor Internacional
Outras informações
Construção de soluções de monitoramento de políticas públicas utilizando business intelligence, com o foco em políticas de promoção da igualdade racial.

Atividades

09/2014 - Atual
Conselhos, Comissões e Consultoria, Gender and Diversity Division, .

Cargo ou função
Consultor.
07/2013 - 04/2014
Conselhos, Comissões e Consultoria, Gender and Diversity Division, .

Cargo ou função
Consultor em Monitoramento e Business Intelligence.

Programas das Nações Unidas para o Desenvolvimento no Brasil, PNUD BRASIL, Brasil.
Vínculo institucional

2012 - 2012
Vínculo: Contrato individual, Enquadramento Funcional: Consultor
Outras informações
Responsável por avaliar as estruturas dos Ministérios do Brasil com respeito ao monitoramento, avaliação e gestão de informação de políticas públicas, com enfoque nas políticas de promoção da igualdade racial e por propor soluções em sistemas de informação. Projeto BRA 07/010, executado pela SEPPIR/PR - Secretaria de Políticas de Promoção da Igualdade Racial da Presidência da República.

Atividades

01/2012 - Atual
Conselhos, Comissões e Consultoria, Secretaria de Políticas de Promoção da Igualdade Racial, .

Cargo ou função
Consultor em Gestão da Informação.

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco, FADE/UFPE, Brasil.
Vínculo institucional

2011 - 2012
Vínculo: Pesquisador, Enquadramento Funcional: Engenheiro de Processos de Negócio, Carga horária: 10
Outras informações
Responsável por definir um processo de desenvolvimento de novos produtos na Elcoma Computadores.

Atividades

04/2011 - 01/2012
Pesquisa e desenvolvimento , Centro de Informática, .


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

2009 - 2014
Vínculo: Doutorando, Enquadramento Funcional: Aluno, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Pesquisa na área de planejamento estratégico, flexibilidade estratégica, gestão de processos de negócio e arquiteturas orientadas a serviço.

Atividades

09/2009 - 03/2014
Pesquisa e desenvolvimento , Centro de Informática, .


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

2010 - 2011
Vínculo: Ensino à Distância, Enquadramento Funcional: Tutor Virtual, Carga horária: 20

Atividades

01/2011 - 04/2011
Ensino, Licenciatura em Computação, Nível: Graduação

Disciplinas ministradas
Atividades Acadêmico Científico Culturais
10/2010 - 12/2010
Ensino, Licenciatura em Computação, Nível: Graduação

Disciplinas ministradas
Programação I

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

2006 - 2009
Vínculo: Bolsista DTI, Enquadramento Funcional: Pesquisador, Carga horária: 20

Vínculo institucional

2003 - 2005
Vínculo: Bolsista de Inic. Científica, Enquadramento Funcional: Aluno, Carga horária: 20
Outras informações
Programa PIBIC/POLI

Atividades

09/2006 - 08/2009
Pesquisa e desenvolvimento , Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.

05/2006 - 09/2006
Pesquisa e desenvolvimento , Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.

10/2005 - 06/2006
Estágios , Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.

Estágio realizado
Gerência de Projeto de Pesquisa.
08/2005 - 06/2006
Extensão universitária , Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.

Atividade de extensão realizada
Monitoria - Projeto de Compiladores.
01/2005 - 06/2005
Extensão universitária , Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.

Atividade de extensão realizada
Monitoria - Compiladores.


Linhas de pesquisa


1.
Linhas de Produto de Software

Objetivo: Construção de um repositório de componentes científicos para softwares de simulação física; Construção de uma ferramenta de modelagem para reuso de componentes no desenvolvimento de simuladores físicos.
Grande área: Engenharias / Área: Engenharia Mecânica.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Palavras-chave: simulação; linhas de produto de software; reuso; componentes científicos.
2.
Modelos Analíticos e de Simulação

Objetivo: Desenvolvimento de modelos estocásticos e ferramentas de análise para avaliação de desempenho e confiabilidade de sistemas..
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.
Palavras-chave: redes de petri; avaliação de desempenho; confiabilidade; disponibilidade.
3.
Modelagem e Análise de Processos de Negócio

Objetivo: Desenvolvimento de modelos estocásticos para análise qualitativa e quantitativa de processos de negócio, abordando processos flexíveis, regras de negócio e arquiteturas orientadas a serviços..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação.
Setores de atividade: Pesquisa e desenvolvimento científico.
Palavras-chave: processos de negócios; business process; arquitetura orientada a serviços; otimização; performance evaluation; regras de negócio.
4.
Planejamento Estratégico

Objetivo: Desenvolvimento de métodos e tecnologias que auxiliam no planejamento estratégicos de organizações, enfatizando o papel da tecnologia da informação (TI) como ferramenta para criação de vantagem competitiva no mercado..
Grande área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas / Especialidade: Planejamento Estratégico.
Grande Área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas / Especialidade: Gestão de Processos de Negócio.
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.
Palavras-chave: arquitetura orientada a serviços; processos de negócios; estratégia; vantagem competitiva.
5.
Desenvolvimento de Novos Produtos

Objetivo: Definição de processos, estratégias, padrões e boas práticas a serem aplicadas no desenvolvimento de novos produtos em indústrias..
Palavras-chave: processos de negócios; modelos de negócio; desenvolvimento de novos produtos.


Projetos de pesquisa


2012 - Atual
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Descrição: Pesquisa na área de avaliação de desempenho que utiliza redes de Petri estocástica e técnicas de mineração de dados para a construção de modelos simuláveis de sistemas..
Situação: Em andamento; Natureza: Pesquisa.
2011 - Atual
Modelagem e Avaliação de Sistemas Dinâmicos de Eventos Discretos
Descrição: Projeto que utiliza técnicas de avaliação de desempenho diversas para avaliar sistemas, com foco em aplicações na indústria..
Situação: Em andamento; Natureza: Pesquisa.
2009 - 2011
Utilização de Redes de Petri para Avaliação de Sistemas Dinâmicos de Eventos Discretos: um enfoque em melhoria de processos de negócio
Descrição: O projeto propõe o desenvolvimento de uma metodologia para a aplicação de Redes de Petri Estocásticas Generalizadas (GSPN) em projetos de melhoria de Workflow. Os conceitos de Workflow são mapeados em estruturas modeladas em GSPN, fornecendo uma representação formal para Workflow que é utilizada para a realização de análises qualitativas e de desempenho. Diversas características encontradas em processos reais são consideradas neste modelo, tais como disputa por recursos e controle de fluxo complexo entre atividades..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2012
MPhyScaS Multi-Physics and Multi-Scale Solver Environment - FINEP/Petrobras

Projeto certificado pelo(a) coordenador(a) Ricardo Massa Ferreira Lima em 11/03/2013.
Descrição: Este projeto propõe o desenvolvimento do MPhyScaS, um ambiente de desenvolvimento de simuladores integrado com um repositório de componentes de software reutilizáveis. Tal ambiente deverá dar suporte tanto ao desenvolvimento integral de um simulador quanto para sua montagem ou re-configuração, utilizando componentes de software já implementados.
Situação: Concluído; Natureza: Pesquisa.
2005 - 2007
Modelagem e Estimativas no Projeto de Sistemas Embarcados - Edital Universal
Descrição: O objetivo geral deste projeto é propor uma metodologia formal, e ferramentas de apoio para a geração automática de software para sistemas embutidos de tempo-real críticos, de tal forma que o código resultante satisfaça as propriedades especificadas, assim como as restrições temporais, de consumo de energia e de acesso a recursos compartilhados.
Situação: Concluído; Natureza: Pesquisa.
2005 - 2006
R-TOOL: Análise Precisa de Confiabilidade em Plantas Abertas
Descrição: O projeto R-TOOL visa desenvolver uma sistemática de modelagem e de avaliação precisa da confiabilidade da infra-estrutura de comunicação da automação em transmissão de energia elétrica em plantas de usinas e subestações de transmissão da CHESF.
Situação: Concluído; Natureza: Pesquisa.
2005 - 2006
Teaching Formal Methods Through Eclipse - IBM Faculty Award

Projeto certificado pelo(a) coordenador(a) Ricardo Massa Ferreira Lima em 11/03/2013.
Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri.
Situação: Concluído; Natureza: Pesquisa.


Projetos de desenvolvimento


2011 - 2012
Small Business Server Elcoma
Descrição: Desenvolvimento de um servidor de baixo custo para fabricação e comercialização pela Elcoma Computadores.
Situação: Concluído; Natureza: Desenvolvimento.
2006 - 2009
MPhyScaS - Multi-Physics and Multi-Scales Solver Environment
Descrição: Desenvolvimento de um sistema de suporte ao desenvolvimento de simuladores físicos a partir de componentes reusáveis..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: César Augusto Lins de Oliveira - Integrante / Ricardo Massa Ferreira Lima - Coordenador / Sérgio Soares - Integrante / Renata Wanderley Medeiros - Integrante / Fernando Rocha - Integrante / Félix Santos - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Petróleo Brasileiro - Rio de Janeiro - Matriz - Auxílio financeiro.
Número de produções C, T & A: 1
2005 - 2006
Sistema de Análise de Confiabilidade em Plantas Abertas (CHESF - Companhia Hidro Elétrica do São Francisco)
Descrição: Atuação como arquiteto e desenvolvedor de software em projeto de Pesquisa e Desenvolvimento da CHESF (Companhia Hidro Elétrica do São Francisco), em colaboração com o Centro de Informática - UFPE e o C.E.S.A.R (Centro de Estudos em Sistemas Avançados do Recife). O projeto consistiu no desenvolvimento de um sistema de análise de confiabilidade e disponibilidade das linhas de transmissão da companhia, utilizando redes de Petri estocásticas generalizadas como técnica de avaliação..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: César Augusto Lins de Oliveira - Integrante / Ricardo Massa Ferreira Lima - Integrante / Paulo Romero Martins Maciel - Integrante / Nelson Souto Rosa - Integrante / Sérgio Soares - Integrante / Sérgio Murilo Maciel - Integrante / Hélio Burgos - Coordenador.Financiador(es): Companhia Hidro Elétrica do São Francisco - Remuneração.
Número de produções C, T & A: 1


Revisor de periódico


2011 - 2014
Periódico: IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Huma
2013 - 2014
Periódico: Computing and Informatics
2015 - Atual
Periódico: Information Systems (Oxford)


Áreas de atuação


1.
Grande área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas/Especialidade: Planejamento Estratégico.
2.
Grande área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas/Especialidade: Gestão de Processos de Negócio.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
5.
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.


Idiomas


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


Prêmios e títulos


2015
Premiação 10 Melhores Iniciativas no Concurso de Inovação na Gestão Pública Federal, Escola Nacional de Administração Pública (ENAP).
2012
Best Demo Paper - 1st place pelo artigo "Checking Contracts for AOP using XPIDRs", 24th International Conference on Software Engineering and Knowledge Engineering - SEKE 2012, Knowledge Engineering Institute.
2005
2o Melhor Projeto de Iniciação Científica PIBIC/POLI, Escola Politécnica de Pernambuco.


Produções



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

1.
3Teixeira, Marcelo2015Teixeira, Marcelo ; RIBEIRO, RICHARDSON ; OLIVEIRA, CESAR ; MASSA, RICARDO . A quality-driven approach for resources planning in Service-Oriented Architectures. Expert Systems with Applications, v. Press, p. PP-PP, 2015.

2.
2Oliveira, Cesar A.L.2013Oliveira, Cesar A.L.; SILVA, N. C. ; Sabat, Cecilia L. ; Lima, Ricardo M. F. . Reducing the Gap Between Business and Information Systems Through Complex Event Processing. Computing and Informatics, v. 32, p. 225-250, 2013.

3.
4REBÊLO, HENRIQUE2012REBÊLO, HENRIQUE ; LIMA, RICARDO ; Leavens, Gary T. ; CORNÉLIO, MÁRCIO ; MOTA, ALEXANDRE ; Oliveira, César . Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming (Print), v. 1, p. 1-2, 2012.

4.
1Oliveira, César Augusto L.2011 Oliveira, César Augusto L.; Lima, Ricardo M. F. ; Reijers, Hajo A. ; Ribeiro, Joel Tiago S. . Quantitative Analysis of Resource-Constrained Business Processes. IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans, v. 42, p. 669-684, 2011.

5.
5Oliveira, Cesar A. L.;OLIVEIRA, César Augusto Lins de;Oliveira, César Augusto L.;C.A.L. Oliveira;Oliveira, Cesar A.L.;Oliveira, César;OLIVEIRA, CESAR;Oliveira, César A. L.2008Oliveira, Cesar A. L.; ROCHA, F. ; Medeiros, Renata W. ; Lima, Ricardo M. F. ; Soares, Sérgio ; SANTOS, F. ; Santos, Ismael H. S. . Dynamic Interface for Muilti-physics Simulators. International Journal of Modeling and Simulation for the Petroleum Industry (Impresso), v. 2, p. 35-42, 2008.

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

2.
SILVA, N. C. ; SABAT, C. L. ; Oliveira, Cesar A. L. ; Lima, Ricardo M. F. . Integrating Business Process Analysis and Complex Event Processing. In: Roger Lee. (Org.). Studies in Computational Intelligence: Computer and Information Science 2011. 1ed.Berlin: Springer-Verlag, 2011, v. , p. 111-126.

Trabalhos completos publicados em anais de congressos
1.
SILVA, N. C. ; Medeiros, Renata W. ; Oliveira, Cesar A.L. ; Lima, Ricardo M. F. . Integrating Declarative Processes and SOA: A declarative web service orchestrator. In: 2013 International Conference on Semantic Web and Web Services (SWWS'13), 2013, Las Vegas. Proceedings of the 2013 International Conference on Semantic Web and Web Services, 2013.

2.
SILVA, N. C. ; Medeiros, Renata W. ; Oliveira, Cesar A.L. ; Lima, Ricardo M. F. . REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. In: 11th International Conference on Service Oriented Computing (ICSOC'13), 2013, Berlim. Lecture Notes in Computer Science, 2013. v. 8274. p. 222-236.

3.
Neves, Alan M.V. ; Oliveira, Cesar A.L. ; Lima, Ricardo M.F. ; Sabat, Cecilia L. . Computing Strategic Trade-Offs in Web Service Deployment and Selection. In: 2012 IEEE 19th International Conference on Web Services (ICWS), 2012, Honolulu. 2012 IEEE 19th International Conference on Web Services, 2012. p. 210-217.

4.
Rebêlo, Henrique E. M. ; Lima, Ricardo Massa F. ; Mota, Alexandre C. ; Oliveira, César Augusto L. ; Ribeiro, Márcio . Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco. Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012. p. 148-153.

5.
Teixeira, Marcelo ; Lima, Ricardo M. F. ; Oliveira, Cesar A. L. ; Maciel, P. R. M. . Planning Service Agreements in SOA-Based Systems through Stochastic Models. In: 26th Symposium On Applied Computing, 2011, Taiwan. Proceedings of the 26th Symposium On Applied Computing (SAC'11), 2011. p. 1576-1581.

6.
Lemos, Artini M. ; Sabino, Caio C. ; Oliveira, Cesar A. L. ; Lima, Ricardo M. F. . Conformance Checking of Software Development Processes Through Process Mining. In: 23rd International Conference on Software Engineering and Knowledge Engineering, 2011, Miami, EUA. Proceedings of 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE'11), 2011. p. 211-218.

7.
Rebêlo, Henrique E. M. ; Lima, Ricardo M. F. ; Kulesza, U. ; Santanna, C. ; Coelho, R. ; Mota, Alexandre C. ; Ribeiro, Márcio ; Oliveira, Cesar A. L. . Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. In: 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE), 2011, Miami, EUA. Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering, 2011.

8.
Lemos, Artini M. ; Sabino, Caio C. ; Lima, Ricardo M. F. ; Oliveira, Cesar A. L. . Using Process Mining in Software Development Process Management: A Case Study. In: 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage, Alaska. Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2011), 2011.

9.
Teixeira, Marcelo ; Lima, Ricardo M. F. ; Oliveira, Cesar A. L. ; Maciel, P. R. M. . A Stochastic Model for Performance Evaluation and Bottleneck Discovering on SOA-Based Systems. In: 2010 IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istambul. Proceedings of the 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010), 2010. p. 358-365.

10.
Mostaert, Henrique ; Lima, Ricardo M. F. ; Cornélio, M. L. ; Leavens, Gary T. ; Mota, Alexandre C. ; Oliveira, Cesar A. L. . Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. In: XIII Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado. XIII Simpósio Brasileiro de Linguagens de Programação (SBLP'09), 2009.

11.
Teixeira, Marcelo ; Lima, Ricardo M. F. ; Oliveira, Cesar A. L. ; Maciel, P. R. M. . Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. In: 2009 IEEE International Conference on Systems, Man and Cybernetics, 2009, Texas. Proceedings of the 2009 IEEE International Conference on Systems, Man and Cybernetics (SMC 2009), 2009.

12.
Oliveira, Cesar A. L.; Lima, Ricardo M. F. ; Reijers, Hajo A. . Modeling and Analyzing Resource-Constrained Business Processes. In: 2009 IEEE International Conference on Systems, Man and Cybernetics, 2009, San Antonio, TX. 2009 IEEE International Conference on Systems, Man and Cybernetics (SMC 2009), 2009. p. 2824-2830.

13.
Oliveira Jr., Meuse N. ; Maciel, P. R. M. ; Lima, Ricardo M. F. ; Ribeiro, Ângelo R. ; Oliveira, Cesar A. L. ; Arcoverde Jr., Adilson ; Barreto, R. ; Tavares, Eduardo ; Amorim, L. . A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. In: 15th International Workshop on Integrated Circuit and System Design, PATMOS 2005, 2005, Leuven, Belgium. Lecture Notes in Computer Science. Berlim: Springer Berlin, 2005. v. 3728. p. 49-58.

Resumos publicados em anais de congressos
1.
SILVA, N. C. ; OLIVEIRA, César Augusto Lins de ; ALBINO, Fabiane A. L. A. ; Lima, Ricardo M. F. . Declarative versus Imperative Business Process Languages - A controlled experiment. In: International Conference on Enterprise Information Systems (ICEIS'14), 2014, Lisboa, Portugal. Proceedings of the 16th International Conference on Enterprise Information Systems, 2014. v. 3. p. 394-401.

2.
Medeiros, Renata W. ; SILVA, N. C. ; Oliveira, Cesar A.L. ; Lima, Ricardo M. F. . A Solution to the State-Space Explosion Problem in Declarative Business Process Modeling. In: 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13), 2013, Miami. Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013.

3.
REBELO, H. M. E. ; Lima, Ricardo M. F. ; Mota, Alexandre C. ; Oliveira, Cesar A. L. ; Ribeiro, Márcio . Checking Contracts for AOP Using XPIDRs. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco. Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012.


Produção técnica
Programas de computador sem registro
1.
Oliveira, Cesar A. L.; Maciel, P. R. M. ; ROSA, N. S. . R-TOOL - Análise de Confiabilidade em Plantas Abertas. 2006.

2.
Oliveira, Cesar A. L.; Alvares, Frederico ; Medeiros, Renata W. ; Rodrigues, Cleyton M. O. ; Braga, Petrônio L. ; Mostaert, Henrique ; Pires, Leopoldo F. ; Trajano, Vanessa F. . PetriLogic - Ensinando Métodos Formais Através do Eclipse. 2006.

3.
Oliveira, Cesar A. L.. jPetriSim. 2006.

4.
Oliveira, Cesar A. L.; Braga, Petrônio L. ; Moraes, Laura M. A. ; Oliveira, Adriano L. I. . RBF-DDA-SA. 2005.

5.
Oliveira, Cesar A. L.; Ribeiro, Ângelo R. ; Oliveira Jr., Meuse N. . Compilador PCAF. 2004.

6.
Oliveira, Cesar A. L.; Lima, Ricardo M. F. . Compilador SystemC/Redes de Petri. 2003.


Demais tipos de produção técnica
1.
Oliveira, Cesar A. L.. Estimativa de Potência no EZPetri. 2005. (Relatório de pesquisa).

2.
Oliveira, Cesar A. L.. Compilador SystemC - Implementação. 2003. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Monografias de cursos de aperfeiçoamento/especialização
1.
Lima, Ricardo M. F.; Oliveira, Cesar A. L.; Soares, Sérgio. Participação em banca de Luciana Andrade de Oliveira. Modelo de Processo Flexível para a Adoção de BPM na Gestão de Projetos. 2009. Monografia (Aperfeiçoamento/Especialização em Gestão Global de Projetos) - Universidade de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
OLIVEIRA JR, W. R.; MELO, G. R.; Oliveira, Cesar A. L.. Professor Assistente I, Área de Informática. 2010. Universidade Federal Rural de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
11th International Conference on Service Oriented Computing (ICSOC'13). REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. 2013. (Congresso).

2.
III Conferência Nacional de Promoção da Igualdade Racial (Conapir). Lançamento do Sistema de Monitoramento de Políticas de Promoção da Igualdade Racial. 2013. (Congresso).

3.
2012 IEEE 19th International Conference on Web Services (ICWS). Computing Strategic Trade-Offs in Web Service Deployment and Selection. 2012. (Congresso).

4.
Americas Conference on Information Systems. 2012. (Congresso).

5.
International Conference on Service-Oriented Computing. 2011. (Congresso).

6.
IEEE International Conference on Systems, Man, and Cybernetics. Modeling and Analyzing Resource-Constrained Business Processes. 2009. (Congresso).

7.
6ª Conferência Latino Americana em Linguagens de Padrões para Programação. 2007. (Congresso).

8.
International Conference on Computational Modeling and Simulation. 2007. (Congresso).

9.
Pernambuco School of Software Engineering - Testing. 2007. (Oficina).

10.
RiSE Summer School on Software Reuse. 2007. (Oficina).


Organização de eventos, congressos, exposições e feiras
1.
Lima, Ricardo M. F. ; Soares, Sérgio ; Oliveira, Cesar A. L. ; Rodrigues, Cleyton M. O. . Simpósio Brasileiro de Linguagens de Programação. 2005. (Outro).



Inovação



Projeto de desenvolvimento tecnológico



Página gerada pelo Sistema Currículo Lattes em 16/10/2018 às 5:30:06