Projeto Paleoprospec - PUCRS/Petrobras

Membro: Paulo Henrique Lemelle Fernandes

Período(s): 1993-HOJE
Endereço profissional:
Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática, Programa de Pós Graduação Em Ciência da Computação. Av. Ipiranga, 6681 Partenon 90619-900 - Porto Alegre, RS - Brasil
Telefone: (51) 33203611
Fax: (51) 33203621
URL da Homepage: http://www.inf.pucrs.br/~paulof

Legenda:

Produção não considerada na compilação dado o(s) período(s)

Artigos completos publicados em periódicos (11)

1.	BRENNER, L. ; FERNANDES, P. ; FOURNEAU, J.M. ; PLATEAU, B. . Modelling Grid5000 point availability with SAN. Electronic Notes in Theoretical Computer Science, v. 232, p. 165-178, 2009.
2.	CHANIN, R. ; CORREA, M. ; FERNANDES, P. ; SALES, A. ; SCHEER, R. ; ZORZO, A. F. . Analytical Modeling for Operating System Schedulers on NUMA Systems. Electronic Notes in Theoretical Computer Science, Amsterdan, v. 151, n. 3, p. 131-149, 2006.
3.	BRENNER, L. ; FERNANDES, P. ; SALES, A. . The Need for and the Advantages of Generalized Tensor Algebra for Structured Kronecker Representations. International Journal of Simulation, Nottingham, UK, v. 6, n. 3-4, p. 52-60, 2005.
4.	BALDO, L. ; BRENNER, L. ; FERNANDES, L. G. ; FERNANDES, P. ; SALES, A. . Performance Models for Master/Slave Parallel Programs. Electronic Notes in Theoretical Computer Science, Amsterdan, The Netherlands, v. 104, n. 1, p. 65-84, 2005.
5.	BENOIT, A. ; FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . On the Benefits of using Functional Transitions and Kronecker Algebra. Performance Evaluation, Amsterdan, v. 58, n. 4, p. 367-390, 2004.
6.	BENOIT, A. ; BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. . Aggregation of Stochatic Automata Networks with Replicas. Linear Algebra and its Applications, v. 386, p. 111-136, 2004.
7.	FERNANDES, P. ; PLATEAU, B. . Triangular Solution of Linear Systems in Tensor Product Format. ACM SIGMETRICS Performance Evaluation Review, Estados Unidos, v. 28, n. 4, p. 30-32, 2001.
8.	FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . Efficient Descriptor-Vector Multiplication in Stochastic Automata Networks. Journal of the Association for Computing Machinery, v. 45, n. 3, p. 381-414, 1998.
9.	FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . Optimizing Tensor Product Computations in Stochastic Automata Networks. RAIRO. Operations Research, Paris, v. 32, n. 3, p. 325-351, 1998.
10.	NAVAUX, P. ; FERNANDES, P. . Avaliação de Desempenho de Máquinas Paralelas. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 1, n. 1, p. 124-127, 1989.
11.	NAVAUX, P. ; FERNANDES, P. ; TAZZA, M. . SARA: A processor interconnection performance analysis tool. Microprocessing And Microprogramming, v. 24, p. 197-204, 1988.

Livros publicados/organizados ou edições (1)

1.	FERNANDES, P. . Méthodes numériques pour la solution de systèmes Markoviens À grand espace d´états. Grenoble: Institut Nationale Polytechnique de Grenoble, 1998. v. 60. 260 p.

Capítulos de livros publicados (2)

1.	BRENNER, L. ; FERNANDES, P. ; SALES, A. . Avaliação de Desempenho de Sistemas Paralelos. In: Adenauer C. Yamin; Jorge L. V. Barbosa. (Org.). 4a Escola Regional de Alto Desempenho (ERAD 2004). Porto Alegre: , 2004, v. , p. 97-120.
2.	FERNANDES, P. ; ALEGRETTI, C. G. P. ; JUNGBLUT-HESSEL, R. . Avaliacao de Desempenho atraves de Redes de Automatos Estocasticos. In: Fabian Viegas. (Org.). Avaliacao de Desempenho atraves de Redes de Automatos Estocasticos. Novo Hamburgo: FEEVALE, 1999, v. 1, p. 159-184.

