Curriculum

Vitae

 

 

 

Personal Information

 

Name

Nelson Souto Rosa

Address(es)

Work: Centro de Informática UFPE 

             Cidade Universitária - 50732-970 – Recife, Brazil

Telephone(s)

Work: +55 81 2126 8430

Fax(es)

Work: +55 81 2126 8438

E-Mail and WWW

E-Mail: nsr@cin.ufpe.br

WWW: http://www.cin.ufpe.br/~nsr

Nationality

Brazilian

Date of Birth

13.11.1970

Gender

Male

 

 

Work Experience

 

 

 

Dates

June 2002 – onwards

Occupation or Position Held

Associate Professor

Name of Employer

Federal University of Pernambuco, Recife, Brazil

Main activities

Teaching and Research

 

 

Dates

August 2000 – May 2002

Occupation or Position Held

Associate Professor

Name of Employer

Faculdade Integrada do Recife, Recife, Brazil

Main activities

Teaching

 

 

Dates

March 1999 – September 1999

Occupation or Position Held

Teacher Assistant

Name of Employer

University of Westminster, London, England

Main activities

Teaching

 

 

Dates

March 1998 – February 1999

Occupation or Position Held

Assistant Professor

Name of Employer

Federal University of Pernambuco, Recife, Brazil

Main activities

Teaching

 

 

Dates

March 1997 – February 1998

Occupation or Position Held

Associate Professor

Name of Employer

Federal University of Sergipe, Aracaju, Brazil

Main activities

Teaching and Research

 

 

Dates

November 1991 – January 1994

Occupation or Position Held

Computer Programmer

Name of Employer

Instituto de Tecnologia em Informática Recife, Brazil

Main activities

Computer Programming

 

 

Education and Training

 

 

 

Dates

August 1996 – December 2001

Qualification Awarded

Doctoral Degree in Computer Science

Name of Organisation

Federal University of Pernambuco, Recife, Brazil

 

 

Dates

March 1994 – July 1996

Qualification Awarded

Master of Science (M.Sc.) in Computer Science

Name of Organisation

Federal University of Pernambuco, Recife, Brazil

 

 

Dates

March 1988 – December 1992

Qualification Awarded

Bachelor of Science in Computer Science

Name of Organisation

Federal University of Pernambuco, Recife, Brazil

 

 

Dates

February 1981 – December 1987

Qualification Awarded

High School Diploma

Name of Organisation

Colégio Damas, Recife, Brazil

 

 

Research Activities

 

 

 

Research Areas

Distributed Systems

Middleware for Wireless Sensor Networks

Performance Evaluation of Middleware Systems

Formalisation of Distributed Applications

Adaptive Distributed systems

 

 

Research Awards

Brazilian Symposium on Computer Network Best Papers, 2001

 

 

Research Projects

 

 

 

Title

Toolkit for Development of Mobile Middleware Frameworks, 2007-2009, Brazil

Funding

FINEP/SEBRAE

 

 

Title

Formalisation, Development, Implementation and Performance Evaluation of Communication Middleware, 2007-2008, Brazil

Funding

CNPq/FACEPE

 

 

Title

R-TOOL: Reliability and Availability Evaluation of Communication Networks, 2005-2006, Brazil

Funding

ANEEL/CHESF

 

 

Title

Adaptive Middleware Systems, 2003-2004

Funding

PROPESQ/UFPE

 

 

Research Group

Currently: 8 M.Sc. candidates, 6 student research assistants

 

 

Supervised Ph.D Thesis

Rita Susana Pitangueira Maciel, 2005 (Co-supervisor)

Cláudia Maria de Araújo Ribeiro, 2004 (Co-supervisor)

 

 

Supervised M.Sc. Dissertations

Mardoqueu de Souza Vieira, 2006

Fábio Nogueira de Souza, 2006

Roberta Andrade de Araújo Fagundes, 2006 (Co-supervisor)

Fernando Antonio Aires Lins, 2006.

