Fernando Luís Dotti

Bacharel e Mestre em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1988 e 1991), tem doutorado em Ciência da Computação pela Universidade Técnica de Berlim (1997). Desde 1998 é professor em tempo integral na Pontifícia Universidade Católica do Rio Grande do Sul, sendo atualmente professor titular. Atua como orientador no Programa de Pós-Graduação em Ciência da Computação. Tem experiência em sistemas distribuídos, desenvolvendo novas técnicas e protocolos para escalabilidade de sistemas confiáveis, mais especificamente para replicação máquina de estados de alta vazão. Também tem experiência na aplicação e desenvolvendo técnicas de especificação, verificação e análise quantitativa de algoritmos distribuídos. Foi coordenador do Programa de Pós-Graduação em Ciência da Computação da PUCRS (~160 alunos) durante 4 anos, entre 2006-07 e 2010-11 e , em seguida, dirigiu a Faculdade de Informática da PUCRS (~1300 alunos ~70 professores) desde final de 2011 até final de 2017, período em que foi implantado mais um curso de graduação e que o PPGCC subiu para as notas 5 (2013) e 6 (2017) pela CAPES.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciência da Computação

1993 - 1997

Technische Universität Berlin, TUBerlin
Título: Management Systems for Autonomous Administrative Domains - Modelling Aspects and Realization Techniques for Intra- and Inter-Domain Mechanisms
Orientador: Prof. Dr. Dr. h. c. Radu Popescu-Zeletin
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Distributed Systems; Network Management; Open Distributed Processing.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática; Fabricação de Aparelhos e Equipamentos de Telecomunicação.

Mestrado em Computação

1989 - 1991

Universidade Federal do Rio Grande do Sul
Título: Um Sistema de Apoio a Gerência de Redes Locais,Ano de Obtenção: 1992
Orientador: Liane Margarida Rockenbach Tarouco
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Computação

1985 - 1988

Universidade Federal do Rio Grande do Sul

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2008 - 2009

Pós-Doutorado. , University of Newcastle, UNCL, Inglaterra. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

2008 - 2009

Pós-Doutorado. , University of York, YORK, Inglaterra. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Italiano

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Bandeira representando o idioma Alemão

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Distribuídos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Replicação Máquina de Estados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Algoritmos Distribuidos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Modelos Analíticos e de Simulação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

DOTTI, F. L. . LADC 2011 - 5th Latin-American Symposium on Dependable Computing. 2011. (Congresso).

DOTTI, F. L. . WTF 2011 - Workshop de Testes e Tolerância a Falhas. 2011. (Congresso).

DOTTI, F. L. . WTF 2010 - Workshop de Testes e Tolerancia a Falhas (Coordenador de Comite de Programa). 2010. (Congresso).

DOTTI, F. L. . CLEI 2009 - Conferência Latinoamericana de Informática (Membro de Comitê de Programa). 2009. (Congresso).

DOTTI, F. L. . CSBC 2009 - SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva (Membro de Comitê de Programa). 2009. (Congresso).

DOTTI, F. L. . WTF 2009 - Workshop de Testes e Tolerancia a Falhas (Membro de Comite de Programa). 2009. (Congresso).

DOTTI, F. L. . WSCAD 2009 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2009. (Congresso).

DOTTI, F. L. . ERRC 2008 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2008. (Congresso).

DOTTI, F. L. . WTF 2008 - Workshop de Testes e Tolerancia a Falhas (Membro de Comite de Programa). 2008. (Congresso).

DOTTI, F. L. . WSCAD 2008 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2008. (Congresso).

DOTTI, F. L. . SBAC-PAD 2008 - WPUC Workshop on Pervasive and Ubiquitous Computing (Membro de Comitê de Programa). 2008. (Congresso).

DOTTI, F. L. . ERRC 2007 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2007. (Congresso).

DOTTI, F. L. . WTF 2007 - Workshop de Testes e Tolerancia a Falhas (Membro de Comite de Programa). 2007. (Congresso).

DOTTI, F. L. . WSCAD 2007 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2007. (Congresso).

DOTTI, F. L. . SBAC-PAD 2007 - WPUC Workshop on Pervasive and Ubiquitous Computing (Membro de Comitê de Programa). 2007. (Congresso).

DOTTI, F. L. . LADC 2007 - Latin American Symposium on Dependable Computing (Publication Chair). 2007. (Congresso).

DOTTI, F. L. . ERRC 2006 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2006. (Congresso).

DOTTI, F. L. . WSCAD 2006 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2006. (Congresso).

DOTTI, F. L. . ERRC 2005 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2005. (Congresso).

DOTTI, F. L. . WSCAD 2005 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2005. (Congresso).

DOTTI, F. L. . ERRC 2004 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2004. (Congresso).

DOTTI, F. L. . WCSF 2004 - Workshop de Comunicação Sem Fio e Computação Móvel. 2004. (Congresso).

DOTTI, F. L. . WSCAD 2004 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2004. (Congresso).

DOTTI, F. L. . ERRC 2003 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2003. (Congresso).

DOTTI, F. L. . WCSF 2003 - Workshop de Comunicação Sem Fio e Computação Móvel. 2003. (Congresso).

DOTTI, F. L. . WSCAD 2003 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2003. (Congresso).

DOTTI, F. L. . CLEI - Congresso Latino Americano de Informática (Membro de comitê de programa). 2001. (Congresso).

DOTTI, F. L. . III Workshop de Comunicação sem Fio e Computação Móvel (Membro de comitê de programa). 2001. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Alberto Sales e Silva

DOTTI, F. L.FERNANDES, Paulo H LSALES, Afonso. Simulação Visual de Redes de Autômatos Estocásticos. 2011. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Luciana da Silveira Espindola

DOTTI, F. L.FERNANDES, Paulo H LSALES, Afonso. Proposta de Uma Representação Tensorial para Modelos Markovianos Ocultos. 2011. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Rafael Vieira Coelho

BARCELOS, Antônio Marinho Pilla; PORTO, Ingrid e Schreiber Jansch; Fraga, Joni da Silva;DOTTI, F. L.; GRANVILLE, Lisandro Zambenedetti. Comparação Analítica dos Esquemas de Autenticação em Sistemas P2P de Live Streaming. 2011. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Rodrigo Fernando Shimazu

DOTTI, F. L.FERNANDES, Paulo H L; Webber dos Santos, Thais Cristina. Modelagem de Rede PLC-HomePlug Utilizando Redes de Autômatos Estocásticos. 2010. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Dione Taschetto

Dotti, Fernando L.FERNANDES, Paulo Henrique Lemelle; MAILLARD, Nicolas;SALES, Afonso. Precisão de Simulações para Solução de Modelos Estocásticos. 2010. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Everton Ricardo do Nascimento

FERNANDES, Paulo H L; Webber dos Santos, Thais Cristina;DOTTI, F. L.. O uso de Redes de Autômatos Estocásticos - SAN na Análise e Avaliação do Protocolo DSR em Redes Wireless Ad Hoc. 2009. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Guilherme de Cunha Rodrigues

GASPARY, Luciano; ROSE, César Augusto F de;DOTTI, F. L.. vMIB: Uma MIB Genérica para Gerenciamento de Recursos Virtuais. 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Gunnar Ramos Fermino

SALES, AfonsoFERNANDES, Paulo Henrique LemelleDOTTI, F. L.. Roteamento Baseado em Caminhos de Maior Grau de Conectividade aplicado ao OLSR. 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Fábio Longaray Delamare

GRANVILLE, Lisandro Zambenedetti;DOTTI, F. L.FERNANDES, Paulo H L. Análise de Padrões de Mobilidade Utilizando Redes e Autômatos Estocásticos. 2007. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Eduardo Horowitz

DOTTI, F. L.; LAMB, Luis; MOREIRA, Álvaro F.; GASPARY, Luciano. Um Modelo Hierárquico para Extração de Políticas de Firewall. 2007. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Odorico Machado Mendizabal

DOTTI, F. L.FERNANDES, Paulo H L; OLIVEIRA, Flávio M. de; MOREIRA, Álvaro F.. Avaliação Quantitativa de Modelos em Gramática de Grafos. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Rafael Krolow dos Santos Silva

DOTTI, F. L.; ROSE, César Augusto F de; FERNANDES, Luiz Gustavo Leão; YAMIN, Adenauer Correa. HPC-ICTM: Um modelo de alto desempenho para categorização de áreas geográficas. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Rodrigo Neves Calheiros

ROSE, César Augusto F de; NAVAUX, Philippe Olivier Alexandre; ZORZO, Avelino Francisco;DOTTI, F. L.. Um Escalonador Orientado a Sites para Grades Computacionais. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Ana Paula Salengue Scolari

RIBEIRO, Leila; ZORZO, Avelino Francisco;DOTTI, F. L.FERNANDES, Paulo H L. UtilizaçAo de Diagramas de Decisão Multi-valorada para Representação do Espaço de Estados Atingível em Redes de Autômatos Estocásticos. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Lucas Jassen Baldo

DOTTI, F. L.; FERNANDES, Luiz Gustavo Leão;FERNANDES, Paulo Henrique Lemelle; MAILLARD, Nicolas. Predição de Desempenho de Aplicações Paralelas para Máquinas Agregadas Utilizando Modelos Estocásticos. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Guilherme Antônio Anzilago Tesser

ZORZO, Avelino Francisco;COSTA, Celso Maciel daDOTTI, F. L.. Um estudo sobre migração de páginas no Linux. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Rafael Matone Chanin

DOTTI, F. L.; ZORZO, Avelino Francisco;FERNANDES, Paulo Henrique Lemelle; NAVAUX, Philippe Olivier Alexandre. Um Modelo Estocástico para o Escalonador do Linux. 2005. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Mônica Lopes Corrêa

DOTTI, F. L.; ZORZO, Avelino Francisco; BARCELOS, Antônio Marinho Pilla; FERNANDES, Luiz Gustavo Leão. Algoritmo de Construção de Hierarquia de Domínios de Escalonamento Multinível para Máquinas NUMA. 2005. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: DANIEL ORDOBÁS BORTOLÁS

