Dados pessoais Formação acadêmica/Titulação Formação complementar Atuação profissional Linhas de pesquisa Projetos de pesquisa
Áreas de atuação Idiomas Prêmios e títulos Produção científica, tecnológica e artística/cultural Dados complementares Indicadores de produção
Curriculum Vitae
Fernando Luís Dotti

Dados pessoais
Nome Fernando Luís Dotti
Filiação Melzi Dotti e Lourdes Maria Boldo Dotti
Nascimento 25/12/1967, Vacaria/RS - Brasil
Carteira de identidade 5021094585 / SSP / RS / 13/04/1989
CPF 50279629087
Endereço profissional Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática.
Av. Ipiranga, 6681 - Prédio 16 - Sala 166 - Caixa Postal 1429
Partenon
90619-900 Porto Alegre, RS - Brasil
Telefone: (51) 33203611 Ramal: 25 Fax: 3203621
E-mail: fldotti@inf.pucrs.br
Endereço residencial Rua Otávio Dutra, 174/803
Santa Teresa
90810230 Porto Alegre, RS - Brasil
Telefone: (51) 32232235 Fax: 33203621
E-mail: fldotti@inf.pucrs.br
Voltar

Formação acadêmica/Titulação
1993 - 1997 Doutorado 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.
1989 - 1991 Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Rio Grande do Sul, 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.
1985 - 1988 Graduação em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Rio Grande do Sul, Brasil.
Voltar

Atuação profissional
  Pontifícia Universidade Católica do Rio Grande do Sul - PUC-RS
  Vínculo institucional  
  1998 - Atual Vínculo: Professor Adjunto, Enquadramento funcional: Professor, Regime: Dedicação exclusiva.
  Atividades  
  3/2004 - Atual Ensino, Pós Graduação Em Ciência da Computação, Nível: Pós-graduação.
      Disciplinas ministradas
1. Tópicos especiais em Processamento Paralelo e Distribuído.
  3/2004 - Atual Ensino, Engenharia da Computação, Nível: Graduação.
      Disciplinas ministradas
1. Sistemas Operacionais.
  3/1999 - Atual Ensino, Pós Graduação Em Ciência da Computação, Nível: Pós-graduação.
      Disciplinas ministradas
1. Processamento Paralelo e Distribuído.
2. Aspectos Avançados de Redes de Computadores.
3. Orientacao de dissertação de mestrado.
  3/1998 - Atual Ensino, Pós Graduação Em Ciência da Computação, Nível: Pós-graduação.
      Disciplinas ministradas
1. Programação Distribuída.
2. Orientação de trabalho individual de mestrado.
  3/1998 - Atual Ensino, Ciência da Computação, Nível: Graduação.
      Disciplinas ministradas
1. Redes de Computadores.
  3/1998 - Atual Pesquisa e desenvolvimento, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação.
      Linhas de pesquisa
1. Processamento Paralelo e Distribuído.
2. Redes de Computadores.
3. Sistemas Distribuídos.
  6/1998 - 12/2003 Ensino, Ciência da Computação, Nível: Graduação.
      Disciplinas ministradas
1. Trabalho de conclusão de curso de graduação.
  3/1999 - 6/2003 Ensino, Ciência da Computação, Nível: Graduação.
      Disciplinas ministradas
1. Laboratório de Programação III - Orientação a Objetos e Programação Concorrente.
  3/2001 - 2/2002 Direção e administração, Faculdade de Informática.
      Cargos ou funções
1. Membro da comissão coordenadora do Programa de Pós-Graduação em Ciência da Computação.
  1/1999 - 11/1999 Direção e administração, Faculdade de Informática.
      Cargos ou funções
1. Membro da comissão coordenadora do Programa de Pós-Graduação em Ciência da Computação.
  3/1999 - 6/1999 Extensão universitária, Faculdade de Informática.
      Atividades de extensão realizadas
1. Curso de Especialização (Exército) - Disciplina: Arquitetura Cliente Servidor.
  Universidade Federal do Rio Grande do Sul - UFRGS
  Vínculo institucional  
  1991 - 1992 Vínculo: Bolsista DTI, Enquadramento funcional: Bolsista DTI, Regime: Dedicação exclusiva.
  1989 - 1991 Vínculo: Outro, Enquadramento funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.
  1986 - 1988 Vínculo: Bosista BIC, Enquadramento funcional: Bolsista BIC, Carga horária: 20.
  Outras informações Bolsista BIC
  Universidade de Caxias do Sul - UCS
  Vínculo institucional  
  1991 - 1991 Vínculo: Outro, Enquadramento funcional: Professor, Carga horária: 4.
  Atividades  
  3/1991 - 12/1991 Ensino, Ciência da Computação, Nível: Graduação.
      Disciplinas ministradas