Marcos André da Silva Costa, 2004

Milton Secundino de Souza Júnior, 2004

Eduardo Gonçalves Calábria, 2004

Marco A F Moraes, 2002 (Co-supervisor)

 

 

Teaching Activities

 

 

 

Lectures

Design and Implementation of Middleware Systems, regularly held since 2004

Communicanting System, regularly held since 2004

 

 

Professional Services

 

 

 

Reviewer

for 20 conferences (ACM SAC, SBRC, SBES, SBMF, WDBC, EATIS)

co-reviewer for 14 Ph.D. dissertations

co-reviewer for 22 M.Sc. dissertations

 

 

Programme Committee Member

For 10 conferences (SBRC, SBES, WDBC, EATIS)

 

 

Memberships

IEEE Computer Society

ACM

Brazilian Computer Society

 

 

Publications

 

 

 

Books and Monographs

1.      ROSA, N. S.

NFi: An Architecture-Based Approach for Treating Non-Functional Properties of Dynamic Distributed Systems

Department of Computer Science, Federal University of Pernambuco, 2001

 

2.       ROSA, N. S.

Implementando projetos formais LOTOS na plataforma de distribuicao ANSAware

Department of Computer Science, Federal University of Pernambuco, 1996.

Journal and Book Chapters

 

 

1.       LINS, Fernando A. A., SANTOS JÚNIOR, José Carlos and ROSA, Nelson. S.

Adaptive Web Service Composition.

In: ACM Software Engineering Notes, p. 1-8, 2007 (To Appear).

 

 

2.       ROSA, N. S.; CUNHA, Paulo R. F.

A Formal Framework for Middleware Behavioural     Specification.

In: ACM Software Engineering Notes, v. 32, p. 1-7, 2007.

 

3.       SOUTO, Eduardo James Pereira; VASCONCELOS, Glauco Pimentel; GUIMARÃES, Germano de Freitas; VIEIRA, Mardoqueu de Souza; ROSA, N. S.; FERRAZ, Carlos André Guimarães.

Mires: A Publish/subscribe Middleware for Sensor Networks.

In: Personal And Ubiquitous Computing, Springer Verlag, v. 10, n. 1, p. 37-44, 2006. 

 

4.       ROSA, N. S.; CUNHA, Paulo Roberto Freire.

        Behavioural Specification of Middleware Systems.  

       In: Journal of the Brazilian Computer Society, v. 2, p. 62-74,

       2006. 

 

5.       ROSA, N. S.; JUSTO, George Roger Ribeiro; CUNHA, Paulo Roberto Freire.

An Approach for Reasoning and Refining Non-Functional Requirements.

In: Journal of the Brazilian Computer Society, v. 10, n. 1, p. 59-77, 2004.  

 

6.       ROSA, N. S.; CUNHA, Paulo R. F.

A Software Architecture-Based Approach for Formalising Middleware Behaviour.

In: Electronic Notes In Theoretical Computer Science, v. 108, p. 39-51, 2004. 

Conference Proceedings

 

 

1.       GALDINO, Sérgio; MACIEL, Paulo Romero Martins; ROSA, N. S.

Generalized Stochastic Petri Net Models in Dependability Evaluation.

In: SMC, 2007, Montreal. 2007 IEEE International Conference on Systems, Man, and Cybernetics, 2007. p. 1-6.

2.       LINS, Fernando Antônio Aires; SANTOS JUNIOR, José Carlos dos; ROSA, N. S.

Improving Transparent Adaptability in Web Service Composition.

In: SOCA'07, 2007, Newport Beach. IEEE International

       Conference on Service-Oriented Computing, 2007. p. 1-9. 

3.       FREITAS, Osmany Barros de; ROSA, N. S.

        MIDAS: Um Framework de Middleware Baseado em

        Arquitetura de Software.

        In: Eatis, 2007, Faro, Portugal. Euro American Conference

        on Telematics and Information Systems, 2007. p. 1-9.  (In

        Portuguese)

