Verificacao de workflow.

• Processo: 07/57995-3
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2008
• Data de Término da vigência: 28 de fevereiro de 2010
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Jacques Wainer
• Beneficiário: Amaury Bosso André
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Workfl

Resumo

Um bom entendimento dos conceitos e técnicas relacionadas a verificação de workflows por desenvolvedores e projetistas ajudará na construção de workflows que sejam flexíveis o suficiente para capturar os requerimentos de aplicações do mundo real e robusto o suficiente para oferecer a correção necessária e propriedades de confiança na presença de concorrência e falhas. É nesta linha que se desenvolverá o projeto de pesquisa proposto neste documento. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

ANDRE, AMAURY B.; BELTRAME, EDUARDO; WAINER, JACQUES. A COMBINATION OF SUPPORT VECTOR MACHINE AND k-NEAREST NEIGHBORS FOR MACHINE FAULT DETECTION. APPLIED ARTIFICIAL INTELLIGENCE, v. 27, n. 1, p. 36-49, 2013. (07/57995-3)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

ANDRÉ, Amaury Bosso. Verificação formal de workflows com spin. 2010. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.