1. Teleprocessamento.
Voltar

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

Áreas de atuação
1 Sistemas de Computação, Sistemas Distribuídos.
2 Metodologia e Técnicas da Computação, Métodos Formais.
3 Sistemas de Computação, Redes de Computadores.
4 Matemática da Computação, Modelos Analíticos e de Simulação.
Voltar

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

Produção científica, tecnológica e artística/cultural
Produção bibliográfica Produção técnica Produção artística/cultural Orientações concluídas Demais trabalhos

  Produção bibliográfica

  Trabalhos completos em anais de eventos
1 CORRADINI, Andrea; DOTTI, Fernando Luís; FOSS, Luciana; RIBEIRO, Leila. Translating Java Code into Graph Transformation Systems. In: 2ND INTERNATIONAL CONFERENCE ON GRAPH TRANSFORMATIONS, 2004, Roma. Proceedings of the. Berlin: Springer, 2004. v. 3256, p. 383-398.
2 DOTTI, Fernando Luís; 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.
3 DOTTI, Fernando Luís; 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.
4 DOTTI, Fernando Luís; 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, Sao Paulo. Proceedings of the First Latin-American Symposium on Dependable Computing - LNCS 2847. Berlin: Springer, 2003. v. 2847, p. 341-360.
5 SANTOS, Osmar Marchi dos; DOTTI, Fernando Luís. 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.
6 DOTTI, Fernando Luís; 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 - Lecture Notes in Computer Sciences - LNCS, 2003. v. 3062, p. 120-133.
7 SANTOS, Osmar Marchi dos; DOTTI, Fernando Luís. 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.
8 DOTTI, Fernando Luís; 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. Formal Methods for Open Object-Based Distributed Systems - LNCS 2884. Berlin: Springer, 2003. v. 1, p. 261-275.
9 DOTTI, Fernando Luís; DUARTE, Lucio Mauro; SILVA, Flávio Morais de Assis; ANDRADE, Aline M Santos. 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. Society for Design and Process Science, 2002. v. 1, p. 1-9.
10 MATHIAS, Eder Nicoletti; COSTA, Celso Maciel da; DOTTI, Fernando Luís; 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). ACM Press, 2002. v. 1, p. 870-875.
11 MÜLLER, Felipe; COSTA, Celso Maciel da; MATHIAS, Eder Nicoletti; DOTTI, Fernando Luís. 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.
12 DOTTI, Fernando Luís; 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. The Society for Modeling and Simulation International, 2002. v. 1, p. 261-267.
13 RÖDEL, Eduardo Tavares; DUARTE, Lucio Mauro; SANTOS, Osmar Marchi dos; DOTTI, Fernando Luís. 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.
14 COSTA, Celso Maciel da; DOTTI, Fernando Luís; MATHIAS, Eder Nicoletti; 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.
15 DOTTI, Fernando Luís; LUNARDI, Sediane Carmem. 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. IEEE Computer Society Press, 2001. p. 517-522.
16 DUARTE, Lucio Mauro; DOTTI, Fernando Luís. 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.
17 DOTTI, Fernando Luís; LUNARDI, Sediane Carmem. 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.
18 DOTTI, Fernando Luís; CRISTAL, Maurício de Oliveira; 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.
19 DOTTI, Fernando Luís; CRISTAL, Maurício de Oliveira; 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.
20 DOTTI, Fernando Luís; 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.
21 DOTTI, Fernando Luís; CRISTAL, Maurício de Oliveira; COSTA, Celso Maciel da; MÜLLER, Felipe; NUNES, Mauricio Lempke. 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.
22 COSTA, Celso Maciel da; PILLON, Maurício; DOTTI, Fernando Luís; 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.
23 STAGGEMEIER, Andréa Toniolo; MÜLLER, Felipe; CRISTAL, Maurício de Oliveira; DOTTI, Fernando Luís; 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, Rio de Janeiro. Proceedings do XXXII SBPO - Simpósio Brasileiro de Pesquisa Operacional. Artigo aceito, a ser publucado., 2000.
24 COSTA, Celso Maciel da; DOTTI, Fernando Luís; PILLON, Maurício; 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.
25 COSTA, Celso Maciel da; DOTTI, Fernando Luís; COPETTI, Alessandro; PREUSS, Evandro. 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.
26 DOTTI, Fernando Luís; 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.
27 LUNARDI, Sediane Carmem; DOTTI, Fernando Luís. 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.
28 DOTTI, Fernando Luís; NYGAARD, Fernando; DUARTE, Lúcio Mauro; REZNICEK, Roberto Domingues. 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.
29 DOTTI, Fernando Luís; NYGAARD, Fernando; DUARTE, Lúcio Mauro; REZNICEK, Roberto Domingues. 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.
30 DOTTI, Fernando Luís. 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.
31 DOTTI, Fernando Luís. 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.
32 DOTTI, Fernando Luís. ODP Viewpoints of Management Outsourcing. In: IEEE NETWORK OPERATION AND MANGEMENT SYMPOSIUM., 1996, Proceedings of the 1996 IEEE Network Operation and Mangement Symposium.. 1996.
33 COVACI, S.; PFEILER, M.; ZHANG, T.; DOTTI, Fernando Luís. Cooperative Mangement of Bearer Servies in Multi-Domain Environments. In: PROCEEDINGS OF THE II WORKSHOP OF HP OPEN VIEW UNIVERSITY ASSOCIATION, 1995, 1995.
34 DOTTI, Fernando Luís; FERNANDO, L. Dotti. 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.
35 DOTTI, Fernando Luís; 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.
36 DOTTI, Fernando Luís; 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.
37 LIANE, M. R. Tarouco; DOTTI, Fernando Luís. 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.
38 DOTTI, Fernando Luís; 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.
39 DOTTI, Fernando Luís; 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.
40 DOTTI, Fernando Luís; 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 em anais de eventos
1 CASTRO, Tito Lívio; DOTTI, Fernando Luís. 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. p. 1-4.

  Artigos completos publicados em periódicos