4.       ROSA, N. S.; CUNHA, Paulo R. F.

        Behavioural Specification of Wireless Sensor Network

        Applications.

        In: IEEE GIIS, 2007, Marrakech, 2007. p. 1-9. 

5.       ARTEIRO, Roberto Delgado; SOUZA, Fábio Nogueira de; ROSA, N. S.; MACIEL, Paulo Romero Martins.

Utilizando Redes de Petri para Modelagem de Desempenho de Middleware Orientado a Mensagem.

In: WPerformance, 2007, Rio de Janeiro. WPerformance 2007, 2007. p. 1-21.  (In Portuguese)

6.       RIBEIRO, Cláudia Maria Fernandes Araújo; ROSA, N. S.; CUNHA, Paulo Roberto Freire.

An Ontological Approach for Personalized Services.

 In: AINA (FINA), 2006, Viena, Áustria. The IEEE 20th International Conference on Advanced Information Networking and Applications, 2006. v. 2. p. 729-733. 

7.       SOUZA, Fábio Nogueira de; ARTEIRO, Roberto Delgado; ROSA, N. S.; MACIEL, Paulo Romero Martins.

Using Stochastic Petri Nets for Performance Modelling of Application Servers .

In: 5th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems (IEEE IPDPS), 2006, Rhodes Island. PMEO-PDS'06, 2006. 

8.       GUIMARÃES, Germano de Freitas; SOUTO, Eduardo James Pereira; VIEIRA, Mardoqueu de Souza; VASCONCELOS, Glauco Pimentel; ROSA, N. S.; FERRAZ, Carlos André Guimarães .

Middleware para Redes de Sensores Sem-Fio: Projeto, Implementação e Avaliação de Consumo de Energia .

In: SBRC, 2006, Curitiba. 24o. Simpósio Brasileiro de Redes de Computadores, 2006. p. 1-16.  (In Portuguese)

9.       LINS, Fernando Antonio Aires; SANTOS JUNIOR, José Carlos dos; SILVA, Arnoldo Nunes da; ROSA, N. S.; MACIEL, Paulo Romero Martins; QUENTAL, Nívia Cruz .

Avaliação de Desempenho da Composição de Web Services usando Redes de Petri.

In: SBRC, 2006, Curitiba. 24o. Simpósio Brasileiro de Redes de Computadores, 2006. p. 1-16. (In Portuguese)

10.    SOUZA, Fábio Nogueira de; DELGADO, Roberto Arteiro; ROSA, N. S.; MACIEL, Paulo Romero Martins.

Using Stochastic Petri Nets for Performance Modelling of JBoss Application Server.

In: WPerformance, 2006, Campo Grande. V Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2006. p. 221-238. 

11.    ROSA, N. S.; CUNHA, Paulo Roberto Freire .

A LOTOS Framework for Middleware Behaviour Specification.

In: Forte, 2006, Paris. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. Paris : Lecture Notes in Computer Science, 2006. v. 4229. p. 136-142. 

12.    LINS, Fernando Antonio Aires; SANTOS JÚNIOR, José Carlos dos; ROSA, N. S.

Policy-driven Adaptive Web Service Composition.

In: Fourth International Workshop on SOA and Web Services, 2006, Portland, Oregon. Fourth International Workshop on SOA and Web Services (OOPSLA 2006), 2006. p. 40-51. 

13.    MACIEL, Rita Suzana Pitangueira; ROSA, N. S.; FERRAZ, Carlos André Guimarães; SILVA, Bruno Carreiro da

Um Processo MDA para o Desenvolvimento de Componentes e Serviços Específicos de Middleware.

In: WDBC, 2006, Recife. VI Workshop de Desenvolvimento Baseado em Componentes, 2006. p. 63-70.  (In Portuguese)

