A Communication Data Type for Message Oriented Programming. - Paulo R. F. Cunha; T. S. E. Maibaum (Symposium on Programming, 1980)

A Methodology for Message Oriented Programming. - Paulo R. F. Cunha; Carlos José Pereira de Lucena; T. S. E. Maibaum (Fachtagung über Programmiersprachen, 1980)

On the design and specification of message oriented programs. - Paulo Roberto Freire Cunha; Carlos José Pereira de Lucena; T. S. E. Maibaum (Int. J. Parallel Program., 1980)

A Synchronization Calculus for Message Oriented Programming. - Paulo Roberto Freire Cunha; T. S. E. Maibaum (ICDCS, 1981)

Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. - Paulo R. F. Cunha; T. S. E. Maibaum (ICSE, 1981)

Message Oriented Programming - A Resource Based Methodology. - Paulo R. F. Cunha; Carlos José Pereira de Lucena; T. S. E. Maibaum (Comput. Lang., 1983)

Simulação de Especificações LOTOS Usando Linguagens Funcionais. - Carlos A. G. Ferraz; Paulo R. F. Cunha; Silvio R. L. Meira (SBES, 1989)

Representação Gráfica para LOTOS. - Maria Teresa Silva de Moura; Paulo Roberto Freire Cunha (SBES, 1989)

Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos. - Tânia Saraiva de Melo Pinheiro; Paulo Roberto Freire Cunha (SBES, 1990)

Programming distributed systems with configuration languages. - George R. Ribeiro-Justo; Paulo Roberto Freire Cunha (CDS, 1992)

Um Ambiente Distribuído para Suporte à Configuração Dinâmica. - Jorge de Araújo Lima Filho; Paulo Roberto Freire Cunha (SBES, 1992)

Deadlock-free configuration programming. - George R. Ribeiro-Justo; Paulo Roberto Freire Cunha (CDS, 1994)

Formal Specification of Evolving Distributed Software Architectures. - George R. Ribeiro-Justo; Virginia C. Carneiro de Paula; Paulo R. F. Cunha (DEXA Workshop, 1998)

Specifying Dynamic Distributed Software Architectures. - Virginia C. Carneiro de Paula; George R. Ribeiro-Justo; Paulo R. F. Cunha (SBES, 1998)

An application framework for dynamic distributed software architectures. - George R. Ribeiro-Justo; Paulo R. F. Cunha (Parallel Distributed Comput. Pract., 1998)

Formal Specification of Dynamic Architectural Styles. - Virginia C. Carneiro de Paula; George R. Ribeiro-Justo; Paulo R. F. Cunha (PDPTA, 1999)

An architectural application framework for evolving distributed systems. - George R. Ribeiro-Justo; Paulo Roberto Freire Cunha (J. Syst. Archit., 1999)

Incorporating Non-functional Requirements into Software Architectures. - Nelson S. Rosa; George R. Ribeiro-Justo; Paulo R. F. Cunha (IPDPS Workshops, 2000)

Specifying and Verifying Reconfigurable Software Architectures. - Virginia C. Carneiro de Paula; George R. Ribeiro-Justo; Paulo R. F. Cunha (PDSE, 2000)

On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures. - Nelson S. Rosa; Paulo Roberto Freire Cunha; George R. Ribeiro-Justo (PDCS, 2001)

A framework for building non-functional software architectures. - Nelson S. Rosa; George R. Ribeiro-Justo; Paulo R. F. Cunha (SAC, 2001)

A simulation environment for analyses of quality of service in mobile cellular networks. - Dave A. T. Cavalcanti; Judith Kelner; Paulo Roberto Freire Cunha; Djamel Fawzi Hadj Sadok (VTC Fall, 2001)

ProcessNFL: A Language for Describing Non-functional Properties. - Nelson S. Rosa; Paulo R. F. Cunha; George R. Ribeiro-Justo (HICSS, 2002)

Towards a Model for Personalized Communication Services. - Cláudia M. F. A. Ribeiro; Nelson S. Rosa; Paulo Roberto Freire Cunha (AINA (2), 2004)

Towards a Model for Personalized Communication Services Based on User Perception. - Cláudia M. F. A. Ribeiro; Nelson S. Rosa; Paulo Roberto Freire Cunha (ICEIS (5), 2004)

A Calculus for Reconfigurable Component-Based Systems. - Cidcley Teixeira de Souza; Paulo Roberto Freire Cunha (CLEI Electron. J., 2004)

A Software Architecture-Based Approach for Formalising Middleware Behaviour. - Nelson S. Rosa; Paulo Roberto Freire Cunha (FESCA@ETAPS, 2004)

An Approach for Reasoning and Refining Non-Functional Requirements. - Nelson Souto Rosa; Paulo Roberto Freire Cunha (J. Braz. Comput. Soc., 2004)

An Ontological Approach for Personalized Services. - Cláudia M. F. A. Ribeiro; Nelson S. Rosa; Paulo Roberto Freire Cunha (AINA (2), 2006)

A LOTOS Framework for Middleware Specification. - Nelson S. Rosa; Paulo Roberto Freire Cunha (FORTE, 2006)

Adding Meaning to QoS Negotiation. - Cláudia M. F. A. Ribeiro; Nelson S. Rosa; Paulo Roberto Freire Cunha (ICEIS (4), 2006)