1 DOTTI, Fernando Luís; 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 Sciences, Italy, accepted-to be publ., 2004.
2 SANTOS, Osmar Marchi dos; DOTTI, Fernando Luís; RIBEIRO, Leila. Verifying Object-Based Graph Grammars. Electronic Notes In Theoretical Computer Science, Alemanha, accepted-to appear, 2004.
3 CORRADINI, Andrea; DOTTI, Fernando Luís; RIBEIRO, Leila. A Graph Transformation View on the Specification of Applications using Mobile Code. Electronic Notes In Theoretical Computer Sciences, Alemanha, v. 50, n. 3, p. 1-9, 2001.

  Livros publicados
1 DOTTI, Fernando Luís. 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.
2 DOTTI, Fernando Luís. 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; BARDOHL, Roswitha; DOTTI, Fernando Luís. A Formal Framework for the Development of Concurrent Object-Based Systems. In: KREOWSKI, Hans-jörg. (Org.). tHE BOOK on Formal Methods in Software and System Modeling. Berlin, 2004.
2 DOTTI, Fernando Luís; RIBEIRO, Leila. Specification of Mobile Code Systems using Graph Grammars. In: Smith, Scott F.; Talcott, Carolyn L. (Org.). Formal Methods for Open Object-Based Distributed Systems. Norwell, Massaschussetts, 2000, v. 4, p. 45-64.
3 DOTTI, Fernando Luís. Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. In: JACUCCI, Gianni; OLLING, Gustav J.; PREISS, Kenneth; WOZNY, Michael. (Org.). Globalization of the Manufacturing in the Digital Communications Era of the 21st Century - Innovation, Agility, and the Virtual Enterprise. Norwell - Massaschussets - EUA, 1998, v. 1, p. 245-256.

  Demais tipos de produção bibliográfica
1 DOTTI, Fernando Luís; COVACI, Stefan. 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).
2 DOTTI, Fernando Luís; COVACI, Stefan. 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).
3 DOTTI, Fernando Luís; COVACI, Stefan. 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).
4 DOTTI, Fernando Luís; COVACI, Stefan; ZHANG, T.; WU, Deh-min; PFEILER, Martin; WIENERT, Andre. 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).
5 DOTTI, Fernando Luís; COVACI, Stefan; WU, Deh-min; LANZA, Marcelo; PFEILER, Martin; WIENERT, Andre. 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).

  Produção técnica

  Trabalhos técnicos
