Paulo Borba

161 papers A* 7A 9B 15C 2Misc 2Journal 56Unranked 65
YearRankTypeTitle / Venue / Authors
2026 J jnl
Comparing static analyses for improved semantic conflict detection.
Autom. Softw. Eng.
Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira
2026 J jnl
Contrastive meta-domain adaptation for robust skin lesion classification across clinical and acquisition conditions.
CoRR
Rodrigo Mota, Kelvin Cunha, Emanoel dos Santos, Fábio Papais, Francisco Filho, Thales Bezerra, Érico Medeiros, Paulo Borba, Tsang Ing Ren
2026 J jnl
DerMAE: Improving skin lesion classification through conditioned latent diffusion and MAE distillation.
CoRR
Francisco Filho, Kelvin Cunha, Fábio Papais, Emanoel dos Santos, Rodrigo Mota, Thales Bezerra, Érico Medeiros, Paulo Borba, Tsang Ing Ren
2025 J jnl
An analysis of data variation and bias in image-based dermatological datasets for machine learning classification.
CoRR
Francisco Mauro, Emanoel Thyago, Othon Vinicius, Rodrigo Abreu, Kelvin Cunha, José Gabriel, Rafael Barros, Thales Bezerra, Manoel Henriques, Natália Lopes, Érico Moutinho, Jéssica Guido, Tsang Ing Ren, Paulo Borba
2025 J jnl
Choosing the Right Git Workflow: A Comparative Analysis of Trunk-based vs. Branch-based Approaches.
CoRR
Pedro Lopes, Paola R. G. Accioly, Paulo Borba, Vitória Menezes
2025 — conf
Choosing the Right GitWorkflow: A Comparative Analysis of Trunk-based vs. Branch-based Approaches.
SBES
Pedro Lopes, Paola R. G. Accioly, Paulo Borba, Vitória Menezes
2025 J jnl
DermAI: Clinical dermatology acquisition through quality-driven image collection for AI classification in mobile.
CoRR
Thales Bezerra, Emanoel Thyago, Kelvin Cunha, Rodrigo Abreu, Fábio Papais, Francisco Mauro, Natália Lopes, Érico Medeiros, Jéssica Guido, Shirley Cruz, Paulo Borba, Tsang Ing Ren
2025 — conf
Detecting Semantic Conflicts with LLM-Generated Tests.
SAST
Nathalia Barbosa, Paulo Borba, Léuson M. P. da Silva
2025 J jnl
LastMerge: A language-agnostic structured tool for code integration.
CoRR
Joao Pedro Duarte, Paulo Borba, Guilherme Cavalcanti
2025 J jnl
Leveraging LLMs for Semantic Conflict Detection via Unit Test Generation.
CoRR
Nathalia Barbosa, Paulo Borba, Léuson M. P. da Silva
2025 J jnl
RefFilter: Improving Semantic Conflict Detection via Refactoring-Aware Static Analysis.
CoRR
Victor Lira, Paulo Borba, Rodrigo Bonifácio, Galileu Santos de Jesus
2025 J jnl
The Effect of Pointer Analysis on Semantic Conflict Detection.
CoRR
Matheus Barbosa de Oliveira, Paulo Borba, Rodrigo Bonifácio, Victor Lira, Galileu Santos
2024 J jnl
Detecting semantic conflicts with unit tests.
J. Syst. Softw.
Léuson M. P. da Silva, Paulo Borba, Toni Maciel, Wardah Mahmood, Thorsten Berger, João Moisakis, Aldiberg Gomes, Vinícius Leite
2024 — conf
Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos.
SBES
Toni Maciel, Paulo Borba, Léuson M. P. da Silva, Thaís Alves Burity Pereira
2024 — conf
Lightweight Semantic Conflict Detection with Static Analysis.
ICSE Companion
Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira
2024 — conf
Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada.
SBES
Felipe Araújo, Paulo Borba, Guilherme Cavalcanti
2024 — conf
Semantic conflict detection via dynamic analysis.
SBLP
Amanda Moraes, Paulo Borba, Léuson M. P. da Silva
2024 A* conf
Semistructured Merge with Language-Specific Syntactic Separators.
ASE
Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino
2024 J jnl
Semistructured Merge with Language-Specific Syntactic Separators.
CoRR
Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino
2024 J jnl
Using Information Flow to estimate interference between developers same method contributions.
CoRR
Roberto Souto Maior de Barros, Paulo Borba
2023 J jnl
Detecting Semantic Conflicts using Static Analysis.
CoRR
Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira
2023 J jnl
Detecting Semantic Conflicts with Unit Tests.
CoRR
Léuson M. P. da Silva, Paulo Borba, Toni Maciel, Wardah Mahmood, Thorsten Berger, João Moisakis, Aldiberg Gomes, Vinícius Leite
2023 J jnl
Using acceptance tests to predict merge conflict risk.
Empir. Softw. Eng.
Thaís Rocha, Paulo Borba
2022 J jnl
Build conflicts in the wild.
J. Softw. Evol. Process.
Léuson M. P. da Silva, Paulo Borba, Arthur Pires
2022 J jnl
Leveraging Structure in Software Merge: An Empirical Study.
IEEE Trans. Software Eng.
Georg Seibt, Florian Heck, Guilherme Cavalcanti, Paulo Borba, Sven Apel
2022 — conf
Semantic conflict detection with overriding assignment analysis.
SBES
Matheus Barbosa de Oliveira, Paulo Borba, Rodrigo Bonifácio, Galileu Santos
2022 — conf
The Private Life of Merge Conflicts.
SBES
Marcela Cunha, Paola R. G. Accioly, Paulo Borba
2021 — conf
Semi-Automated Test-Case Propagation in Fork Ecosystems.
ICSE (NIER)
Mukelabai Mukelabai, Thorsten Berger, Paulo Borba
2021 — conf
Textual merge based on language-specific syntactic separators.
SBES
Jônatas Clementino, Paulo Borba, Guilherme Cavalcanti
2020 A conf
Detecting Semantic Conflicts via Automated Behavior Change Detection.
ICSME
Léuson M. P. da Silva, Paulo Borba, Wardah Mahmood, Thorsten Berger, João Moisakis
2020 J jnl
Privacy and security constraints for code contributions.
Softw. Pract. Exp.
Rodrigo Andrade, Paulo Borba
2020 — conf
Safe Evolution of Product Lines Using Configuration Knowledge Laws.
SBMF
Leopoldo Teixeira, Rohit Gheyi, Paulo Borba
2020 J jnl
Understanding predictive factors for merge conflicts.
Inf. Softw. Technol.
Klissiomara L. Dias, Paulo Borba, Marcos Barreto
2019 — conf
Improving the prediction of files changed by programming tasks.
SBCARS
João Pedro Santos, Thaís Rocha, Paulo Borba
2019 J jnl
Partially safe evolution of software product lines.
J. Syst. Softw.
Gabriela Cunha Sampaio, Paulo Borba, Leopoldo Teixeira
2019 A* conf
Semistructured Merge in JavaScript Systems.
ASE
Alberto Trindade Tavares, Paulo Borba, Guilherme Cavalcanti, Sérgio Soares
2019 A* conf
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge.
ASE
Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel
2019 J jnl
Using acceptance tests to predict files changed by programming tasks.
J. Syst. Softw.
Thaís Rocha, Paulo Borba, João Pedro Santos
2018 A conf
Analyzing conflict predictors in open-source Java projects.
MSR
Paola R. G. Accioly, Paulo Borba, Léuson M. P. da Silva, Guilherme Cavalcanti
2018 J jnl
Detecting Overly Strong Preconditions in Refactoring Engines.
IEEE Trans. Software Eng.
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira
2018 B ed.
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018
SPLC (1)
Thorsten Berger, Paulo Borba, Goetz Botterweck, Tomi Männistö, David Benavides, Sarah Nadi, Timo Kehrer, Rick Rabiser, Christoph Elsner, Mukelabai Mukelabai
2018 A* conf
Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract).
ASE
Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti
2018 J jnl
Understanding semi-structured merge conflict characteristics in open-source Java projects.
Empir. Softw. Eng.
Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti
2017 J jnl
An idiom to represent data types in Alloy.
Inf. Softw. Technol.
Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro
2017 J jnl
Empirical assessment of two approaches for specifying software product line use case scenarios.
Softw. Syst. Model.
Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola R. G. Accioly
2017 J jnl
Evaluating and improving semistructured merge.
Proc. ACM Program. Lang.
Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly
2017 — conf
Products go Green: Worst-Case Energy Consumption in Software Product Lines.
SPLC (A)
Marco Couto, Paulo Borba, Jácome Cunha, João Paulo Fernandes, Rui Pereira, João Saraiva
2017 — conf
Should we replace our merge tools?
ICSE (Companion Volume)
Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly
2016 J jnl
Assessing Idioms for a Flexible Feature Binding Time.
Comput. J.
Rodrigo Andrade, Márcio Ribeiro, Henrique Rebêlo, Paulo Borba, Vaidas Gasiunas, Lucas Satabin
2016 J jnl
Assessing fine-grained feature dependencies.
Inf. Softw. Technol.
Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi
2016 J jnl
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.
Empir. Softw. Eng.
Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo
2016 B conf
Partially safe evolution of software product lines.
SPLC
Gabriela Cunha Sampaio, Paulo Borba, Leopoldo Teixeira
2016 — conf
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems.
SBES
Silvio Romero de Lemos Meira, Vanilson Arruda Burégio, Paulo Borba, Vinicius Cardoso Garcia, Jones O. Albuquerque, Sérgio Soares
2016 J jnl
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems.
CoRR
Silvio Romero de Lemos Meira, Vanilson Arruda Burégio, Paulo Borba, Vinicius Cardoso Garcia, Jones O. Albuquerque, Sérgio Soares
2016 — conf
Safe Evolution of Software Product Lines: Feature Extraction Scenarios.
SBCARS
Fernando Benbassat, Paulo Borba, Leopoldo Teixeira
2015 B conf
A product line of theories for reasoning about safe evolution of product lines.
SPLC
Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi
2015 A conf
Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment.
ESEM
Guilherme Cavalcanti, Paola R. G. Accioly, Paulo Borba
2015 A conf
Improving Performance and Maintainability of Object Cloning with Lazy Clones: An Empirical Evaluation.
ESEM
Bruno Cartaxo, Paulo Borba, Sérgio Soares, Helio Fugimoto
2015 B conf
Safe evolution of product populations and multi product lines.
SPLC
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
2015 J jnl
Safe evolution templates for software product lines.
J. Syst. Softw.
Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena, Uirá Kulesza
2014 J jnl
A Toolset for Checking SPL Refinements.
J. Univers. Comput. Sci.
Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares
2014 J jnl
Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines.
J. Univers. Comput. Sci.
Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio
2014 — book
Emergent Interfaces for Feature Modularization
Márcio Ribeiro, Paulo Borba, Claus Brabrand
2014 J jnl
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness.
Requir. Eng.
Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola R. G. Accioly, Uirá Kulesza, Ana Moreira, João Araújo, Paulo Borba
2014 A* conf
Feature maintenance with emergent interfaces.
ICSE
Márcio Ribeiro, Paulo Borba, Christian Kästner
2014 J jnl
Flexible Feature Binding with AspectJ-based Idioms.
J. Univers. Comput. Sci.
Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba
2014 J jnl
Making refactoring safer through impact analysis.
Sci. Comput. Program.
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba
2014 C conf
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.
Software Engineering
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2013 B conf
A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering.
PROFES
Marília Aranha Freire, Paola R. G. Accioly, Gustavo Sizílio, Edmilson Campos Neto, Uirá Kulesza, Eduardo Aranha, Paulo Borba
2013 J jnl
A design rule language for aspect-oriented programming.
J. Syst. Softw.
Alberto Costa Neto, Rodrigo Bonifácio, Márcio Ribeiro, Carlos Eduardo Pontual, Paulo Borba, Fernando Castor
2013 J jnl
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).
Dagstuhl Reports
Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski
2013 — conf
AspectJ-Based Idioms for Flexible Feature Binding.
SBCARS
Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba
2013 B conf
Coevolution of variability models and related artifacts: a case study from the Linux kernel.
SPLC
Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba
2013 — conf
Improving Modular Reasoning on Preprocessor-Based Systems.
SBCARS
Jean Carlos de Carvalho Melo, Paulo Borba
2013 J jnl
Intraprocedural Dataflow Analysis for Software Product Lines.
LNCS Trans. Aspect Oriented Softw. Dev.
Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Paulo Borba
2013 — conf
Modular aspect-oriented design rule enforcement with XPIDRs.
FOAL
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro
2013 A* conf
SPL
PLDI
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2013 J jnl
Safe composition of configuration knowledge-based software product lines.
J. Syst. Softw.
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
2013 J jnl
The crosscutting impact of the AOSD Brazilian research community.
J. Syst. Softw.
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 C. S. P. 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 Túlio Valente, Fernanda M. R. Alencar, Jaelson Castro, Ricardo Argenton Ramos, Rosângela A. D. Penteado, Cecília M. F. Rubira
2012 J jnl
A theory of software product line refinement.
Theor. Comput. Sci.
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
2012 — conf
Comparing Two Black-Box Testing Strategies for Software Product Lines.
SBCARS
Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio
2012 — conf
Emergo: a tool for improving maintainability of preprocessor-based product lines.
AOSD (Companion)
Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Claus Brabrand, Paulo Borba
2012 — conf
Intraprocedural dataflow analysis for software product lines.
AOSD
Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Paulo Borba
2012 — conf
Making Software Product Line Evolution Safer.
SBCARS
Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi
2012 J jnl
Modularity analysis of use case implementations.
J. Syst. Softw.
Fernanda d'Amorim, Paulo Borba
2012 J jnl
Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering.
J. Syst. Softw.
Paulo Borba
2011 — conf
Assessing Idioms for Implementing Features with Flexible Binding Times.
CSMR
Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba
2011 J jnl
Automatically Checking Feature Model Refactorings.
J. Univers. Comput. Sci.
Rohit Gheyi, Tiago Massoni, Paulo Borba
2011 — ed.
Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011
AOSD (Companion)
Paulo Borba, Shigeru Chiba
2011 B conf
Investigating the safe evolution of software product lines.
GPCE
Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba
2011 B conf
On the impact of feature dependencies when maintaining preprocessor-based software product lines.
GPCE
Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares
2011 — ed.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011
AOSD
Paulo Borba, Shigeru Chiba
2011 — conf
Safe Composition of Configuration Knowledge-Based Software Product Lines.
SBES
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
2011 — conf
The AOSD Research Community in Brazil and Its Crosscutting Impact.
SBES
Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos José Pereira de Lucena, Paulo César 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 César Sampaio do Prado Leite, Fábio Fagundes Silveira, Otávio Augusto Lazzarini Lemos, Rosângela A. D. Penteado, Flávia Coimbra Delicato, Rosana T. V. Braga, Marco Túlio Valente, Ricardo Argenton Ramos, Rodrigo Bonifácio, Fernanda M. R. Alencar, Jaelson Castro
2010 C conf
A Theory of Software Product Line Refinement.
ICTAC
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
2010 — conf
Assessment of product derivation tools in the evolution of software product lines: an empirical study.
FOSD
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 César Masiero
2010 — conf
Emergent feature modularization.
SPLASH/OOPSLA Companion
Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba
2010 — conf
Modularity Analysis of Use Case Implementations.
SBCARS
Fernanda d'Amorim, Paulo Borba
2010 — conf
Synchronizing Model and Program Refactoring.
SBMF
Tiago Massoni, Rohit Gheyi, Paulo Borba
2010 — ed.
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
PSSE
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2010 — conf
Towards feature modularization.
SPLASH/OOPSLA Companion
Márcio Ribeiro, Paulo Borba
2009 — conf
A Complete Set of Object Modeling Laws for Alloy.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio
2009 — conf
An Introduction to Software Product Line Refactoring.
GTTSE
Paulo Borba
2009 — conf
Improving Guidance when Restructuring Variabilities in Software Product Lines.
CSMR
Márcio de Medeiros Ribeiro, Paulo Borba
2009 — conf
Modeling scenario variability as crosscutting mechanisms.
AOSD
Rodrigo Bonifácio, Paulo Borba
2008 Misc conf
A decision model for implementing product lines variabilities.
SAC
Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba
2008 J jnl
Algebraic Laws for Feature Models.
J. Univers. Comput. Sci.
Rohit Gheyi, Tiago Massoni, Paulo Borba
2008 B conf
FLiP: Managing Software Product Line Extraction and Reaction with Aspects.
SPLC
Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba
2008 B conf
Formal Model-Driven Program Refactoring.
FASE
Tiago Massoni, Rohit Gheyi, Paulo Borba
2008 — conf
On the benefits of scenario variability as crosscutting.
EA@AOSD
Rodrigo Bonifácio, Paulo Borba, Sérgio Soares
2008 — conf
Recommending refactorings when restructuring variabilities in software product lines.
WRT@OOPSLA
Márcio Ribeiro, Paulo Borba
2008 — conf
Supporting software product lines development: FLiP - product line derivation tool.
OOPSLA Companion
Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves
2008 — conf
Towards a Crosscutting Approach for Variability Management.
SPLC (2)
Rodrigo Bonifácio, Paulo Borba
2008 — conf
Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.
ICSP
Eduardo Aranha, Paulo Borba
2007 — conf
AJaTS: AspectJ Transformation System.
WRT
Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba
2007 A conf
An Estimation Model for Test Execution Effort.
ESEM
Eduardo Aranha, Paulo Borba
2007 — conf
Analyzing Class and Crosscutting Modularity with Design Structure Matrixes.
SBES
Márcio de Medeiros Ribeiro, Marcos Dósea, Rodrigo Bonifácio, Alberto Costa Neto, Paulo Borba, Sérgio Soares
2007 — conf
Concurrency Control Modularization with Aspect-Oriented Programming.
COMPSAC (1)
Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima
2007 J jnl
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming.
LNCS Trans. Aspect Oriented Softw. Dev.
Vander Alves, Pedro Matos, Leonardo Cole, Alexandre M. L. de Vasconcelos, Paulo Borba, Geber L. Ramalho
2007 — conf
Mapping Features to Aspects: A Model-Based Generative Approach.
EA@AOSD
Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Alberto Costa Neto, Elder Cirilo, Carlos José Pereira de Lucena, Paulo Borba
2007 — conf
On the Contributions of an End-to-End AOSD Testbed.
EA@ICSE
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
2007 A conf
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.
ECOOP
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
2007 — conf
Product Line Variability Refactoring Tool.
WRT
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves
2007 Misc conf
Towards reusable and modular aspect-oriented concurrency control.
SAC
Sérgio Soares, Paulo Borba
2006 — conf
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
SBMF
Tiago Massoni, Rohit Gheyi, Paulo Borba
2006 J jnl
An Approach to Invariant-based Program Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tiago Massoni, Rohit Gheyi, Paulo Borba
2006 J jnl
Distribution and persistence as aspects.
Softw. Pract. Exp.
Sérgio Soares, Paulo Borba, Eduardo Laureano
2006 — conf
Implementing Framework Crosscutting Extensions with EJPs and AspectJ.
SBES
Uirá Kulesza, Roberta Coelho, Vander Alves, Alberto Costa Neto, Alessandro Garcia, Carlos Lucena, Arndt von Staa, Paulo Borba
2006 B conf
Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.
ICSR
Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo Borba
2006 A conf
Model Simulation for Test Execution Capacity Estimation.
ISSRE
Eduardo Aranha, Paulo Borba, José Lima
2006 B conf
Refactoring product lines.
GPCE
Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena
2005 — conf
A Static Semantics for Alloy and its Impact in Refactorings.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba
2005 — conf
A model-driven approach to formal refactoring.
OOPSLA Companion
Tiago Massoni, Rohit Gheyi, Paulo Borba
2005 A* conf
A rigorous approach for proving model refactorings.
ASE
Rohit Gheyi, Tiago Massoni, Paulo Borba
2005 — conf
Comparative Analysis of Porting Strategies in J2ME Games.
ICSM
Vander Alves, Ivan Cardim, Heitor Vital, Pedro H. M. Sampaio, Alexandre L. G. Damasceno, Paulo Borba, Geber L. Ramalho
2005 — conf
Deriving refactorings for AspectJ.
AOSD
Leonardo Cole, Paulo Borba
2005 B conf
Extracting and Evolving Mobile Games Product Lines.
SPLC
Vander Alves, Pedro Matos Jr., Leonardo Cole, Paulo Borba, Geber L. Ramalho
2005 — conf
Formal Refactoring for UML Class Diagrams.
SBES
Tiago Massoni, Rohit Gheyi, Paulo Borba
2004 J jnl
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program.
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
2004 — conf
An Abstract Equivalence Notion for Object Models.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba
2004 J jnl
AspectH: Uma Extensão Orientada a Aspectos de Haskel.
RITA
Carlos Andrade, André L. M. Santos, Paulo Borba
2004 — conf
Deriving refactorings for aspectJ.
OOPSLA Companion
Leonardo Cole, Paulo Borba
2004 — conf
Transformation Laws for Sequential Object-Oriented Programming.
PSSE
Augusto Sampaio, Paulo Borba
2004 — conf
Using Aspects to Make Adaptive Object-Models Adaptable.
RAM-SE
Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E. Johnson
2003 A conf
A Refinement Algebra for Object-Oriented Programming.
ECOOP
Paulo Borba, Augusto Sampaio, Márcio Cornélio
2003 — conf
Aspect-oriented implementation method: progressive or non-progressive approach?
OOPSLA Companion
Sérgio Soares, Paulo Borba
2003 J jnl
Developing Adaptive J2ME Applications Using AspectJ.
J. Univers. Comput. Sci.
Ayla Dantas, Paulo Borba
2003 — conf
Refactoring Alloy Specifications.
WMF
Rohit Gheyi, Paulo Borba
2002 B conf
Concurrency Control with Java and Relational Databases.
COMPSAC
Sérgio Soares, Paulo Borba
2002 A conf
Implementing distribution and persistence aspects with aspectJ.
OOPSLA
Sérgio Soares, Eduardo Laureano, Paulo Borba
2002 — conf
Mechanical Abstraction of CSP
FME
Alexandre Mota, Paulo Borba, Augusto Sampaio
2002 — conf
Testes e Geração de Código de Sistemas Web.
SBES
Eduardo Aranha, Paulo Borba
2001 — conf
An Implementation Method for Distributed Object-Oriented Applications.
SBES
Vander Alves, Paulo Borba
2001 — conf
JATS: A Java Transformation System.
SBES
Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos, Paulo Borba
2000 J jnl
Basic Laws of ROOL: an object-oriented language.
RITA
Paulo Borba, Augusto Sampaio
2000 B conf
Structuring Meachanisms for an Object-Oriented Formal Specification Language.
ICSR
Márcio Cornélio, Paulo Borba
1997 J jnl
A System for Translating Executable VDM Specifiactions into Lazy ML.
Softw. Pract. Exp.
Paulo Borba, Silvio Romero de Lemos Meira
1997 — conf
Systematic Development of Concurrent Object-Oriented Programs.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Paulo Borba
1996 — conf
A Refinement Theory for Concurrent Object Oriented Languages.
SBES
Paulo Borba
1995 — —
Semantics and refinement for a concurrent object oriented language.
Paulo Borba
1993 J jnl
From VDM specifications to functional prototypes.
J. Syst. Softw.
Paulo Borba, Silvio Romero de Lemos Meira