Trabalhos completos publicados em anais de congressos (39)

1.	LOPES, L. ; FERNANDES, P. ; VIEIRA, R. ; FEDRIZZI, G. . ExATO lp -- An Automatic Tool for Term Extraction from Portuguese Language Corpora. In: LTC'09 - 4th Language and Technology Conference, 2009, Poznan. Proceedings of the Fourth Language and Technology Conference. Poznan, Poland : Adam Mickiewicz University, 2009. p. 1-5.
2.	FERNANDES, P. ; LOPES, L. ; RUIZ, D. D. A. . The Impact of Random Samples in Ensemble Classifiers. In: ACM SAC 2010 - Symposium on Applied Computing, 2009, Lausanne. Proceedings of ACM SAC 2010 - Symposium on Applied Computing. New York : ACM Press, 2010. p. 1-8.
3.	CZEKSTER, R. M. ; FERNANDES, P. ; WEBBER, T. . GTAexpress - A Software Package to Handle Kronecker Descriptors. In: QEST 2009 - International Conference on Quantitative Evaluation of SysTems, 2009, Budapest. Proceedings of QEST 2009. New York : IEEE Press, 2009. p. 1-3.
4.	LOPES, L. ; SCALABRIN, E. E. ; FERNANDES, P. . Empirical Study of Combined Classifiers for Knoledge Discovery on Medical Data Bases. In: IWHDM - International Workshop On Health Data Management, 2008, Shenyang. LNCS 4977 - APWEB'2008 Workshops. Heidelberg : Springer-Verlag, 2008. v. 4977. p. 111-121.
5.	FERNANDES, P. ; VINCENT, J. M. ; WEBBER, T. . Perfect Simulation of Stochastic Automata Networks. In: The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications, 2008, Nicosia. LNCS 5055 - ASMTA 2008. Heidelberg, Germany : Springer-Verlag, 2008. v. 5055. p. 249-263.
6.	URDANGARIAN, R. ; FERNANDES, P. ; AVRITZER, A. ; PAULISH, D. . Experiences with Agile Practices in the Global Studio Project. In: Third IEEE International Conference on Global Software Engineering, 2008, Bangalore. ICGSE 2008. New York : IEEE Press, 2008. v. 1. p. 77-86.
7.	BRENNER, L. ; FERNANDES, P. ; FOURNEAU, J.M. ; PLATEAU, B. . Modelling Grid5000 point availability with SAN. In: PASM 2008 - Practical Appications of Stochastic Modeling, 2008, Palma de Majorca. PASM 2008, 2008. p. 1-8.
8.	CZEKSTER, R. M. ; FERNANDES, P. ; VINCENT, J. M. ; WEBBER, T. . Split: a flexible and enfficient algorithm to vector-descriptor product. In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007, Nantes. VALUETOOLS 2007. New York : ACM Press, 2007. v. 1. p. 83-95.
9.	KOLBERG, M. ; BALDO, L. ; VELHO, P. ; WEBBER, T. ; FERNANDES, L. G. ; FERNANDES, P. ; CLAUDIO, D. M. . Parallel Selfverified Method for Solving Linear Systems. In: 7th International Meeting of High Performance Computing for Computational Science, 2006, Rio de Janeiro. VECPAR, 2006. p. 179-190.
10.	DELAMARE, F. ; DOTTI, F. L. ; FERNANDES, P. ; NUNES, C. M. ; OST, L. 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. ACM PE-WASUN, 2006. p. 106-113.
11.	DOTTI, F. L. ; FERNANDES, P. ; SALES, A. ; SANTOS, O. M. . Modular Analytical Performance Models for Ad Hoc Wireless Networks. In: 3rd International Symposium on modelling and optimization in mobile, ad hoc, and wireless networks, 2005, Trentino. WiOpt 2005, 2005. v. 1. p. 164-173.
12.	BRENNER, L. ; FERNANDES, P. ; SALES, A. ; WEBBER, T. . A Framework to Decompose GSPN models. In: 26th International conference on application and theory of Petri nets and other models of concurrency, 2005, Miami. LNCS 3536 - ATPN 2005. Berlin : Springer Verlag, 2005. v. 3536. p. 128-147.
13.	BRENNER, L. ; FERNANDES, P. ; SALES, A. . The Need for and the Advantages of Generalized Tensor Algebra for Kronecker Representations. In: UK Performance Engineering Workshop, 2004, Bradford. UKPEW 2004. Bradford : University of Bradford, 2004. p. 48-60.
14.	BERTOLINI, C. ; FARINA, A. G. ; FERNANDES, P. ; OLIVEIRA, F. M. . Test Case Generation using Stochastic Automata Networks: Quantitative Analysis. In: 2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing. SEFM 2004, 2004. v. 1. p. 251-260.
15.	BALDO, L. ; BRENNER, L. ; FERNANDES, L. G. ; FERNANDES, P. ; SALES, A. . Performance Models for Master/Slave Parallel Programs. In: Practical Applications of Stochastic Modelling, 2004, Londres. PASM 2004, 2004. p. 45-51.
16.	BERTOLINI, C. ; BRENNER, L. ; FERNANDES, P. ; SALES, A. ; ZORZO, A. F. . Structured Stochastic Modeling of Fault-Tolerant Systems. In: 12th IEEE/ACM International Symposium on Modelling, Analysis and Simulation on Computer and Telecommunication Systems, 2004, Volendam. MASCOTS 2004. New York : IEEE Press, 2004. v. 1. p. 139-146.
17.	BENOIT, A. ; BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. . Aggregation of Stochatic Automata Networks with Replicas. In: Fourth International Conference on the Numerical Solution of Markov Chains, 2003, Urbana. NSMC'03. Raleigh : North Carolina State University, 2003. p. 145-166.
18.	BENOIT, A. ; BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . The PEPS Software Tool. In: 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, 2003, Urbana. LNCS 2795 - Tools 2003. Berlin : Springer-Verlag, 2003. v. 2794. p. 98-115.
19.	BRENNER, L. ; FERNANDES, P. ; SALES, A. . MQNA - Markovian Queueing Networks Analyser. In: 11th IEEE/ACM International Symposium on Modelling, Analysis and Simulation on Computer and Telecommunication Systems, 2003, Orlando, Florida. MASCOTS 2003, 2003. p. 194-199.
20.	BRENNER, L. ; FERNANDES, L. G. ; FERNANDES, P. ; SALES, A. . Performance Analysis Issues for Parallel Implementations of Propagation Algorithm. In: 15th Symposium on Computer Architecture and High Performance Computing, 2003, Sao Paulo. SBAC-PAD 2003, 2003. p. 183-190.
21.	CASSOL, L. A. ; ZORZO, A. F. ; FERNANDES, P. . Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas. In: XX Simpósio Brasileiro de Redes de Computadores - SBRC, 2002, Búzios - RJ - Brasil. III Workshop de Testes e Tolerância a Falhas, 2002. v. 1. p. 81-88.
22.	FARINA, A. G. ; FERNANDES, P. ; OLIVEIRA, F. M. . Representing Software Usage Models with Stochastic Automata Networks. In: XIV International Conference International Conference on Software Engineering and Knowledge Engineering - SEKE'02, 2002, Ischia, Italia. Proceedings of SEKE'02, 2002. v. 1. p. 414-422.
23.	BRENNER, L. ; DE ROSE, C. A. F. ; FERNANDES, P. . An Analytical Model to Evaluate the Performance of Cluster Architectures. In: III LCI International Conference on Linux Clusters, 2002, Saint Petersburg, FL, USA. Proceedings of the Third LCI International Conference on Linux Clusters: The HPC Revolution 2002. Champaign, IL, USA : Linux Cluster Institute/NCSA, 2002. v. 1. p. 1-12.
24.	FERNANDES, P. ; PLATEAU, B. . Modeling Finite Capacity Queueing Networks with Stochastic Automata Networks. In: IV International Workshop on Queueing Networks with Finite Capacity - QNETs 2000, 2000, Ilkley. Proceeding of the QNETs 2000. Bradford - UK : University of Bradford, 2000. v. 1. p. 16/01-16/12.
25.	BEZ, M. R. ; FERNANDES, P. . Uma Alternativa À Distributividade do Produto Clássico de Matrizes sobre o Produto Tensorial Generalizado. In: Seminários de Andamento 2000, 2000, Porto Alegre. Anais - Seminários de Andamento 2000 do PPGCC. Porto Alegre : Pontifícia Universidade Católica do Rio Grande do Sul, 2000. v. 1. p. 35-46.
26.	FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . Numerical Issues for Stochastic Automata Networks. In: IV Process Algebras and Performance Modelling Workshop - PAPM 96, 1996. PAPM'96, 1996. p. 215-234.
27.	FERNANDES, P. ; PLATEAU, B. ; STEWART, W. J. . Numerical evaluation of stochastic automata networks. In: III International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, 1995, Durham, NC, USA. MASCOTS'95, 1995. v. 1. p. 179-183.
28.	FERNANDES, P. ; PLATEAU, B. . Stochastic Automata Networks, SAN: modelling and evaluation. In: II Process Algebras and Performance Modelling Workshop - PAPM 94, 1994. PAPM'94, 1994. p. 127-136.
29.	STRINGHINI, D. ; RAMOS, L. P. ; JUNGBLUT-HESSEL, R. ; FERNANDES, P. ; NAVAUX, P. . SIMIO: um simulador de interconexões regulares ortogonais. In: VII Simpósio Brasileiro de Arquitetura de Computadores - SBAC-PAD 94, 1994, Caxambu. VII SBAC-PAD, 1994. v. 1. p. 1-10.
30.	TREVISAN, A. ; FERNANDES, P. ; NAVAUX, P. . Uma solução geométrica para o cálculo da probabilidade marginal de caminhos. In: XIV Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 1991, Sao Bernardo do Campo. XIV Congresso Nacional de Matematica Aplicada e Computacional, 1991. v. 1.
31.	FERNANDES, P. ; TEODOROWITSCH, R. ; NAVAUX, P. . Análise quantitativa de arquiteturas pipeline. In: III Simpósio Brasileiro de Arquitetura de Computadores - SBAC-PP, 1990, Rio de Janeiro. III Simposio Brasileiro de Arquiteturas de Computadores - Processamento Paralelo, 1990. v. 1. p. 361-374.
32.	NAVAUX, P. ; FERNANDES, P. ; TAZZA, M. . SARA: A processor interconnection performance analysis tool. In: EUROMICRO 88, 1988, Zurich. XIV MIcroprocessing and Microprogramming, 1988. v. 1. p. 197-204.
33.	FERNANDES, P. ; TAZZA, M. ; NAVAUX, P. . Análise quantitativa de interconexões estrela. In: VIII Congresso da SBC, 1988, Rio de Janeiro. SEMISH, 1988. v. 1.
34.	NAVAUX, P. ; FERNANDES, P. ; TAZZA, M. . Avaliação de desempenho de máquinas paralelas. In: I Simpósio Brasileiro de Arquitera de Computadores - SBAC-PP, 1988, Aguas de Lindoia. I Simposio Brasileiro de Arquitetura de Computadores - Processamento Paralelo, 1988. v. 1. p. 1111-1117.
35.	FERNANDES, P. . SUDETO - um editor de interconexões de processadores. In: VII Congresso da SBC, 1987, Salvador. IV CTIC, 1987.
36.	TAZZA, M. ; FERNANDES, P. ; NAVAUX, P. . Análise quantitativa de interconexões cross-bar. In: VII Congresso da SBC, 1987, Salvador. SEMISH, 1987. v. 1. p. 241-254.
37.	NAVAUX, P. ; TAZZA, M. ; FERNANDES, P. . SARA: interface com o usuário e escopo de aplicação. In: XX Congresso da SUCESU, 1987, Sao Paulo. XX Congresso Nacional de Informatica, 1987. v. 1.
38.	TAZZA, M. ; NAVAUX, P. ; FERNANDES, P. . SARA: emprego de redes de Petri para modelagem de interconexões de processadores. In: X Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 1987, Gramado. X Congresso Nacional de Matematica Aplicada e Computacional, 1987. v. 1. p. 953-959.
39.	FERNANDES, P. ; GLUZ, J. ; LEMOS, A. ; MORSHEL, I. . KARL MARCs - Modelagem automatizada ao nivel RT de circuitos. In: VI Congresso da SBC, 1986, Recife. III CTIC, 1986. v. 1.