1 DOTTI, Fernando Luís; SILVA, Flávio Morais de Assis; RIBEIRO, Leila. ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos. 2000.
2 DOTTI, Fernando Luís; RIBEIRO, Leila; CORRADINI, Andrea; SILVA, Flávio Morais de Assis. IQ-Mobile: Improving the Quality of Open Systems with Code Mobility through Rigorous Development. 2000.
3 DOTTI, Fernando Luís. Código Móvel - Suporte e Aplicações. 1998.
4 FERNANDES, Paulo Henrique Lemelle; DOTTI, Fernando Luís; CALAZANS, Ney Laert Villar. Um Simulador para Sistemas de Transportes Urbanos. 1998.

  Demais tipos de produção técnica
1 DOTTI, Fernando Luís. CLEI - Congresso Latino Americano de Informática (Membro de comitê de programa). 2001. (Organização de evento/Congresso).
2 DOTTI, Fernando Luís. III Workshop de Comunicação sem Fio e Computação Móvel (Membro de comitê de programa). 2001. (Organização de evento/Congresso).
3 DOTTI, Fernando Luís. Código Móvel: Suporte e Aplicações (Palestra em semana acadêmica). 2000. (Palestra em Semana Acadêmica).
4 DOTTI, Fernando Luís. Integração de Serviços na Internet (Palestra em semana acadêmica). 1999. (Palestra em Semana Acadêmica).
5 DOTTI, Fernando Luís. Objetos Distribuídos (Palestra em semana acadêmica). 1999. (Palestra em Semana Acadêmica).

  Orientações concluídas

  Mestrado
1 RÖDEL, Eduardo Tavares. 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.
2 DUARTE, Lucio Mauro. 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.
3 CRISTAL, Maurício de Oliveira. 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.
4 LUNARDI, Sediane Carmem. Uma Camada de Suporte a Qualidade de Serviço para Aplicações Multimídia na Internet (4o lugar no concurso de teses e dissertações CLEI/UNESCO - 2001). 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.

  Graduação
1 BONATTO, Luciano Schilling, Luciane. 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.
2 LIMA, Glaura Gonçalves, Graziela Pesente, Rafael. 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.
3 NYGAARD, Lucio Mauro Duarte, Roberto D. Reznizceck, Fernando. 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.

  Iniciação científica
1 BROCHADO, Adriano. 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.
Voltar

Dados complementares
Participação em bancas examinadoras Participação em bancas de comissões julgadoras Participação em eventos Orientações em andamento

  Participação em bancas examinadoras

  Dissertações
1 DOTTI, Fernando Luís; 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.
2 DOTTI, Fernando Luís; 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.
3 DOTTI, Fernando Luís; 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.
4 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
5 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
6 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
7 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
8 DOTTI, Fernando Luís; 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.
9 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
10 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
11 DOTTI, Fernando Luís; 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.
12 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
13 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
14 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
15 DOTTI, Fernando Luís; 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.
16 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
17 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
18 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
19 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
20 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
21 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
22 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
23 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
24 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
25 DOTTI, Fernando Luís; 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 Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
26 DOTTI, Fernando Luís; 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.

  Orientações em andamento

  Mestrado
1 CASTRO, Tito Lívio. Avaliação de Desempenho de Algoritmos de Escalonamento de Pacotes. Início:2002. 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).
2 SANTOS, Osmar Marchi dos. Verificação de Sistemas Distribuídos Orientados a Objeto. Início:2002. 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).
Voltar

Indicadores de produção
Produção bibliográfica Produção técnica Produção artística/cultural Orientações concluídas Demais trabalhos Dados complementares

  Total
Produção bibliográfica 54

Artigos publicados em periódicos 3
Completos 3
Trabalhos em eventos 41
Completos 40
Resumo expandido 1
Livros e capítulos 5
Livros publicados 2
Capítulos de livros publicados 3
Demais tipos de produção bibliográfica 5

  Total
Produção técnica 9

Trabalhos técnicos 4
Demais tipos de produção técnica 5

  Total
Orientações concluídas 8

Mestrado 4
Orientador principal 4
Graduação 3
Iniciação científica 1

  Total
Dados complementares 28

Participação em bancas examinadoras 26
Orientações em andamento 2
Voltar

Página gerada pelo sistema Lattes/Currículo - CNPq/Grupo Stela/PPGEP/UFSC atualizada em 14/10/2004