14.    MACIEL, Rita Suzana Pitangueira; ROSA, N. S.; FERRAZ, Carlos André Guimarães

 InterDOC: Reference Architecture for Interoperable Services in Collaborative Writing Environments.

 In: CSCWD 2005, 2005, Conventry. 9th International Conference on CSCW in Design, 2005. v. 1. p. 289-295. 

15.    MACIEL, Rita Suzana Pitangueira; FERRAZ, Carlos André Guimarães; ROSA, N. S.

 An MDA Domain Specific Architecture to Provide Interoperability Among Collaborative Environments.

In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. 19o. Simpósio Brasileiro de Engenharia de Software, 2005. 

16.    ROSA, N. S.; MACIEL, Paulo Romero Martins; BARROS, Roberto Souto Maior de; SANTOS, Helio Lopes dos .

Managing Petri Nets in MOF Repositories.

In: ODBASE 2005, 2005, Agia Napa. The 4th International Conference on Ontologies, DataBases, and Applications of Semantics (Proceedings Part II ), 2005. v. 3761. p. 1381-189. 

17.    VIEIRA, Mardoqueu Souza; ROSA, N. S. A

Reconfigurable Group Management Middleware Service for Wireless Sensor Networks.

In: MPAC'2005, 2005, Grenoble. Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing (Middleware'06), 2005. v. 115. p. 1-8. 

18.    MACIEL, Rita Suzana Pitangueira; ROSA, N. S.; FERRAZ, Carlos André Guimarães; SILVA, Bruno Carreiro da .

 An MDA-EDOC based Development Process for Distributed Applications.

In: ICEIS'05, 2005, MIami. 7th International Conference on Enterprise Information Systems, 2005. p. 3-10. 

19.    RIBEIRO, Cláudia Maria Fernandes Araujo; ROSA, N. S.; CUNHA, Paulo Roberto Freire .

 Towards a Model for Personalized Communication Services.

In: AINA, 2004, Fukuoka. 18th International Conference on Advanced Information Networking and Applications, 2004. v. 2. p. 99-102. 

20.    FERNANDES, Stênio F. L.; SILVA, Wellington João da; SILVA, Mauro J. C.; ROSA, N. S.; MACIEL, Paulo Romero Martins; SADOK, Djamel F.

On the Generalised Stochastic Petri Net Modelling of Message-Oriented Middleware Systems .

 In: IPCCC, 2004, Phoenix. 23rd IEEE International Performance, Computing, and Communications Conference, 2004. p. 783-788. 

21.    ROSA, N. S.; CUNHA, Paulo R. F.

A Software Architecture-Based Approach for Formalising Middleware Behaviour.

In: FESCA, 2004, Barcelona. Formal Foundations of Embedded Software and Component-Based Software Architectures Workshop, 2004. p. 24-37. 

22.    FERNANDES, Stênio F. L.; SILVA, Mauro J. C.; SILVA, Wellington João da; ROSA, N. S.; MACIEL, Paulo Romero Martins; SADOK, Djamel F.

Performance Analysis of Message-Oriented Middleware Using Stochastic Petri Nets.

In: SBRC, 2004, Gramado. XXII Simpósio Brasileiro de Redes de Computadores, 2004. v. 1. p. 279-292. 

23.    ROSA, N. S.; CUNHA, Paulo R F .

Adopting LOTOS and Software Architecture Principles for Formalising Middleware Behaviour

In: SBRC 2004, 2004, Gramado. XXII Simpósio Brasileiro de Redes de Computadores, 2004. v. 1. p. 525-538. 

24.    SOUTO, Eduardo James Pereira; VASCONCELOS, Glauco Pimentel; GUIMARÃES, Germano de Freitas; VIEIRA, Mardoqueu de Souza; ROSA, N. S.; FERRAZ, Carlos André Guimarães .

A Message-Oriented Middleware for Sensor Networks. In: MPAC'2004, 2004, Toronto. 2nd Workshop on MIddleware for Pervasive and Ad-Hoc Computing, 2004. p. 127-134. 

