Paulo Roberto
Freire Cunha
Bolsista
de Produtividade em Pesquisa do CNPq - Nível 1A
Possui
Graduação
em Engenharia Elétrica
pela Universidade Federal de Pernambuco (1974), Mestrado em Ciências da
Computação pela Universidade Federal de Pernambuco (1977) e Doutorado em Ciência
da Computação - University of Waterloo (1981). Atualmente é Professor Titular
da Universidade Federal de Pernambuco, Consultor, Assessor do Conselho Nacional
de Desenvolvimento Científico e Tecnológico, Consultor da Fundação Centro de
Pesquisa e Desenvolvimento em Telecomunicações-CPqD, Membro da Sociedade
Brasileira de Computação desde 1982 e Consultor, Assessor da Coordenação de
Aperfeiçoamento de Pessoal de Nível Superior. Foi Pró-Reitor de Pesquisa e Pós-Graduação
da Universidade Federal de Pernambuco de 1995/2003 e atualmente, é Diretor do
Centro de Informática-CIn da Universidade Federal de Pernambuco. Tem Experiência
na área de Ciência da Computação, com ênfase em Sistemas de Computação,
Redes e Sistemas Distribuídos.
Linhas de
Pesquisas
Publicações
Recentes
Trabalhos
completos publicados em anais de congressos
A.
C. Soares ; W. F. GIOZZA ; CUNHA, P. R. F. . TONeTS: Símulador para Avaliação
de Desempenho de Redes Ópticas Transparentes. In: Anais do WPerformance, 2007,
Rio de Janeiro. Anais do WPerformance, 2007.
A.
C. Soares ; CUNHA, P. R. F. . A
New Approach for Performance Evaluation of Survivability Services in All-Optical
Networks. In: Proceedings of the IEEE International Conference on
Telecommunications, 2007,
Malaysia
. Proceedings
of the IEEE International Conference on Telecommunications, 2007.
Rosa,
N. S. ; CUNHA, P. R. F. . Behavioural
Specification of Wireless Sensor Network Applications. In: Proceedings of the
IEEE International Global
Information Infrastructure Symposium, 2007, Marrakech. Proceedings of the IEEE
International Global Information Infrastructure Symposium, 2007.
Rosa,
N. S. ; CUNHA, P. R. F. . A
LOTOS Framework for Middleware Behaviour Specification. In: Proceedings of the
26th IFIP International Conference on Formal Methods for Networked and
Distributed Systems, FORTE´06, 2006, París. Proceedings of the 26th IFIP
International Conference on Formal Methods for Networked and Distributed
Systems, FORTE´06. París
: Lecture Notes in Computer Science, 2006. v. 4229.
Artigos
completos publicados em periódicos
CUNHA,
P. R. F. ; Rosa, N. S. . A
Formal Framework for Middleware Behavioural Specification. ACM
Software Engineering Notes, v. 32, p. 1-7, 2007.
Rosa,
N. S. ; CUNHA, P. R. F. . Using
LOTOS for Formalising Wireless Sensor Network Aplications. Sensors
(Basel), v. 7, p. 1-12, 2007.
Rosa,
N. S. ; CUNHA, P. R. F. . Behavioural
Specification of Middleware Systems. Journal
of the Brazilian Computer Society, v. 12, p. 62-74, 2006.
SOUSA,
C. T. ; CUNHA, P. R. F. . A
Calculus for Reconfigurable Component-Based Systems. CLEI
Electronic Journal, v. 7, p. 20-32, 2005
CUNHA,
P. R. F. ; ROSA, N S . A
Software Architecture - Based Approach for Formalising Middleware Behavior. Electronic
Notes In Theoretical Computer Science, v. 95, p. 24-37, 2004.
Endereço
Universidade
Federal de Pernambuco - UFPE
Centro de
Informática / Departamento de Sistemas de
Computação.
Av. Prof. Luiz Freire, s/n -
Cidade Universitária
50740540 - Recife, PE - Brasil - Caixa-Postal: 7851
Telefone: (81) 2126-8430 Ramal: 4004 Fax: (81) 2126-8438
E-mail
prfc@cin.ufpe.br