1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Reducing the impact of state space explosion in Stochastic Automata Networks
Tese
2
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Ferramenta para simula??o visual de redes de aut?matos estoc?sticos atrav?s do c?lculo de estados sucessores e predecessores
Dissertação
3
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Gera??o de contraexemplos e testemunhas para um verificador de modelos descritos em redes de aut?matos estoc?sticos
Dissertação
4
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Tradu??o de modelos de redes de automatos estoc?sticos para a linguagem do NUSMV
Dissertação
5
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
An?lise de padr?es de mobilidade utilizando redes de aut?matos estoc?sticos
Dissertação
6
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Solu??o num?rica de descritores markovianos a partir de re-estrutura??es de termos tensoriais
Tese
7
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
M?todo de convers?o de diagrama de atividades UML para SAN e gera??o de casos de teste de software
Dissertação
8
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Precis?o de simula??es para solu??o de modelos estoc?sticos
Dissertação
9
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Proposta de uma representa??o tensorial para modelos markovianos ocultos
Dissertação
10
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Utiliza??o de redes aut?matos estoc?sticos no processo unificado, visando a gera??o de casos de teste de software
Dissertação
11
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Stochastic modeling of global software development teams
Dissertação
12
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Software como servi?o : um framework para fornecer ferramentas de simula??o anal?tica
Dissertação
13
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Algoritmo para convers?o autom?tica de modelos SAN GTA para modelos SAN CTA
Dissertação
14
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Abordagens paralelas para Model Checking de redes de aut?matos estoc?sticos
Dissertação
15
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Otimiza??es para a multiplica??o vetor-descritor atrav?s do algoritmo Slice
Dissertação
16
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Utiliza??o de diagramas de decis?o multi-valorada para representa??o do espa?o de estados ating?vel em redes de aut?matos estoc?sticos
Dissertação
17
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
T?cnica para obten??o de redes de aut?matos estoc?sticos baseada em especifica??es de software em UML
Dissertação
18
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Uso de redes de aut?matos estoc?sticos SAN na modelagem e avalia??o do protocolo DSR em redes wireless ad hoc
Dissertação