CV Lattes
ResearcherID
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
possui graduação em Matemática Modalidade Informática pela Universidade Federal do Rio de Janeiro (1976), mestrado em Engenharia de Sistemas e Computação pela Coordenação dos Programas de Pós-Graduação em Engenharia da Universidade Federal do Rio de Janeiro (1982) e doutorado em Informática - Ecole Nationale Supérieure de l'Aeronautique et de l'Espace (1992). Atualmente é professor associado da Universidade Estadual de Campinas. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: injecao de falhas por software, testes baseados em modelos; ferramentas de teste de software. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A maioria dos sistemas de softwares desenvolvidos atualmente, incluindo sistemas críticos, utiliza componentes desenvolvidos por terceiros ou do inglês, third-parties components. Estes sistemas variam de aplicações e-commerce, e-bank, até sistemas militares. Como o bom funcionamento desses sistemas é importante, pois grandes perdas financeiras ou até de vidas humanas podem advir caso tal …
Com a crescente necessidade de desenvolvimento de sistemas tolerantes a falhas, torna-se igualmente necessário criar ferramentas apropriadas que verifiquem a tolerância a falhas desses sistemas, para certificar que estes se comportam como esperado na presença de falhas. Uma das abordagens mais eficazes para isso é o uso de injeção de falhas, técnica usada no desenvolvimento de várias ferr…
O projeto de pesquisa visa a implementação de um analisador de traço e geração de diagnósticos para protocolos de comunicação cujo comportamento pode ser representado por uma máquina de estados finita estendida. Com base no modelo de comportamento e no traço de execução a implementação produzirá as seguintes saídas: veredictos sobre as saídas produzidas por uma implementação sob teste, di…
| 7 | Auxílios à pesquisa concluídos |
| 7 | Bolsas no país concluídas |
| 14 | Todos os Auxílios e Bolsas |
| Processos vinculados | |