Rede de Colaboração
Diretório de grupos de pesquisa

Fernando Luís Dotti

possui graduação e mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1988 e 1991), e doutorado em Ciência da Computação pela Universidade Técnica de Berlim (1997). De agosto de 2008 a julho de 2009 esteve em estágio pós-doutoral em visita às Universidades de Newcastle e York, Inglaterra. Desde 1998 é professor em tempo integral na Pontifícia Universidade Católica do Rio Grande do Sul, onde atua como orientador no Programa de Pós-Graduação em Ciência da Computação. Tem experiência em redes de computadores e sistemas distribuídos, aplicando técnicas de especificação, verificação e análise quantitativa de protocolos de comunicação e algoritmos distribuídos. Durante o estágio pós-doutoral investigou técnicas de especificação formal e análise aplicadas a sistemas tolerantes a falhas. Atualmente é Coordenador do Programa de Pós-Graduação em Ciência da Computação da PUCRS.
(Texto informado pelo autor)

Última atualização do currículo em 15/07/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/3145198954829457
Dados pessoais
NomeFernando Luís Dotti
Nome em citações bibliográficasDOTTI, F. L.;Dotti, Fernando L.;Dotti, Fernando Luís
SexoMasculino
Endereço profissionalPontifí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: http://www.inf.pucrs.br/~fldotti

Formação acadêmica/Titulação
2008 - 2009Pós-Doutorado .
University of Newcastle.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
2008 - 2009Pós-Doutorado .
University of York.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
1993 - 1997Doutorado em Ciência da Computação .
Technische Universitat Berlin, T.U.B., Alemanha.
Título: Management Systems for Autonomous Administrative Domains - Modelling Aspects and Realization Techniques for Intra- and Inter-Domain Mechanisms, Ano de Obtenção: 1997.
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 Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Setores de atividade: Informática; Fabricação de Aparelhos e Equipamentos de Telecomunicação.
1989 - 1991Mestrado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
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 / Área: Ciência da Computação / Subárea: Sistemas de Computação.
1985 - 1988Graduação em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Atuação profissional
Sociedade Brasileira de Computação, SBC, Brasil.
Vínculo institucional
2009 - Atual Vínculo: Colaborador, Enquadramento Funcional: Membro da CE de Tolerância a Falhas - SBC
Vínculo institucional
2007 - 2008 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)
Vínculo institucional
2006 - 2007 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 - AtualDireçã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/2007Direçã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.
Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil.
Vínculo institucional
2002 - 2004 Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 0
Atividades
5/2002 - 7/2004Conselhos, Comissões e Consultoria, .
Cargo ou função
Membro de comitê assessor.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional
1998 - Atual Vínculo: Professor Adjunto, Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.
Atividades
2009 - AtualAtividades de Participação em Projeto, Programa de Pós-Graduação em Ciência da Computação, .
Projetos de pesquisa
PALEOPROSPEC Modelagem Paleogeográfica e Paleoclimática da Abertura e Evolução do Atlântico Sul
3/2005 - AtualEnsino, Bacharelado em Informática, Nível: Graduação.
Disciplinas ministradas
Avaliação Quantitativa de Sistemas
3/2004 - AtualEnsino, Nível: Pós-Graduação.
Disciplinas ministradas
Tópicos especiais em Processamento Paralelo e Distribuído
6/1998 - AtualEnsino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Trabalho de conclusão de curso de graduação
3/1998 - AtualPesquisa e desenvolvimento , Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Linhas de pesquisa
Processamento Paralelo e Distribuído
Redes de Computadores
Sistemas Distribuídos
3/1998 - AtualEnsino, Nível: Pós-Graduação.
Disciplinas ministradas
Programação Distribuída
Orientação de trabalho individual de mestrado
2010 - 2013Atividades de Participação em Projeto, Programa de Pós-Graduação em Ciência da Computação, .
Projetos de pesquisa
Verificação de Modelos descritos em Redes de Automatos Estocasticos
Verificação de Modelos descritos em Redes de Autômatos Estocásticos
2009 - 2010Atividades de Participação em Projeto, Programa de Pós-Graduação em Ciência da Computação, .
Projetos de pesquisa
Especificação e Análise de Sistemas Distribuídos utilizando Event-B
2008 - 2009Atividades de Participação em Projeto, Programa de Pós-Graduação em Ciência da Computação, .
Projetos de pesquisa
Especificação e Análise de Sistemas Tolerantes a Falhas
12/2005 - 12/2007Direçã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.
3/2004 - 12/2005Ensino, Engenharia da Computação, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais
9/2002 - 9/2005Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
DACHIA - Modeling, Analysis and Development of an Approach for the Construction of High Quality Internet Applications based on Visual Languages and Formal Methods
3/1999 - 7/2005Ensino, 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
6/2003 - 12/2004Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
CASCO - Centro de Análise de Sistemas Concorrentes
1/2001 - 12/2004Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
IQ-Moblie (phase I and II)- Improving the Quality of Open Systems with Code Mobility through Rigorous Development
3/1998 - 12/2004Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Redes de Computadores
8/2001 - 12/2003Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos
3/1999 - 6/2003Ensino, 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
3/2001 - 2/2002Direçã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.
3/1998 - 3/2001Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
PeCOD - Projeto de Centros de Otimização Distribuídos
10/1998 - 10/2000Atividades de Participação em Projeto, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
Projetos de pesquisa
Mobilidade de Código: Suporte e Aplicações
1/1999 - 11/1999Direçã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.
3/1999 - 6/1999Extensão universitária , Faculdade de Informática, .
Atividade de extensão realizada
Curso de Especialização (Exército) - Disciplina: Arquitetura Cliente Servidor.
Universidade de Caxias do Sul, UCS, Brasil.
Vínculo institucional
1991 - 1991 Vínculo: Outro, Enquadramento Funcional: Professor, Carga horária: 4
Atividades
3/1991 - 12/1991Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Teleprocessamento
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional
1991 - 1992 Vínculo: Bolsista DTI, Enquadramento Funcional: Bolsista DTI, Regime: Dedicação exclusiva.
Vínculo institucional
1989 - 1991 Vínculo: Outro, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.
Vínculo institucional
1986 - 1988 Vínculo: Bosista BIC, Enquadramento Funcional: Bolsista BIC, Carga horária: 20
Outras informações Bolsista BIC