Resumos publicados em anais de congressos (4)

1.	BRENNER, L. ; FERNANDES, P. ; PLATEAU, B. ; SBEIT, I. . PEPS 2007. In: QEST 2007 - Quantitative Evaluation of Systems, 2007, Edinburgh. QEST 2007. New York : IEEE Press, 2007. v. 1. p. 72-74.
2.	FERNANDES, P. ; BRENNER, L. . MQNA - Analisador de Redes de Filas de Espera Markovianas. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 2001, Belo Horizonte. Anais do XXIV Congresso Nacional de Matemática Aplicada e Computacional, 2001. v. 2. p. 273-273.
3.	FERNANDES, P. ; PLATEAU, B. . Triangular Solution of Linear Systems in Tensor Product Format. In: SIGMETRICS 2000, 2000, Santa Clara, CA, USA. Workshop on Mathematical Performance Modeling and Analysis - MAMA´2000, 2000. v. 1. p. 41-44.
4.	CAVALHEIRO, G. ; BARRETO, R. M. ; FERNANDES, P. ; NAVAUX, P. . Métodos para avaliação de sistemas. In: XIII Congresso Nacional de Matemática Aplicada e Computacional - SBMAC, 1990, Rio de Janeiro. XIII Congresso Nacional de Matematica Aplicada e Computacional, 1990. v. 1. p. 137-140.

