Research, Software, AI

O CEDIS

O que fazemos, quem somos e para onde vamos

História

Nossa trajetória e conquistas

Parceiros e reconhecimentos

Instituições, prêmios e marcos institucionais

Infraestrutura

Espaços e recursos

Áreas de pesquisa

Linhas e temas do centro

Mapa de competências

Como áreas, pessoas e projetos se conectam

Infraestrutura científica

Servidores, storage e equipamentos

Projetos

Pesquisas em andamento e concluídas

Produtos digitais

Plataformas, aplicativos e sistemas

Projetos por parceiro

Iniciativas com IBICT, FAP-DF e outros

Pesquisadores

Docentes com produção contínua

Colaboradores

Equipe de pesquisa e desenvolvimento

Alumni

Onde estão os ex-alunos

Qual área combina comigo?

Quiz de 5 perguntas

Publicações científicas

Artigos, livros, teses, dissertações e TCCs

Cursos e materiais didáticos

Programas de formação e materiais abertos

Materiais no Zenodo

Datasets, código e materiais registrados

Oportunidades

Chamadas encerradas e novas seleções quando houver

Junte-se ao CEDIS

IC, TCC, Mestrado, Doutorado, Extensão, Voluntário

Parcerias institucionais

Órgãos públicos, empresas e universidades

Proponha um projeto

Escreva para o CEDIS

PTEN

← Todos os colaboradores

Perfil derivado automaticamente

CORDY, M.

Coautor(a) citado(a) em 1 produção do CEDIS. Perfil individual ainda não publicado.

Produções onde é coautor(a)

1

Modeling and Verification for Dependability in Software Product Lines
2015 · conference

É você e quer um perfil completo?

Perfis derivados são gerados automaticamente a partir dos coautores citados nas produções do CEDIS. Se você quer aparecer com bio, foto e trajetória, entre em contato com o grupo.

Contate o CEDIS