Linhas de Pesquisa
1. Processamento Paralelo e Distribuído
2. Redes de Computadores
3. Sistemas Distribuídos

Projetos de Pesquisa
2010 - 2013Verificaçã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: Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Thais Cristina Webber dos Santos - Integrante / Fernando Luís Dotti - Coordenador.
.
2010 - 2013Verificaçã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: Leila Ribeiro - Integrante / Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Thais Cristina Webber dos Santos - Integrante / Fernando Luís Dotti - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa..
2009 - 2010Especificaçã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: Paulo Junior Penna Pivetta - Integrante / Fernando Luís Dotti - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa..
2009 - AtualPALEOPROSPEC 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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 10) / Mestrado acadêmico ( 9) / Doutorado ( 3) .
Integrantes: César Augusto F De Rose - Integrante / Paulo H L Fernandes - Coordenador / Duncan Dubugras Ruiz - Integrante / Fernando Luís Dotti - Integrante.
Financiador(es): Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro..
2008 - 2009Especificaçã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 - 2004CASCO - 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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Osmar Marchi dos Santos - Integrante / Fábio Pasini - Integrante / Paulo H L Fernandes - Integrante / Afonso Sales - Integrante / Odorico Machado Mendizabal - Integrante / Fernando Luís Dotti - Coordenador.
Financiador(es): Ministério da Ciência e Tecnologia - Cooperação.
Número de produções C, T & A: 8 / Número de orientações: 2.
2002 - 2005DACHIA - 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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Leila Ribeiro - Coordenador / Roswitha Bardohl - Integrante / Olaf Kluge - Integrante / Bernhard Bardhol - Integrante / Fernando Luís Dotti - 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 - 2004IQ-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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Leila Ribeiro - Coordenador / Andrea Corradini - Integrante / Flávio Morais de Assis Silva - Integrante / Stefania Gnesi - Integrante / Fernando Luís Dotti - 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 - 2003ForMOS - 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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Leila Ribeiro - Integrante / Flávio Morais de Assis Silva - Integrante / Aline M Santos Andrade - Integrante / Fernando Luís Dotti - Coordenador.
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 - 2001PeCOD - 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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Celso Maciel da Costa - Coordenador / Felipe Müller - Integrante / Maurício Pillon - Integrante / Eder Nicoletti Mathias - Integrante / Maurício de Oliveira Cristal - Integrante / Fernando Luís Dotti - 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 - Auxílio financeiro.
Número de produções C, T & A: 7 / Número de orientações: 2.
1998 - 2000Mobilidade 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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Lucio Mauro Duarte - Integrante / Lucio Mauro Duarte, Roberto D. Reznizceck, Fernando Nygaard - Integrante / Luciano Schilling, Luciane Bonatto - Integrante / Fernando Luís Dotti - Coordenador.
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.