25.    RIBEIRO, Cláudia M F A; ROSA, N. S.; CUNHA, Paulo R. F. Meaningful SLA: Towards a QoS Contract-based on User Perception

In: CoALa, 2004, Monterey. Workshop on Contract Architectures and Languages, 2004. 

26.    RIBEIRO, Cláudia Maria Fernandes Araujo; ROSA, N. S.; CUNHA, Paulo Roberto Freire .

Towards a Model for Personalized Communication Services based on User Perception. In: ICEIS, 2004, Porto. 6th International Conference on Enterprise Information Systems, 2004. v. 5. p. 211-215. 

27.    BARROS, Juliana Regueira Bastos Diniz; SILVA, Adriana; BARROS, Roberto Souto Maior de; FERRAZ, Carlos André Guimarães; ROSA, N. S.

Um Serviço de Registro de Seleção de Canais para TV Digital Baseado em XML.

In: WebMedia & LA-Web, 2004, Ribeirão Preto. WebMedia & LA-Web 2004 - Joint Conference, 2004. 

28.    BARROS, Juliana Regueira Bastos Diniz; SILVA, Adriana Rodrigues; BARROS, Roberto Souto Maior de; FERRAZ, Carlos André Guimarães; ROSA, N. S.

Projetando um Serviço de Descoberta de Canais para TV Digital.

In: CLEI, 2004, Lima. 30ma Conferencia Latinoamericana de Informática, 2004. p. 255-265. 

29.    SGOTTI, Virgínia A C; ROSA, N. S.; SILVA, Wellington João da .

A MOM-based Solution for Remote Monitoring of Equipment in Mines.

In: EDOC, 2003, Brisbane. Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. p. 321-326. 

30.    RIBEIRO, Cláudia Maria Fernandes; ROSA, N. S.; CUNHA, Paulo Roberto Freire .

User Quality of Perception: Towards a Model for Personalised Communication Services.

In: SBSE, 2003, Pisa, Itália. Workshop on Service-Based Software Engineering, 2003. p. 31-46. 

31.    ROSA, N. S.; JUSTO, G. R. R.; CUNHA, Paulo R. F.

Process-NFL: A Language for Describing Non-Functional Properties.

In: HICSS, 2002, Kona, Hawaii, EUA. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, 2002. p. 3676-3675. 

32.    ROSA, N. S.; CUNHA, Paulo Roberto Freire; JUSTO, George Roger Ribeiro .

An Approach for Refining Non-Functional Software Architectures.

In: FLOCASA, 2002, Brno. Workshop on Foundation of Coordination Languages and Software Architecture, 2002. p. 237-257. 

33.    MORAES, M. A. F.; VASCONCELOS, A. M. L.; ROSA, N. S.; ROSA, N. S. Uma Abordagem para Integrar Técnicas de Reuso no Processo de Desenvolvimento Tradicional de Software. In: WDBC, 2002, Itaipava. Segundo Workshop em Desenvolvimento Baseado em Componentes, 2002. p. 1-10. 

34.    RIBEIRO, Cláudia M F A; ROSA, N. S.; CUNHA, Paulo R F . An Approach for the Systematic Mapping of Non-Functional Requirements onto QoS Parameters.

 In: SBMIDIA, 2002, Fortaleza. VIII Brazilian Symposium on Multimedia and Hypermedia Systems, 2002. p. 105-110. 

1.       ROSA, N. S.; CUNHA, Paulo R. F.; JUSTO, G. R. R.

 Treating Non_Functional Properties of Dynamic Distributed Software Architectures.

In: Simposio Brasileiro de Redes de Computadores, 2001, Florianopolis. Simposio Brasileiro de Redes de Computadores - SBRC, 2001. p. 711-726. 

2.       ROSA, N. S.; CUNHA, Paulo R. F.; JUSTO, G. R. R.; Castro, Jaelson; Alves, Carina .

Using Non-Functional Requirements to Select Components:  A Formal Approach.