DOTTI, F. L.; ZORZO, Avelino Francisco; Fraga, Joni da Silva. Diversidade Orientada à Mutação para Melhoria de Manutenção e Confiabilidade. 2005. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Leonel Pablo Tedesco

DOTTI, F. L.; MORAES, Fernando Ghem; CALAZANS, Ney Laert Villar; TORRES, Lionel; ZEFERINO, C. A.. Uma Proposta para Geração de Tráfego e Avaliação de Desempenho para NoCs. 2005. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Leonardo Dutra Castanheira

DOTTI, F. L.; CALAZANS, Ney Laert Villar;FERNANDES, Paulo Henrique Lemelle; ROCHOL, Juergen. Medição de Desempenho de Hardware ATM ao Nível de Célula. 2003. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Luciano Azevedo Cassol

DOTTI, F. L.; ZORZO, Avelino Francisco;FERNANDES, Paulo Henrique Lemelle; BARCELOS, Antônio Marinho Pilla. Modelagem de Sistemas Industriais Utilizando Redes de Autômatos Estocásticos e Interações Multiparticipantes Confiáveis. 2003. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Cassiano Ricardo Hess

DOTTI, F. L.; ZORZO, Avelino Francisco; ROSE, César Augusto F de; CAVALHEIRO, Gerson Geraldo H. MDX-cc: Ambiente de Programação Paralela Aplicado a Custer de Clusters. 2003. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Bayard Tamarit Simões Junior

DOTTI, F. L.; ROCHOL, Juergen; GRANVILLE, Lisandro Zambenedetti; CESAR NETTO, João. Navegacao WEB em Sistemas Celulares 3G Baseados em GPRS. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Fernando Manchini Serenato

DOTTI, F. L.; ROCHOL, Juergen; CESAR NETTO, João;TAROUCO, Liane M R. Mecanismos para Interoperação de Backbones MPLS e Redes que Utilizem outras Arquiteturas de QoS. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luis Fernando Pollo

DOTTI, F. L.; PORTO, Ingrid e Schreiber Jansch; CARISSIMI, Alexandre da Silva; CESAR NETTO, João. Sistema de Gerência de Energia para Redes Locais. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Samuel Carrion

DOTTI, F. L.TAROUCO, Liane M R; GRANVILLE, Lisandro Zambenedetti; ALMEIDA, Maria Janilce Bosquiroli. Um Modelo de Videoconferência para Computador Pessoal Orientado ao Perfil de Aplicação. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Tatiana Rotava Schabbach

DOTTI, F. L.; CESAR NETTO, João; ROCHOL, Juergen; ALMEIDA, Maria Janilce Bosquiroli. Análise Comparativa de Desempenho de Redes IP e ATM com Tráfego Multimídia Interativo. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Delfim Luiz Torok

DOTTI, F. L.; SANTOS, Luiz Cláudo Villar dos; SILVEIRA, Jorge Guedes; MORAES, Fernando Ghem. Projeto Visando Prototipação do Protocolo de Acesso ao Meio em Redes Ethernet. 2001. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Eder Nicoletti Mathias

DOTTI, F. L.COSTA, Celso Maciel da; MÜLLER, Felipe; ZORZO, Avelino Francisco. Ambiente Distribuído de Suporte a Esecução de Heurísticas e Metaheurísticas. 2001. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Adriano Ramos Gonçalves

DOTTI, F. L.; ROCHOL, Juergen; ALMEIDA, Maria Janilce Bosquiroli; WAGNER, Flávio Rech. Método para Planejamento de Capacidade de Redes ATM Baseado em Simulação. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Claudio Luis Sitolino

DOTTI, F. L.; ROCHOL, Juergen; CESAR NETTO, João; ALMEIDA, Maria Janilce Bosquiroli. VOIP: Um Estudo Experimental. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Eduardo Luzeiro Feitosa

DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; CESAR NETTO, João; WEBER, Raul Fernando. Um Modelo para Implementação de Vídeo sob Demanda em Ambientes Corporativos. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Mouriac Halen Diemer

DOTTI, F. L.; ROCHOL, Juergen; CESAR NETTO, João; CARISSIMI, Alexandre da Silva. DTA - Discriminador de Tráfego ATM. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Tommy Jakobsen

DOTTI, F. L.; LIMA, Jose Valdeni de; WEBER, Raul Fernando; ALMEIDA, Maria Janilce Bosquiroli. SET - Certification - Uma Ferramenta para Obtenção de Certificados Digitais Baseada no Padrão SET. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Maurício Aronne Pillon

DOTTI, F. L.COSTA, Celso Maciel daCOPSTEIN, Bernardo; WAGNER, Flávio Rech. JavaSim: Uma Plataforma de Suporte a Simulação Distribuída. 2000. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Diana Maria Blandón Jirón

DOTTI, F. L.; WAGNER, Flávio Rech; ROCHOL, Juergen; CESAR NETTO, João. Simulação de Videoconferência Através de Técnicas de Simulação por Eventos Discretos. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Fabio Asturian Zanin

DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli;TAROUCO, Liane M R; WEBER, Raul Fernando. Um Modelo para Videoconferência em Computador Pessoal sobre Redes IP. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Alexis Rockenbach

DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; CESAR NETTO, João; WEBER, Raul Fernando. SET-F - Uma Ferramenta para Sistemas de Transações Eletrônicas Seguras Baseado no Padrão SET. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ana Carolina Hermann

DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; CESAR NETTO, João;TAROUCO, Liane M R. Especificação de Qualidade de Serviço e Adaptação de Aplicações Multimídia Distribuídas. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: André Moncarlo Fleury

DOTTI, F. L.; WEBER, Raul Fernando; CESAR NETTO, João; WEBER, Taisy Silva. Gerenciamento e Distribuição de Chaves Criptográficas via Internet: Protocolo de Autenticação em Redes Abertas. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Cristian Ramos Prange

DOTTI, F. L.; ROCHOL, Juergen; WAGNER, Flávio Rech; CESAR NETTO, João. Análise de Desempenho por Simulação da Subcamada MAC do Padrão IEEE 802.11 para Redes Locais Sem Fio. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Gerson Battisti

DOTTI, F. L.TAROUCO, Liane M R; ALMEIDA, Maria Janilce Bosquiroli; LIMA, Jose Valdeni de. Telepresença com Realidade Virtual para Gerência de Rede. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marcelo Mércio D´Andrea

DOTTI, F. L.; WEBER, Raul Fernando; CESAR NETTO, João; ALMEIDA, Maria Janilce Bosquiroli. Ferramentas para Segurança na Internet. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Roberto Bello de Oliveira

DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; VICCARI, Rosa Maria;TAROUCO, Liane M R. SIAGRe: Um Sistema Inteligente de Auxílio a Gerência de Redes de Computadores. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Suzana Beatriz de Miranda Strauch

DOTTI, F. L.; WEBER, Raul Fernando; CESAR NETTO, João; ALMEIDA, Maria Janilce Bosquiroli. Aspectos de Segurança no Protocolo IP. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Evandro Preuss

DOTTI, F. L.; GEYER, Claudio Fernando Resin; FRIEDRICH, Luis Fernando;COSTA, Celso Maciel da. MDX - Um Ambiente de Programação Paralela Baseada em Memória Virtual Distribuída. 1988. Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Ricardo Melo Czekster

FERNANDES, Paulo H L; CLAUDIO, Dalcidio M.; MAILLARD, Nicolas;DOTTI, F. L.. Solução Numérica de Descritores Markovianos a partir de Reestruturações de Termos Tensoriais. 2010. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: CRISTINA MOREIRA NUNES

GASPARY, Luciano; DUARTE JUNIOR, Elias Procópio;FERNANDES, Paulo Henrique LemelleDOTTI, F. L.. Roteamento utilizando Potencial de Entrega em Redes Tolerantes a Atrasos. 2010. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Valter Roesler

DOTTI, F. L.; ROCHOL, Juergen; SOUZA FILHO, Guido Lemos de; CESAR NETO, João. SAM: Um Sistema Adaptativo para Transmissão e Recepção de Sinais Multimídia em Redes de Computadores. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Joberto Sérgio Barbosa Martins

DOTTI, F. L.;MARTINS, Joberto Sérgio Barbosa; TAROUCO, L. M. R.. Um Sistema de Apoio à Gerência de Redes Locais. 1992. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Seção coletada automaticamente pelo Escavador

Orientou

Ivo Costa

Representação da Função de Transição de Redes de Autômatos utilizando EV*MDD; Início: 2013; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; (Orientador);

Alberto do Carmo Sulzbacher Wondracek

Tradução de Modelos de Redes de Automatos Estocásticos para a Linguagem do NuSMV; 2013; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Claiton Marques Correa

Geração de Contra ? Exemplos e Testemunhas para um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos; 2013; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fernando Luís Dotti;

Lucas Giaretta Oleksinski

Abordagens Paralelas para Model Checking de Redes de Autômatos Estocásticos; 2013; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fernando Luís Dotti;

Paulo Junior Penna Pivetta

Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos; 2010; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fernando Luís Dotti;

Marcelo da Silva Strzykalski

Mecanismos de Coordenação Ator-Ator em Redes de Sensores e Atores sem Fio; 2009; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Gunnar Ramos Fermino

Roteamento Baseado em Caminhos de Maior Grau de Conectividade Aplicado ao OLSR; 2009; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Fábio Longaray Delamare

Análise de Padrões de Mobilidade Utilizando Redes de Autômatos Estocásticos; 2007; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Odorico Machado Mendizabal

Avaliação Quantitativa de Modelos em Gramática de Grafos Baseada em Objetos; 2006; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Fábio Pasini

Desenvolvimento de Aplicações Paralelas a partir de Modelos em Gramática de Grafos Baseada em Objetos; 2006; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Tito Lívio Castro

Avaliação de Desempenho de Algoritmos de Escalonamento na Arquitetura de Serviços Diferenciados; 2004; 161 f; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Osmar Marchi dos Santos

Verificação Formal de Sistemas Distribuídos Modelados na Gramática de Grafos Baseada em Objetos; 2004; 0 f; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Eduardo Tavares Rödel