Revisor de periódico
2008 - Atual Periódico: Software and Systems Modeling (Print)
2002 - 2002 Periódico: IEEE Transactions on Vehicular Technology

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Distribuídos.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Métodos Formais.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Redes de Computadores.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação.

Idiomas
Alemão Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Prêmios e títulos
20014o 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.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. 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.
2. 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.
3. RIBEIRO, Leila ; SANTOS, Osmar Marchi dos ; DOTTI, F. L. ; FOSS, Luciana . Correct transformation: From object-based graph grammars to PROMELA. Science of Computer Programming (Print), v. 1, p. 1-33, 2011.
4. 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.
5. 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.
6. 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.
7. 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.
8.   DOTTI, F. L. ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos ; PASINI, Fábio . Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach. Software and Systems Modeling (Print), Springer, v. 005, n. 14-z, p. 289-311, 2006.
9. 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.
10. 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.
11. 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.
Livros publicados/organizados ou edições
1. DOTTI, F. L. (Org.) ; 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. 177 p.
2. 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. 156 p.
3. 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.
4. 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.
Capítulos de livros publicados
1. 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.
2. 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.
3. 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.
Trabalhos completos publicados em anais de congressos
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
50. 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.
51. 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.
52. 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.
53. 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.
54. 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.
55. 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.
Resumos expandidos publicados em anais de congressos
1. 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.
2. 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.
Demais tipos de produção bibliográfica
1. 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).
2. 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).
3. 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).
4. 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).
5. 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).
Produção técnica
Softwares sem registro de patente
1. Strzykalski, M. S. ; DOTTI, F. L. . WSANSim - A Wireless Sensor and Actor Networks simulation environment. 2009.
Trabalhos técnicos
1. DOTTI, F. L. ; SILVA, F. M. A. ; RIBEIRO, Leila . ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos. 2000.
2. 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.
3. FERNANDES, Paulo Henrique Lemelle ; DOTTI, F. L. ; CALAZANS, Ney Laert Villar . Um Simulador para Sistemas de Transportes Urbanos. 1998.
4. DOTTI, F. L. . Código Móvel - Suporte e Aplicações. 1998.
Demais tipos de produção técnica
1. DOTTI, F. L. . Código Móvel: Suporte e Aplicações (Palestra em semana acadêmica). 2000. (Palestra em Semana Acadêmica).
2. DOTTI, F. L. . Objetos Distribuídos (Palestra em semana acadêmica). 1999. (Palestra em Semana Acadêmica).
3. DOTTI, F. L. . Integração de Serviços na Internet (Palestra em semana acadêmica). 1999. (Palestra em Semana Acadêmica).