Softwares sem registro de patente (1)

1.	FERNANDES, P. ; PLATEAU, B. ; JUNGBLUT-HESSEL, R. ; STEWART, W. J. . PEPS 2000 - Performance Evaluation of Parallel Systems v.2000. 2000.

Produção artística/cultural (1)

1.	NABETA, S. ; FERNANDES, P. ; FREIRE JUNIOR, J. C. ; SICHMAN, J. S. . Chega de Saudade - Une emission de musique et culture bresilienne. 1995. (Apresentação em rádio ou TV/Música).

Tese de doutorado (1)

1.	Ricardo Melo Czekster. Soluções Otimizadas para a Análise do Espaço Atingível e Solução de Modelos Markovianos com Grande Espaço de Estados. Início: 2006 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.

Dissertação de mestrado (7)

1.	Paulo Henrique Zanin. Solução otimizada de modelos estocásticos. Início: 2009 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
2.	Luciana da Silveira Espindola. Modelagem estocástica de realidades paleogeográficas. Início: 2009 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
3.	Alberto Sales. Desenvolvimento de Modelos em Redes de Autômatos Estocásticos. Início: 2009 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
4.	Dione Taschetto. Soluções Otimizadas de Modelos Estocásticos Estruturados através de álgebra Tensorial Generalizada. Início: 2008 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
5.	Toni Amorim de Oliveira. Conversão automática de modelos UML para modelos de geração de teste de software. Início: 2007 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
6.	Rodrigo Fernando Shimazu. Modelagem Estocástica de Redes PLC. Início: 2007 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
7.	Everton Ricardo do Nascimento. Análise do Processo de Descoberta de Rotas e Avaliação do Protocolo de Roteamento Reativo DSR em Redes Wireless Ad Hoc. Início: 2007 - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.

