Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paulo Borba
2010 – today
- 2013
[j21]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi: Safe composition of configuration knowledge-based software product lines. Journal of Systems and Software 86(4): 1038-1053 (2013)- [j20]Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Paulo Borba: Intraprocedural Dataflow Analysis for Software Product Lines. T. Aspect-Oriented Software Development 10: 73-108 (2013)
- [c50]Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini: SPLLIFT: statically analyzing software product lines in minutes instead of years. PLDI 2013: 355-364
- [c49]Marília Aranha Freire, Paola R. G. Accioly, Gustavo Sizílio, Edmilson Campos Neto, Uirá Kulesza, Eduardo Aranha, Paulo Borba: A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering. PROFES 2013: 65-79
- 2012
- [j19]Paulo Borba: Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering. Journal of Systems and Software 85(2): 215 (2012)
- [j18]Fernanda d'Amorim, Paulo Borba: Modularity analysis of use case implementations. Journal of Systems and Software 85(4): 1012-1027 (2012)
- [j17]Paulo Borba, Leopoldo Teixeira, Rohit Gheyi: A theory of software product line refinement. Theor. Comput. Sci. 455: 2-30 (2012)
- [c48]Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Paulo Borba: Intraprocedural dataflow analysis for software product lines. AOSD 2012: 13-24
- [c47]Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Claus Brabrand, Paulo Borba: Emergo: a tool for improving maintainability of preprocessor-based product lines. AOSD (Companion) 2012: 23-26
- [c46]Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio: Comparing Two Black-Box Testing Strategies for Software Product Lines. SBCARS 2012: 1-10
- [c45]Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi: Making Software Product Line Evolution Safer. SBCARS 2012: 21-30
- 2011
- [j16]Rohit Gheyi, Tiago Massoni, Paulo Borba: Automatically Checking Feature Model Refactorings. J. UCS 17(5): 684-711 (2011)
- [c44]Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba: Assessing Idioms for Implementing Features with Flexible Binding Times. CSMR 2011: 231-240
- [c43]Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares: On the impact of feature dependencies when maintaining preprocessor-based software product lines. GPCE 2011: 23-32
- [c42]Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba: Investigating the safe evolution of software product lines. GPCE 2011: 33-42
- [c41]Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos José Pereira de Lucena, Paulo Cesar Masiero, Cláudio Sant'Anna, Eduardo Piveta, Fabiano Cutigi Ferrari, Fernando Castor, Roberta Coelho, Lyrene Fernandes da Silva, Vander Alves, Nabor C. Mendonça, Eduardo Figueiredo, Valter Vieira de Camargo, Carla T. L. L. Silva, Paulo F. Pires, Thaís Vasconcelos Batista, Nélio Cacho, Arndt von Staa, Julio Cesar Sampaio do Prado Leite, Fabio Fagundes Silveira, Otávio Augusto Lazzarini Lemos, Rosangela Penteado, Flávia Coimbra Delicato, Rosana T. V. Braga, Marco Tulio Valente, Ricardo Argenton Ramos, Rodrigo Bonifácio, Fernanda M. R. Alencar, Jaelson Castro: The AOSD Research Community in Brazil and Its Crosscutting Impact. SBES 2011: 72-81
- [c40]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi: Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272
- [e3]Paulo Borba, Shigeru Chiba (Eds.): Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. ACM 2011, ISBN 978-1-4503-0605-8
- [e2]Paulo Borba, Shigeru Chiba (Eds.): Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. ACM 2011, ISBN 978-1-4503-0606-5
- 2010
- [c39]Mário Henrique C. Torres, Uirá Kulesza, Matheus Sousa, Thaís Vasconcelos Batista, Leopoldo Teixeira, Paulo Borba, Elder Cirilo, Carlos José Pereira de Lucena, Rosana T. V. Braga, Paulo Cesar Masiero: Assessment of product derivation tools in the evolution of software product lines: an empirical study. FOSD 2010: 10-17
- [c38]Paulo Borba, Leopoldo Teixeira, Rohit Gheyi: A Theory of Software Product Line Refinement. ICTAC 2010: 15-43
- [c37]Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba: Emergent feature modularization. SPLASH/OOPSLA Companion 2010: 11-18
- [c36]
- [c35]
- [c34]Tiago Massoni, Rohit Gheyi, Paulo Borba: Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
- [e1]Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, ISBN 978-3-642-14334-2
2000 – 2009
- 2009
- [c33]Rodrigo Bonifácio, Paulo Borba: Modeling scenario variability as crosscutting mechanisms. AOSD 2009: 125-136
- [c32]Márcio de Medeiros Ribeiro, Paulo Borba: Improving Guidance when Restructuring Variabilities in Software Product Lines. CSMR 2009: 79-88
- [c31]
- [c30]Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
- 2008
- [j15]Tiago Massoni, Rohit Gheyi, Paulo Borba: A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 195: 189-209 (2008)
- [j14]Rohit Gheyi, Tiago Massoni, Paulo Borba: Algebraic Laws for Feature Models. J. UCS 14(21): 3573-3591 (2008)
- [c29]Tiago Massoni, Rohit Gheyi, Paulo Borba: Formal Model-Driven Program Refactoring. FASE 2008: 362-376
- [c28]Eduardo Aranha, Paulo Borba: Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. ICSP 2008: 282-293
- [c27]Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves: Supporting software product lines development: FLiP - product line derivation tool. OOPSLA Companion 2008: 737-738
- [c26]Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba: A decision model for implementing product lines variabilities. SAC 2008: 276-277
- [c25]Rodrigo Bonifácio, Paulo Borba: Towards a Crosscutting Approach for Variability Management. SPLC (2) 2008: 353-360
- [c24]Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba: FLiP: Managing Software Product Line Extraction and Reaction with Aspects. SPLC 2008: 354
- 2007
- [j13]Rohit Gheyi, Tiago Massoni, Paulo Borba: A Static Semantics for Alloy and its Impact in Refactorings. Electr. Notes Theor. Comput. Sci. 184: 209-233 (2007)
- [j12]Vander Alves, Pedro Matos, Leonardo Cole, Alexandre Vasconcelos, Paulo Borba, Geber Ramalho: Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. T. Aspect-Oriented Software Development 4: 117-142 (2007)
- [c23]Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima: Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300
- [c22]Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves: Product Line Variability Refactoring Tool. WRT 2007: 32-33
- [c21]Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba: AJaTS: AspectJ Transformation System. WRT 2007: 34-35
- [c20]Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro F. Garcia, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid: On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. ECOOP 2007: 176-200
- [c19]
- [c18]Sérgio Soares, Paulo Borba: Towards reusable and modular aspect-oriented concurrency control. SAC 2007: 1293-1294
- 2006
- [j11]Tiago Massoni, Rohit Gheyi, Paulo Borba: An Approach to Invariant-based Program Refactoring. ECEASST 3 (2006)
- [j10]Sérgio Soares, Paulo Borba, Eduardo Laureano: Distribution and persistence as aspects. Softw., Pract. Exper. 36(7): 711-759 (2006)
- [c17]Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena: Refactoring product lines. GPCE 2006: 201-210
- [c16]Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo Borba: Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. ICSR 2006: 231-245
- [c15]Eduardo Aranha, Paulo Borba, José Lima: Model Simulation for Test Execution Capacity Estimation. ISSRE 2006: 231-236
- 2005
- [j9]Rohit Gheyi, Tiago Massoni, Paulo Borba: An Abstract Equivalence Notion for Object Models. Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005)
- [c14]
- [c13]Vander Alves, Ivan Cardim, Heitor Vital, Pedro H. M. Sampaio, Alexandre L. G. Damasceno, Paulo Borba, Geber Ramalho: Comparative Analysis of Porting Strategies in J2ME Games. ICSM 2005: 123-132
- [c12]Rohit Gheyi, Tiago Massoni, Paulo Borba: A rigorous approach for proving model refactorings. ASE 2005: 372-375
- [c11]Tiago Massoni, Rohit Gheyi, Paulo Borba: A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125
- [c10]Vander Alves, Pedro Matos Jr., Leonardo Cole, Paulo Borba, Geber Ramalho: Extracting and Evolving Mobile Games Product Lines. SPLC 2005: 70-81
- 2004
- [j8]Rohit Gheyi, Paulo Borba: Refactoring Alloy Specifications. Electr. Notes Theor. Comput. Sci. 95: 227-243 (2004)
- [j7]Carlos Andrade, André Santos, Paulo Borba: AspectH: Uma Extensão Orientada a Aspectos de Haskel. RITA 11(2): 21-32 (2004)
- [j6]Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004)
- [c9]Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E. Johnson: Using Aspects to Make Adaptive Object-Models Adaptable. RAM-SE 2004: 9-19
- [c8]
- [c7]Augusto Sampaio, Paulo Borba: Transformation Laws for Sequential Object-Oriented Programming. PSSE 2004: 18-63
- 2003
- [j5]Ayla Dantas, Paulo Borba: Developing Adaptive J2ME Applications Using AspectJ. J. UCS 9(8): 935-955 (2003)
- [c6]Paulo Borba, Augusto Sampaio, Márcio Cornélio: A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482
- [c5]Sérgio Soares, Paulo Borba: Aspect-oriented implementation method: progressive or non-progressive approach? OOPSLA Companion 2003: 128-129
- 2002
- [c4]Sérgio Soares, Paulo Borba: Concurrency Control with Java and Relational Databases. COMPSAC 2002: 843-849
- [c3]Alexandre Mota, Paulo Borba, Augusto Sampaio: Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183
- [c2]Sérgio Soares, Eduardo Laureano, Paulo Borba: Implementing distribution and persistence aspects with aspectJ. OOPSLA 2002: 174-190
- 2000
- [j4]Paulo Borba, Augusto Sampaio: Basic Laws of ROOL: an object-oriented language. RITA 7(1): 49-68 (2000)
- [c1]Márcio Cornélio, Paulo Borba: Structuring Meachanisms for an Object-Oriented Formal Specification Language. ICSR 2000: 402-419
1990 – 1999
- 1998
- [j3]Paulo Borba: Systematic Development of Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 14: 30-37 (1998)
- 1997
- [j2]Paulo Borba, Silvio Romero de Lemos Meira: A System for Translating Executable VDM Specifiactions into Lazy ML. Softw., Pract. Exper. 27(3): 271-289 (1997)
- 1993
- [j1]Paulo Borba, Silvio Romero de Lemos Meira: From VDM specifications to functional prototypes. Journal of Systems and Software 21(3): 267-278 (1993)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:37 CEST by the dblp team