![]() | ![]() |
P. R. F. Cunha
List of publications from the DBLP Bibliography Server - FAQ
| 2011 | ||
|---|---|---|
| 33 | Carlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha: Performability modeling of electronic funds transfer systems. Computing 91(4): 315-334 (2011) | |
| 32 | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha: Energy consumption and execution time estimation of embedded system applications. Microprocessors and Microsystems - Embedded Hardware Design 35(4): 426-440 (2011) | |
| 2010 | ||
| 31 | Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha: Model-driven software synthesis for hard real-time applications with energy constraints. Design Autom. for Emb. Sys. 14(4): 327-366 (2010) | |
| 2009 | ||
| 30 | Edilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel, José Augusto Suruagy Monteiro, Ricardo J. P. B. Salgueiro: Defining bandwidth constraints with cooperative games. ICUMT 2009: 1-8 | |
| 29 | José E. Bessa Maia, Arnoldo N. da Silva, Jorge L. C. Silva, Paulo Roberto Freire Cunha: A Methodology of Traffic Engineering to IP Backbone. IPOM 2009: 173-179 | |
| 2008 | ||
| 28 | Edilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Ricardo J. P. B. Salgueiro, José A. S. Monteiro: Fair bandwidth sharing using Shapley value. EATIS 2008 | |
| 2007 | ||
| 27 | Nelson Souto Rosa, Paulo Roberto Freire Cunha: A formal framework for middleware behavioural specification. ACM SIGSOFT Software Engineering Notes 32(2): 1-7 (2007) | |
| 2006 | ||
| 26 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha: An Ontological Approach for Personalized Services. AINA (2) 2006: 729-733 | |
| 25 | Nelson S. Rosa, Paulo Roberto Freire Cunha: A LOTOS Framework for Middleware Specification. FORTE 2006: 136-142 | |
| 24 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha: Adding Meaning to QoS Negotiation. ICEIS (4) 2006: 106-111 | |
| 23 | Nelson Souto Rosa, Paulo Roberto Freire Cunha: Behavioural Specification of Middleware Systems. J. Braz. Comp. Soc. 12(2): 63-74 (2006) | |
| 2004 | ||
| 22 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha: Towards a Model for Personalized Communication Services. AINA (2) 2004: 99-103 | |
| 21 | Cláudia M. F. A. Ribeiro, Nelson S. Rosa, Paulo Roberto Freire Cunha: Towards a Model for Personalized Communication Services Based on User Perception. ICEIS (5) 2004: 211-215 | |
| 20 | Cidcley Teixeira de Souza, Paulo Roberto Freire Cunha: A Calculus for Reconfigurable Component-Based Systems. CLEI Electron. J. 7(2): (2004) | |
| 19 | Nelson S. Rosa, Paulo Roberto Freire Cunha: A Software Architecture-Based Approach for Formalising Middleware Behaviour. Electr. Notes Theor. Comput. Sci. 108: 39-51 (2004) | |
| 18 | Nelson Souto Rosa, Paulo Roberto Freire Cunha: An Approach for Reasoning and Refining Non-Functional Requirements. J. Braz. Comp. Soc. 10(1): 59-81 (2004) | |
| 2002 | ||
| 17 | Nelson S. Rosa, P. R. F. Cunha, George R. Ribeiro-Justo: ProcessNFL: A Language for Describing Non-functional Properties. HICSS 2002: 282 | |
| 2001 | ||
| 16 | Nelson S. Rosa, Paulo Roberto Freire Cunha, George R. Ribeiro-Justo: On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures. ISCA PDCS 2001: 62-67 | |
| 15 | Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha: A framework for building non-functional software architectures. SAC 2001: 141-147 | |
| 2000 | ||
| 14 | Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha: Incorporating Non-functional Requirements into Software Architectures. IPDPS Workshops 2000: 1009-1018 | |
| 13 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha: Specifying and Verifying Reconfigurable Software Architectures. PDSE 2000: 21-31 | |
| 1999 | ||
| 12 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha: Formal Specification of Dynamic Architectural Styles. PDPTA 1999: 1939-1945 | |
| 11 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha: An architectural application framework for evolving distributed systems. Journal of Systems Architecture 45(15): 1375-1384 (1999) | |
| 1998 | ||
| 10 | George R. Ribeiro-Justo, Virginia C. Carneiro de Paula, P. R. F. Cunha: Formal Specification of Evolving Distributed Software Architectures. DEXA Workshop 1998: 548-553 | |
| 9 | George R. Ribeiro-Justo, P. R. F. Cunha: An application framework for dynamic distributed software architectures. Scalable Computing: Practice and Experience 1(4): (1998) | |
| 1994 | ||
| 8 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha: Deadlock-free configuration programming. CDS 1994: 147-158 | |
| 1992 | ||
| 7 | George R. Ribeiro-Justo, Paulo Roberto Freire Cunha: Programming distributed systems with configuration languages. CDS 1992: 118-127 | |
| 1983 | ||
| 6 | P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: Message Oriented Programming - A Resource Based Methodology. Comput. Lang. 8(3/4): 95-111 (1983) | |
| 1981 | ||
| 5 | Paulo Roberto Freire Cunha, T. S. E. Maibaum: A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445 | |
| 4 | P. R. F. Cunha, T. S. E. Maibaum: Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE 1981: 263-272 | |
| 1980 | ||
| 3 | P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen 1980: 83-93 | |
| 2 | P. R. F. Cunha, T. S. E. Maibaum: A Communication Data Type for Message Oriented Programming. Symposium on Programming 1980: 79-91 | |
| 1 | Paulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: On the design and specification of message oriented programs. International Journal of Parallel Programming 9(3): 161-191 (1980) | |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page