Tese de doutorado (1)

1.	Thais Christina Webber dos Santos. Reducing the Impact of State Space Explosion in Stochastic Automata Networks. 2009. 0 f. Tese - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Paulo Henrique Lemelle Fernandes.

Dissertação de mestrado (13)

1.	Roger Gonçalves Urdangarian. Uma Investigação sobre o Uso de Práticas Extreme Programming no Desenvolvimento Global de Software. 2008. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
2.	Felipe Mainieri Franciosi. Uma Abordagem Paralela para o Algoritmo Split. 2008. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
3.	André Barros. Utilização de Redes de Autômatos Estocásticos no Processo Unificado, visando a Geração de Casos de Teste. 2007. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
4.	Ana Paula Salengue Scolari. Utilização 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. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
5.	Ricardo de Gasperi Presotto. Otimizações Para a Multiplicação Vetor-Descritor Através do Algoritmo Slice. 2006. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
6.	Felipe Barp Neuwald. Conversão de modelos em UML para redes de autômatos estocásticos. 2005. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
7.	Cristiano Bertolini. Análise de casos de teste estatisticamente relevantes através da descrição formal de programas. 2005. 95 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
8.	Thais Christina Webber dos Santos. Alternativas para o Tratamento Numérico Otimizado da Multiplicação Vetor-Descritor. 2003. 76 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Paulo Henrique Lemelle Fernandes.
9.	Leonardo Brenner. Agregação de Redes de Autômatos Estocásticos. 2003. 109 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Paulo Henrique Lemelle Fernandes.
10.	Afonso Henrique Correa Sales. Formalismos Estruturados de Modelagem para Sistemas Markovianos Complexos. 2003. 136 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Paulo Henrique Lemelle Fernandes.
11.	Andre Gobbi Farina. O Uso de Redes de Autômatos Estocásticos na Representação de Modelos de Uso para Teste de Software. 2002. 67 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
12.	Caio Graco Prates Alegretti. Conversão de modelos em Redes de Filas de Espera para Redes de Autômatos Estocásticos. 2001. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.
13.	Marta Rosecler Bez. Uma alternativa À distributividade do produto tensorial clássico de matrizes sobre o produto tensorial generalizado. 2001. 0 f. Dissertação - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Paulo Henrique Lemelle Fernandes.

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