In: Workshop Iberoamerican on Software Engineering and Software Environment, 2001, San Jose. Fourth Workshop Iberoamerican on Software Engineering and Software Environment, 2001. 

3.       ROSA, N. S.; CUNHA, Paulo R. F.; JUSTO, G. R. R.

 A Framework for Building Non-Functional Software Architectures.

In: ACM Symposium on Applied Computing, 2001, Las vegas. 16th ACM SAC, 2001. p. 141-147. 

4.       ROSA, N. S.; JUSTO, G. R. R.; CUNHA, Paulo R. F.

 On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures.

 In: International Conference on Parallel and Distributed Systems, 2001, Dallas, USA. 14th International Conference on Parallel and Distributed Systems, 2001. p. 62-67. 

5.       ROSA, N. S.; JUSTO, G. R. R.; CUNHA, Paulo R. F.

Expressing Real-Time Performance in Software Radios.

 In: IEEE Real-Time Systems Symposium, 2001, Londres. 22nd IEEE Real-Time Systems Symposium, 2001. p. 57-60. 

6.       TENÓRIO, L. E. F.; CALLADO, A. C.; AQUINO JÚNIOR, G. S.; FERRAZ, Carlos André Guimarães; ROSA, N. S.

Implementação de um Serviço de Segurança em CORBA.

In: OD´2001, 2001, São Paulo. I Workshop em Tendências de Objetos Distribuídos, 2001. 

7.       FARIAS, A. C.; SIMÕES, M. A. C.; OLIVEIRA, J. P.; ALMEIDA, M. P.; FERRAZ, Carlos A G; ROSA, N. S. TNS –

Um Serviço de Nomes CORBA Tolerante a Falhas.

 In: OD´2001, 2001, São Paulo. I Workshop em Tendências de Objetos Distribuídos, 2001. 

8.       ROSA, N. S.; Vasconcelos, Alexandre; Castro, Jaelson .

Relating Function Point Analysis to Software Architecture.

In: Ibero-American Workshop on Software Engineering and Software Environment, 2000, Cancun. Third Workshop Ibreroamerican on Software Engineering and Software Environment, 2000. p. 302-312. 

9.       ROSA, N. S.; JUSTO, G. R. R.; CUNHA, Paulo R. F.

Incorporating Non-Functional Requirements on Software Architectures.

In: International Workshop on Formal Methods for Parallel Progrmamming: Theory and Applications, 2000, Cancun. Lecture Notes in Computer Science, 2000. v. 1800. p. 1009-1018. 

10.    ROSA, N. S.; CUNHA, Paulo R. F.; JUSTO, G. R. R.

 Uso de E-LOTOS na Descricao de Arquiteturas de Software de Sistemas Distribuidos.

 In: WoSiD - Workshop em Sistemas Distribuídos, 1998, Curitiba, Paraná. WoSiD'98, 1998. p. 89-96. 

11.    ROSA, N. S.; CUNHA, Paulo R. F.; SADOK, Djamel F.

A methodology for realization of LOTOS specifications in the ANSAware.

In: ICDP'96, 1996, Dresden, Alemanha. IFIP/IEEE International Conference on Distributed Platforms, 1996. p. 204-209. 

12.    ROSA, N. S.; CUNHA, Paulo R. F.; SADOK, Djamel F.

Implementando Especificacoes LOTOS na Plataforma de Distribuicao ANSAware.

In: SBRC'96, 1996, Fortaleza, Ceará. Simpósio Brasileiro de Redes de Computadores, 1996. 

13.    ROSA, N. S.; CUNHA, Paulo R. F.

 Implementacao do multiway rendezvous LOTOS na plataforma de distribuicao ANSAware.

 In: Seminário Integrado de Software e Hardware - SEMISH, 1996, Recife, Pernambuco. XXIII Seminário Integrado de Software e Hardware, 1996. p. 83-94.

 

Back to Home Page