Tarciana Dias da Silva

Curriculum Vitae (CNPq Lattes)

Possui graduação (2006), mestrado (2008) e doutorado (2017) em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE). É docente do curso de Engenharia da Computação da Escola Politécnica de Pernambuco (Poli/UPE). Também trabalha como analista de sistemas no TJPE, atualmente na área de testes de software, tendo também já atuado como analista de negócios e requisitos, gerente de projetos e projetista de sistemas. Tem experiência de pesquisa na área de Ciência da Computação, com ênfase em métodos formais/validação de especificaçôes de transformação de programas (no doutorado) e sistemas distribuídos (no mestrado e graduação). Atualmente, a principal área de interesse é Engenharia de Software, com ênfase em Métodos Formais e Testes, Verificação e Validação de Programas.

Publicações >

SILVA, TARCIANA; KAMIENSKI, CARLOS ; FERNANDES, STENIO ; SADOK, DJAMEL . A flexible DHT-based directory service for information management. Peer-to-Peer Networking and Applications, v. 8, p. 512-531, 2014.

Auristela Silva ; SILVA, Tarciana Dias da ; Reinaldo Gomes ; Luciana Oliveira ; Igor Cananéa ; Djamel Sadok ; Martin Johnsson . Routing Solutions for Future Dynamic Networks. Routing Solutions for Future Dynamic Networks, v. 1, p. 212-217, 2008.

da Silva, Tarciana Dias; Sampaio, Augusto ; Mota, Alexandre . Verifying Transformations of Java Programs Using Alloy. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9526, p. 110-126.

Auristela Silva ; SILVA, Tarciana Dias da ; Luciana Oliveira ; Reinaldo Gomes ; Igor Cananéa ; Djamel Sadok ; Martin Johnsson . OSPF-AN: An Intra Domain Routing Protocol for Ambient Networks. IP Operations and Management/ Book Series: Lecture Notes in Computer Science. : Springer Berlin / Heidelberg, 2007, v. 4786, p. 188-191.

SILVA, Tarciana Dias da; FERNANDES, S. ; KAMIENSKI, C. A. ; Djamel Sadok . GD2: Um Serviço de Diretórios P2P para Gerenciamento de Informações em Redes Heterogêneas. In: XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2012, Ouro Preto, MG. Anais SBRC 2012, Trilha Principal, Sessão técnica 4 (ST4), 2012. v. 1. p. 189-202.

Márcio Bueno ; Djamel Sadok ; Luís Eduardo ; SILVA, Tarciana Dias da ; M. M. S. Lira ; Júlio Leitão . Controlador Remoto de Dados de Oscilografia. In: Encontro Regional Ibero-Americano do CIGRÉ, 2007, Foz do Iguaçu. XII ERIAC ? 12º Encontro Regional Ibero-Americano do CIGRÉ, 2007.

SILVA, Tarciana Dias da; Luciana Oliveira ; Marco Domingues ; Judith Kelner ; Djamel Sadok . GRRA: Uma Ferramenta para Gerenciamento de Redes Utilizando Realidade Aumentada. In: Salão de Ferramentas do SBRC 2007, 2007, Belém. Salão de Ferramentas SBRC 2007 – Gerenciamento e Operações de Rede, 2007. v. 2. p. 1173-1180.

SILVA, Tarciana Dias da; Ramide Dantas ; Djamel Sadok . Implementação de Mecanismos de Indexação para Consultas Avançadas em DHT. In: Workshop de Redes Peer-to-peer do SBRC, 2006, Curitiba. Anais do II Workshop de Redes Peer-to-Peer do SBRC, 2006.

SILVA, Tarciana Dias da. Sistema de XPeers e Aplicações para XPeer para Dispositivos Desktop e Móveis. In: VI Congresso de Ensino, Pesquisa e Extensão, 2005, Recife. Anais do VI Congresso de Ensino, Pesquisa e Extensão, 2005.

SILVA, Tarciana Dias da. Componente de Comunicação para o projeto XPeer. In: V Congresso de Ensino, Pesquisa e Extensão, 2004, Recife. Anais do V Congresso de Pesquisa, Ensino e Extensão, 2004.