Modelagem de Comportamentos Falhos através de Especificação Formal e sua Inserção e Análise em Modelos de Sistemas Distribuídos envolvendo Mobilidade; 2003; 198 f; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Fernando Luís Dotti;

Mauricio de Oliveira Cristal

InterCOD - Arquitetura Distribuída de Suporte a Centros de Otimização Cooperantes na Internet; 2001; Dissertação (Mestrado em Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Sediane Carmem Lunardi

Uma Camada de Suporte a Qualidade de Serviço para Aplicações Multimídia na Internet; 2001; Dissertação (Mestrado em Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Fernando Luís Dotti;

Lucio Mauro Duarte

Desenvolvimento de Sistemas Distribuídos com Código Móvel a partir de Especificação Formal; 2001; 143 f; Dissertação (Mestrado em Programa de Pós Graduação Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Fernando Luís Dotti;

Odorico Machado Mendizabal

Fast Recovery in Parallel State Machine Replication; 2016; Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

Rasha Hasan

Hybrid synchrony virtual networks; 2016; Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

CRISTINA MOREIRA NUNES

Roteamento utilizando Potencial de Entrega em Redes Tolerantes a Atrasos; 2010; Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fernando Luís Dotti;

PATRICK FARIAS DA ROSA

Estudo do Mapeamento de Redes de Autômatos Estocásticos para Linguagem de Entrada em Ambientes de Verificação de Modelos; 2010; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

Rodrigo Kayser de Castro

Um Ambiente para Testes de Vulnerabilidade; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

Luciano Schilling, Luciane Bonatto

Código Móvel e sua Aplicação ao projeto PeCOD; 2000; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

Lucio Mauro Duarte, Roberto D

Reznizceck, Fernando Nygaard; MOOM - Um Monitor de Objetos Móveis; 1999; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

Glaura Gonçalves, Graziela Pesente, Rafael Lima

Laboratório de Redes de Computadores; 1999; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

Adriano Brochado

GRAA - Gerência de Redes no Ambiente Acadêmico; 2001; Iniciação Científica; (Graduando em Bacharelado em Informática) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Fernando Luís Dotti;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • RIBEIRO, LAURO ANDRÉ ; PEREIRA DA SILVA, PATRÍCIA ; RIBEIRO, Leila ; Dotti, Fernando Luís . Modelling the impacts of policies on advanced biofuel feedstocks diffusion. JOURNAL OF CLEANER PRODUCTION , v. 142, p. 2471-2479, 2017.

  • RIBEIRO, L. ; SANTOS, O. M. ; DOTTI, F. L. ; FOSS, L. . Correct transformation: From object-based graph grammars to PROMELA. Science of Computer Programming (Print) , v. 77, p. 214-246, 2012.

  • DOTTI, F. L. ; Fernandes, Paulo ; Nunes, Cristina M. . Structured Markovian models for discrete spatial mobile node distribution. Journal of the Brazilian Computer Society (Impresso) , v. 17, p. 31-52, 2011.

  • da Silva, Roberto ; Buriol, Luciana S. ; RIBEIRO, Leila ; Dotti, Fernando L. . Modeling the webgraph evolution. Journal of Computational Science , v. 2, p. 67-79, 2011.

  • RIBEIRO, Leila ; DOTTI, F. L. ; da Costa, Simone André ; DILLENBURG, F. . Towards Theorem Proving Graph Grammars using Event-B. Electronic Communications of the EASST , v. 30, p. 1-16, 2010.

  • BALDAN, Paolo ; CORRADINI, Andrea ; FOSS, Luciana ; GADDUCCI, Fabio ; DOTTI, F. L. ; RIBEIRO, Leila . Towards a Notion of Transaction in Graph Rewriting. Electronic Notes in Theoretical Computer Science , v. 211, p. 39-50, 2008.

  • PASINI, Fábio ; DOTTI, F. L. . Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science , v. 184, p. 113-131, 2007.

  • MENDIZABAL, Odorico Machado ; DOTTI, F. L. ; RIBEIRO, Leila . Stochastic Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science , v. 184, p. 151-170, 2007.

  • MENDIZABAL, O. ; DOTTI, F. L. ; RIBEIRO, L. . Stochastic Graph Transformation Systems. Electronic Notes in Theoretical Computer Science , v. 184, p. 151-170, 2007.

  • RIBEIRO, L. ; DOTTI, F. L. ; SANTOS, O. M. ; PASINI, F. . Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach. Software and Systems Modeling , v. 5(3), p. 289-312, 2006.

  • DOTTI, F. L. ; DUARTE, Lúcio Mauro ; FOSS, Luciana ; RIBEIRO, Leila ; RUSSI, Daniela ; SANTOS, Osmar Marchi dos . An Environment for the Development of Concurrent Object-Based Applications. Electronic Notes in Theoretical Computer Science , Alemanha, v. 1271, n.1, p. 3-13, 2005.

  • DOTTI, F. L. ; MENDIZABAL, O. M. ; SANTOS, Osmar Marchi dos . Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. Lecture Notes in Computer Science , Brazil, v. 3747, p. 80-100, 2005.

  • SANTOS, Osmar Marchi dos ; DOTTI, F. L. ; RIBEIRO, Leila . Verifying Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science , Alemanha, v. 109, n.1, p. 125-136, 2004.

  • SANTOS, O. M. ; DOTTI, F. L. . Análise de verificadores de modelos para sistemas distribuídos. Hífen, Brasil, v. 27, n.52, p. 141-146, 2003.

  • CORRADINI, Andrea ; DOTTI, F. L. ; RIBEIRO, Leila . A Graph Transformation View on the Specification of Applications using Mobile Code. Electronic Notes in Theoretical Computer Science , Alemanha, v. 50, n.3, p. 238-246, 2001.

  • DOTTI, F. L. ; ABELÉM, Antônio Jorge Gomes (Org.) ; GASPARY, Luciano (Org.) ; BARCELOS, Antônio Marinho Pilla (Org.) . Anais do XI Workshop de Testes e Tolerância a Falhas (WTF). Porto Alegre - RS: Sociedade Brasileira de Computação, 2010. v. 1. 177p .

  • DOTTI, F. L. ; GRANVILLE, Lisandro Zambenedetti ; GASPARY, Luciano ; ROCHOL, Juergen ; CESAR NETTO, João ; GUEDES, Jorge . I Escola Regional de Redes de Computadores - ERRC 2003. Porto Alegre: SBC, 2003.. 1. ed. Porto Alegre: SBC, 2003. v. 1. 156p .

  • DOTTI, F. L. . Management Systems for Autonomous Admonistrative Domains - Modelling Aspects and Realization Techniques of Inter- and Intra-Domain Supporting Mechanisms (PhD. Thesis). Univ. Técnica de Berlim.. Berlin, Germany: Technical University of Berlin, 1997.

  • DOTTI, F. L. . Um Sistema de Apoio à Gerência de Redes Locais (Tese de Mestrado). UFRGS.. Porto Alegre: Universidade Federal do Rio Grande do Sul, 1992.

  • RIBEIRO, Leila ; DOTTI, F. L. . Linear Ordered Graph-Grammars: Applications to Distributed Systems Design. In: Degano, Pierpaolo; Nicola, Rocco de; Meseguer, Jose. (Org.). Concurrency, Graphs and Models. Berlin: Springer, 2008, v. 1, p. 133-150.

  • RIBEIRO, Leila ; BARDOHL, Roswitha ; DOTTI, F. L. . A Formal Framework for the Development of Concurrent Object-Based Systems. In: Hans-Jörg Kreowski. (Org.). Formal Methods in Software and System Modeling. Berlin: LNCS - Springer, 2005, v. 3393, p. 385-401.

  • DOTTI, F. L. . Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. In: Gianni Jacucci; Gustav J. Olling; Kenneth Preiss; Michael Wozny. (Org.). Globalization of the Manufacturing in the Digital Communications Era of the 21st Century - Innovation, Agility, and the Virtual Enterprise. Norwell - Massaschussets - EUA: Kluwer Academic Publisher, 1998, v. 1, p. 245-256.

  • ESCOBAR, I. A. ; ALCHIERI, E. ; DOTTI, F. L. ; PEDONE, F. . Boosting Concurrency in Parallel State Machine Replication. In: ACM/IFIP International Middleware Conference, 2019, Davis, CA, EUA. Proceedings of the 20th International Middleware Conference, 2019. v. 1. p. 1-12.

  • BATISTA, E. R. L. ; ALCHIERI, E. ; DOTTI, F. L. ; PEDONE, F. . Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication. In: Latin-American Symposium on Dependable Computing, 2019, Natal. Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019. v. 1. p. 1-10.

  • COELHO, P. ; CEOLIN JUNIOR, T. ; BESSANI, A. ; PEDONE, F. ; DOTTI, F. L. . Byzantine Fault-Tolerant Atomic Multicast. In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018, Luxemburgo. Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos: IEEE Computer Society. v. 1. p. 39-50.

  • ALCHIERI, E. ; DOTTI, FERNANDO LUIS ; PEDONE, F. . Early Scheduling in Parallel State Machine Replication. In: 9th ACM Symposium on Cloud Computing, 2018, Carlsbad. Proceedings of the 9th ACM Symposium on Cloud Computing (SoCC 2018), 2018. v. 1. p. 1-13.

  • ALCHIERI, E. ; DOTTI, F. L. ; MARANDI, Parisa Jalili ; MENDIZABAL, O. M. ; PEDONE, F. . Boosting State Machine Replication with Concurrent Execution. In: 8th Latin American Symposium on Dependable Computing, 2018, Foz do Iguaçu. Proceedings of the 8th Latin American Symposium on Dependable Computing, 2018. v. 1. p. 1-10.

  • MENDIZABAL, Odorico Machado ; MOURA, R. S. T. ; DOTTI, F. L. ; PEDONE, F. . Efficient and Deterministic Scheduling for Parallel State Machine Replication. In: 31st IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2017, Orlando. Proceedings of the 31st IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2017. v. 1. p. 1-10.

  • MENDIZABAL, Odorico Machado ; DOTTI, F. L. ; PEDONE, F. . High performance recovery for parallel state machine replication. In: 37th IEEE International Conference on Distributed Computing (ICDCS), 2017, Atlanta. Proceedings of the 37th IEEE International Conference on Distributed Computing (ICDCS), 2017. v. 1. p. 1-11.

  • RODRIGUES, A. L. O. ; ALCHIERI, E. ; PEDONE, F. ; DOTTI, F. L. ; MENDIZABAL, Odorico Machado . Replicação Máquina de Estados Paralela e Reconfigurável. In: XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017, Belém. Anais do XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017. v. 1. p. 1-14.

  • ALCHIERI, E. ; DOTTI, FERNANDO LUIS ; MENDIZABAL, O. M. ; PEDONE, F. . Reconfiguring Parallel State Machine Replication. In: 36th IEEE International Symposium on Reliable Distributed Systems (SRDS 2017), 2017. Proceedings of the 36th IEEE International Symposium on Reliable Distributed Systems (SRDS 2017). v. 1. p. 1-10.

  • MENDIZABAL, Odorico Machado ; DOTTI, F. L. ; PEDONE, F. . Analysis of checkpointing overhead in parallel state machine replication. In: ACM Symposium on Applied Computing, 2016, Pisa. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, 2016. v. 1. p. 534-537.

  • HASAN, R. ; DOTTI, F. L. . Timely Hybrid Synchronous Virtual Networks. In: XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016, Salvador. Anais do XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre: SBC, 2016. v. 1. p. 193-206.

  • OLIVEIRA, ROMULO REIS DE ; HASAN, R. ; DOTTI, FERNANDO LUIS . Heurísticas para Mapeamento de Redes Virtuais de Sincronia Híbrida. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2015, Vitória - ES - Brasil. Anais do XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2015. v. 1. p. 291-304.

  • HASAN, R. ; MENDIZABAL, Odorico Machado ; DOTTI, F. L. . Hybrid Synchrony Virtual Networks: Definition and Embedding. In: International Conference on Networks - (ICN), 2014, Nice. Proceedings of The Thirteenth International Conference on Networks, 2014. v. 1.

  • RIBEIRO, L. ; SILVA, P. P. ; RIBEIRO, L. A. ; DOTTI, F. L. . Modelling the impacts of policies on microalgae fuel feedstocks diffusion. In: IAEE European Energy Conference, 2014, Roma. Proceedings of the 14th IAEE European Energy Conference, 2014 - Sustainable Energy Policy and Strategies for Europe, 2014.

  • CORRADINI, Andrea ; RIBEIRO, L. ; MENDIZABAL, Odorico Machado ; DOTTI, F. L. . A Formal Model for the Deferred Update Replication Technique. In: Thrustworthy Global Computing - TGC, 2014, Buenos Aires. Thrustworthy Global Computing - LNCS. Alemanha: Springer, 2013. v. 8358. p. 235-253.

  • MENDIZABAL, Odorico Machado ; MARANDI, Parisa Jalili ; DOTTI, FERNANDO LUIS ; PEDONE, F. . Checkpointing in Parallel State-Machine Replication. In: OPODIS - Principles of Distributed Systems, 2014, Cortina d'Ampezzo. Principles of Distributed Systems - LNCS. Alemanha: Springer, 2014. v. 8878. p. 123-138.

  • HASAN, RASHA ; MENDIZABAL, Odorico Machado ; OLIVEIRA, ROMULO REIS DE ; DOTTI, FERNANDO LUIS . A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2014, Florianópolis. Anais do XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2014. v. 1. p. 344-352.

  • OLEKSINSKI, L. G. ; CORREA, C. M. ; DOTTI, FERNANDO LUIS ; SALES, Afonso . A CTL Model Checker for Stochastic Automata Networks. In: Quantitative Evaluation of Systems (QEST), 2013, Buenos Aires. 10th International Conference, QEST 2013. Heiudelberg: Springer - NCS, 2013. v. 8054. p. 286-289.

  • MENDIZABAL, Odorico Machado ; Dotti, Fernando Luís . Model Checking the Deferred Update Replication Protocol. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2013, Brasília. Anais do 31ro Simpósio Brasileiro de Redes de Computadores, 2013. v. 1. p. 995-1008.

  • DOTTI, F. L. ; RIBEIRO, Leila . Modeling Communication Semantics for Distributed Systems in Event-B. In: Workshop de Testes e Tolerância a Falhas (WTF), 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerância a Falhas, 2012. v. 1. p. 101-114.

  • CORREA, C. M. ; DOTTI, F. L. ; FERNANDES, Paulo Henrique Lemelle ; MARUANI, E. ; OLEKSINSKI, L. G. ; SALES, Afonso . Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos. In: Workshop de Testes e Tolerância a Falhas, 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerância a Falhas, 2012. v. 1. p. 115-128.

  • RIBEIRO, Leila ; DOTTI, FERNANDO LUIS . Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars, 2011. v. 1. p. 15-20.

  • NUNES, Cristina Moreira ; DOTTI, F. L. ; OLIVEIRA, J. B. S. . APRP-Group: Roteamento para Redes DTN com Repasse baseado em Agrupamento de Nodos por Potencial de Entrega. In: XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010, Gramado. Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre - RS: Sociedade Brasileira de Computação, 2010. v. 1. p. 451-464.

  • RIBEIRO, Leila ; DOTTI, F. L. ; da Costa, Simone André ; DILLENBURG, F. . Towards theorem proving graph grammars. In: In: International Colloquium on Graph and Model Transformation, 2010, Berlim, Alemanha. Relatório Técnico da Universidade Técnica de Berlim - FB IV. Berlim: TU-Berlin, 2010. v. 2010. p. 122-135.

  • NUNES, Cristina Moreira ; DOTTI, F. L. . Uma Nova Estratégia de Roteamento para Redes Tolerantes a Atrasos. In: Simpósio Brasileiro de Redes de Computadores, 2009, Recife. Anais do XXVII Simpósio Brasileiro de Redes de Computadores. Porto Alegre: SBC, 2009. v. 1. p. 1-14.

  • DOTTI, F. L. ; Iliasov, Alexei ; RIBEIRO, Leila ; Romanovsky, Alexander . Modal Systems: Specification, Refinement and Realisation. In: International Conference on Formal Engineering Methods, 2009, Rio de Janeiro. Lecture Notes In Computer Sciences. Heidelberg, Alemanha: Springer, 2009.

  • Iliasov, Alexei ; DOTTI, F. L. ; Romanovsky, Alexander . Structuring Specifications with Modes. In: Fourth Latin-American Symposium on Dependable Computing, 2009, João Pessoa. Proceedings of the .... Los Alamitos, CA, USA: IEEE Computer Society, 2009. v. 1. p. 81-88.

  • RIBEIRO, Leila ; da Costa, Simone André ; DOTTI, F. L. ; da Rocha Costa, Antônio Carlos . Using Attributed Graph Grammars to Verify Properties of a Mobile Internet Protocol. In: XXXV Conferência Latino Americana de Informática, 2009, Pelotas. Proceedings of the ..., 2009.

  • DOTTI, F. L. ; NUNES, Cristina Moreira . Evaluating the Impact of an Acknowledgment Strategy for APRP. In: 5th IFIP/ACM Latin American Networking Conference (LANC 2009), 2009, Pelotas. Proceedings of the ..., 2009. p. 1-14.

  • DELAMARE', Fabio ; DOTTI, F. L. ; FERNANDES, Paulo H L ; NUNES, Cristina Moreira ; OST, Luciano C. . Analytical Modeling of Random Waypoint Mobility Patterns.. In: Third ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, 2006, Torremolinos. Proceedings of the Third ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks. New York, NY, USA: ACM Press, 2006. v. 1. p. 106-113.

  • MENDIZABAL, Odorico Machado ; DOTTI, F. L. . Non-Functional Analysis of Distributed Systems in Unreliable Environments using Stochastic Object Based Graph Grammars. In: Third International Conference on Graph Transformation (ICGT), 2006, Natal - Brazil. Proceedings of. Heidelberg: Springer, 2006. v. 4178. p. 80-100.

  • BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, Luciana ; GADDUCCI, Fabio ; RIBEIRO, Leila . Towards a Notion of Transaction in Graph Rewriting. In: International Workshop on Graph Transformation and Visual Modelling Techniques, 2006, Viena. Proceedings of the 5th International Workshop on Graph Transformation and Visual Modelling Techniques, 2006. v. 1. p. 1-12.

  • DOTTI, F. L. ; FERNANDES, Paulo H L ; SALES, Afonso ; SANTOS, Osmar Marchi dos . Modular Analytical Performance Models for Ad Hoc Wireless Networks. In: 3rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, 2005, Trentino. Proceedings of the, 2005. v. 1. p. 164-173.

  • DOTTI, F. L. ; MENDIZABAL, Odorico Machado ; SANTOS, Osmar Marchi dos . Verifying Fault-Tolerant Distributed Systems using Object-Based Graph Grammars. In: LADC 2005 - Second Latin-American Symposium on Dependable Computing, 2005, Salvador - Bahia. Lecture Notes in Computer Sciences 3747. Heidelberg: Springer - LNCS, 2005. v. 3747. p. 80-100.

  • MENDIZABAL, Odorico Machado ; DOTTI, F. L. ; RIBEIRO, Leila . Stochastic Object-Based Graph Grammars. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Anais do Simpósio Brasileiro de Métodos Formais. Porto Alegre: Sociedade Brasilieira de Computação, 2005. v. 1. p. 128-143.

  • PASINI, Fábio ; DOTTI, F. L. . Code Generation for Parallel Applications modelled with Object-Based Graph Grammars. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Anais do Simpósio Brasileiro de Métodos Formais. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 1. p. 96-111.

  • DOTTI, F. L. ; PASINI, Fábio ; SANTOS, Osmar Marchi dos . Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. In: 18. Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. 18. Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 86-101.

  • CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, Luciana ; RIBEIRO, Leila . Translating Java Code into Graph Transformation Systems. In: 2nd International Conference on Graph Transformations, 2004, Roma. Lecture Notes in Computer Science 3256. Berlin,: Springer - LNCS, 2004. v. 3256. p. 383-398.

  • DOTTI, F. L. ; SANTOS, Osmar Marchi dos ; RÖDEL, Eduardo Tavares . On the Use of Formal Specifications to Analyse Fault Behaviors of Distributed Systems.. In: First Latin-American Symposium on Dependable Computing, 2003, São Paulo.. Proceedings of the First Latin-American Symposium on Dependable Computing. Berlin,: Springer - LNCS, 2003. v. 2847. p. 341-360.

  • DOTTI, F. L. ; FOSS, Luciana ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos . Especificação e Verificação Formal de Sistemas Distribuídos. In: 17. Simposio Brasileiro de Engenharia de Software, 2003, Manaus. Anais do SBES, 2003. v. 1. p. 225-240.

  • DOTTI, F. L. ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos . Specification and Analysis of Fault Behaviors using Graph Grammars. In: AGTIVE - Applications of Graph Transformations with Industrial Relevance, 2003, Charlottesvile. Proceedings of the. Berlin.: Springer - LNCS, 2003. v. 3062. p. 120-133.

  • SANTOS, Osmar Marchi dos ; DOTTI, F. L. . Proposta de uma abordagem para a verificacao formal de Sistemas Distribuidos Baseados em Objetos. In: Workshop de tolerancia a falhas - co-locado com SBRC, 2003, Natal - RN. Anais do WTF03 - Workshop de Tolerancia a Falhas, 2003. v. 1. p. 1-8.

  • SANTOS, Osmar Marchi dos ; DOTTI, F. L. . Specification of Object-Based Distributed Systems. In: SIRC - Simpósio de Informática da Região Centro do RS, 2003, Santa Maria. Anais do SIRC, 2003. v. 1. p. 1-8.

  • DOTTI, F. L. ; FOSS, Luciana ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos . Verification of Distributed Object-Based Systems. In: FMOODS - Formal Methods for Open Object-Based Distributed Systems, 2003, Paris. Proceedings of the International Conference on Formal Methods for Open Object-Based Distributed Systems. Berlin: Springer - LNCS, 2003. v. 2884. p. 261-275.

  • DOTTI, F. L. ; DUARTE, Lucio Mauro ; RIBEIRO, Leila ; COPSTEIN, Bernardo . Simulation of Mobile Applications. In: In Communication Networks And Distributed Systems Modeling And Simulation Conference 2002, Part of the 2002 SCS Western Multiconference on Computer Simulation, 2002, San Antonio, Texas. CNDS2002 - Communication Networks And Distributed Systems Modeling And Simulation Conference 2002, Part of the 2002 SCS Western Multiconference on Computer Simulation, 2002. v. 1. p. 261-267.

  • MATHIAS, E. N. ; COSTA, Celso Maciel da ; DOTTI, F. L. ; MÜLLER, Felipe . DEVOpt: a Distributed Architecture Supporting Heuristic and Metaheuristic Optimization Methods. In: 17th ACM Symposium on Applied Computing, 2002, Madrid. 17th ACM Symposium on Applied Computing (Special Track on Parallel and Distributed Systems and Networking), 2002. v. 1. p. 870-875.

  • DOTTI, F. L. ; DUARTE, Lucio Mauro ; SILVA, F. M. A. ; ANDRADE, A. M. S. . A Framework for Supporting the Development of Correct Mobile Code Applications based on Graph Grammars. In: Integrated Desing Process Technology, 2002, Pasadena, California,. The 6th Biennial World Conference on Integrated Design Process Technology, 2002. v. 1. p. 1-9.

  • RÖDEL, Eduardo Tavares ; DUARTE, Lucio Mauro ; SANTOS, Osmar Marchi dos ; DOTTI, F. L. . Simulation of Mobile Applications in Open Environments. In: IV Workshop de Comunicação sem Fio e Computação Móvel, 2002, São Paulo. Anais do IV Workshop de Comunicação sem Fio e Computação Móvel, 2002. v. 1. p. 246-256.

  • MÜLLER, Felipe ; COSTA, Celso Maciel da ; MATHIAS, E. N. ; DOTTI, F. L. . Distributed Evolutionary Optimization Centers. In: CARS&FOF´2002: 18th International Conference on CAD/CAM, Robotics and Factories of the Future, 2002, Porto - Portugal. Proceedings of the CARS&FOF´2002: 18th International Conference on CAD/CAM, Robotics and Factories of the Future, 2002. v. 1. p. 1-8.

  • DOTTI, F. L. ; Lunardi, S.C. . Uma Camada de Adaptação à Qualidade de Serviço na Internet para Aplicações Multtimídia. In: Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais do 19o. Simpósio Brasileiro de Redes de Computadores, 2001. v. 1. p. 17-32.

  • DOTTI, F. L. ; Lunardi, S.C. . A Framework-based Approach to Build Adaptive Multimedia Applications with Quality of Service. In: IEEE ICON2001 - International Conference on Networks, 2001, Bangkok - Tailandia. Proceedings of the IEEE ICON2001 - International Conference on Networks, 2001. p. 517-522.

  • COSTA, Celso Maciel da ; DOTTI, F. L. ; MATHIAS, E. N. ; MÜLLER, Felipe . A Distributed Architecture for Supporting Heuristic and Metaheuristic Optimization Methods. In: XIII SBAC-PAD - 13th Symposium on Computer Architecture and High Performance Computing, 2001, Pirrenópolis - GO - Brazil. Proceeding of the XIII SBAC-PAD - 13th Symposium on Computer Architecture and High Performance Computing, 2001.

  • DUARTE, Lucio Mauro ; DOTTI, F. L. . Desenvolvimento de Aplicações Móveis Corretas. In: III Workshop de Comunicação sem Fio e Computação Móvel, 2001, Recife. Anais do III III Workshop de Comunicação sem Fio e Computação Móvel. Recife: Centro de Informática - Universidade Federal de Pernambuco, 2001. v. 1. p. 10-17.

  • DOTTI, F. L. ; CRISTAL, M. O. ; COSTA, Celso Maciel da ; MÜLLER, Felipe . A Federated Architecture for Autonomous Optimization Centers. In: Internalional Conference on Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas. Proceedings of the Internalional Conference on Parallel and Distributed Processing Techniques and Applications. Athens - Georgia - USA: C.S.R.E.A. Press - Computer Sciences Research, Education and Application Tech., 2000. v. IV. p. 1913-1918.

  • DOTTI, F. L. ; DUARTE, Lucio Mauro . Monitoring Mobile Code. In: Intenational Conference on Distributed Processing Techniques and Applications, 2000, Las Vegas. Proceedings of the Intenational Conference on Distributed Processing Techniques and Applications. Athens - Georgia - USA: C.S.R.E.A. Press - Computer Sciences Research, Education and Applications Tech, 2000. v. IV. p. 2029-2034.

  • DOTTI, F. L. ; CRISTAL, M. O. ; COSTA, Celso Maciel da ; MÜLLER, Felipe . A Distributed Environment for Solving Optimization Problems. In: SBRC2000 - Simpósio Brasileiro de Redes de Computadores, 2000, Belo Horizonte. Proceedings of the SBRC2000 - Simpósio Brasileiro de Redes de Computadores. Belo Horizonte, Minas Gerais: UFMG, 2000.

  • DOTTI, F. L. ; CRISTAL, M. O. ; COSTA, Celso Maciel da ; MÜLLER, Felipe ; NUNES, M. L. . Design and Implementation of Cooperative Optimization Centers. In: 16th International Conference on CAD/CAM, Robotics and Factories of the Future - CARS & FOF 2000, 2000, St. Augustine. Proceedings of the 16th International Conference on CAD/CAM, Robotics and Factories of the Future - CARS & FOF 2000. St. Augustine, Trinidad W.I.: University of the West Indies, 2000. p. 24-30.

  • COSTA, Celso Maciel da ; DOTTI, F. L. ; PILLON, M. ; MÜLLER, Felipe . JavaSim - A Kernel for Distributed Simulation Environments. In: 16th International Conference on CAD/CAM, Robotics and Factories of the Future - CARS & FOF 2000, 2000, St. Augustine. Proceedings of the 16th International Conference on CAD/CAM, Robotics and Factories of the Future - CARS & FOF 2000. St. Augustine, Trinidad W.I.: University of the West Indies., 2000. p. 127-134.

  • COSTA, Celso Maciel da ; PILLON, M. ; DOTTI, F. L. ; MÜLLER, Felipe . Global Scheduling for a Distributed Simulation Environment. In: 16th Internationa Conference on CAD/CAM, Robotics and Factories of the Future - CARS & FOF 2000, 2000, St. Augustine. Proceedings of the 16th Internationa Conference on CAD/CAM, Robotics and Factories of the Future - CARS & FOF 2000. St. Augustine, Trinidad W.I.: University of the West Indies., 2000. p. 31-36.

  • STAGGEMEIER, A. T. ; MÜLLER, Felipe ; CRISTAL, M. O. ; DOTTI, F. L. ; COSTA, Celso Maciel da . Integração de Ambientes para Resolução de Problemas de Otimização Combinatória. In: XXXII Simpósio Brasileiro de Pesquisa Operacional, 2000, Rio de Janeiro. Proceedings do XXXII SBPO - Simpósio Brasileiro de Pesquisa Operacional.

  • COSTA, Celso Maciel da ; DOTTI, F. L. ; COPETTI, A. ; PREUSS, E. . MDX: A Parallel Programming Environment Supporting Distributed Shared Memory and Message Passing. In: AST2000 - Argentine Symposium on Computing Technology - JAIIO2000 - Jornadas Argentinas de Informática e Investigaciones Operativas., 2000, Tandil - Argentina.. Anais do JAIIO2000 - Jornadas Argentinas de Informática e Investigaciones Operativas., 2000.

  • Lunardi, S.C. ; DOTTI, F. L. . Uma Camada de Suporte a Qualidade de Serviço para Aplicações Multimídia na Internet. In: Seminários de Andamento 2000, 2000, Porto Alegre. Anais - Seminário de Andamento 2000. Porto Alegre - RS: Pontifícia Universidade Católica do Rio Grande do Sul, 2000. v. 1. p. 113-121.

  • DOTTI, F. L. ; RIBEIRO, Leila . Code Mobility in Open Systems: a Formal Approach. In: International Conference on Distributed Processing Techniques and Applications, 2000, Las Vegas. Proceedings of the International Conference on Distributed Processing Techniques and Applications. Athens - Georgia - USA: C.S.R.E.S. Press - Computer Sciences Rerarch, Educations and Applications Tech., 2000. v. V. p. 2401-2408.

  • DOTTI, F. L. ; RIBEIRO, Leila . Specification of Mobile Code Systems using Graph Grammars. In: Formal Methods for Open Object-Based Distributed Systems, 2000, Stanford. Proceedings of the fourth international conference on Formal Methods for Open Object-Based Distributed Systems. London: Kluwer Academic Publishers, 2000. v. 1. p. 45-64.

  • DOTTI, F. L. ; NYGAARD, F. ; DUARTE, Lúcio Mauro ; REZNICEK, R. D. . Um Monitor de Objetos Móveis: Concepção, Arquitetura e Resultados Práticos. In: I Workshop de Comunicação sem Fio, 1999, Belo Horizonte. Anais do I Workshop .. Belo Horizonte: UFBH, 1999. p. 113-122.

  • DOTTI, F. L. ; NYGAARD, F. ; DUARTE, Lúcio Mauro ; REZNICEK, R. D. . Um Monitor de Objetos Móveis. In: Congresso Latinoamericano de Informática, 1999, Assunção, Paraguai.. Anais do 25o Congresso Latinoamericano de Informática. Assunção: Universidad Nacional de Asunción e Universidad Nacional del Este, 1999. v. 2. p. 769-778.

  • DOTTI, F. L. . Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. In: 10th International IFIP WG5.2/5.3 International Conference Prolamat 98, 1998, Trento. Proceedings of the 10th International IFIP WG5.2/5.3 International Conference Prolamat 98, 1998.

  • DOTTI, F. L. . ODP Viewpoints of Management Outsourcing. In: IEEE Network Operation and Mangement Symposium., 1996. Proceedings of the 1996 IEEE Network Operation and Mangement Symposium., 1996.

  • DOTTI, F. L. . Management Outsourcing in Open Distributed Environments. In: Enterprise Networking Workshop (in conjunction with International Conference on Communications), 1996. Proceedings of the Enterprise Networking Workshop (in conjunction with International Conference on Communications), 1996.

  • COVACI, S. ; PFEILER, M. ; ZHANG, T. ; DOTTI, F. L. . Cooperative Mangement of Bearer Servies in Multi-Domain Environments. In: Proceedings of the II Workshop of HP Open View University Association, 1995, 1995.

  • DOTTI, F. L. ; FERNANDO, L. D. . Modelling Management Outsourcing. In: 1st International Workshop on High Speed Networks and Open Distributed Platforms, 1995, St.,Petersburg, Russia. Proceedings of the 1st International Workshop on High Speed Networks and Open Distributed Platforms, 1995.

  • DOTTI, F. L. ; TAROUCO, L. M. R. . Estrutura da Base de Conhecimento de um Sistema de Apoio à Gerência de Redes Locais. In: X Simpósio Brasileiro de Redes de Computadores, 1992, Recife. Anais do X Simpósio Brasileiro de Redes de Computadores, 1992. p. 511-528.

  • DOTTI, F. L. ; TAROUCO, Liane M R . UM SISTEMA DE APOIO A GERENCIA DE REDES LOCAIS. In: IX SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1991, Florianópolis, SC, Brasil. Anais do IX SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1991. p. 400-416.

  • DOTTI, F. L. ; TAROUCO, L. M. R. . UM SISTEMA DE APOIO A ANALISE DE TRAFEGO. In: TELEMATICA 90 - SIMPOSIO INTERNACIONAL DE REDES DE COMPUTADORES E SUAS APLICACOES, 1990, Porto Alegre. Anais do TELEMATICA 90 - SIMPOSIO INTERNACIONAL DE REDES DE COMPUTADORES E SUAS APLICACOES, 1990.

  • LIANE, M. R. TAROUCO ; DOTTI, F. L. . MEFISTO - MECHANISMO EFFICIENT TO FOSTER THE IMPLEMENTATION OF SOFTWARE TOTALLY OSI ISSUES. In: ISSUES IN LAN MANAGEMENT,II, 1990, Kent - Canterbury. PROLEEDINGS OF THE IFIP TCG/UGG.4.INTERNATIONAL SYMPOSIUM. Amsterdam: North Holland, 1990. p. 221-229.

  • DOTTI, F. L. ; TAROUCO, L. M. R. . PROCESSAMENTO COOPERATIVO UTILIZANDO ACESSO ASSINCROMO A RENPAC. In: 7.SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1989, Porto Alegre. ANAIS DO 7.SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1989. p. 405-415.

  • DOTTI, F. L. ; ROCHA, R. ; FREITAS, F. ; TAMURA, K. . AMBIENTES DE DESENVOLVIMENTO DE SOFTWARE, UMA PROPOSTA DE PADRONIZACAO. In: I ENCONTRO REGIONAL DE INICIACAO CIENTIFICA, 1988, Caxias do Sul - RS - Brasil. ANAIS DO I ENCONTRO REGIONAL DE INICIACAO CIENTIFICA, 1988. p. 38-44.

  • RIBEIRO, Leila ; BURIOL, Luciana ; DOTTI, F. L. ; NUNES, Cristina Moreira ; SILVA, Roberto . Modeling the webgraph evolution with graph grammars.. In: Petri Nets and Graph Transformations, 2006, Natal. PNGT - Workshop on Petri Nets and Graph Transformations, 2006. v. 1. p. 17-18.

  • CASTRO, Tito Lívio ; DOTTI, F. L. . Avaliação de Desempenho de Algoritmos de Escalonamento na Arquitetura de Serviços Diferenciados. In: 22. Simpósio Brasileiro de Redes de Computadores, 2004, Gramado - RS. 22. Simpósio Brasileiro de Redes de Computadores, 2004. v. 1. p. 133-136.

  • DOTTI, F. L. ; COVACI, S. ; WU, D. ; LANZA, M. ; PFEILER, M. ; WIENERT, A. . Sate-of-the-Art in Management of ATM-based Networks, MILAN-Project (Management of Interconnected Local Asynchronous transfer mode Networks) Deliverable 1.0, August 1994.. Berlim. GMD-Fokus.: German Research Center for Information Technology.Research Institute for Open Communication Systems, 1994 (Relatório Interno de Projeto de Pesquisa).

  • DOTTI, F. L. ; COVACI, S. ; ZHANG, T. ; WU, D. ; PFEILER, M. ; WIENERT, A. . Management Framework - Konzepte, Architektur, Kontexte . MILAN-Project Deliverable 2.0.. Berlim. GMD-FOKUS.: German Research Center for Information Technology.Research Institute for Open Communication Systems, 1994 (Relatório Interno de Projeto de Pesquisa).

  • DOTTI, F. L. ; COVACI, S. . Customer Network Management Pre-study Milestone 2: CNM and Outsourcing Scenarios.. Berlim. GMD-FOKUS.: German Research Center for Information Technology. Research Institute for Open Communication Systems, 1994 (Relatório Interno de Projeto de Pesquisa).

  • DOTTI, F. L. ; COVACI, S. . Customer Network Management Pre-study Milestone 3: Architectural and Realization Aspects.. Berlim. GMD-FOKUS.: German Research Center for Information Technology. Research Institute for Open Communication Systems, 1994 (Relatório Interno de Projeto de Pesquisa).

  • DOTTI, F. L. ; COVACI, S. . Customer Network Management Pre-study Milestone 1: State of the Art.. Berlim. GMD-Fokus.: German Research Center for Information Technology. Research Institute for Open Communication Systems, 1994 (Relatório Interno de Projeto de Pesquisa).

Seção coletada automaticamente pelo Escavador

Outras produções

Strzykalski, M. S. ; DOTTI, F. L. . WSANSim - A Wireless Sensor and Actor Networks simulation environment. 2009.

DOTTI, F. L. . Membro de comitê de julgamento do concurso de teses e dissertações do SBRC. 2018.

DOTTI, F. L. . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2018.

DOTTI, F. L. . Membro de comitê de programa do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2017.

DOTTI, F. L. . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2017.

DOTTI, F. L. . Membro de comitê de programa do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2016.

Dotti, Fernando L. . Membro de comitê de programa do OPODIS - Principles of Distributed Systems. 2016.

DOTTI, F. L. . Membro de comitê de programa da conferencia ISSRE - International Symposium on Software Systems Reliability. 2016.

DOTTI, F. L. . Revisão de artigo para Journal of Software and Systems - Elsevier. 2016.

DOTTI, F. L. . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2016.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Simpósio Brasileiro de Redes de Computadores (2016). 2015.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2015.

DOTTI, FERNANDO LUIS . Avaliação de Projetos da 3ra Chamada Coordenada Brasil-União Européia em TICs (BR-UE 2015). 2015.

DOTTI, FERNANDO LUIS . Revisão de artigos científicos para 26th International Symposium on Software Reliability Engineering (ISSRE). 2015.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Simpósio Brasileiro de Redes de Computadores. 2015.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Simpósio Brasileiro de Redes de Computadores. 2014.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2014.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Simpósio Brasileiro de Redes de Computadores. 2013.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2013.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2012.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2011.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2010.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2009.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2008.

DOTTI, FERNANDO LUIS . Membro de comitê de programa do Workshop de Testes e Tolerância a Falhas. 2007.

DOTTI, F. L. ; SILVA, F. M. A. ; RIBEIRO, Leila . ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos. 2000.

DOTTI, F. L. ; RIBEIRO, Leila ; CORRADINI, Andrea ; SILVA, F. M. A. . IQ-Mobile: Improving the Quality of Open Systems with Code Mobility through Rigorous Development. 2000.

FERNANDES, Paulo Henrique Lemelle ; DOTTI, F. L. ; CALAZANS, Ney Laert Villar . Um Simulador para Sistemas de Transportes Urbanos. 1998.

DOTTI, F. L. . Código Móvel - Suporte e Aplicações. 1998.

DOTTI, F. L. . Código Móvel: Suporte e Aplicações (Palestra em semana acadêmica). 2000. (Palestra em Semana Acadêmica).

DOTTI, F. L. . Objetos Distribuídos (Palestra em semana acadêmica). 1999. (Palestra em Semana Acadêmica).

DOTTI, F. L. . Integração de Serviços na Internet (Palestra em semana acadêmica). 1999. (Palestra em Semana Acadêmica).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2014 - Atual

    Scalable Dependability, Descrição: This is a CAPES-Science Without Borders project to host international researcher Fernando Pedone from USI (Swiss) and conduct joint research activities. This project aims at designing novel techniques for scalable state-machine replication. In this respect, we have designed and implemented two execution models, P-SMR and S-SMR, as described in the project proposal (document uploaded with this submis- sion). This project will address three fundamental aspects of P-SMR and S-SMR: (a) automated and semi-automated conflict detection; (b) recovery in scalable and parallel SMR; and (c) dynamic reconfiguration in scalable and parallel SMR. Automated and semi-automated conflict detection. In its current form, P-SMR requires the service designer to identify command dependencies by means of manual inspection. The designer must provide a structure that identifies which pairs of commands can be exe- cuted concurrently and which pairs must be executed sequentially. We intend to investigate approaches to automated conflict detection. Recovery in Scalable and Parallel SMR. Although recovery is crucial in the design of fault-tolerant systems, in the context of state-machine replication minor advances have been observed. Recent literature reviewed the literature and pointed out weaknesses of the common durability techniques (logging, checkpointing and state transfer) applied to the SMR model. Further, discussions can be found on challenges and performance limitations of checkpointing in practical SMR implementations. No approach in the literature has proposed recovery procedures for the multithreaded and distributed versions of SMR. Dynamic reconfiguration in Scalable and Parallel SMR Dynamic reconfiguration is the ability of a system to change its membership ?on-the-fly?, that is, members can join and leave the system during execution, as opposed to shutting down the system and then restarting it with the new configuration. Dynamic reconfiguration is an essential property in environments in which membership may change often and high availability is needed. Although reconfiguration has been studied in the context of state-machine replication under relatively stable conditions, existing algorithms are not efficient if the system is large and its members change often.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . , Integrantes: Fernando Luís Dotti - Coordenador / Odorico Machado Mendizabal - Integrante / Joni Fraga - Integrante / Eduardo Alchieri - Integrante / Fernando Pedone - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2010 - 2013

    Verificação de Modelos descritos em Redes de Automatos Estocasticos, Descrição: Projeto aprovado na FAPERGS - em fase de contratação. Este projeto propõe o desenvolvimento de técnicas de verificação de modelos descritos em Redes de Automatos Estocásticos. Pretende-se construir a capacidade de avaliar se propriedades descritas em Lógica Temporal estão presentes em uma Rede de Autômatos. Em uma segunda fase pretende-se investigar a verificação probabilística de modelos descritos em Redes de Autômatos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Fernando Luís Dotti - Coordenador / Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Thais Cristina Webber dos Santos - Integrante.

  • 2010 - 2013

    Verificação de Modelos descritos em Redes de Autômatos Estocásticos, Descrição: Entre os 'Grandes Desafios da Computação no Brasil: 2006-2016' consta 'Desenvolvimento tecnológico de qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos', conforme documento da Sociedade Brasileira de Computação. A construção de sistemas com tais características requer suporte em diferentes fases do seu ciclo de vida. Nesta proposta damos ênfase à necessidade de linguagens, métodos e ferramentas que suportem modelagem e análise em fases iniciais do projeto do sistema. Análise, aqui, refere-se tanto à capacidade de avaliação de aspectos quantitativos do modelo, permitindo aferir níveis de disponibilidade e escalabilidade, como também avaliar se o modelo do sistema respeita especificações de comportamento, permitindo avaliar aspectos de corretude e segurança. Redes de Autômatos Estocásticos é um formalismo voltado à avaliação quantitativa de sistemas, sendo atrativo por permitir a construção de modelos markovianos estruturados e pela possibilidade de emprego de álgebra tensorial para sua solução, o que gera economia no tratamento de modelos a grande espaços de estados. Além da avaliação quantitativa, deseja-se, a partir de um modelo, realizar também análise de propriedades funcionais. Isto é possível para alguns formalismos de avaliação quantitativa como Cadeias de Markov, Redes de Petri Estocásticas e Álgebra de Processos Estocásticas. Devido aos importantes conceitos do formalismo e ao envolvimento do grupo de pesquisa com o mesmo (vide projeto), este projeto propõe o desenvolvimento de técnicas de verificação de modelos (model checking) para análise de modelos descritos em Redes de Autômatos Estocásticos. São propostas duas abordagens para atingir este objetivo. Ao final do projeto a verificação de modelos deverá estar disponível em uma ferramenta integrada à já existente capacidade de avaliação quantitativa.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Fernando Luís Dotti - Coordenador / Leila Ribeiro - Integrante / Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Thais Cristina Webber dos Santos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2009 - 2011

    PALEOPROSPEC Modelagem Paleogeográfica e Paleoclimática da Abertura e Evolução do Atlântico Sul, Descrição: Este projeto de pesquisa tem por objetivo desenvolver modelos numéricos que simulem a evolução paleogeográfica e paleoclimática do Atlântico Sul, com ênfase na probabilidade de estabelecimento de condições favoráveis para a deposição e preservação de sedimentos ricos em matéria orgânica no espaço e no tempo, e conseqüentemente predição de ocorrência de potenciais rochas geradoras de petróleo. A metodologia para o desenvolvimento deste projeto consiste em completar dados disponíveis na comunidade científica com novas estimativas baseadas em modelos estocásticos que permitirão a montagem de uma base de dados com relações probabilísticas sobre a composição das atuais bacias sedimentares marinhas nos últimos 140 milhões de anos. São esperados como produtos deste projeto modelos que poderão ser utilizados como ferramenta auxiliar exploratória para determinação de plays exploratórios e ocorrência de hidrocarbonetos em bacia sedimentares marinhas do Atlântico Sul, como por exemplo, da margem atlântica brasileira. Os resultados dos modelos numéricos utilizados serão comparados com regiões onde a deposição de rocha geradora de petróleo ocorre, e onde estão bem estabelecidos plays exploratórios.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (9) / Doutorado: (3) . , Integrantes: Fernando Luís Dotti - Integrante / César Augusto F De Rose - Integrante / Paulo H L Fernandes - Coordenador / Duncan Dubugras Ruiz - Integrante., Financiador(es): Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro.

  • 2009 - 2010

    Especificação e Análise de Sistemas Distribuídos utilizando Event-B, Descrição: Garantir o funcionamento correto de sistemas distribuídos não é uma tarefa trivial pois envolve o domínio de detalhados aspectos do sistema em questão e do ambiente suposto para seu funcionamento. Neste tipo de sistema, é comum supor a ocorrência de determinados tipos de falhas. Neste caso, o construtor do sistema deve também ter uma clara compreensão sobre estados e ações normais ou anormais do sistema, bem como de recuperação, para então construir um sistema com comportamento bem definido mesmo na presença de falhas. Dada esta complexidade, o grupo de pesquisa onde este projeto se insere tem investido esforços no uso de métodos formais de especificação e análise de sistemas distribuídos, buscando tanto identificar metodologias adequadas para o desenvolvimento dos mesmos como formalizar abstrações e mecanismos de suporte. Nesta linha de atividades, o grupo de pesquisa está iniciando colaboração com a Universidade de Newcastle (Centre for Software Reliability). Neste contexto temático e no escopo da colaboração mencionada, este projeto propõe o desenvolvimento de abstrações adequadas para representar sistemas distribuídos utilizando o formalismo Event-B. Event-B foi proposto para a representação de sistemas reativos e se destaca tanto pela conjunto de ferramentas de análise existentes como pela sua aceitação na indústria. Seu uso para a representação de sistemas distribuídos é crescente. Entretanto, nota-se a falta de abstrações para facilitar a representação de sistemas compostos por processos comunicantes por troca de mensagens. Este projeto propõe a criação de tais abstrações e seu uso em estudos de caso representativos de sistemas distribuídos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Fernando Luís Dotti - Coordenador / Paulo Junior Penna Pivetta - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2008 - 2009

    Especificação e Análise de Sistemas Tolerantes a Falhas, Descrição: Garantir o funcionamento correto de sistemas tolerantes a falhas não é uma tarefa trivial pois envolve o domínio de detalhados aspectos do sistema em questão e do ambiente suposto para seu funcionamento, bem como dos tipos de falhas que podem ocorrer e dos adequados mecanismos para seu tratamento. O construtor do sistema deve ter uma clara compreensão sobre estados e ações normais ou excepcionais do sistema, para então construir um sistema com comportamento bem definido na presença de falhas. Dada esta complexidade, e alinhado com direçõoes de pesquisa dos centros de contato, este projeto propõe o uso de métodos formais de especificação e análise de sistemas, buscando tanto identificar metodologias adequadas para o desenvolvimento de sistemas tolerantes a falhas como formalizar abstrações e mecanismos de suporte para tal. Para a realizaçãao do projeto buscou- se parceiria com importantes centros de pesquisa tanto na área de tolerância a falhas (Centre for Software Reliability - Newcastle University), como na área de métodos formais (High Integrity Systems Engineering group - University of York).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Fernando Luís Dotti - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2003 - 2004

    CASCO - Centro de Análise de Sistemas Concorrentes, Descrição: O projeto CASCO tem como objetivo o desenvolvimento de métodos de especificação e análise de sistemas concorrentes, bem como o emprego destes métodos em caso relevantes e o suporte a estes métodos através de ferramentas computacionais adequadas. Entre os métodos de especificação trabalhamos mais especificamente com Redes de Autômatos Estocásticos e Gramática de Grafos. O primeiro permitindo análise quantitativa de modelos descritos e o segundo com ênfase em verificação dos modelos descritos. Este projeto foi desenvolvido em parceria com HP-Brasil, utilizando recursos da lei de informática.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (8) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fernando Luís Dotti - Coordenador / Osmar Marchi dos Santos - Integrante / Fábio Pasini - Integrante / Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Odorico Machado Mendizabal - Integrante., Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Cooperação., Número de produções C, T & A: 8 / Número de orientações: 2

  • 2002 - 2005

    DACHIA - Modeling, Analysis and Development of an Approach for the Construction of High Quality Internet Applications based on Visual Languages and Formal Methods, Descrição: Modeling, Analysis and Development of an Approach for the Construction of High Quality Internet Applications based on Visual Languages and Formal Methods. Developed in conjunction with Technical University Berlin, University of Stuttgart, UFRGS and PUCRS.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fernando Luís Dotti - Integrante / Leila Ribeiro - Coordenador / Roswitha Bardohl - Integrante / Olaf Kluge - Integrante / Bernhard Bardhol - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro / Bundesministeriur fur Bildung und Forschung - Auxílio financeiro., Número de produções C, T & A: 12 / Número de orientações: 3

  • 2001 - 2004

    IQ-Moblie (phase I and II)- Improving the Quality of Open Systems with Code Mobility through Rigorous Development, Descrição: The fast and continuous evolution of computing and communication capabilities have resulted in massively distributed computational environments which are now becomming a common platform for large scale distributed programming. Internet applications distinguish themselves from traditional applications on scalability (huge number of users and nodes), connectivity (both availability and bandwidth), heterogeneity (operating systems and application software) and autonomy (of administration domains having strong control of their resources). Developing applications for such environments is rather complex and therefore research efforts have been directed to improve support for development of distributed applications. One such effort is the research area around code mobility, among other paradigms. These emerging programming paradigms require on the one hand mechanisms to support mobility of code and computations, and effective infrastructures to support coordination and control of dynamically loaded software modules. On the other hand, an abstract semantic framework to formalize the model of computation of Internet applications is needed. Such semantic framework may provide the formal basis to discuss and motivate controversial design/implementation issues and to state and certify properties in a rigorous way. The project is a bilateral cooperation (Brazil/Italy) supported by CNPq and CNR (respectivelly the Brazilian and Italian National Research Councils). At the Italian side, Univerity of Pisa and CNR-IEI take part. At the brazilian side, PUCRS, UFRGS and UFBA-LaSiD are involved. The main goal is to improve the quality of software for open environments, in special mobile and distributed applications, through the use of formal methods. http://www.inf.pucrs.br/~formos/iqmobile.htm. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fernando Luís Dotti - Integrante / Leila Ribeiro - Coordenador / Andrea Corradini - Integrante / Flávio Morais de Assis Silva - Integrante / Stefania Gnesi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Consiglio Nazionale delle Ricerche - Auxílio financeiro., Número de produções C, T & A: 13 / Número de orientações: 3

  • 2001 - 2003

    ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos, Descrição: O objetivo do projeto ForMOS é melhorar a qualidade de software, em especial aplicações móveis e algoritmos/protocolos distribuídos, para ambientes abertos através do uso de métodos formais (para especificação, verificação, análise e geração de código correto). O projeto também é caracterizado por sua interdisciplinaridade, integrando grupos de diferentes instituições e de diferentes áreas. A equipe que executará este projeto é formada por pesquisadores da PUCRS e UFRGS, e UFBA/LaSiD, colaborando com as equipes dos projetos DACHIA e IQ-Mobile.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fernando Luís Dotti - Coordenador / Leila Ribeiro - Integrante / Flávio Morais de Assis Silva - Integrante / Aline M Santos Andrade - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra., Número de produções C, T & A: 10 / Número de orientações: 2

  • 1998 - 2001

    PeCOD - Projeto de Centros de Otimização Distribuídos, Descrição: Dada a importância e complexidade de algoritmos de otimização combinatorial, propõe-se neste projeto a criação de um ambiente de suporte à disponibilização e reuso de tais algoritmos. Este ambiente será concebido e implantado de forma a maximizar a oferta de algoritmos de otimização por diferentes entidades, bem como facilitar seu uso através da Internet. Quatro características principais marcam este ambiente: distribuição, heterogeneidade, autonomia e cooperação. As entidades participantes poderão estar localizadas em sítios geograficamente distribuídos; utilizar-se de plataformas heterogêneas de software e hardware; são autônomas quanto à sua participação no ambiente - por exemplo, uma entidade pode decidir quanto tempo participa no ambiente e quais serviços disponibiliza; e cooperam no sentido de compartilhar serviços entre elas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fernando Luís Dotti - Integrante / Celso Maciel da Costa - Coordenador / Felipe Müller - Integrante / Maurício Pillon - Integrante / Eder Nicoletti Mathias - Integrante / Maurício de Oliveira Cristal - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 2

  • 1998 - 2000

    Mobilidade de Código: Suporte e Aplicações, Descrição: Este projeto teve como objetivos principais: (i) o estudo da adequação dos conceitos e tecnologias de Código Móvel na construção de diferentes classes de sistemas distribuídos, realizando estudos de caso; (ii) o desenvolvimento de mecanismos de suporte a monitoração de aplicações construídas segundo estes conceitos; (iii) o desenvolvimento de abordagens para a garantia do correto funcionamento de aplicações utilizando código móvel.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fernando Luís Dotti - Coordenador / Lucio Mauro Duarte - Integrante / Lucio Mauro Duarte, Roberto D. Reznizceck, Fernando Nygaard - Integrante / Luciano Schilling, Luciane Bonatto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 2

Seção coletada automaticamente pelo Escavador

Prêmios

2001

4o lugar no concurso de teses e dissertações - Orientação de LUNARDI, Sediane. C. Uma Camada de Suporte à Qualidade de Serviço para Aplicações Multimídia na Internet (Dissertação de Mestrado)., CLEI-UNESCO.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática. , Av. Ipiranga, 6681 - Prédio 32 - Caixa Postal 1429, Partenon, 90619-900 - Porto Alegre, RS - Brasil, Telefone: (51) 33203611, Fax: (51) 3203621, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

1998 - Atual

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Professor Adjunto, Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.

Atividades

  • 06/1998

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos (anterior), Modelos de Computação Concorrente, Programação Orientada a Objetos (anterior), Redes de Computadores (anterior), Sistemas Distribuídos, Sistemas Operacionais

  • 03/1998

    Pesquisa e desenvolvimento , Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.,Linhas de pesquisa

  • 03/1998

    Ensino, Pós Graduação Em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Programação Distribuída (anterior), Redes de Computadores (anterior), Tópicos Especiais em Ciência da Computação (verificação de algoritmos distribuídos), Sistemas Distribuídos, Tópicos Especiais em Ciência da Computação (construção de plataformas de distribuição)

  • 12/2011 - 12/2017

    Direção e administração, Faculdade de Informática, .,Cargo ou função, Diretor da Faculdade de Informática.

  • 06/2010 - 12/2011

    Direção e administração, Programa de Pós-Graduação em Ciência da Computação, .,Cargo ou função, Coordenador do Programa de Pós Graduação em Ciência da Computação.

  • 03/2005 - 12/2010

    Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Avaliação Quantitativa de Sistemas

  • 12/2005 - 12/2007

    Direção e administração, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.,Cargo ou função, Coordenador de Programa.

  • 03/2004 - 12/2005

    Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais

  • 03/1999 - 07/2005

    Ensino, Pós Graduação Em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Processamento Paralelo e Distribuído, Aspectos Avançados de Redes de Computadores, Orientacao de dissertação de mestrado

  • 03/1999 - 06/2003

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação III - Orientação a Objetos e Programação Concorrente

  • 03/2001 - 02/2002

    Direção e administração, Faculdade de Informática, .,Cargo ou função, Membro da comissão coordenadora do Programa de Pós-Graduação em Ciência da Computação.

  • 01/1999 - 11/1999

    Direção e administração, Faculdade de Informática, .,Cargo ou função, Membro da comissão coordenadora do Programa de Pós-Graduação em Ciência da Computação.

  • 03/1999 - 06/1999

    Extensão universitária , Faculdade de Informática, .,Atividade de extensão realizada, Curso de Especialização (Exército) - Disciplina: Arquitetura Cliente Servidor.

2002 - 2004

Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul

Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 0

Atividades

  • 05/2002 - 07/2004

    Conselhos, Comissões e Consultoria, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, .,Cargo ou função, Membro de comitê assessor.

2009 - Atual

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Membro da CE de Tolerância a Falhas - SBC

2007 - 2008

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Vice-coordenador Fórum Coordenadores PPGCC

Outras informações:
Vice-coordenador do Fórum de Coordenadores de Programas de Pós-Graduação em Ciência da Computação (GT7 - SBC)

2006 - 2007

Sociedade Brasileira de Computação

Vínculo: Colaborador, Enquadramento Funcional: Coordenador do Fórum de Coordenadores PGCC, Carga horária: 2

Outras informações:
Coordenador do Fórum de Coordenadores de Pós-Graduação em Ciência da Computação - GT7

Atividades

  • 07/2007

    Direção e administração, Sociedade Brasileira de Computação, .,Cargo ou função, Vice-coordenador do GT7 - Fórum de Coordenadores de Programas de Pós-Graduação em Ciência da Computação.

  • 07/2006 - 07/2007

    Direção e administração, Sociedade Brasileira de Computação, .,Cargo ou função, Coordenador do GT7 - Fórum de Coordenadores de Programas de Pós-Graduação em Ciência da Computação.

1991 - 1991

Universidade de Caxias do Sul

Vínculo: Outro, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

  • 03/1991 - 12/1991

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teleprocessamento

1991 - 1992

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista DTI, Enquadramento Funcional: Bolsista DTI, Regime: Dedicação exclusiva.

1989 - 1991

Universidade Federal do Rio Grande do Sul

Vínculo: Outro, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.

1986 - 1988

Universidade Federal do Rio Grande do Sul

Vínculo: Bosista BIC, Enquadramento Funcional: Bolsista BIC, Carga horária: 20

Outras informações:
Bolsista BIC