Bancas
Participação em bancas examinadoras
Dissertações
1. DOTTI, F. L.; FERNANDES, Paulo H L; SALES, Afonso. Participação em banca de Alberto Sales e Silva. 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.
2. DOTTI, F. L.; FERNANDES, Paulo H L; SALES, Afonso. Participação em banca de Luciana da Silveira Espindola. 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.
3. BARCELOS, Antônio Marinho Pilla; PORTO, Ingrid e Schreiber Jansch; Fraga, Joni da Silva; DOTTI, F. L.; GRANVILLE, Lisandro Zambenedetti. Participação em banca de Rafael Vieira Coelho. 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.
4. DOTTI, F. L.; FERNANDES, Paulo H L; Webber dos Santos, Thais Cristina. Participação em banca de Rodrigo Fernando Shimazu. 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.
5. Dotti, Fernando L.; FERNANDES, Paulo Henrique Lemelle; MAILLARD, Nicolas; SALES, Afonso. Participação em banca de Dione Taschetto. 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.
6. FERNANDES, Paulo H L; Webber dos Santos, Thais Cristina; DOTTI, F. L.. Participação em banca de Everton Ricardo do Nascimento. 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.
7. GASPARY, Luciano; ROSE, César Augusto F de; DOTTI, F. L.. Participação em banca de Guilherme de Cunha Rodrigues. 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.
8. SALES, Afonso; FERNANDES, Paulo Henrique Lemelle; DOTTI, F. L.. Participação em banca de Gunnar Ramos Fermino. 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.
9. GRANVILLE, Lisandro Zambenedetti; DOTTI, F. L.; FERNANDES, Paulo H L. Participação em banca de Fabio Longaray Delamare. 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.
10. DOTTI, F. L.; LAMB, Luis; MOREIRA, Álvaro F.; GASPARY, Luciano. Participação em banca de Eduardo Horowitz. 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.
11. DOTTI, F. L.; FERNANDES, Paulo H L; OLIVEIRA, Flávio M. de; MOREIRA, Álvaro F.. Participação em banca de Odorico Machado Mendizabal. 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.
12. DOTTI, F. L.; ROSE, César Augusto F de; FERNANDES, Luiz Gustavo Leão; YAMIN, Adenauer Correa. Participação em banca de Rafael Krolow dos Santos Silva. 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.
13. ROSE, César Augusto F de; NAVAUX, Philippe Olivier Alexandre; ZORZO, Avelino Francisco; DOTTI, F. L.. Participação em banca de Rodrigo Neves Calheiros. 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.
14. RIBEIRO, Leila; ZORZO, Avelino Francisco; DOTTI, F. L.; FERNANDES, Paulo H L. Participação em banca de Ana Paula Salengue Scolari. 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.
15. DOTTI, F. L.; FERNANDES, Luiz Gustavo Leão; FERNANDES, Paulo Henrique Lemelle; MAILLARD, Nicolas. Participação em banca de Lucas Jassen Baldo. 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.
16. ZORZO, Avelino Francisco; COSTA, Celso Maciel da; DOTTI, F. L.. Participação em banca de Guilherme Antônio Anzilago Tesser. 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.
17. DOTTI, F. L.; ZORZO, Avelino Francisco; FERNANDES, Paulo Henrique Lemelle; NAVAUX, Philippe Olivier Alexandre. Participação em banca de Rafael Matone Chanin. 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.
18. DOTTI, F. L.; ZORZO, Avelino Francisco; BARCELOS, Antônio Marinho Pilla; FERNANDES, Luiz Gustavo Leão. Participação em banca de Mônica Lopes Corrêa. 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.
19. DOTTI, F. L.; ZORZO, Avelino Francisco; Fraga, Joni da Silva. Participação em banca de Daniel Ordobás Bortolás. 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.
20. DOTTI, F. L.; MORAES, Fernando Ghem; CALAZANS, Ney Laert Villar; TORRES, Lionel; ZEFERINO, C. A.. Participação em banca de Leonel Pablo Tedesco. 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.
21. DOTTI, F. L.; CALAZANS, Ney Laert Villar; FERNANDES, Paulo Henrique Lemelle; ROCHOL, Juergen. Participação em banca de Leonardo Dutra Castanheira. 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.
22. DOTTI, F. L.; ZORZO, Avelino Francisco; FERNANDES, Paulo Henrique Lemelle; BARCELOS, Antônio Marinho Pilla. Participação em banca de Luciano Azevedo Cassol. 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.
23. DOTTI, F. L.; ZORZO, Avelino Francisco; ROSE, César Augusto F de; CAVALHEIRO, Gerson Geraldo H. Participação em banca de Cassiano Ricardo Hess. 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.
24. DOTTI, F. L.; ROCHOL, Juergen; GRANVILLE, Lisandro Zambenedetti; CESAR NETTO, João. Participação em banca de Bayard Tamarit Simões Junior. Navegacao WEB em Sistemas Celulares 3G Baseados em GPRS. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
25. DOTTI, F. L.; ROCHOL, Juergen; CESAR NETTO, João; TAROUCO, Liane M R. Participação em banca de Fernando Manchini Serenato. 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.
26. DOTTI, F. L.; PORTO, Ingrid e Schreiber Jansch; CARISSIMI, Alexandre da Silva; CESAR NETTO, João. Participação em banca de Luís Fernando Pollo. Sistema de Gerência de Energia para Redes Locais. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
27. DOTTI, F. L.; TAROUCO, Liane M R; GRANVILLE, Lisandro Zambenedetti; ALMEIDA, Maria Janilce Bosquiroli. Participação em banca de Samuel Carrion. 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.
28. DOTTI, F. L.; CESAR NETTO, João; ROCHOL, Juergen; ALMEIDA, Maria Janilce Bosquiroli. Participação em banca de Tatiana Rotava Schabbach. 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.
29. DOTTI, F. L.; SANTOS, Luiz Cláudo Villar dos; SILVEIRA, Jorge Guedes; MORAES, Fernando Ghem. Participação em banca de Delfim Luiz Torok. 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.
30. DOTTI, F. L.; COSTA, Celso Maciel da; MÜLLER, Felipe; ZORZO, Avelino Francisco. Participação em banca de Éder Nicoletti Mathias. 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.
31. DOTTI, F. L.; ROCHOL, Juergen; ALMEIDA, Maria Janilce Bosquiroli; WAGNER, Flávio Rech. Participação em banca de Adriano Ramos Gonçalves. 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.
32. DOTTI, F. L.; ROCHOL, Juergen; CESAR NETTO, João; ALMEIDA, Maria Janilce Bosquiroli. Participação em banca de Claudio Luis Sitolino. VOIP: Um Estudo Experimental. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
33. DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; CESAR NETTO, João; WEBER, Raul Fernando. Participação em banca de Eduardo Luzeiro Feitosa. 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.
34. DOTTI, F. L.; ROCHOL, Juergen; CESAR NETTO, João; CARISSIMI, Alexandre da Silva. Participação em banca de Mouriac Halen Diemer. DTA - Discriminador de Tráfego ATM. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
35. DOTTI, F. L.; LIMA, Jose Valdeni de; WEBER, Raul Fernando; ALMEIDA, Maria Janilce Bosquiroli. Participação em banca de Tommy Jakobsen. 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.
36. DOTTI, F. L.; COSTA, Celso Maciel da; COPSTEIN, Bernardo; WAGNER, Flávio Rech. Participação em banca de Maurício Aronne Pillon. 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.
37. DOTTI, F. L.; WAGNER, Flávio Rech; ROCHOL, Juergen; CESAR NETTO, João. Participação em banca de Diana Maria Blandón Jirón. 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.
38. DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; TAROUCO, Liane M R; WEBER, Raul Fernando. Participação em banca de Fabio Asturian Zanin. 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.
39. DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; CESAR NETTO, João; WEBER, Raul Fernando. Participação em banca de Alexis Rockenbach. 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.
40. DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; CESAR NETTO, João; TAROUCO, Liane M R. Participação em banca de Ana Carolina Hermann. 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.
41. DOTTI, F. L.; WEBER, Raul Fernando; CESAR NETTO, João; WEBER, Taisy Silva. Participação em banca de André Moncarlo Fleury. 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.
42. DOTTI, F. L.; ROCHOL, Juergen; WAGNER, Flávio Rech; CESAR NETTO, João. Participação em banca de Cristian Ramos Prange. 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.
43. DOTTI, F. L.; TAROUCO, Liane M R; ALMEIDA, Maria Janilce Bosquiroli; LIMA, Jose Valdeni de. Participação em banca de Gerson Battisti. Telepresença com Realidade Virtual para Gerência de Rede. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
44. DOTTI, F. L.; WEBER, Raul Fernando; CESAR NETTO, João; ALMEIDA, Maria Janilce Bosquiroli. Participação em banca de Marcelo Mércio D´Andrea. Ferramentas para Segurança na Internet. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
45. DOTTI, F. L.; ALMEIDA, Maria Janilce Bosquiroli; VICCARI, Rosa Maria; TAROUCO, Liane M R. Participação em banca de Roberto Bello de Oliveira. 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.
46. DOTTI, F. L.; WEBER, Raul Fernando; CESAR NETTO, João; ALMEIDA, Maria Janilce Bosquiroli. Participação em banca de Suzana Beatriz de Miranda Strauch. Aspectos de Segurança no Protocolo IP. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
47. DOTTI, F. L.; GEYER, Claudio Fernando Resin; FRIEDRICH, Luis Fernando; COSTA, Celso Maciel da. Participação em banca de Evandro Preuss. 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.
Teses de doutorado
1. FERNANDES, Paulo H L; CLAUDIO, Dalcidio M.; MAILLARD, Nicolas; DOTTI, F. L.. Participação em banca de Ricardo Melo Czekster. 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.
2. GASPARY, Luciano; DUARTE JUNIOR, Elias Procópio; FERNANDES, Paulo Henrique Lemelle; DOTTI, F. L.. Participação em banca de 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.
3. DOTTI, F. L.; ROCHOL, Juergen; SOUZA FILHO, Guido Lemos de; CESAR NETO, João. Participação em banca de Valter Roesler. 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.

