Projeto Paleoprospec - PUCRS/Petrobras

Membro: Fernando Luís Dotti

  • Período(s): 1985-HOJE
  • Endereço profissional:
    Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática. Av. Ipiranga, 6681 - Prédio 32 - Caixa Postal 1429 Partenon 90619-900 - Porto Alegre, RS - Brasil
    Telefone: (51) 33203611
    Fax: (51) 3203621
    URL da Homepage: http://www.inf.pucrs.br/~fldotti
Legenda:
Produção não considerada na compilação dado o(s) período(s)

Artigos completos publicados em periódicos (7)

1.   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.
2.   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.
3.   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.
4.   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, Springer, v. 005, n. 14-z, p. 289-311, 2006.
5.   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.
6.   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.
7.   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 (3)

1.   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.
2.   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.
3.   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 (2)

1.   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.
2.   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 (53)

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   RIBEIRO, Leila ; DOTTI, F. L. . Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. In: Concurrency, Graphs and Models, 2008, Pisa. LNCS. Heidelberg : Springer, 2008. v. 5065. p. 133-150.
7.   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.
8.   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.
9.   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.
10.   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.
11.   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.
12.   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.
13.   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.
14.   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.
15.   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.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   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.
33.   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.
34.   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.
35.   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.
36.   STAGGEMEIER, A. T. ; MÜLLER, Felipe ; CRISTAL, M. O. ; DOTTI, F. L. ; COSTA, Celso Maciel da . Integração de Ambientes para Resolução de Problemas de Otimização Combinatória. In: XXXII Simpósio Brasileiro de Pesquisa Operacional, 2000, Rio de Janeiro. Proceedings do XXXII SBPO - Simpósio Brasileiro de Pesquisa Operacional.
37.   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.
38.   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.
39.   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.
40.   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.
41.   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.
42.   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.
43.   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.
44.   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.
45.   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.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   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.
52.   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.
53.   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)

1.   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 (5)

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).

Trabalhos técnicos (4)

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 (3)

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).

Tese de doutorado (1)

1.   Cristina Moreira Nunes. Aplicações para Dispositivos Móveis: Análise de Corretude e Desempenho. 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: Fernando Luís Dotti.

Dissertação de mestrado (2)

1.   Fábio Pasini. Geração de Código Executável para Aplicações Paralelas em Máquinas Baseadas em Agregados a partir de Especificação Formal . Início: 2004. 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.
2.   Odorico Machado Mendizabal. Uma Versão Estocástica de Gramática de Grafos Baseada em Objetos. Início: 2004. 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.

Dissertação de mestrado (6)

1.   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.
2.   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.
3.   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.
4.   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.
5.   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.
6.   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.

Trabalho de conclusão de curso de graduação (3)

1.   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.
2.   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.
3.   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)

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.
(*) Relatório criado com produções desde 1978 até HOJE
Data de processamento: Segunda, 30/11/2009 15:27:51