Paulo Borba

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 38

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Léuson M. P. da Silva, Paulo Borba, Toni Maciel, Wardah Mahmood, Thorsten Berger, João Moisakis, Aldiberg Gomes, Vinícius Leite
Detecting semantic conflicts with unit tests. J. Syst. Softw. 214 (2024)
Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira
Lightweight Semantic Conflict Detection with Static Analysis. ICSE Companion (2024)
Roberto Souto Maior de Barros, Paulo Borba
Using Information Flow to estimate interference between developers same method contributions. CoRR (2024)
Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino
Semistructured Merge with Language-Specific Syntactic Separators. CoRR (2024)
Léuson M. P. da Silva, Paulo Borba, Toni Maciel, Wardah Mahmood, Thorsten Berger, João Moisakis, Aldiberg Gomes, Vinícius Leite
Detecting Semantic Conflicts with Unit Tests. CoRR (2023)
Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira
Detecting Semantic Conflicts using Static Analysis. CoRR (2023)
Thaís Rocha, Paulo Borba
Using acceptance tests to predict merge conflict risk. Empir. Softw. Eng. 28 (2) (2023)
Georg Seibt, Florian Heck, Guilherme Cavalcanti, Paulo Borba, Sven Apel
Leveraging Structure in Software Merge: An Empirical Study. IEEE Trans. Software Eng. 48 (11) (2022)
Marcela Cunha, Paola R. G. Accioly, Paulo Borba
The Private Life of Merge Conflicts. SBES (2022)
Léuson M. P. da Silva, Paulo Borba, Arthur Pires
Build conflicts in the wild. J. Softw. Evol. Process. 34 (4) (2022)
Matheus Barbosa, Paulo Borba, Rodrigo Bonifácio, Galileu Santos
Semantic conflict detection with overriding assignment analysis. SBES (2022)
Jônatas Clementino, Paulo Borba, Guilherme Cavalcanti
Textual merge based on language-specific syntactic separators. SBES (2021)
Mukelabai Mukelabai, Thorsten Berger, Paulo Borba
Semi-Automated Test-Case Propagation in Fork Ecosystems. ICSE (NIER) (2021)
Klissiomara L. Dias, Paulo Borba, Marcos Barreto
Understanding predictive factors for merge conflicts. Inf. Softw. Technol. 121 (2020)
Leopoldo Teixeira, Rohit Gheyi, Paulo Borba
Safe Evolution of Product Lines Using Configuration Knowledge Laws. SBMF (2020)
Léuson M. P. da Silva, Paulo Borba, Wardah Mahmood, Thorsten Berger, João Moisakis
Detecting Semantic Conflicts via Automated Behavior Change Detection. ICSME (2020)
Rodrigo Andrade, Paulo Borba
Privacy and security constraints for code contributions. Softw. Pract. Exp. 50 (10) (2020)
Thaís Rocha, Paulo Borba, João Pedro Santos
Using acceptance tests to predict files changed by programming tasks. J. Syst. Softw. 154 (2019)
João Pedro Santos, Thaís Rocha, Paulo Borba
Improving the prediction of files changed by programming tasks. SBCARS (2019)
Alberto Trindade Tavares, Paulo Borba, Guilherme Cavalcanti, Sérgio Soares
Semistructured Merge in JavaScript Systems. ASE (2019)
Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge. ASE (2019)
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira
Partially safe evolution of software product lines. J. Syst. Softw. 155 (2019)
Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti
Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract). ASE (2018)
Paola R. G. Accioly, Paulo Borba, Léuson M. P. da Silva, Guilherme Cavalcanti
Analyzing conflict predictors in open-source Java projects. MSR (2018)
Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti
Understanding semi-structured merge conflict characteristics in open-source Java projects. Empir. Softw. Eng. 23 (4) (2018)
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira
Detecting Overly Strong Preconditions in Refactoring Engines. IEEE Trans. Software Eng. 44 (5) (2018)
Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly
Evaluating and improving semistructured merge. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola R. G. Accioly
Empirical assessment of two approaches for specifying software product line use case scenarios. Softw. Syst. Model. 16 (1) (2017)
Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly
Should we replace our merge tools? ICSE (Companion Volume) (2017)
Marco Couto, Paulo Borba, Jácome Cunha, João Paulo Fernandes, Rui Pereira, João Saraiva
Products go Green: Worst-Case Energy Consumption in Software Product Lines. SPLC (A) (2017)
Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro
An idiom to represent data types in Alloy. Inf. Softw. Technol. 82 (2017)
Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi
Assessing fine-grained feature dependencies. Inf. Softw. Technol. 78 (2016)
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira
Partially safe evolution of software product lines. SPLC (2016)
Silvio Romero de Lemos Meira, Vanilson Arruda Burégio, Paulo Borba, Vinicius Cardoso Garcia, Jones O. Albuquerque, Sérgio Soares
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems. SBES (2016)
Fernando Benbassat, Paulo Borba, Leopoldo Teixeira
Safe Evolution of Software Product Lines: Feature Extraction Scenarios. SBCARS (2016)
Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. Empir. Softw. Eng. 21 (4) (2016)
Silvio Romero de Lemos Meira, Vanilson Arruda Burégio, Paulo Borba, Vinicius Cardoso Garcia, Jones O. Albuquerque, Sérgio Soares
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems. CoRR (2016)
Rodrigo Andrade, Márcio Ribeiro, Henrique Rebêlo, Paulo Borba, Vaidas Gasiunas, Lucas Satabin
Assessing Idioms for a Flexible Feature Binding Time. Comput. J. 59 (1) (2016)
Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena, Uirá Kulesza
Safe evolution templates for software product lines. J. Syst. Softw. 106 (2015)
Guilherme Cavalcanti, Paola R. G. Accioly, Paulo Borba
Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment. ESEM (2015)
Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi
A product line of theories for reasoning about safe evolution of product lines. SPLC (2015)
Bruno Cartaxo, Paulo Borba, Sérgio Soares, Helio Fugimoto
Improving Performance and Maintainability of Object Cloning with Lazy Clones: An Empirical Evaluation. ESEM (2015)
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe evolution of product populations and multi product lines. SPLC (2015)
Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola R. G. Accioly, Uirá Kulesza, Ana Moreira, João Araújo, Paulo Borba
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. Requir. Eng. 19 (4) (2014)
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. Software Engineering (2014)
Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba
Flexible Feature Binding with AspectJ-based Idioms. J. Univers. Comput. Sci. 20 (5) (2014)
Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares
A Toolset for Checking SPL Refinements. J. Univers. Comput. Sci. 20 (5) (2014)
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba
Making refactoring safer through impact analysis. Sci. Comput. Program. 93 (2014)
Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio
Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines. J. Univers. Comput. Sci. 20 (5) (2014)
Márcio Ribeiro, Paulo Borba, Christian Kästner
Feature maintenance with emergent interfaces. ICSE (2014)
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
: statically analyzing software product lines in minutes instead of years. PLDI (2013)
Uirá Kulesza, Sérgio Soares, Christina Chavez, Fernando Castor, Paulo Borba, Carlos José Pereira de Lucena, Paulo César Masiero, Cláudio Sant'Anna, Fabiano Cutigi Ferrari, Vander Alves, Roberta Coelho, Eduardo Figueiredo, Paulo F. Pires, Flávia Coimbra Delicato, Eduardo Piveta, Carla T. L. L. Silva, Valter Vieira de Camargo, Rosana T. V. Braga, Julio Leite, Otávio Lemos, Nabor C. Mendonça, Thaís Vasconcelos Batista, Rodrigo Bonifácio, Nélio Cacho, Lyrene Fernandes da Silva, Arndt von Staa, Fábio Fagundes Silveira, Marco Tulio Valente, Fernanda M. R. Alencar, Jaelson Castro, Ricardo Argenton Ramos, Rosângela Penteado, Cecília M. F. Rubira
The crosscutting impact of the AOSD Brazilian research community. J. Syst. Softw. 86 (4) (2013)
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe composition of configuration knowledge-based software product lines. J. Syst. Softw. 86 (4) (2013)
Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Paulo Borba
Intraprocedural Dataflow Analysis for Software Product Lines. LNCS Trans. Aspect Oriented Softw. Dev. 10 (2013)
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)
Jean Carlos de Carvalho Melo, Paulo Borba
Improving Modular Reasoning on Preprocessor-Based Systems. SBCARS (2013)
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro
Modular aspect-oriented design rule enforcement with XPIDRs. FOAL (2013)
Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3 (2) (2013)
Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba
Coevolution of variability models and related artifacts: a case study from the Linux kernel. SPLC (2013)
Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba
AspectJ-Based Idioms for Flexible Feature Binding. SBCARS (2013)
Alberto Costa Neto, Rodrigo Bonifácio, Márcio Ribeiro, Carlos Eduardo Pontual, Paulo Borba, Fernando Castor
A design rule language for aspect-oriented programming. J. Syst. Softw. 86 (9) (2013)
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
A theory of software product line refinement. Theor. Comput. Sci. 455 (2012)
Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi
Making Software Product Line Evolution Safer. SBCARS (2012)
Paulo Borba
Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering. J. Syst. Softw. 85 (2) (2012)
Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Paulo Borba
Intraprocedural dataflow analysis for software product lines. AOSD (2012)
Fernanda d'Amorim, Paulo Borba
Modularity analysis of use case implementations. J. Syst. Softw. 85 (4) (2012)
Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio
Comparing Two Black-Box Testing Strategies for Software Product Lines. SBCARS (2012)
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)
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, Fábio Fagundes Silveira, Otávio Augusto Lazzarini Lemos, Rosângela 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)
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)
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES (2011)
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)
Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba
Investigating the safe evolution of software product lines. GPCE (2011)
Rohit Gheyi, Tiago Massoni, Paulo Borba
Automatically Checking Feature Model Refactorings. J. Univers. Comput. Sci. 17 (5) (2011)
Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba
Emergent feature modularization. SPLASH/OOPSLA Companion (2010)
Fernanda d'Amorim, Paulo Borba
Modularity Analysis of Use Case Implementations. SBCARS (2010)
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
A Theory of Software Product Line Refinement. ICTAC (2010)
Tiago Massoni, Rohit Gheyi, Paulo Borba
Synchronizing Model and Program Refactoring. SBMF (2010)
Márcio Ribeiro, Paulo Borba
Towards feature modularization. SPLASH/OOPSLA Companion (2010)
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)
Paulo Borba
An Introduction to Software Product Line Refactoring. GTTSE (2009)
Márcio de Medeiros Ribeiro, Paulo Borba
Improving Guidance when Restructuring Variabilities in Software Product Lines. CSMR (2009)
Rodrigo Bonifácio, Paulo Borba
Modeling scenario variability as crosscutting mechanisms. AOSD (2009)
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio
A Complete Set of Object Modeling Laws for Alloy. SBMF (2009)
Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba
A decision model for implementing product lines variabilities. SAC (2008)
Rohit Gheyi, Tiago Massoni, Paulo Borba
Algebraic Laws for Feature Models. J. Univers. Comput. Sci. 14 (21) (2008)
Tiago Massoni, Rohit Gheyi, Paulo Borba
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. Electron. Notes Theor. Comput. Sci. 195 (2008)
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)
Tiago Massoni, Rohit Gheyi, Paulo Borba
Formal Model-Driven Program Refactoring. FASE (2008)
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)
Rodrigo Bonifácio, Paulo Borba
Towards a Crosscutting Approach for Variability Management. SPLC (2) (2008)
Márcio Ribeiro, Paulo Borba
Recommending refactorings when restructuring variabilities in software product lines. WRT@OOPSLA (2008)
Rodrigo Bonifácio, Paulo Borba, Sérgio Soares
On the benefits of scenario variability as crosscutting. EA@AOSD (2008)
Eduardo Aranha, Paulo Borba
Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. ICSP (2008)
Phil Greenwood, Alessandro F. Garcia, Awais Rashid, Eduardo Figueiredo, Cláudio Sant'Anna, Nélio Cacho, Américo Sampaio, Sérgio Soares, Paulo Borba, Marcos Dósea, Ricardo Argenton Ramos, Uirá Kulesza, Thiago T. Bartolomei, Mónica Pinto, Lidia Fuentes, Nadia Gámez, Ana Moreira, João Araújo, Thaís Batista, Ana Luisa Medeiros, Francisco Dantas, Lyrene Fernandes da Silva, Jan Wloka, Christina Chavez, Robert B. France, Isabel Sofia Brito
On the Contributions of an End-to-End AOSD Testbed. EA@ICSE (2007)
Sérgio Soares, Paulo Borba
Towards reusable and modular aspect-oriented concurrency control. SAC (2007)
Márcio de Medeiros Ribeiro, Marcos Dósea, Rodrigo Bonifácio, Alberto Costa Neto, Paulo Borba, Sérgio Soares
Analyzing Class and Crosscutting Modularity with Design Structure Matrixes. SBES (2007)
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves
Product Line Variability Refactoring Tool. WRT (2007)
Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima
Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) (2007)
Eduardo Aranha, Paulo Borba
An Estimation Model for Test Execution Effort. ESEM (2007)

Paulo Borba.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paulo Borba