Eventos
Organização de eventos
1. DOTTI, F. L. . LADC 2011 - 5th Latin-American Symposium on Dependable Computing. 2011. (Congresso).
2. DOTTI, F. L. . WTF 2011 - Workshop de Testes e Tolerância a Falhas. 2011. (Congresso).
3. DOTTI, F. L. . WTF 2010 - Workshop de Testes e Tolerancia a Falhas (Coordenador de Comite de Programa). 2010. (Congresso).
4. DOTTI, F. L. . CLEI 2009 - Conferência Latinoamericana de Informática (Membro de Comitê de Programa). 2009. (Congresso).
5. DOTTI, F. L. . CSBC 2009 - SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva (Membro de Comitê de Programa). 2009. (Congresso).
6. DOTTI, F. L. . WTF 2009 - Workshop de Testes e Tolerancia a Falhas (Membro de Comite de Programa). 2009. (Congresso).
7. DOTTI, F. L. . WSCAD 2009 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2009. (Congresso).
8. DOTTI, F. L. . ERRC 2008 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2008. (Congresso).
9. DOTTI, F. L. . WTF 2008 - Workshop de Testes e Tolerancia a Falhas (Membro de Comite de Programa). 2008. (Congresso).
10. DOTTI, F. L. . WSCAD 2008 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2008. (Congresso).
11. DOTTI, F. L. . SBAC-PAD 2008 - WPUC Workshop on Pervasive and Ubiquitous Computing (Membro de Comitê de Programa). 2008. (Congresso).
12. DOTTI, F. L. . ERRC 2007 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2007. (Congresso).
13. DOTTI, F. L. . WTF 2007 - Workshop de Testes e Tolerancia a Falhas (Membro de Comite de Programa). 2007. (Congresso).
14. DOTTI, F. L. . WSCAD 2007 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2007. (Congresso).
15. DOTTI, F. L. . SBAC-PAD 2007 - WPUC Workshop on Pervasive and Ubiquitous Computing (Membro de Comitê de Programa). 2007. (Congresso).
16. DOTTI, F. L. . LADC 2007 - Latin American Symposium on Dependable Computing (Publication Chair). 2007. (Congresso).
17. DOTTI, F. L. . ERRC 2006 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2006. (Congresso).
18. DOTTI, F. L. . WSCAD 2006 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2006. (Congresso).
19. DOTTI, F. L. . ERRC 2005 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2005. (Congresso).
20. DOTTI, F. L. . WSCAD 2005 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2005. (Congresso).
21. DOTTI, F. L. . ERRC 2004 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2004. (Congresso).
22. DOTTI, F. L. . WCSF 2004 - Workshop de Comunicação Sem Fio e Computação Móvel. 2004. (Congresso).
23. DOTTI, F. L. . WSCAD 2004 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2004. (Congresso).
24. DOTTI, F. L. . ERRC 2003 - Escola Regional de Redes de Computadores (Membro de Comite de Programa). 2003. (Congresso).
25. DOTTI, F. L. . WCSF 2003 - Workshop de Comunicação Sem Fio e Computação Móvel. 2003. (Congresso).
26. DOTTI, F. L. . WSCAD 2003 - Workshop em Sistemas Computacionais de Alto Desempenho (Membro de Comite de Programa). 2003. (Congresso).
27. DOTTI, F. L. . CLEI - Congresso Latino Americano de Informática (Membro de comitê de programa). 2001. (Congresso).
28. DOTTI, F. L. . III Workshop de Comunicação sem Fio e Computação Móvel (Membro de comitê de programa). 2001. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Paulo Junior Penna Pivetta. Especificação e Análise de Sistemas Distribuídos utilizando Event-B. Início: 2008. 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).
2. Eduardo Link. Métricas de Desempenho para Redes Tolerantes a Atrasos. Início: 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).
Tese de doutorado
1. Cristina Moreira Nunes. Roteamento em Redes Tolerantes a Atrasos e Disrupções. Início: 2005. Tese (Doutorado 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).
Supervisões e orientações concluídas
Dissertação de mestrado
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. Fabio 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.
7. 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.
8. 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.
9. 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.
10. Maurício de Oliveira Cristal. InterCOD - Arquitetura Distribuída de Suporte a Centros de Otimização Cooperantes na Internet. 2001. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Fernando Luís Dotti.
11. Sediane Carmem Lunardi. Uma Camada de Suporte a Qualidade de Serviço para Aplicações Multimídia na Internet. 2001. Dissertaçã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.
12. 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.
Tese de doutorado
1. 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.
Trabalho de conclusão de curso de graduação
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
Iniciação Científica
1. 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.

Outras informações relevantes 
OBS: Os dados abaixo foram importados do Sistema CNCT.

CIENTÍFICA
86 - 88 Bolsista de iniciacão científica - Trabalho em ambientes de desenvolvimento             de SW
89 - 91 Mestrado - Atividades no Projeto Mefisto (Mechanism Efficient to Foster the            Implementation of SW Totally OSI)
92       Desenvolvimento tecnológico industrial.  Cooperacao durante projeto e            implantacao da rede de dados na UFRGS. 
93 - 97 Desenvolvimento da tese de doutorado e cooperacao em projetos no            GMD-FOKUS - Centro Nacional de Pesquisa
           em Tecnologia da Informacao - Berlim - Alemanha.

DOCENTE
91 - 92 Docente (2 semestres) na Universidade de Caxias do Sul - RS -Brasil

.
Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 2:37:07