Evaluation of Dedicated Path Protection Schemes in All-Optical Network under Different Wavelength Assignment Algorithms. - André Soares 001; José Maranhão Neto; William Giozza; Paulo R. F. Cunha (ICNS, 2006)

Cost Benefit Study of Sparse-Partial Wavelength Conversion Architectures. - André Soares 001; José Maranhão Neto; William Giozza; Paulo R. F. Cunha (ICSNC, 2006)

Behavioural Specification of Middleware Systems. - Nelson Souto Rosa; Paulo Roberto Freire Cunha (J. Braz. Comput. Soc., 2006)

Classification Strategy to Mitigate Unfairness in All-Optical Networks. - André Soares 001; William Giozza; Paulo R. F. Cunha (ICON, 2007)

A formal framework for middleware behavioural specification. - Nelson Souto Rosa; Paulo Roberto Freire Cunha (ACM SIGSOFT Softw. Eng. Notes, 2007)

Fair bandwidth sharing using Shapley value. - Edilayne Meneses Salgueiro; Paulo Roberto Freire Cunha; Ricardo J. P. de B. Salgueiro; José Augusto Suruagy Monteiro (EATIS, 2008)

Defining bandwidth constraints with cooperative games. - Edilayne Meneses Salgueiro; Paulo Roberto Freire Cunha; Paulo Romero Martins Maciel; José Augusto Suruagy Monteiro; Ricardo J. P. de B. Salgueiro (ICUMT, 2009)

A Methodology of Traffic Engineering to IP Backbone. - José Everardo Bessa Maia; Arnoldo N. da Silva; Jorge Luiz de Castro e Silva; Paulo Roberto Freire Cunha (IPOM, 2009)

Traffic analysis and synthetic models of second life. - Rafael Antonello; Stenio F. L. Fernandes; Josilene Moreira; Paulo Roberto Freire Cunha; Carlos Alberto Kamienski; Djamel Sadok (Multim. Syst., 2009)

Model-driven software synthesis for hard real-time applications with energy constraints. - Eduardo Tavares; Paulo Romero Martins Maciel; Pedro Dallegrave; Bruno Silva 001; Tiago Falcão; Bruno Costa e Silva Nogueira; Gustavo Rau de Almeida Callou; Paulo R. F. Cunha (Des. Autom. Embed. Syst., 2010)

Performability modeling of electronic funds transfer systems. - Carlos Araújo; Paulo Romero Martins Maciel; Armin Zimmermann; Ermeson C. Andrade; Erica Sousa; Gustavo Rau de Almeida Callou; Paulo Roberto Freire Cunha (Computing, 2011)

Energy consumption and execution time estimation of embedded system applications. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Eduardo Tavares; Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Carlos Araújo; Paulo Roberto Freire Cunha (Microprocess. Microsystems, 2011)

Vertical handover decision based on quality of experience in heterogeneous wireless networks. - Gracieth Valenzuela; Isac Ferreira; Obionor O. Nóbrega; Paulo Roberto Freire Cunha (EATIS, 2012)

A semantic solution for saving energy in wireless sensor networks. - Kalil A. Bispo; Nelson S. Rosa; Paulo Roberto Freire Cunha (ISCC, 2012)

A semantic message oriented middleware for wireless sensor networks. - Kalil A. Bispo; Nelson S. Rosa; Paulo Roberto Freire Cunha (EATIS, 2014)

Using Bayesian networks to improve the decision-making process in public health systems. - Germanno Teles; Carina Teixeira de Oliveira; Reinaldo Bezerra Braga; Luiz O. M. Andrade; Ronaldo Ramos; Paulo Cunha 001; Mauro Oliveira (Healthcom, 2014)

A knowledge and collaboration-based CBR process to improve network performance-related support activities. - Leobino N. Sampaio; Patrícia C. A. R. Tedesco; José Augusto Suruagy Monteiro; Paulo Roberto Freire Cunha (Expert Syst. Appl., 2014)

SITRUS: Semantic Infrastructure for Wireless Sensor Networks. - Kalil A. Bispo; Nelson S. Rosa; Paulo R. F. Cunha (Sensors, 2015)

A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements. - Erica Sousa; Fernando Antônio Aires Lins; Eduardo Antonio Guimarães Tavares; Paulo Roberto Freire Cunha; Paulo Romero Martins Maciel (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Mobility-Flow: Solução para Handover Transparente e com Suporte à Autenticação 802.1x em Redes OpenFlow. - Edivaldo C. de A. Junior; Edson A. M. Avelar; Kelvin L. Dias; Paulo R. F. Cunha (SBRC, 2017)

Customizing Usability Heuristics for Augmentative and Alternative Communication Systems. - Natalia M. Franco; Robson N. Fidalgo; Paulo Roberto Freire Cunha; Obionor O. Nóbrega; Alexandre Ramos (EATIS, 2018)

Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models. - Julian Araujo; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Gustavo Callou; Vandi Alves; Paulo Roberto Freire Cunha (J. Cloud Comput., 2018)

Optimising virtual networks over time by using Windows Multiplicative DEA model. - Francisco D. Marques Júnior; Ali Emrouznejad; Kelvin Lopes Dias; Paulo Roberto Freire Cunha; Jorge Luiz de Castro e Silva (Expert Syst. Appl., 2019)