1.	Mariana Kolberg. SAND - Uma ferramenta para o desenvolvimento de modelos em redes de autômatos estocásticos. 2002. 126 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
2.	Leonardo Brenner. MQNA - Analisador de Redes de Filas de Espera Markovianas. 2001. 127 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.
3.	Fabricio Leite Machado. Avaliação de Desempenho de Sistemas Gerenciadores de Banco de Dados. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.

Iniciação científica (4)

1.	Mauro César Charão dos Santos. PEPS - Avaliação de desempenho e confiabilidade de sistemas paralelos. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado 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: Paulo Henrique Lemelle Fernandes.
2.	Eduardo Basilio Santilli. PEPS - Avaliação de Desempenho e Confiabilidade de Sistemas Paralelos. 2001. 0 f. Iniciação Científica. (Graduando em Bacharelado 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: Paulo Henrique Lemelle Fernandes.
3.	Leonardo Brenner. PEPS - Avaliação de Desempenho e Confiabilidade de Sistemas Paralelos. 1999. 0 f. Iniciação Científica. (Graduando em Bacharelado 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: Paulo Henrique Lemelle Fernandes.
4.	Gustavo Ricardo Welp Filho. PEPS - Avaliação de desempenho de sistemas paralelos. 1998. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Paulo Henrique Lemelle Fernandes.

(*) Relatório criado com produções desde 1978 até HOJE
Data de processamento: Segunda, 30/11/2009 15:27:51