Paulo Henrique Monteiro Borba

Publicações

2026

Comparing static analyses for improved semantic conflict detection

SANTOS DE JESUS, GALILEU; Borba, Paulo; BONIFÁCIO, RODRIGO; BARBOSA DE OLIVEIRA, MATHEUS

Automated Software Engineering

2026

Contrastive Meta-Domain Adaptation for Robust Skin Lesion Classification Across Clinical and Acquisition Conditions

MOTA, RODRIGO; CUNHA, KELVIN; DOS SANTOS, EMANOEL; PAPAIS, FÁBIO; FILHO, FRANCISCO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; ING REN, TSANG

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DermAI: Clinical Dermatology Acquisition Through Quality-Driven Image Collection for AI Classification in Mobile

BEZERRA, THALES; CRUZ, SHIRLEY; Borba, Paulo; REN, TSANG ING; DOS SANTOS, EMANOEL; CUNHA, KELVIN; MOTA, RODRIGO; PAPAIS, FÁBIO; FILHO, FRANCISCO; LOPES, NATÁLIA; MEDEIROS, ÉRICO; ARAUJO, JÉSSICA

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DERMAE: Improving Skin Lesion Classification Through Conditioned Latent Diffusion and MAE Distillation

FILHO, FRANCISCO; CUNHA, KELVIN; PAPAIS, FÁBIO; DOS SANTOS, EMANOEL; MOTA, RODRIGO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; REN, TSANG ING

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

GitHub Template Repositories: Served Domains, Maintenance, and Practitioner Guidelines

Léuson da Silva; Altaf Allah Abbassi; Imen Trabelsi; BORBA, PAULO; Foutse Khomh

[ICSME] 42nd International Conference on Software Maintenance and Evolution (ICSME 2026)

2025

Choosing the Right GitWorkflow: A Comparative Analysis of Trunk-based vs. Branch-based Approaches

LOPES, PEDRO; ACCIOLY, PAOLA; Borba, Paulo; MENEZES, VITOR

[SBES] Simpósio Brasileiro de Engenharia de Software

2025

Detecção de Conflitos Semânticos com Testes Gerados por LLM

BARBOSA, NATHALIA; Borba, Paulo; SILVA, LÉUSON DA

[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado

2024

Semantic conflict detection via dynamic analysis

Amanda Moraes; BORBA, Paulo; Léuson da Silva

[SBLP] 28th Brazilian Symposium on Programming Languages (SBLP 2024)

2024

Semistructured Merge with Language-Specific Syntactic Separators

CAVALCANTI, G.; BORBA, Paulo; Leonardo dos Anjos; Jônatas Clementino

[ASE] 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)

2024

Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos

MACIEL, TONI; BORBA, Paulo; Léuson da Silva; Thaís Burity

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada

Felipe Araujo; BORBA, Paulo; CAVALCANTI, G.

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Lightweight Semantic Conflict Detection with Static Analysis

Galileu Santos de Jesus; BORBA, Paulo; Rodrigo Bonifácio; BARBOSA, MATHEUS

[ICSE] 46th International Conference on Software Engineering (ICSE 2024), ICSE Companion

2024

Detecting semantic conflicts with unit tests

DA SILVA, LÉUSON; Borba, Paulo; MACIEL, TONI; MAHMOOD, WARDAH; BERGER, THORSTEN; MOISAKIS, JOÃO; GOMES, ALDIBERG; LEITE, VINÍCIUS

JOURNAL OF SYSTEMS AND SOFTWARE

2023

Using acceptance tests to predict merge conflict risk

ROCHA, THAÍS; Borba, Paulo

EMPIRICAL SOFTWARE ENGINEERING

2022

Semantic conflict detection with overriding assignment analysis

BARBOSA, MATHEUS; Borba, Paulo; BONIFACIO, RODRIGO; SANTOS, GALILEU

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2022

Build conflicts in the wild

DA SILVA, LÉUSON; Borba, Paulo; PIRES, ARTHUR

Journal of Software-Evolution and Process

2022

The Private Life of Merge Conflicts

CUNHA, MARCELA; ACCIOLY, PAOLA; Borba, Paulo

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2021

Semi-Automated Test-Case Propagation in Fork Ecosystems

Mukelabai Mukelabai; Thorsten Berger; Paulo Borba

[ICSE] 43rd International Conference on Software Engineering (ICSE 2021), New Ideas and Emerging Results track

2021

Textual merge based on language-specific syntactic separators

Jônatas Clementino; Paulo Borba; CAVALCANTI, G.

[SBES] 35th Brazilian Symposium on Software Engineering (SBES 2021)

2021

Leveraging Structure in Software Merge: An Empirical Study

SEIBT, GEORG; HECK, FLORIAN; CAVALCANTI, GUILHERME; Borba, Paulo; APEL, SVEN

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2021

Lazy Clone - A Pattern to Improve Performance and Maintainability of Object Cloning

Bruno Cartaxo; GUERRA, E.; OSORIO, V.; SOARES, S. C. B.; Paulo Borba

[PLOP] 28th Conference on Pattern Languages of Programs (PLoP'2021)

2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws

Leopoldo Teixeira; GHEYI, Rohit; Paulo Borba

[SBMF] 23rd Brazilian Symposium on Formal Methods (SBMF 2020)

2020

Understanding predictive factors for merge conflicts

DIAS, KLISSIOMARA; Borba, Paulo; BARRETO, MARCOS

INFORMATION AND SOFTWARE TECHNOLOGY

2020

Privacy and security constraints for code contributions

ANDRADE, Rodrigo; Borba, Paulo

SOFTWARE-PRACTICE & EXPERIENCE

2020

Detecting Semantic Conflicts via Automated Behavior Change Detection

Léuson da Silva; Paulo Borba; Wardah Mahmood; Thorsten Berger; João Moisakis

[ICSME] 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)

2019

The Impact of Structure on Software Merging: Semistructured versus Structured Merge

CAVALCANTI, G.; Borba, Paulo; Georg Seibt; Sven Apel

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2019

Partially safe evolution of software product lines

SAMPAIO, GABRIELA; Borba, Paulo; Teixeira, Leopoldo

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Improving the prediction of files changed by programming tasks

SANTOS, JOÃO PEDRO; ROCHA, THAÍS; Borba, Paulo

[SBCARS] XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019)

2019

Using acceptance tests to predict files changed by programming tasks

ROCHA, THAÍS; Borba, Paulo; SANTOS, JOÃO PEDRO

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Semistructured Merge in JavaScript Systems

TAVARES, A. T.; Borba, Paulo; CAVALCANTI, G.; SOARES, S. C. B.

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2018

Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)

ACCIOLY, P.; Borba, Paulo; CAVALCANTI, G.

[ASE] 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018)

2018

Detecting Overly Strong Preconditions in Refactoring Engines

MONGIOVI, MELINA; GHEYI, Rohit; Soares, Gustavo; RIBEIRO, MARCIO; Borba, Paulo; Teixeira, Leopoldo

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2018

Understanding semi-structured merge conflict characteristics in open-source Java projects

ACCIOLY, PAOLA; Borba, Paulo; CAVALCANTI, GUILHERME

EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE)

2018

Analyzing Conflict Predictors in Open-Source Java Projects from GitHub and Travis CI

ACCIOLY, P.; Borba, Paulo; Léuson Silva; CAVALCANTI, GUILHERME

[MSR] 15th International Conference on Mining Software Repositories (MSR 2018)

2017

Evaluating and improving semistructured merge

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

Proceedings of the ACM on Programming Languages

2017

Empirical assessment of two approaches for specifying software product line use case scenarios

BONIFÁCIO, RODRIGO; Borba, Paulo; FERRAZ, CRISTIANO; ACCIOLY, PAOLA

Software & Systems Modeling

2017

Should We Replace Our Merge Tools?

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC)

2017

Evaluating and Improving Semistructured Merge

CAVALCANTI, G.; Borba, Paulo; ACCIOLY, PAOLA

[OOPSLA] ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17)

2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines

Marco Couto; Borba, Paulo; Jácome Cunha; João Paulo Fernandes; Rui Pereira; SARAIVA, J.

[SPLC] 21st International Systems and Software Product Line Conference (SPLC 2017)

2017

An idiom to represent data types in Alloy

GHEYI, Rohit; Borba, Paulo; SAMPAIO, Augusto; RIBEIRO, Márcio

Information and Software Technology

2016

Partially Safe Evolution of Software Product Lines

Gabriela Sampaio; Borba, P.; Leopoldo Teixeira

[SPLC] 20th International Software Product Line Conference (SPLC 2016)

2016

Coevolution of variability models and related software artifacts

PASSOS, LEONARDO; Teixeira, Leopoldo; DINTZNER, NICOLAS; APEL, SVEN; W'SOWSKI, ANDRZEJ; CZARNECKI, KRZYSZTOF; Borba, Paulo; GUO, JIANMEI

Empirical Software Engineering (Dordrecht. Online)

2016

Assessing Idioms for a Flexible Feature Binding Time

ANDRADE, Rodrigo; RIBEIRO, Márcio; REBÊLO, Henrique; Borba, Paulo; GASIUNAS, VAIDAS; SATABIN, LUCAS

Computer Journal (Online)

2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems

MEIRA, S.; Vanilson Burégio; Borba, Paulo; Vinicius Cardoso Garcia; ALBUQUERQUE, JONES; SOARES, Sérgio

[SBES] 30th Brazilian Symposium on Software Engineering (SBES 2016)

2016

Assessing fine-grained feature dependencies

RODRIGUES, IRAN; RIBEIRO, Márcio; MEDEIROS, FLÁVIO; Borba, Paulo; FONSECA, BALDOINO; GHEYI, Rohit

Information and Software Technology

2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios

BENBASSAT, F.; Borba, Paulo; Leopoldo Teixeira

[SBCARS] X Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2016)

2015

A Product Line of Theories for Reasoning about Safe Evolution of Product Lines

Leopoldo Teixeira; ALVES, Vander; BORBA, PAULO; GHEYI, Rohit

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Safe Evolution of Product Populations and Multi Product Lines

Leopoldo Teixeira; BORBA, PAULO; GHEYI, R.

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation

Bruno Cartaxo; BORBA, PAULO; SOARES, Sérgio; Hélio Fugimoto

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2015

Safe evolution templates for software product lines

NEVES, L.; Borba, P.; ALVES, V.; TURNES, L.; TEIXEIRA, L.; SENA, D.; KULESZA, U.

The Journal of Systems and Software

2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment

CAVALCANTI, G.; BORBA, PAULO; ACCIOLY, P.

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2014

A Toolset for Checking SPL Refinements

Felipe Ferreira; GHEYI, Rohit; BORBA, PAULO; Gustavo Soares

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

SPLLIFT- Statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio; Claus Brabrand; Borba, Paulo; MEZINI, M.

[GI] Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

2014

Making refactoring safer through impact analysis

MONGIOVI, MELINA; GHEYI, R.; Soares, Gustavo; Teixeira, Leopoldo; BORBA, Paulo

Science of Computer Programming (Print)

2014

Feature Maintenance with Emergent Interfaces

RIBEIRO, Márcio de Medeiros; Paulo Borba; Christian Kästner

[ICSE] 36th International Conference on Software Engineering (ICSE 2014)

2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

ALFÉREZ, MAURICIO; BONIFÁCIO, RODRIGO; Teixeira, Leopoldo; ACCIOLY, PAOLA; KULESZA, Uirá; MOREIRA, ANA; ARAÚJO, JOÃO; BORBA, PAULO

Requirements Engineering

2014

Flexible Feature Binding with AspectJ-based Idioms

Rodrigo Andrade; REBÊLO, Henrique; RIBEIRO, Márcio de Medeiros; Paulo Borba

Journal of Universal Computer Science (Online)

2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; Paulo Borba; Rodrigo Bonifácio

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

Semistructured Merge on Git: An Assessment

CAVALCANTI, G.; ACCIOLY, P.; Paulo Borba

11th Workshop on Software Modularity (WMod 2014)

2013

AspectJ-based Idioms for Flexible Feature Binding

Rodrigo Andrade; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; Paulo Borba

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

Modular Aspect-Oriented Design Rule Enforcement with XPIDRs

Henrique Rebelo; LEAVENS, G.; LIMA, R.; Borba, Paulo H.M.; RIBEIRO, Márcio de Medeiros

12th Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), 12th ACM International Conference on Aspect-Oriented Software Development (AOSD 2013)

2013

Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel

PASSOS, L.; Jianmei Guo; TEIXEIRA, L.; Krzysztof Czarnecki; Andrzej Wasowski; Paulo Borba

[SPLC] 17th International Software Product Line Conference (SPLC 2013)

2013

SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio de Medeiros; Claus Brabrand; Borba, Paulo H.M.; MEZINI, M.

[PLDI] 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013)

2013

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; BONIFÁCIO, RODRIGO; RIBEIRO, MÁRCIO; PONTUAL, CARLOS EDUARDO; BORBA, PAULO; CASTOR, FERNANDO

The Journal of Systems and Software

2013

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; Johnni Winther; BORBA, PAULO

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2013

The crosscutting impact of the AOSD Brazilian research community

KULESZA, UIRÁ; ALVES, Vander; COELHO, Roberta; FIGUEIREDO, Eduardo; PIRES, PAULO F.; DELICATO, FLÁVIA; PIVETA, Eduardo; SILVA, CARLA; CAMARGO, VALTER; BRAGA, ROSANA; LEITE, JULIO; SOARES, SÉRGIO; CHAVEZ, CHRISTINA; CASTOR, FERNANDO; BORBA, Paulo; LUCENA, C. J. P.; LUCENA, CARLOS; MASIERO, PAULO; SANT'ANNA, Claudio; FERRARI, Fabiano; et.al

The Journal of Systems and Software

2013

Safe composition of configuration knowledge-based software product lines

TEIXEIRA, LEOPOLDO; BORBA, PAULO; GHEYI, Rohit

The Journal of Systems and Software

2013

Improving modular reasoning on preprocessor-based systems

MELO, J.; BORBA, PAULO

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering

FREIRE, M.; ACCIOLY, P.; Gustavo Sizílio; Edmilson Campos Neto; KULESZA, Uirá; ARANHA, Eduardo; Paulo Borba

[PROFES] 14th International Conference on Product Focused Software Development and Process Improvement (PROFES 2013)

2013

SPLLIFT: statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, MÁRCIO; Claus Brabrand; Paulo Borba; MEZINI, M.

ACM SIGPLAN Notices

2012

Emergo: a tool for improving maintainability of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; WINTHER, J.; Claus Brabrand; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Tools Session

2012

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, Márcio de Medeiros; Felipe Queiroz; BORBA, PAULO; Társis Toledo; Claus Brabrand; SOARES, S. C. B.

ACM SIGPLAN Notices

2012

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

Theoretical Computer Science

2012

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012)

2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering

BORBA, Paulo

The Journal of Systems and Software

2012

Investigating the safe evolution of software product lines

Laís Neves; Leopoldo Teixeira; Demóstenes Sena; ALVES, Vander; KULESZA, U.; BORBA, PAULO

ACM SIGPLAN Notices

2012

Modularity analysis of use case implementations

Fernanda dAmorim; BORBA, Paulo

The Journal of Systems and Software

2012

Making Software Product Line Evolution Safer

FERREIRA, FELYPE; BORBA, PAULO; Gustavo Soares; GHEYI, Rohit

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Comparing Two Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; BORBA, Paulo; BONIFÁCIO, R.

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems

Felipe Queiroz; RIBEIRO, Márcio de Medeiros; SOARES, Sérgio; BORBA, PAULO

6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012), associado ao Terceiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012),

2011

Safe composition of configuration knowledge-based software product lines

Leopoldo Teixeira; GHEYI, Rohit; BORBA, Paulo

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions

CIRILO, E.; Demóstenes Sena; KULESZA, Uirá; Leopoldo Teixeira; SOARES, S. C. B.; BORBA, PAULO; GHEYI, Rohit; Laís Neves; LUCENA, C. J. P.

Product LinE Approaches in Software Engineering (PLEASE 2011), workshop of the 33rd International Conference on Software Engineering (ICSE 2011)

2011

Automatically Checking Feature Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science (Print)

2011

Using PBL to Develop Software Test Engineers

FIGUERÊDO, CALIANE DE OLIVEIRA; SANTOS, SIMONE C. DOS; Borba, Paulo H.M.; ALEXANDRE, GUSTAVO H.S.

[CATE] Computers and Advanced Technology in Education (CATE 2011)

2011

A tool for improving maintainabiliy of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo; Claus Brabrand

2nd Brazilian Congress on Software (CBSoft 2011), Tools Session

2011

The AOSD Research Community in Brazil and Its Crosscutting Impact

CHAVEZ, C. V. F. G.; CASTOR, F.; COELHO, Roberta; FERNANDES, L.; ALVES, Vander; Nabor Mendonça; FIGUEIREDO, Eduardo; CAMARGO, V.; Paulo Pires; BATISTA, T.; CACHO, Nélio; KULESZA, Uirá; STAA, A. V.; SOARES, Sérgio; BORBA, Paulo; LUCENA, Carlos; MASIERO, P.; SANTANNA, Claudio; PIVETA, E.; Fabiano Ferrari; et.al

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Assessing Idioms for Implementing Features with Flexible Binding Times

Rodrigo Andrade; RIBEIRO, Márcio de Medeiros; Vaidas Gasiunas; Lucas Satabin; Henrique Rebelo; BORBA, Paulo

[CSMR] 15th European Conference on Software Maintenance and Reengineering (CSMR 2011)

2011

PBL no ensino de testes de software: uma experiência prática

Caliane Figuerêdo; Simone Santos; Gustavo Alexandre; Paulo Borba

International Conference on Engineering and Computer Education

2011

Investigating the safe evolution of software product lines

NEVES, LAÍS; TEIXEIRA, LEOPOLDO; SENA, DEMÓSTENES; ALVES, Vander; KULEZSA, UIRÁ; BORBA, PAULO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, MÁRCIO; QUEIROZ, FELIPE; BORBA, PAULO; TOLÊDO, TÁRSIS; BRABRAND, CLAUS; SOARES, SÉRGIO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2010

Synchronizing Model and Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] 13th Brazilian Symposium on Formal Methods (SBMF 2010)

2010

Towards feature modularization

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study

Mário Torres; LUCENA, Carlos; Leopoldo Teixeira; CIRILO, E.; Matheus Sousa; KULESZA, Uirá; BATISTA, T.; BRAGA, R.; MASIERO, P.; BORBA, Paulo

2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), 9th International Conference on Generative Programming and Component Engineering (GPCE 2010)

2010

Modularity Analysis of Use Case Implementations

Fernanda d'Amorim; BORBA, Paulo

[SBCARS] Quarto Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2010)

2010

TaRGeT: a Model Based Product Line Testing Tool

Felipe Ferreira; Laís Neves; Michelle Silva; BORBA, Paulo

Tools session, I Brazilian Conference on Software: Theory and Practice (CBSoft 2010)

2010

Emergent Feature Modularization

RIBEIRO, Márcio de Medeiros; Humberto Pacheco; Leopoldo Teixeira; BORBA, Paulo

[SPLASH] Onward! 2010, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

[ICTAC] 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)

2010

Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares

Mário Torres; KULESZA, Uirá; BRAGA, R.; MASIERO, P.; Paulo Pires; CIRILO, E.; BATISTA, T.; BORBA, Paulo; LUCENA, Carlos

1st Brazilian Workshop on Model-Driven Development (BW-MDD 2010), associado ao Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010)

2009

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; Arthur Marques; GHEYI, Rohit; BORBA, Paulo; CASTOR, F.

[SBLP] 13rd Brazilian Symposium on Programming Languages (SBLP 2009)

2009

Modularity analysis of use case implementations

Fernanda d'Amorim; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Estimating manual test execution effort and capacity based on execution points

ARANHA, Eduardo; BORBA, Paulo

International Journal of Computers & Applications

2009

A complete set of object modeling laws for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo; SAMPAIO, Augusto

[SBMF] 12th Brazilian Symposium on Formal Methods (SBMF 2009)

2009

Projeto de Experimentos em Engenharia de Software

ARANHA, Eduardo; Cristiano Ferraz; BORBA, Paulo

[SBES] Tutoriais, XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Modularizing variabilities with CaesarJ collaboration interfaces

PONTUAL, C.; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Hephaestus: A tool for managing SPL variabilities

ALMEIDA, Rodrigo Bonifácio de; Leopoldo Teixeira; BORBA, Paulo

[SBCARS] Sessão de ferramentas, Terceiro Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009)

2009

Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?

RIBEIRO, Márcio de Medeiros; Rodrigo Cardoso; BORBA, Paulo; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo

3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), associado ao XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Improving guidance when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

[CSMR] 13th European Conference on Software Maintenance and Reengineering (CSMR 2009)

2009

Modeling scenario variability as crosscutting mechanisms

ALMEIDA, Rodrigo Bonifácio de; BORBA, PAULO

8th ACM international conference on Aspect-oriented software development (AOSD 2009)

2008

Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool

SOARES, Sérgio; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; BORBA, Paulo; ALVES, Vander

Tools session, 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects

ALVES, Vander; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; BORBA, Paulo

[SPLC] Tools session, 12th International Software Product Line Conference (SPLC 2008)

2008

JML and Aspects: The benefits of instrumenting JML features with AspectJ

Henrique Rebelo; SOARES, Sérgio; LIMA, R.; BORBA, Paulo; CORNÉLIO, Márcio

7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008)

2008

Automated Test Execution Effort Estimation based on Functional Test Specifications

ARANHA, Eduardo Henrique da Silva; Almeida, Filipe; Diniz, Thiago; Fontes, Vitor; BORBA, Paulo

[SBES] Tool session, 22st Brazilian Symposium on Software Engineering (SBES 2008)

2008

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2008

Algebraic Laws for Feature Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science

2008

On the benefits of variability management as crosscutting

ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Internacional Workshop On Early Aspects, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

Formal Model-Driven Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[FASE] Fundamental Approaches to Software Engineering (FASE 2008), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008)

2008

Recommending refactorings when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

2nd Workshop on Refactoring Tools (WRT '08), 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

A decision model for implementing product lines variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo

[SAC] 23rd Annual ACM Symposium on Applied Computing (SAC 2008)

2008

FLiP: Product Line DerivationTool

BORBA, Paulo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; ALVES, Vander

Forum Demonstration, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

A complete and minimal set of algebraic laws for feature models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBLP] 12th Simpósio Brasileiro de Linguages de Programação (SBLP 2008)

2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

ARANHA, Eduardo; BORBA, Paulo

International Conference on Software Process (ICSP 2008)

2008

Manualtest: Improving collection of manual test execution data in empirical studies

ARANHA, Eduardo; BORBA, Paulo

5th Experimental Software Engineering Latin America Workshop (ESELAW 2008)

2007

Concurrency Control Modularization with Aspect-Oriented Programming

SOARES, Sérgio; BORBA, Paulo; LIMA, R.

[COMPSAC] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)

2007

An Estimation Model for Test Execution Effort

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

[ESEM] 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)

2007

Brazil test center research group

TORRES, D.; NOGUEIRA, S.; CARTAXO, E.; ARANHA, Eduardo; BORBA, Paulo; BARROS, F.; MACHADO, Patrícia; SAMPAIO, Augusto; MOTA, Alexandre

1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

Mapping Features to Aspects: A Model-Based Generative Approach

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; COSTA NETO, Alberto; CIRILO, E.; LUCENA, Carlos; BORBA, Paulo

10th Internacional Workshop On Early Aspects, 6th ACM International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

Semantic Dependencies and Modularity of Aspect-Oriented Software

COSTA NETO, Alberto; RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study

GREENWOOD, Philip; KULESZA, Uirá; RASHID, Awais; BARTOLOMEI, Thiago; FIGUEIREDO, Eduardo; DÓSEA, Marcos; GARCIA, Alessandro; CACHO, Nélio; SANTANNA, Claudio; SOARES, Sérgio; BORBA, Paulo

[ECOOP] 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

AJaTS: AspectJ Transformation System

ARCOVERDE, Roberta; SOARES, Sérgio; LUSTOSA, P.; BORBA, Paulo

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007)

2007

Sizing system tests for estimating test execution effort

ARANHA, Eduardo; BORBA, Paulo

22nd International Annual Forum on COCOMO and System/Software Cost Modeling

2007

Specifying design rules in aspect-oriented systems

DÓSEA, Marcos; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Formally Introducing Alloy Idioms

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 10th Brazilian Symposium on Formal Methods (SBMF 2007)

2007

On The Design of an End-to-End AOSD Testbed for Software Stability

GREENWOOD, Philip; GARCIA, Alessandro; BARTOLOMEI, Thiago; SOARES, Sérgio; BORBA, Paulo; RASHID, Awais

1st Workshop on Assessement of Aspect-Oriented Technologies (ASAT 2007), 6th International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

On the Contributions of an End-to-End AOSD Testbed

GREENWOOD, Philip; GARCIA, Alessandro; RASHID, Awais; FIGUEIREDO, Eduardo; SANTANNA, Claudio; CACHO, Nélio; Américo Sampaio; SOARES, Sérgio; BORBA, Paulo

Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Test Effort Estimation Models Based on Test Specifications

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007)

2007

Towards Reusable and Modular Aspect-Oriented Concurrency Control

SOARES, Sérgio; BORBA, Paulo

[SAC] 22nd Annual ACM Symposium on Applied Computing

2007

On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo; CARDIM, I. C.

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines

MATOS, Pedro; Rafael Duarte; CARDIM, I. C.; BORBA, Paulo

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Product Line Variability Refactoring Tool

CALHEIROS, Fernando; BORBA, Paulo; SOARES, Sérgio; NEPOMUCENO, Vilmar; ALVES, Vander

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Modularity, Information Hiding, and Interfaces for Aspect-Oriented Languages

BORBA, Paulo

[SBLP] 11th Brazilian Symposium on Programming Languages (SBLP 2007)

2007

Analyzing Class and Crosscutting Modularity with Design Structure Matrixes

RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

[SBES] 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

AJaTS - AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring

ARCOVERDE, Roberta; LUSTOSA, P.; SOUZA, Adeline; SOARES, Sérgio; BORBA, Paulo

[SBES] Tools session, 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

A Static Semantics for Alloy and its Impact in Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2007

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

ALVES, Vander; MATOS, Pedro; COLE NETO, Leonardo; VASCONCELOS, Alexandre Torres; BORBA, Paulo; RAMALHO, Geber

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2006

Contextos de Primeira Classe em Transformações de Programas

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

Implementing Framework Crosscutting Extensions with EJPs and AspectJ

KULESZA, Uirá; COELHO, Roberta; ALVES, Vander; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, A. V.; LUCENA, Carlos; BORBA, Paulo

[SBES] 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration

ALVES, Vander; COSTA NETO, Alberto; SOARES, Sérgio; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; LEAL, Jorge; BORBA, Paulo

1st Workshop on Aspect-Oriented Product Line Engineering, 5th ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

2006

Improving extensibility of object-oriented frameworks with aspect-oriented programming

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; LUCENA, Carlos; BORBA, Paulo

[ICSR] 9th International Conference on Software Reuse (ICSR 2006)

2006

Refactoring product lines

ALVES, Vander; GHEYI, Rohit; MASSONI, Tiago; KULESZA, Uirá; BORBA, PAULO; LUCENA, Carlos

[GPCE] 5th international conference on Generative programming and component engineering (GPCE 2006)

2006

Distribution and Persistence as Aspects

SOARES, Sérgio; BORBA, Paulo; LAUREANO, Eduardo

Software, Practice & Experience (Print)

2006

Suporte a Refatorações em um Sistema de Transformação de Propósito Geral

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

A Verification Approach for Crosscutting Features Based on Extension Join Points

COELHO, Roberta; ALVES, Vander; KULESZA, Uirá; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, Ardnt Von; LUCENA, Carlos; BORBA, Paulo

3rd International Workshop on Software Product Line Testing (SPLiT 2006), 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Communications of the EASST

2006

Declaring Static Crosscutting Dependencies in AspectJ

COSTA NETO, Alberto; ALVES, Vander; BORBA, Paulo

3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP 2006), 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines

ALVES, Vander; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; COSTA NETO, Alberto; BORBA, Paulo

Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Workshop on Software Evolution through Transformations: Embracing Change, International Conference on Graph Transformation (ICGT 2006)

2006

A Theory for Feature Models in Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

First Alloy Workshop, affiliated with 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006)

2006

Sound Object Model Refactorings

GHEYI, Rohit; BORBA, Paulo

Doctoral Symposium, afilliated with Formal Methods 2006

2006

A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] III Brazilian Symposium on Formal Methods (SBMF 2006)

2005

Extracting and Evolving Mobile Games Product Lines

ALVES, Vander; MATOS JÚNIOR, Pedro Osandy Alves; COLE NETO, Leonardo; BORBA, Paulo; RAMALHO, Geber

[SPLC] 9th International Software Product Line Conference (SPLC 2005)

2005

Formal Refactorings for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[OOPSLA] Student Research Competition, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

A Rigorous Approach for Proving Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[ASE] Automated Software Engineering (ASE 2005)

2005

Deriving refactorings for AspectJ

COLE NETO, Leonardo; BORBA, Paulo

4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2005

Formal Refactoring for UML Class Diagrams

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBES] 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2005

Comparative Analysis of Porting Strategies in Mobile Device Games

ALVES, Vander; CARDIM, I. C.; CARMO, Heitor Vital Do; Pedro Sampaio; Alexandre Damasceno; BORBA, Paulo; RAMALHO, Geber

21st IEEE International Conference on Software Maintenance (ICSM 2005)

2005

Type-safe refactorings for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] II Brazilian Symposium on Formal Methods (SBMF 2005)

2005

Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ

BORBA, Paulo; SOARES, Sérgio

2nd Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2005), 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

Scientia (UNISINOS)

2005

Um Sistema de Tipos para uma Linguagem de Transformação

Alexandra Barros; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005)

2005

A Model-driven Approach to Formal Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[OOPSLA] Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

Geração de Sistemas de Transformação

SOUZA, Adeline; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguages de Programação (SBLP 2005)

2005

Proving aspect-oriented programming laws

COLE, Leonardo; MOTA, Alexandre; BORBA, Paulo

4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2004

Using Programming Laws to Modularize Concurrency in a Replicated Database Application

COLE NETO, Leonardo; BORBA, Paulo

1st Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

Algebraic reasoning for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CAVALCANTI, Ana; CORNÉLIO, Márcio

Science of Computer Programming (Print)

2004

Refactoring Alloy Specifications

GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2004

Towards Progressive and Non-progressive Implementation Approaches Evaluation

SOARES, Sérgio; BORBA, Paulo

1st Experimental Software Engineering Latin American Workshop (ESELAW 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP 2004), XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

Using Aspects to Make Adaptive Object-Models Adaptable

DANTAS, Ayla; YODER, Joseph; BORBA, Paulo; JOHNSON, Ralph

Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2004), 18th European Conference on Object-Oriented Programming (ECOOP 2004)

2004

Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ

SOARES, Sérgio; BORBA, Paulo

[SBES] Tutoriais, XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

A General-purpose Transformation System for Java

SANTOS, Gustavo; BORBA, Paulo; SOUZA, Adeline

Software Transformation Systems Workshop (STS 2004), 3rd ACM International Conference on Generative Programming and Component Engineering (GPCE 2004)

2004

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

III Workshop Brasileiro de Jogos e Entretenimento Digital

2004

Basic Laws of Object Modeling

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004)

2004

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 1st Brazilian Symposium on Formal Methods (SBMF 2004)

2004

Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach

SOUSA, Geórgia; SOARES, Sérgio; BORBA, Paulo; CASTRO, Jaelson

Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004), International Conference on Aspect-Oriented Software Development (AOSD 2004)

2004

A UML Class Diagram Analyzer

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

3rd International Workshop on Critical Systems Development with UML, UML Conference

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

Revista de Informática Teórica e Aplicada (Impresso)

2004

An Incremental Aspect-Oriented Product Line Method for J2ME Game Development

ALVES, Vander; MATOS, Pedro; BORBA, Paulo

Workshop on Managing Variability Consistently in Design and Code, 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)

2003

Using aspects to structure small devices adaptive applications

DANTAS, Ayla; BORBA, Paulo; ALVES, Vander

1st Workshop on Reuse in Constrained Environments, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

Aspect-oriented implementation method: Progressive or non-progressive approach?

SOARES, Sérgio; BORBA, Paulo

Doctoral Symposium, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

AdapPE: An architectural pattern for structuring adaptive applications with aspects

DANTAS, Ayla; BORBA, Paulo

[SUGARLOAFPLOP] Third Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2003)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

Journal of Universal Computer Science (Print)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

[SBLP] 7th Brazilian Symposium on Programming Languages (SBLP 2003)

2003

A refinement algebra for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CORNÉLIO, Márcio

[ECOOP] 17th European Conference on Object-oriented Programming (ECOOP 2003)

2003

Refactoring Alloy specifications

GHEYI, Rohit; BORBA, Paulo

6th Brazilian Workshop on Formal Methods

2002

Implementing distribution and persistence aspects with aspectJ

SOARES, SERGIO; LAUREANO, Eduardo; BORBA, PAULO

[OOPSLA] 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2002)

2002

Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans

DIAS, K.; BORBA, Paulo

[SUGARLOAFPLOP] Second Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

PIP: Progressive Implementation Pattern

SOARES, Sérgio; BORBA, Paulo

1st Workshop on Software Development Patterns, 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2002)

2002

Mechanical abstraction of CSP-Z processes

MOTA, Alexandre; BORBA, Paulo; SAMPAIO, Augusto

11th Formal Methods Europe (FME 2002)

2002

PaDA: A Pattern for Distribution Aspects

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 2nd Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

Integrating code generation and refactoring

D'AMORIM, M.; NOGUEIRA, C.; SANTOS, Gustavo; SOUZA, Adeline; BORBA, Paulo

Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Progressive implementation with aspect-oriented programming

SOARES, Sérgio; BORBA, Paulo

The 12th Workshop for PhD Students in Object-Oriented Systems, at the 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Web systems acceptance tests and code generation

ARANHA, Eduardo; BORBA, Paulo

Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP 2002)

2002

A RUP-based software process supporting progressive implementation

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

2002 International Conference of the Information Resources Management Association (IRMA 2002)

2002

Implementing distribution and persistence aspects with AspectJ

SOARES, Sérgio; LAUREANO, Eduardo; BORBA, Paulo

ACM SIGPLAN Notices

2002

Testes e geração de código de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBES] XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002)

2002

Uma linguagem para testes de aceitação de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBLP] VI Brazilian Symposium on Programming Languages (SBLP 2002)

2002

Concurrency control with Java and relational databases

SOARES, Sérgio; BORBA, Paulo

[COMPSAC] 26th IEEE Computer Software and Applications Conference (COMPSAC 2002)

2002

AspectJ, programação orientada a aspectos em Java

SOARES, Sérgio; BORBA, Paulo

Tutoriais, VI Simpósio Brasileiro de Linguagens de Programação (SBLB 2002)

2001

Controle de concorrência com Java e bancos de dados relacionais

SOARES, Sérgio; BORBA, Paulo

[SBLP] V Simpósio Brasileiro de Linguagens de Programação (SBLP 2001)

2001

An implementation method for distributed object-oriented applications

ALVES, Vander; BORBA, Paulo

[SBES] 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Distributed adapters pattern: A design pattern for object-oriented distributed applications

ALVES, Vander; BORBA, Paulo

1st Latin American Conference on Pattern Languages of Programming (SugarloafPLoP 2001)

2001

PDC: Persistent Data Collections Pattern

MASSONI, Tiago; ALVES, Vander; SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

A language for specifying Java transformations

CASTOR, F.; BORBA, Paulo

[SBLP] 5th Brazilian Symposium on Programming Languages (SBLP 2001)

2001

JaTS: A Java transformation system

CASTOR, F.; OLIVEIRA, K.; SOUZA, Adeline; SANTOS, Gustavo; BORBA, Paulo

[SBES] Tools session, 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Concurrency Manager

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Web Handlers

SOARES, G.; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Progressive implementation of aspects

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

Workshop on Advanced Separation of Concerns, 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001)

2000

Structuring Mechanisms for an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

[ICSR] 6th International Conference on Software Reuse (ICSR 2000)

2000

A design pattern for distributed applications

ALVES, Vander; BORBA, Paulo

[SBES] Tutorials, 14th Brazilian Symposium on Software Engineering (SBES 2000)

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

III Brazilian Workshop on Formal Methods

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

Revista de Informática Teórica e Aplicada (Impresso)

1999

Integrando Java com Bancos de Dados Relacionais

Euricélia Viana; BORBA, Paulo

[SBLP] III Simpósio Brasileiro de Linguagens de Programação (SBLP 1999)

1999

Progressive implementation of distributed Java applications

BORBA, Paulo; ARAUJO, S.; Hednilson Bezerra; Marconi Lima; SOARES, Sérgio

Engineering Distributed Objects Workshop, 21st ACM International Conference on Software Engineering (ICSE 1999)

1998

Systematic development of concurrent object-oriented programs

BORBA, Paulo

Electronic Notes in Theoretical Computer Science

1998

Where are the Laws of Objet-Oriented Programming?

BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1998

Design of an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1997

Parameterized Packages and Java

ARANHA, D.; BORBA, Paulo

[SBLP] II Brazilian Symposium On Programming Languages (SBLP 1997)

1997

A System For Translating Executable VDM Specifications Into Lazy ML

BORBA, Paulo; MEIRA, S. R. L.

Software, Practice & Experience (Print)

1996

States as Specifications

BORBA, Paulo

[SBLP] I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996)

1996

A Refinement Theory for Concurrent Object Oriented Languages

BORBA, Paulo

[SBES] X Brazilian Symposium on Software Engineering (SBES 1996)

1994

An Operational Semantics for FOOPS

BORBA, Paulo; GOGUEN, J.

Information Systems Correctness And Reusability (ISCORE 1994)

1993

From VDM Specifications To Functional Prototypes

BORBA, Paulo; MEIRA, S. R. L.

The Journal of Systems and Software

1992

Prototyping Action Semantics using Functional Languages

BORBA, Paulo; SANTOS, André; MEIRA, S.

[CLEI] Latin American Conference On Computing (CLEI 1992)

1991

From Model Based Specifications to Functional Prototypes

BORBA, Paulo; MEIRA, S.

IEEE TENCON'91

1990

Tradução de Tipos de Especificação para Protótipo

BORBA, Paulo; MEIRA, S.

[IV] IV Simpósio Brasileiro de Engenharia de Software (SBES 1990)

1989

Notação VDM Executável em Standard ML

BORBA, Paulo; MEIRA, S.

IX Congresso da SBC

1989

Protótipos Funcionais a partir de Especificações Formais em VDM

BORBA, Paulo; MEIRA, S.

[SBES] III Simpósio Brasileiro de Engenharia de Software (SBES 1989)

1987

Acesso a um Banco de Dados através de Linguagem Natural

BORBA, Paulo; SANTOS, André; CARRAHER, D.

[IV] IV Simpósio Brasileiro de Inteligência Artificial (SBIA 1987)

Publicações

2026

Comparing static analyses for improved semantic conflict detection

SANTOS DE JESUS, GALILEU; Borba, Paulo; BONIFÁCIO, RODRIGO; BARBOSA DE OLIVEIRA, MATHEUS

Automated Software Engineering

2026

Contrastive Meta-Domain Adaptation for Robust Skin Lesion Classification Across Clinical and Acquisition Conditions

MOTA, RODRIGO; CUNHA, KELVIN; DOS SANTOS, EMANOEL; PAPAIS, FÁBIO; FILHO, FRANCISCO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; ING REN, TSANG

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DermAI: Clinical Dermatology Acquisition Through Quality-Driven Image Collection for AI Classification in Mobile

BEZERRA, THALES; CRUZ, SHIRLEY; Borba, Paulo; REN, TSANG ING; DOS SANTOS, EMANOEL; CUNHA, KELVIN; MOTA, RODRIGO; PAPAIS, FÁBIO; FILHO, FRANCISCO; LOPES, NATÁLIA; MEDEIROS, ÉRICO; ARAUJO, JÉSSICA

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DERMAE: Improving Skin Lesion Classification Through Conditioned Latent Diffusion and MAE Distillation

FILHO, FRANCISCO; CUNHA, KELVIN; PAPAIS, FÁBIO; DOS SANTOS, EMANOEL; MOTA, RODRIGO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; REN, TSANG ING

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

GitHub Template Repositories: Served Domains, Maintenance, and Practitioner Guidelines

Léuson da Silva; Altaf Allah Abbassi; Imen Trabelsi; BORBA, PAULO; Foutse Khomh

[ICSME] 42nd International Conference on Software Maintenance and Evolution (ICSME 2026)

2025

Choosing the Right GitWorkflow: A Comparative Analysis of Trunk-based vs. Branch-based Approaches

LOPES, PEDRO; ACCIOLY, PAOLA; Borba, Paulo; MENEZES, VITOR

[SBES] Simpósio Brasileiro de Engenharia de Software

2025

Detecção de Conflitos Semânticos com Testes Gerados por LLM

BARBOSA, NATHALIA; Borba, Paulo; SILVA, LÉUSON DA

[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado

2024

Semantic conflict detection via dynamic analysis

Amanda Moraes; BORBA, Paulo; Léuson da Silva

[SBLP] 28th Brazilian Symposium on Programming Languages (SBLP 2024)

2024

Semistructured Merge with Language-Specific Syntactic Separators

CAVALCANTI, G.; BORBA, Paulo; Leonardo dos Anjos; Jônatas Clementino

[ASE] 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)

2024

Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos

MACIEL, TONI; BORBA, Paulo; Léuson da Silva; Thaís Burity

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada

Felipe Araujo; BORBA, Paulo; CAVALCANTI, G.

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Lightweight Semantic Conflict Detection with Static Analysis

Galileu Santos de Jesus; BORBA, Paulo; Rodrigo Bonifácio; BARBOSA, MATHEUS

[ICSE] 46th International Conference on Software Engineering (ICSE 2024), ICSE Companion

2024

Detecting semantic conflicts with unit tests

DA SILVA, LÉUSON; Borba, Paulo; MACIEL, TONI; MAHMOOD, WARDAH; BERGER, THORSTEN; MOISAKIS, JOÃO; GOMES, ALDIBERG; LEITE, VINÍCIUS

JOURNAL OF SYSTEMS AND SOFTWARE

2023

Using acceptance tests to predict merge conflict risk

ROCHA, THAÍS; Borba, Paulo

EMPIRICAL SOFTWARE ENGINEERING

2022

Semantic conflict detection with overriding assignment analysis

BARBOSA, MATHEUS; Borba, Paulo; BONIFACIO, RODRIGO; SANTOS, GALILEU

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2022

Build conflicts in the wild

DA SILVA, LÉUSON; Borba, Paulo; PIRES, ARTHUR

Journal of Software-Evolution and Process

2022

The Private Life of Merge Conflicts

CUNHA, MARCELA; ACCIOLY, PAOLA; Borba, Paulo

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2021

Semi-Automated Test-Case Propagation in Fork Ecosystems

Mukelabai Mukelabai; Thorsten Berger; Paulo Borba

[ICSE] 43rd International Conference on Software Engineering (ICSE 2021), New Ideas and Emerging Results track

2021

Textual merge based on language-specific syntactic separators

Jônatas Clementino; Paulo Borba; CAVALCANTI, G.

[SBES] 35th Brazilian Symposium on Software Engineering (SBES 2021)

2021

Leveraging Structure in Software Merge: An Empirical Study

SEIBT, GEORG; HECK, FLORIAN; CAVALCANTI, GUILHERME; Borba, Paulo; APEL, SVEN

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2021

Lazy Clone - A Pattern to Improve Performance and Maintainability of Object Cloning

Bruno Cartaxo; GUERRA, E.; OSORIO, V.; SOARES, S. C. B.; Paulo Borba

[PLOP] 28th Conference on Pattern Languages of Programs (PLoP'2021)

2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws

Leopoldo Teixeira; GHEYI, Rohit; Paulo Borba

[SBMF] 23rd Brazilian Symposium on Formal Methods (SBMF 2020)

2020

Understanding predictive factors for merge conflicts

DIAS, KLISSIOMARA; Borba, Paulo; BARRETO, MARCOS

INFORMATION AND SOFTWARE TECHNOLOGY

2020

Privacy and security constraints for code contributions

ANDRADE, Rodrigo; Borba, Paulo

SOFTWARE-PRACTICE & EXPERIENCE

2020

Detecting Semantic Conflicts via Automated Behavior Change Detection

Léuson da Silva; Paulo Borba; Wardah Mahmood; Thorsten Berger; João Moisakis

[ICSME] 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)

2019

The Impact of Structure on Software Merging: Semistructured versus Structured Merge

CAVALCANTI, G.; Borba, Paulo; Georg Seibt; Sven Apel

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2019

Partially safe evolution of software product lines

SAMPAIO, GABRIELA; Borba, Paulo; Teixeira, Leopoldo

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Improving the prediction of files changed by programming tasks

SANTOS, JOÃO PEDRO; ROCHA, THAÍS; Borba, Paulo

[SBCARS] XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019)

2019

Using acceptance tests to predict files changed by programming tasks

ROCHA, THAÍS; Borba, Paulo; SANTOS, JOÃO PEDRO

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Semistructured Merge in JavaScript Systems

TAVARES, A. T.; Borba, Paulo; CAVALCANTI, G.; SOARES, S. C. B.

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2018

Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)

ACCIOLY, P.; Borba, Paulo; CAVALCANTI, G.

[ASE] 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018)

2018

Detecting Overly Strong Preconditions in Refactoring Engines

MONGIOVI, MELINA; GHEYI, Rohit; Soares, Gustavo; RIBEIRO, MARCIO; Borba, Paulo; Teixeira, Leopoldo

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2018

Understanding semi-structured merge conflict characteristics in open-source Java projects

ACCIOLY, PAOLA; Borba, Paulo; CAVALCANTI, GUILHERME

EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE)

2018

Analyzing Conflict Predictors in Open-Source Java Projects from GitHub and Travis CI

ACCIOLY, P.; Borba, Paulo; Léuson Silva; CAVALCANTI, GUILHERME

[MSR] 15th International Conference on Mining Software Repositories (MSR 2018)

2017

Evaluating and improving semistructured merge

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

Proceedings of the ACM on Programming Languages

2017

Empirical assessment of two approaches for specifying software product line use case scenarios

BONIFÁCIO, RODRIGO; Borba, Paulo; FERRAZ, CRISTIANO; ACCIOLY, PAOLA

Software & Systems Modeling

2017

Should We Replace Our Merge Tools?

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC)

2017

Evaluating and Improving Semistructured Merge

CAVALCANTI, G.; Borba, Paulo; ACCIOLY, PAOLA

[OOPSLA] ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17)

2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines

Marco Couto; Borba, Paulo; Jácome Cunha; João Paulo Fernandes; Rui Pereira; SARAIVA, J.

[SPLC] 21st International Systems and Software Product Line Conference (SPLC 2017)

2017

An idiom to represent data types in Alloy

GHEYI, Rohit; Borba, Paulo; SAMPAIO, Augusto; RIBEIRO, Márcio

Information and Software Technology

2016

Partially Safe Evolution of Software Product Lines

Gabriela Sampaio; Borba, P.; Leopoldo Teixeira

[SPLC] 20th International Software Product Line Conference (SPLC 2016)

2016

Coevolution of variability models and related software artifacts

PASSOS, LEONARDO; Teixeira, Leopoldo; DINTZNER, NICOLAS; APEL, SVEN; W'SOWSKI, ANDRZEJ; CZARNECKI, KRZYSZTOF; Borba, Paulo; GUO, JIANMEI

Empirical Software Engineering (Dordrecht. Online)

2016

Assessing Idioms for a Flexible Feature Binding Time

ANDRADE, Rodrigo; RIBEIRO, Márcio; REBÊLO, Henrique; Borba, Paulo; GASIUNAS, VAIDAS; SATABIN, LUCAS

Computer Journal (Online)

2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems

MEIRA, S.; Vanilson Burégio; Borba, Paulo; Vinicius Cardoso Garcia; ALBUQUERQUE, JONES; SOARES, Sérgio

[SBES] 30th Brazilian Symposium on Software Engineering (SBES 2016)

2016

Assessing fine-grained feature dependencies

RODRIGUES, IRAN; RIBEIRO, Márcio; MEDEIROS, FLÁVIO; Borba, Paulo; FONSECA, BALDOINO; GHEYI, Rohit

Information and Software Technology

2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios

BENBASSAT, F.; Borba, Paulo; Leopoldo Teixeira

[SBCARS] X Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2016)

2015

A Product Line of Theories for Reasoning about Safe Evolution of Product Lines

Leopoldo Teixeira; ALVES, Vander; BORBA, PAULO; GHEYI, Rohit

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Safe Evolution of Product Populations and Multi Product Lines

Leopoldo Teixeira; BORBA, PAULO; GHEYI, R.

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation

Bruno Cartaxo; BORBA, PAULO; SOARES, Sérgio; Hélio Fugimoto

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2015

Safe evolution templates for software product lines

NEVES, L.; Borba, P.; ALVES, V.; TURNES, L.; TEIXEIRA, L.; SENA, D.; KULESZA, U.

The Journal of Systems and Software

2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment

CAVALCANTI, G.; BORBA, PAULO; ACCIOLY, P.

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2014

A Toolset for Checking SPL Refinements

Felipe Ferreira; GHEYI, Rohit; BORBA, PAULO; Gustavo Soares

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

SPLLIFT- Statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio; Claus Brabrand; Borba, Paulo; MEZINI, M.

[GI] Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

2014

Making refactoring safer through impact analysis

MONGIOVI, MELINA; GHEYI, R.; Soares, Gustavo; Teixeira, Leopoldo; BORBA, Paulo

Science of Computer Programming (Print)

2014

Feature Maintenance with Emergent Interfaces

RIBEIRO, Márcio de Medeiros; Paulo Borba; Christian Kästner

[ICSE] 36th International Conference on Software Engineering (ICSE 2014)

2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

ALFÉREZ, MAURICIO; BONIFÁCIO, RODRIGO; Teixeira, Leopoldo; ACCIOLY, PAOLA; KULESZA, Uirá; MOREIRA, ANA; ARAÚJO, JOÃO; BORBA, PAULO

Requirements Engineering

2014

Flexible Feature Binding with AspectJ-based Idioms

Rodrigo Andrade; REBÊLO, Henrique; RIBEIRO, Márcio de Medeiros; Paulo Borba

Journal of Universal Computer Science (Online)

2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; Paulo Borba; Rodrigo Bonifácio

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

Semistructured Merge on Git: An Assessment

CAVALCANTI, G.; ACCIOLY, P.; Paulo Borba

11th Workshop on Software Modularity (WMod 2014)

2013

AspectJ-based Idioms for Flexible Feature Binding

Rodrigo Andrade; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; Paulo Borba

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

Modular Aspect-Oriented Design Rule Enforcement with XPIDRs

Henrique Rebelo; LEAVENS, G.; LIMA, R.; Borba, Paulo H.M.; RIBEIRO, Márcio de Medeiros

12th Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), 12th ACM International Conference on Aspect-Oriented Software Development (AOSD 2013)

2013

Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel

PASSOS, L.; Jianmei Guo; TEIXEIRA, L.; Krzysztof Czarnecki; Andrzej Wasowski; Paulo Borba

[SPLC] 17th International Software Product Line Conference (SPLC 2013)

2013

SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio de Medeiros; Claus Brabrand; Borba, Paulo H.M.; MEZINI, M.

[PLDI] 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013)

2013

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; BONIFÁCIO, RODRIGO; RIBEIRO, MÁRCIO; PONTUAL, CARLOS EDUARDO; BORBA, PAULO; CASTOR, FERNANDO

The Journal of Systems and Software

2013

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; Johnni Winther; BORBA, PAULO

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2013

The crosscutting impact of the AOSD Brazilian research community

The Journal of Systems and Software

2013

Safe composition of configuration knowledge-based software product lines

TEIXEIRA, LEOPOLDO; BORBA, PAULO; GHEYI, Rohit

The Journal of Systems and Software

2013

Improving modular reasoning on preprocessor-based systems

MELO, J.; BORBA, PAULO

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering

FREIRE, M.; ACCIOLY, P.; Gustavo Sizílio; Edmilson Campos Neto; KULESZA, Uirá; ARANHA, Eduardo; Paulo Borba

[PROFES] 14th International Conference on Product Focused Software Development and Process Improvement (PROFES 2013)

2013

SPLLIFT: statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, MÁRCIO; Claus Brabrand; Paulo Borba; MEZINI, M.

ACM SIGPLAN Notices

2012

Emergo: a tool for improving maintainability of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; WINTHER, J.; Claus Brabrand; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Tools Session

2012

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, Márcio de Medeiros; Felipe Queiroz; BORBA, PAULO; Társis Toledo; Claus Brabrand; SOARES, S. C. B.

ACM SIGPLAN Notices

2012

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

Theoretical Computer Science

2012

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012)

2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering

BORBA, Paulo

The Journal of Systems and Software

2012

Investigating the safe evolution of software product lines

Laís Neves; Leopoldo Teixeira; Demóstenes Sena; ALVES, Vander; KULESZA, U.; BORBA, PAULO

ACM SIGPLAN Notices

2012

Modularity analysis of use case implementations

Fernanda dAmorim; BORBA, Paulo

The Journal of Systems and Software

2012

Making Software Product Line Evolution Safer

FERREIRA, FELYPE; BORBA, PAULO; Gustavo Soares; GHEYI, Rohit

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Comparing Two Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; BORBA, Paulo; BONIFÁCIO, R.

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems

Felipe Queiroz; RIBEIRO, Márcio de Medeiros; SOARES, Sérgio; BORBA, PAULO

6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012), associado ao Terceiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012),

2011

Safe composition of configuration knowledge-based software product lines

Leopoldo Teixeira; GHEYI, Rohit; BORBA, Paulo

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions

CIRILO, E.; Demóstenes Sena; KULESZA, Uirá; Leopoldo Teixeira; SOARES, S. C. B.; BORBA, PAULO; GHEYI, Rohit; Laís Neves; LUCENA, C. J. P.

Product LinE Approaches in Software Engineering (PLEASE 2011), workshop of the 33rd International Conference on Software Engineering (ICSE 2011)

2011

Automatically Checking Feature Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science (Print)

2011

Using PBL to Develop Software Test Engineers

FIGUERÊDO, CALIANE DE OLIVEIRA; SANTOS, SIMONE C. DOS; Borba, Paulo H.M.; ALEXANDRE, GUSTAVO H.S.

[CATE] Computers and Advanced Technology in Education (CATE 2011)

2011

A tool for improving maintainabiliy of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo; Claus Brabrand

2nd Brazilian Congress on Software (CBSoft 2011), Tools Session

2011

The AOSD Research Community in Brazil and Its Crosscutting Impact

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Assessing Idioms for Implementing Features with Flexible Binding Times

Rodrigo Andrade; RIBEIRO, Márcio de Medeiros; Vaidas Gasiunas; Lucas Satabin; Henrique Rebelo; BORBA, Paulo

[CSMR] 15th European Conference on Software Maintenance and Reengineering (CSMR 2011)

2011

PBL no ensino de testes de software: uma experiência prática

Caliane Figuerêdo; Simone Santos; Gustavo Alexandre; Paulo Borba

International Conference on Engineering and Computer Education

2011

Investigating the safe evolution of software product lines

NEVES, LAÍS; TEIXEIRA, LEOPOLDO; SENA, DEMÓSTENES; ALVES, Vander; KULEZSA, UIRÁ; BORBA, PAULO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, MÁRCIO; QUEIROZ, FELIPE; BORBA, PAULO; TOLÊDO, TÁRSIS; BRABRAND, CLAUS; SOARES, SÉRGIO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2010

Synchronizing Model and Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] 13th Brazilian Symposium on Formal Methods (SBMF 2010)

2010

Towards feature modularization

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study

Mário Torres; LUCENA, Carlos; Leopoldo Teixeira; CIRILO, E.; Matheus Sousa; KULESZA, Uirá; BATISTA, T.; BRAGA, R.; MASIERO, P.; BORBA, Paulo

2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), 9th International Conference on Generative Programming and Component Engineering (GPCE 2010)

2010

Modularity Analysis of Use Case Implementations

Fernanda d'Amorim; BORBA, Paulo

[SBCARS] Quarto Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2010)

2010

TaRGeT: a Model Based Product Line Testing Tool

Felipe Ferreira; Laís Neves; Michelle Silva; BORBA, Paulo

Tools session, I Brazilian Conference on Software: Theory and Practice (CBSoft 2010)

2010

Emergent Feature Modularization

RIBEIRO, Márcio de Medeiros; Humberto Pacheco; Leopoldo Teixeira; BORBA, Paulo

[SPLASH] Onward! 2010, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

[ICTAC] 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)

2010

Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares

Mário Torres; KULESZA, Uirá; BRAGA, R.; MASIERO, P.; Paulo Pires; CIRILO, E.; BATISTA, T.; BORBA, Paulo; LUCENA, Carlos

1st Brazilian Workshop on Model-Driven Development (BW-MDD 2010), associado ao Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010)

2009

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; Arthur Marques; GHEYI, Rohit; BORBA, Paulo; CASTOR, F.

[SBLP] 13rd Brazilian Symposium on Programming Languages (SBLP 2009)

2009

Modularity analysis of use case implementations

Fernanda d'Amorim; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Estimating manual test execution effort and capacity based on execution points

ARANHA, Eduardo; BORBA, Paulo

International Journal of Computers & Applications

2009

A complete set of object modeling laws for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo; SAMPAIO, Augusto

[SBMF] 12th Brazilian Symposium on Formal Methods (SBMF 2009)

2009

Projeto de Experimentos em Engenharia de Software

ARANHA, Eduardo; Cristiano Ferraz; BORBA, Paulo

[SBES] Tutoriais, XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Modularizing variabilities with CaesarJ collaboration interfaces

PONTUAL, C.; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Hephaestus: A tool for managing SPL variabilities

ALMEIDA, Rodrigo Bonifácio de; Leopoldo Teixeira; BORBA, Paulo

[SBCARS] Sessão de ferramentas, Terceiro Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009)

2009

Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?

RIBEIRO, Márcio de Medeiros; Rodrigo Cardoso; BORBA, Paulo; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo

3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), associado ao XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Improving guidance when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

[CSMR] 13th European Conference on Software Maintenance and Reengineering (CSMR 2009)

2009

Modeling scenario variability as crosscutting mechanisms

ALMEIDA, Rodrigo Bonifácio de; BORBA, PAULO

8th ACM international conference on Aspect-oriented software development (AOSD 2009)

2008

Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool

SOARES, Sérgio; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; BORBA, Paulo; ALVES, Vander

Tools session, 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects

ALVES, Vander; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; BORBA, Paulo

[SPLC] Tools session, 12th International Software Product Line Conference (SPLC 2008)

2008

JML and Aspects: The benefits of instrumenting JML features with AspectJ

Henrique Rebelo; SOARES, Sérgio; LIMA, R.; BORBA, Paulo; CORNÉLIO, Márcio

7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008)

2008

Automated Test Execution Effort Estimation based on Functional Test Specifications

ARANHA, Eduardo Henrique da Silva; Almeida, Filipe; Diniz, Thiago; Fontes, Vitor; BORBA, Paulo

[SBES] Tool session, 22st Brazilian Symposium on Software Engineering (SBES 2008)

2008

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2008

Algebraic Laws for Feature Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science

2008

On the benefits of variability management as crosscutting

ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Internacional Workshop On Early Aspects, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

Formal Model-Driven Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[FASE] Fundamental Approaches to Software Engineering (FASE 2008), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008)

2008

Recommending refactorings when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

2nd Workshop on Refactoring Tools (WRT '08), 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

A decision model for implementing product lines variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo

[SAC] 23rd Annual ACM Symposium on Applied Computing (SAC 2008)

2008

FLiP: Product Line DerivationTool

BORBA, Paulo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; ALVES, Vander

Forum Demonstration, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

A complete and minimal set of algebraic laws for feature models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBLP] 12th Simpósio Brasileiro de Linguages de Programação (SBLP 2008)

2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

ARANHA, Eduardo; BORBA, Paulo

International Conference on Software Process (ICSP 2008)

2008

Manualtest: Improving collection of manual test execution data in empirical studies

ARANHA, Eduardo; BORBA, Paulo

5th Experimental Software Engineering Latin America Workshop (ESELAW 2008)

2007

Concurrency Control Modularization with Aspect-Oriented Programming

SOARES, Sérgio; BORBA, Paulo; LIMA, R.

[COMPSAC] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)

2007

An Estimation Model for Test Execution Effort

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

[ESEM] 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)

2007

Brazil test center research group

TORRES, D.; NOGUEIRA, S.; CARTAXO, E.; ARANHA, Eduardo; BORBA, Paulo; BARROS, F.; MACHADO, Patrícia; SAMPAIO, Augusto; MOTA, Alexandre

1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

Mapping Features to Aspects: A Model-Based Generative Approach

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; COSTA NETO, Alberto; CIRILO, E.; LUCENA, Carlos; BORBA, Paulo

10th Internacional Workshop On Early Aspects, 6th ACM International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

Semantic Dependencies and Modularity of Aspect-Oriented Software

COSTA NETO, Alberto; RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study

GREENWOOD, Philip; KULESZA, Uirá; RASHID, Awais; BARTOLOMEI, Thiago; FIGUEIREDO, Eduardo; DÓSEA, Marcos; GARCIA, Alessandro; CACHO, Nélio; SANTANNA, Claudio; SOARES, Sérgio; BORBA, Paulo

[ECOOP] 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

AJaTS: AspectJ Transformation System

ARCOVERDE, Roberta; SOARES, Sérgio; LUSTOSA, P.; BORBA, Paulo

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007)

2007

Sizing system tests for estimating test execution effort

ARANHA, Eduardo; BORBA, Paulo

22nd International Annual Forum on COCOMO and System/Software Cost Modeling

2007

Specifying design rules in aspect-oriented systems

DÓSEA, Marcos; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Formally Introducing Alloy Idioms

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 10th Brazilian Symposium on Formal Methods (SBMF 2007)

2007

On The Design of an End-to-End AOSD Testbed for Software Stability

GREENWOOD, Philip; GARCIA, Alessandro; BARTOLOMEI, Thiago; SOARES, Sérgio; BORBA, Paulo; RASHID, Awais

1st Workshop on Assessement of Aspect-Oriented Technologies (ASAT 2007), 6th International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

On the Contributions of an End-to-End AOSD Testbed

GREENWOOD, Philip; GARCIA, Alessandro; RASHID, Awais; FIGUEIREDO, Eduardo; SANTANNA, Claudio; CACHO, Nélio; Américo Sampaio; SOARES, Sérgio; BORBA, Paulo

Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Test Effort Estimation Models Based on Test Specifications

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007)

2007

Towards Reusable and Modular Aspect-Oriented Concurrency Control

SOARES, Sérgio; BORBA, Paulo

[SAC] 22nd Annual ACM Symposium on Applied Computing

2007

On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo; CARDIM, I. C.

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines

MATOS, Pedro; Rafael Duarte; CARDIM, I. C.; BORBA, Paulo

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Product Line Variability Refactoring Tool

CALHEIROS, Fernando; BORBA, Paulo; SOARES, Sérgio; NEPOMUCENO, Vilmar; ALVES, Vander

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Modularity, Information Hiding, and Interfaces for Aspect-Oriented Languages

BORBA, Paulo

[SBLP] 11th Brazilian Symposium on Programming Languages (SBLP 2007)

2007

Analyzing Class and Crosscutting Modularity with Design Structure Matrixes

RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

[SBES] 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

AJaTS - AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring

ARCOVERDE, Roberta; LUSTOSA, P.; SOUZA, Adeline; SOARES, Sérgio; BORBA, Paulo

[SBES] Tools session, 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

A Static Semantics for Alloy and its Impact in Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2007

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

ALVES, Vander; MATOS, Pedro; COLE NETO, Leonardo; VASCONCELOS, Alexandre Torres; BORBA, Paulo; RAMALHO, Geber

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2006

Contextos de Primeira Classe em Transformações de Programas

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

Implementing Framework Crosscutting Extensions with EJPs and AspectJ

KULESZA, Uirá; COELHO, Roberta; ALVES, Vander; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, A. V.; LUCENA, Carlos; BORBA, Paulo

[SBES] 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration

ALVES, Vander; COSTA NETO, Alberto; SOARES, Sérgio; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; LEAL, Jorge; BORBA, Paulo

1st Workshop on Aspect-Oriented Product Line Engineering, 5th ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

2006

Improving extensibility of object-oriented frameworks with aspect-oriented programming

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; LUCENA, Carlos; BORBA, Paulo

[ICSR] 9th International Conference on Software Reuse (ICSR 2006)

2006

Refactoring product lines

ALVES, Vander; GHEYI, Rohit; MASSONI, Tiago; KULESZA, Uirá; BORBA, PAULO; LUCENA, Carlos

[GPCE] 5th international conference on Generative programming and component engineering (GPCE 2006)

2006

Distribution and Persistence as Aspects

SOARES, Sérgio; BORBA, Paulo; LAUREANO, Eduardo

Software, Practice & Experience (Print)

2006

Suporte a Refatorações em um Sistema de Transformação de Propósito Geral

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

A Verification Approach for Crosscutting Features Based on Extension Join Points

COELHO, Roberta; ALVES, Vander; KULESZA, Uirá; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, Ardnt Von; LUCENA, Carlos; BORBA, Paulo

3rd International Workshop on Software Product Line Testing (SPLiT 2006), 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Communications of the EASST

2006

Declaring Static Crosscutting Dependencies in AspectJ

COSTA NETO, Alberto; ALVES, Vander; BORBA, Paulo

3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP 2006), 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines

ALVES, Vander; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; COSTA NETO, Alberto; BORBA, Paulo

Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Workshop on Software Evolution through Transformations: Embracing Change, International Conference on Graph Transformation (ICGT 2006)

2006

A Theory for Feature Models in Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

First Alloy Workshop, affiliated with 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006)

2006

Sound Object Model Refactorings

GHEYI, Rohit; BORBA, Paulo

Doctoral Symposium, afilliated with Formal Methods 2006

2006

A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] III Brazilian Symposium on Formal Methods (SBMF 2006)

2005

Extracting and Evolving Mobile Games Product Lines

ALVES, Vander; MATOS JÚNIOR, Pedro Osandy Alves; COLE NETO, Leonardo; BORBA, Paulo; RAMALHO, Geber

[SPLC] 9th International Software Product Line Conference (SPLC 2005)

2005

Formal Refactorings for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[OOPSLA] Student Research Competition, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

A Rigorous Approach for Proving Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[ASE] Automated Software Engineering (ASE 2005)

2005

Deriving refactorings for AspectJ

COLE NETO, Leonardo; BORBA, Paulo

4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2005

Formal Refactoring for UML Class Diagrams

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBES] 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2005

Comparative Analysis of Porting Strategies in Mobile Device Games

ALVES, Vander; CARDIM, I. C.; CARMO, Heitor Vital Do; Pedro Sampaio; Alexandre Damasceno; BORBA, Paulo; RAMALHO, Geber

21st IEEE International Conference on Software Maintenance (ICSM 2005)

2005

Type-safe refactorings for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] II Brazilian Symposium on Formal Methods (SBMF 2005)

2005

Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ

BORBA, Paulo; SOARES, Sérgio

2nd Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2005), 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

Scientia (UNISINOS)

2005

Um Sistema de Tipos para uma Linguagem de Transformação

Alexandra Barros; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005)

2005

A Model-driven Approach to Formal Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[OOPSLA] Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

Geração de Sistemas de Transformação

SOUZA, Adeline; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguages de Programação (SBLP 2005)

2005

Proving aspect-oriented programming laws

COLE, Leonardo; MOTA, Alexandre; BORBA, Paulo

4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2004

Using Programming Laws to Modularize Concurrency in a Replicated Database Application

COLE NETO, Leonardo; BORBA, Paulo

1st Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

Algebraic reasoning for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CAVALCANTI, Ana; CORNÉLIO, Márcio

Science of Computer Programming (Print)

2004

Refactoring Alloy Specifications

GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2004

Towards Progressive and Non-progressive Implementation Approaches Evaluation

SOARES, Sérgio; BORBA, Paulo

1st Experimental Software Engineering Latin American Workshop (ESELAW 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP 2004), XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

Using Aspects to Make Adaptive Object-Models Adaptable

DANTAS, Ayla; YODER, Joseph; BORBA, Paulo; JOHNSON, Ralph

Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2004), 18th European Conference on Object-Oriented Programming (ECOOP 2004)

2004

Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ

SOARES, Sérgio; BORBA, Paulo

[SBES] Tutoriais, XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

A General-purpose Transformation System for Java

SANTOS, Gustavo; BORBA, Paulo; SOUZA, Adeline

Software Transformation Systems Workshop (STS 2004), 3rd ACM International Conference on Generative Programming and Component Engineering (GPCE 2004)

2004

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

III Workshop Brasileiro de Jogos e Entretenimento Digital

2004

Basic Laws of Object Modeling

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004)

2004

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 1st Brazilian Symposium on Formal Methods (SBMF 2004)

2004

Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach

SOUSA, Geórgia; SOARES, Sérgio; BORBA, Paulo; CASTRO, Jaelson

Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004), International Conference on Aspect-Oriented Software Development (AOSD 2004)

2004

A UML Class Diagram Analyzer

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

3rd International Workshop on Critical Systems Development with UML, UML Conference

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

Revista de Informática Teórica e Aplicada (Impresso)

2004

An Incremental Aspect-Oriented Product Line Method for J2ME Game Development

ALVES, Vander; MATOS, Pedro; BORBA, Paulo

Workshop on Managing Variability Consistently in Design and Code, 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)

2003

Using aspects to structure small devices adaptive applications

DANTAS, Ayla; BORBA, Paulo; ALVES, Vander

1st Workshop on Reuse in Constrained Environments, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

Aspect-oriented implementation method: Progressive or non-progressive approach?

SOARES, Sérgio; BORBA, Paulo

Doctoral Symposium, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

AdapPE: An architectural pattern for structuring adaptive applications with aspects

DANTAS, Ayla; BORBA, Paulo

[SUGARLOAFPLOP] Third Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2003)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

Journal of Universal Computer Science (Print)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

[SBLP] 7th Brazilian Symposium on Programming Languages (SBLP 2003)

2003

A refinement algebra for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CORNÉLIO, Márcio

[ECOOP] 17th European Conference on Object-oriented Programming (ECOOP 2003)

2003

Refactoring Alloy specifications

GHEYI, Rohit; BORBA, Paulo

6th Brazilian Workshop on Formal Methods

2002

Implementing distribution and persistence aspects with aspectJ

SOARES, SERGIO; LAUREANO, Eduardo; BORBA, PAULO

[OOPSLA] 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2002)

2002

Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans

DIAS, K.; BORBA, Paulo

[SUGARLOAFPLOP] Second Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

PIP: Progressive Implementation Pattern

SOARES, Sérgio; BORBA, Paulo

1st Workshop on Software Development Patterns, 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2002)

2002

Mechanical abstraction of CSP-Z processes

MOTA, Alexandre; BORBA, Paulo; SAMPAIO, Augusto

11th Formal Methods Europe (FME 2002)

2002

PaDA: A Pattern for Distribution Aspects

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 2nd Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

Integrating code generation and refactoring

D'AMORIM, M.; NOGUEIRA, C.; SANTOS, Gustavo; SOUZA, Adeline; BORBA, Paulo

Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Progressive implementation with aspect-oriented programming

SOARES, Sérgio; BORBA, Paulo

The 12th Workshop for PhD Students in Object-Oriented Systems, at the 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Web systems acceptance tests and code generation

ARANHA, Eduardo; BORBA, Paulo

Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP 2002)

2002

A RUP-based software process supporting progressive implementation

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

2002 International Conference of the Information Resources Management Association (IRMA 2002)

2002

Implementing distribution and persistence aspects with AspectJ

SOARES, Sérgio; LAUREANO, Eduardo; BORBA, Paulo

ACM SIGPLAN Notices

2002

Testes e geração de código de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBES] XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002)

2002

Uma linguagem para testes de aceitação de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBLP] VI Brazilian Symposium on Programming Languages (SBLP 2002)

2002

Concurrency control with Java and relational databases

SOARES, Sérgio; BORBA, Paulo

[COMPSAC] 26th IEEE Computer Software and Applications Conference (COMPSAC 2002)

2002

AspectJ, programação orientada a aspectos em Java

SOARES, Sérgio; BORBA, Paulo

Tutoriais, VI Simpósio Brasileiro de Linguagens de Programação (SBLB 2002)

2001

Controle de concorrência com Java e bancos de dados relacionais

SOARES, Sérgio; BORBA, Paulo

[SBLP] V Simpósio Brasileiro de Linguagens de Programação (SBLP 2001)

2001

An implementation method for distributed object-oriented applications

ALVES, Vander; BORBA, Paulo

[SBES] 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Distributed adapters pattern: A design pattern for object-oriented distributed applications

ALVES, Vander; BORBA, Paulo

1st Latin American Conference on Pattern Languages of Programming (SugarloafPLoP 2001)

2001

PDC: Persistent Data Collections Pattern

MASSONI, Tiago; ALVES, Vander; SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

A language for specifying Java transformations

CASTOR, F.; BORBA, Paulo

[SBLP] 5th Brazilian Symposium on Programming Languages (SBLP 2001)

2001

JaTS: A Java transformation system

CASTOR, F.; OLIVEIRA, K.; SOUZA, Adeline; SANTOS, Gustavo; BORBA, Paulo

[SBES] Tools session, 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Concurrency Manager

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Web Handlers

SOARES, G.; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Progressive implementation of aspects

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

Workshop on Advanced Separation of Concerns, 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001)

2000

Structuring Mechanisms for an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

[ICSR] 6th International Conference on Software Reuse (ICSR 2000)

2000

A design pattern for distributed applications

ALVES, Vander; BORBA, Paulo

[SBES] Tutorials, 14th Brazilian Symposium on Software Engineering (SBES 2000)

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

III Brazilian Workshop on Formal Methods

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

Revista de Informática Teórica e Aplicada (Impresso)

1999

Integrando Java com Bancos de Dados Relacionais

Euricélia Viana; BORBA, Paulo

[SBLP] III Simpósio Brasileiro de Linguagens de Programação (SBLP 1999)

1999

Progressive implementation of distributed Java applications

BORBA, Paulo; ARAUJO, S.; Hednilson Bezerra; Marconi Lima; SOARES, Sérgio

Engineering Distributed Objects Workshop, 21st ACM International Conference on Software Engineering (ICSE 1999)

1998

Systematic development of concurrent object-oriented programs

BORBA, Paulo

Electronic Notes in Theoretical Computer Science

1998

Where are the Laws of Objet-Oriented Programming?

BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1998

Design of an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1997

Parameterized Packages and Java

ARANHA, D.; BORBA, Paulo

[SBLP] II Brazilian Symposium On Programming Languages (SBLP 1997)

1997

A System For Translating Executable VDM Specifications Into Lazy ML

BORBA, Paulo; MEIRA, S. R. L.

Software, Practice & Experience (Print)

1996

States as Specifications

BORBA, Paulo

[SBLP] I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996)

1996

A Refinement Theory for Concurrent Object Oriented Languages

BORBA, Paulo

[SBES] X Brazilian Symposium on Software Engineering (SBES 1996)

1994

An Operational Semantics for FOOPS

BORBA, Paulo; GOGUEN, J.

Information Systems Correctness And Reusability (ISCORE 1994)

1993

From VDM Specifications To Functional Prototypes

BORBA, Paulo; MEIRA, S. R. L.

The Journal of Systems and Software

1992

Prototyping Action Semantics using Functional Languages

BORBA, Paulo; SANTOS, André; MEIRA, S.

[CLEI] Latin American Conference On Computing (CLEI 1992)

1991

From Model Based Specifications to Functional Prototypes

BORBA, Paulo; MEIRA, S.

IEEE TENCON'91

1990

Tradução de Tipos de Especificação para Protótipo

BORBA, Paulo; MEIRA, S.

[IV] IV Simpósio Brasileiro de Engenharia de Software (SBES 1990)

1989

Notação VDM Executável em Standard ML

BORBA, Paulo; MEIRA, S.

IX Congresso da SBC

1989

Protótipos Funcionais a partir de Especificações Formais em VDM

BORBA, Paulo; MEIRA, S.

[SBES] III Simpósio Brasileiro de Engenharia de Software (SBES 1989)

1987

Acesso a um Banco de Dados através de Linguagem Natural

BORBA, Paulo; SANTOS, André; CARRAHER, D.

[IV] IV Simpósio Brasileiro de Inteligência Artificial (SBIA 1987)

2023

ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

2023

ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

2023

ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

2023

ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

2023

ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2026

Comparing static analyses for improved semantic conflict detection

SANTOS DE JESUS, GALILEU; Borba, Paulo; BONIFÁCIO, RODRIGO; BARBOSA DE OLIVEIRA, MATHEUS

Automated Software Engineering

2026

Contrastive Meta-Domain Adaptation for Robust Skin Lesion Classification Across Clinical and Acquisition Conditions

MOTA, RODRIGO; CUNHA, KELVIN; DOS SANTOS, EMANOEL; PAPAIS, FÁBIO; FILHO, FRANCISCO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; ING REN, TSANG

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DermAI: Clinical Dermatology Acquisition Through Quality-Driven Image Collection for AI Classification in Mobile

BEZERRA, THALES; CRUZ, SHIRLEY; Borba, Paulo; REN, TSANG ING; DOS SANTOS, EMANOEL; CUNHA, KELVIN; MOTA, RODRIGO; PAPAIS, FÁBIO; FILHO, FRANCISCO; LOPES, NATÁLIA; MEDEIROS, ÉRICO; ARAUJO, JÉSSICA

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DERMAE: Improving Skin Lesion Classification Through Conditioned Latent Diffusion and MAE Distillation

FILHO, FRANCISCO; CUNHA, KELVIN; PAPAIS, FÁBIO; DOS SANTOS, EMANOEL; MOTA, RODRIGO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; REN, TSANG ING

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

GitHub Template Repositories: Served Domains, Maintenance, and Practitioner Guidelines

Léuson da Silva; Altaf Allah Abbassi; Imen Trabelsi; BORBA, PAULO; Foutse Khomh

[ICSME] 42nd International Conference on Software Maintenance and Evolution (ICSME 2026)

2025

Choosing the Right GitWorkflow: A Comparative Analysis of Trunk-based vs. Branch-based Approaches

LOPES, PEDRO; ACCIOLY, PAOLA; Borba, Paulo; MENEZES, VITOR

[SBES] Simpósio Brasileiro de Engenharia de Software

2025

Detecção de Conflitos Semânticos com Testes Gerados por LLM

BARBOSA, NATHALIA; Borba, Paulo; SILVA, LÉUSON DA

[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado

2024

Semantic conflict detection via dynamic analysis

Amanda Moraes; BORBA, Paulo; Léuson da Silva

[SBLP] 28th Brazilian Symposium on Programming Languages (SBLP 2024)

2024

Semistructured Merge with Language-Specific Syntactic Separators

CAVALCANTI, G.; BORBA, Paulo; Leonardo dos Anjos; Jônatas Clementino

[ASE] 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)

2024

Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos

MACIEL, TONI; BORBA, Paulo; Léuson da Silva; Thaís Burity

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada

Felipe Araujo; BORBA, Paulo; CAVALCANTI, G.

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Lightweight Semantic Conflict Detection with Static Analysis

Galileu Santos de Jesus; BORBA, Paulo; Rodrigo Bonifácio; BARBOSA, MATHEUS

[ICSE] 46th International Conference on Software Engineering (ICSE 2024), ICSE Companion

2024

Detecting semantic conflicts with unit tests

DA SILVA, LÉUSON; Borba, Paulo; MACIEL, TONI; MAHMOOD, WARDAH; BERGER, THORSTEN; MOISAKIS, JOÃO; GOMES, ALDIBERG; LEITE, VINÍCIUS

JOURNAL OF SYSTEMS AND SOFTWARE

2023

Using acceptance tests to predict merge conflict risk

ROCHA, THAÍS; Borba, Paulo

EMPIRICAL SOFTWARE ENGINEERING

2022

Semantic conflict detection with overriding assignment analysis

BARBOSA, MATHEUS; Borba, Paulo; BONIFACIO, RODRIGO; SANTOS, GALILEU

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2022

Build conflicts in the wild

DA SILVA, LÉUSON; Borba, Paulo; PIRES, ARTHUR

Journal of Software-Evolution and Process

2022

The Private Life of Merge Conflicts

CUNHA, MARCELA; ACCIOLY, PAOLA; Borba, Paulo

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2021

Semi-Automated Test-Case Propagation in Fork Ecosystems

Mukelabai Mukelabai; Thorsten Berger; Paulo Borba

[ICSE] 43rd International Conference on Software Engineering (ICSE 2021), New Ideas and Emerging Results track

2021

Textual merge based on language-specific syntactic separators

Jônatas Clementino; Paulo Borba; CAVALCANTI, G.

[SBES] 35th Brazilian Symposium on Software Engineering (SBES 2021)

2021

Leveraging Structure in Software Merge: An Empirical Study

SEIBT, GEORG; HECK, FLORIAN; CAVALCANTI, GUILHERME; Borba, Paulo; APEL, SVEN

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2021

Lazy Clone - A Pattern to Improve Performance and Maintainability of Object Cloning

Bruno Cartaxo; GUERRA, E.; OSORIO, V.; SOARES, S. C. B.; Paulo Borba

[PLOP] 28th Conference on Pattern Languages of Programs (PLoP'2021)

2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws

Leopoldo Teixeira; GHEYI, Rohit; Paulo Borba

[SBMF] 23rd Brazilian Symposium on Formal Methods (SBMF 2020)

2020

Understanding predictive factors for merge conflicts

DIAS, KLISSIOMARA; Borba, Paulo; BARRETO, MARCOS

INFORMATION AND SOFTWARE TECHNOLOGY

2020

Privacy and security constraints for code contributions

ANDRADE, Rodrigo; Borba, Paulo

SOFTWARE-PRACTICE & EXPERIENCE

2020

Detecting Semantic Conflicts via Automated Behavior Change Detection

Léuson da Silva; Paulo Borba; Wardah Mahmood; Thorsten Berger; João Moisakis

[ICSME] 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)

2019

The Impact of Structure on Software Merging: Semistructured versus Structured Merge

CAVALCANTI, G.; Borba, Paulo; Georg Seibt; Sven Apel

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2019

Partially safe evolution of software product lines

SAMPAIO, GABRIELA; Borba, Paulo; Teixeira, Leopoldo

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Improving the prediction of files changed by programming tasks

SANTOS, JOÃO PEDRO; ROCHA, THAÍS; Borba, Paulo

[SBCARS] XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019)

2019

Using acceptance tests to predict files changed by programming tasks

ROCHA, THAÍS; Borba, Paulo; SANTOS, JOÃO PEDRO

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Semistructured Merge in JavaScript Systems

TAVARES, A. T.; Borba, Paulo; CAVALCANTI, G.; SOARES, S. C. B.

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2018

Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)

ACCIOLY, P.; Borba, Paulo; CAVALCANTI, G.

[ASE] 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018)

2018

Detecting Overly Strong Preconditions in Refactoring Engines

MONGIOVI, MELINA; GHEYI, Rohit; Soares, Gustavo; RIBEIRO, MARCIO; Borba, Paulo; Teixeira, Leopoldo

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2018

Understanding semi-structured merge conflict characteristics in open-source Java projects

ACCIOLY, PAOLA; Borba, Paulo; CAVALCANTI, GUILHERME

EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE)

2018

Analyzing Conflict Predictors in Open-Source Java Projects from GitHub and Travis CI

ACCIOLY, P.; Borba, Paulo; Léuson Silva; CAVALCANTI, GUILHERME

[MSR] 15th International Conference on Mining Software Repositories (MSR 2018)

2017

Evaluating and improving semistructured merge

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

Proceedings of the ACM on Programming Languages

2017

Empirical assessment of two approaches for specifying software product line use case scenarios

BONIFÁCIO, RODRIGO; Borba, Paulo; FERRAZ, CRISTIANO; ACCIOLY, PAOLA

Software & Systems Modeling

2017

Should We Replace Our Merge Tools?

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC)

2017

Evaluating and Improving Semistructured Merge

CAVALCANTI, G.; Borba, Paulo; ACCIOLY, PAOLA

[OOPSLA] ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17)

2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines

Marco Couto; Borba, Paulo; Jácome Cunha; João Paulo Fernandes; Rui Pereira; SARAIVA, J.

[SPLC] 21st International Systems and Software Product Line Conference (SPLC 2017)

2017

An idiom to represent data types in Alloy

GHEYI, Rohit; Borba, Paulo; SAMPAIO, Augusto; RIBEIRO, Márcio

Information and Software Technology

2016

Partially Safe Evolution of Software Product Lines

Gabriela Sampaio; Borba, P.; Leopoldo Teixeira

[SPLC] 20th International Software Product Line Conference (SPLC 2016)

2016

Coevolution of variability models and related software artifacts

PASSOS, LEONARDO; Teixeira, Leopoldo; DINTZNER, NICOLAS; APEL, SVEN; W'SOWSKI, ANDRZEJ; CZARNECKI, KRZYSZTOF; Borba, Paulo; GUO, JIANMEI

Empirical Software Engineering (Dordrecht. Online)

2016

Assessing Idioms for a Flexible Feature Binding Time

ANDRADE, Rodrigo; RIBEIRO, Márcio; REBÊLO, Henrique; Borba, Paulo; GASIUNAS, VAIDAS; SATABIN, LUCAS

Computer Journal (Online)

2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems

MEIRA, S.; Vanilson Burégio; Borba, Paulo; Vinicius Cardoso Garcia; ALBUQUERQUE, JONES; SOARES, Sérgio

[SBES] 30th Brazilian Symposium on Software Engineering (SBES 2016)

2016

Assessing fine-grained feature dependencies

RODRIGUES, IRAN; RIBEIRO, Márcio; MEDEIROS, FLÁVIO; Borba, Paulo; FONSECA, BALDOINO; GHEYI, Rohit

Information and Software Technology

2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios

BENBASSAT, F.; Borba, Paulo; Leopoldo Teixeira

[SBCARS] X Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2016)

2015

A Product Line of Theories for Reasoning about Safe Evolution of Product Lines

Leopoldo Teixeira; ALVES, Vander; BORBA, PAULO; GHEYI, Rohit

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Safe Evolution of Product Populations and Multi Product Lines

Leopoldo Teixeira; BORBA, PAULO; GHEYI, R.

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation

Bruno Cartaxo; BORBA, PAULO; SOARES, Sérgio; Hélio Fugimoto

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2015

Safe evolution templates for software product lines

NEVES, L.; Borba, P.; ALVES, V.; TURNES, L.; TEIXEIRA, L.; SENA, D.; KULESZA, U.

The Journal of Systems and Software

2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment

CAVALCANTI, G.; BORBA, PAULO; ACCIOLY, P.

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2014

A Toolset for Checking SPL Refinements

Felipe Ferreira; GHEYI, Rohit; BORBA, PAULO; Gustavo Soares

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

SPLLIFT- Statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio; Claus Brabrand; Borba, Paulo; MEZINI, M.

[GI] Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

2014

Making refactoring safer through impact analysis

MONGIOVI, MELINA; GHEYI, R.; Soares, Gustavo; Teixeira, Leopoldo; BORBA, Paulo

Science of Computer Programming (Print)

2014

Feature Maintenance with Emergent Interfaces

RIBEIRO, Márcio de Medeiros; Paulo Borba; Christian Kästner

[ICSE] 36th International Conference on Software Engineering (ICSE 2014)

2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

ALFÉREZ, MAURICIO; BONIFÁCIO, RODRIGO; Teixeira, Leopoldo; ACCIOLY, PAOLA; KULESZA, Uirá; MOREIRA, ANA; ARAÚJO, JOÃO; BORBA, PAULO

Requirements Engineering

2014

Flexible Feature Binding with AspectJ-based Idioms

Rodrigo Andrade; REBÊLO, Henrique; RIBEIRO, Márcio de Medeiros; Paulo Borba

Journal of Universal Computer Science (Online)

2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; Paulo Borba; Rodrigo Bonifácio

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

Semistructured Merge on Git: An Assessment

CAVALCANTI, G.; ACCIOLY, P.; Paulo Borba

11th Workshop on Software Modularity (WMod 2014)

2013

AspectJ-based Idioms for Flexible Feature Binding

Rodrigo Andrade; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; Paulo Borba

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

Modular Aspect-Oriented Design Rule Enforcement with XPIDRs

Henrique Rebelo; LEAVENS, G.; LIMA, R.; Borba, Paulo H.M.; RIBEIRO, Márcio de Medeiros

12th Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), 12th ACM International Conference on Aspect-Oriented Software Development (AOSD 2013)

2013

Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel

PASSOS, L.; Jianmei Guo; TEIXEIRA, L.; Krzysztof Czarnecki; Andrzej Wasowski; Paulo Borba

[SPLC] 17th International Software Product Line Conference (SPLC 2013)

2013

SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio de Medeiros; Claus Brabrand; Borba, Paulo H.M.; MEZINI, M.

[PLDI] 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013)

2013

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; BONIFÁCIO, RODRIGO; RIBEIRO, MÁRCIO; PONTUAL, CARLOS EDUARDO; BORBA, PAULO; CASTOR, FERNANDO

The Journal of Systems and Software

2013

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; Johnni Winther; BORBA, PAULO

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2013

The crosscutting impact of the AOSD Brazilian research community

The Journal of Systems and Software

2013

Safe composition of configuration knowledge-based software product lines

TEIXEIRA, LEOPOLDO; BORBA, PAULO; GHEYI, Rohit

The Journal of Systems and Software

2013

Improving modular reasoning on preprocessor-based systems

MELO, J.; BORBA, PAULO

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering

FREIRE, M.; ACCIOLY, P.; Gustavo Sizílio; Edmilson Campos Neto; KULESZA, Uirá; ARANHA, Eduardo; Paulo Borba

[PROFES] 14th International Conference on Product Focused Software Development and Process Improvement (PROFES 2013)

2013

SPLLIFT: statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, MÁRCIO; Claus Brabrand; Paulo Borba; MEZINI, M.

ACM SIGPLAN Notices

2012

Emergo: a tool for improving maintainability of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; WINTHER, J.; Claus Brabrand; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Tools Session

2012

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, Márcio de Medeiros; Felipe Queiroz; BORBA, PAULO; Társis Toledo; Claus Brabrand; SOARES, S. C. B.

ACM SIGPLAN Notices

2012

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

Theoretical Computer Science

2012

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012)

2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering

BORBA, Paulo

The Journal of Systems and Software

2012

Investigating the safe evolution of software product lines

Laís Neves; Leopoldo Teixeira; Demóstenes Sena; ALVES, Vander; KULESZA, U.; BORBA, PAULO

ACM SIGPLAN Notices

2012

Modularity analysis of use case implementations

Fernanda dAmorim; BORBA, Paulo

The Journal of Systems and Software

2012

Making Software Product Line Evolution Safer

FERREIRA, FELYPE; BORBA, PAULO; Gustavo Soares; GHEYI, Rohit

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Comparing Two Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; BORBA, Paulo; BONIFÁCIO, R.

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems

Felipe Queiroz; RIBEIRO, Márcio de Medeiros; SOARES, Sérgio; BORBA, PAULO

6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012), associado ao Terceiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012),

2011

Safe composition of configuration knowledge-based software product lines

Leopoldo Teixeira; GHEYI, Rohit; BORBA, Paulo

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions

CIRILO, E.; Demóstenes Sena; KULESZA, Uirá; Leopoldo Teixeira; SOARES, S. C. B.; BORBA, PAULO; GHEYI, Rohit; Laís Neves; LUCENA, C. J. P.

Product LinE Approaches in Software Engineering (PLEASE 2011), workshop of the 33rd International Conference on Software Engineering (ICSE 2011)

2011

Automatically Checking Feature Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science (Print)

2011

Using PBL to Develop Software Test Engineers

FIGUERÊDO, CALIANE DE OLIVEIRA; SANTOS, SIMONE C. DOS; Borba, Paulo H.M.; ALEXANDRE, GUSTAVO H.S.

[CATE] Computers and Advanced Technology in Education (CATE 2011)

2011

A tool for improving maintainabiliy of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo; Claus Brabrand

2nd Brazilian Congress on Software (CBSoft 2011), Tools Session

2011

The AOSD Research Community in Brazil and Its Crosscutting Impact

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Assessing Idioms for Implementing Features with Flexible Binding Times

Rodrigo Andrade; RIBEIRO, Márcio de Medeiros; Vaidas Gasiunas; Lucas Satabin; Henrique Rebelo; BORBA, Paulo

[CSMR] 15th European Conference on Software Maintenance and Reengineering (CSMR 2011)

2011

PBL no ensino de testes de software: uma experiência prática

Caliane Figuerêdo; Simone Santos; Gustavo Alexandre; Paulo Borba

International Conference on Engineering and Computer Education

2011

Investigating the safe evolution of software product lines

NEVES, LAÍS; TEIXEIRA, LEOPOLDO; SENA, DEMÓSTENES; ALVES, Vander; KULEZSA, UIRÁ; BORBA, PAULO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, MÁRCIO; QUEIROZ, FELIPE; BORBA, PAULO; TOLÊDO, TÁRSIS; BRABRAND, CLAUS; SOARES, SÉRGIO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2010

Synchronizing Model and Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] 13th Brazilian Symposium on Formal Methods (SBMF 2010)

2010

Towards feature modularization

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study

Mário Torres; LUCENA, Carlos; Leopoldo Teixeira; CIRILO, E.; Matheus Sousa; KULESZA, Uirá; BATISTA, T.; BRAGA, R.; MASIERO, P.; BORBA, Paulo

2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), 9th International Conference on Generative Programming and Component Engineering (GPCE 2010)

2010

Modularity Analysis of Use Case Implementations

Fernanda d'Amorim; BORBA, Paulo

[SBCARS] Quarto Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2010)

2010

TaRGeT: a Model Based Product Line Testing Tool

Felipe Ferreira; Laís Neves; Michelle Silva; BORBA, Paulo

Tools session, I Brazilian Conference on Software: Theory and Practice (CBSoft 2010)

2010

Emergent Feature Modularization

RIBEIRO, Márcio de Medeiros; Humberto Pacheco; Leopoldo Teixeira; BORBA, Paulo

[SPLASH] Onward! 2010, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

[ICTAC] 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)

2010

Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares

Mário Torres; KULESZA, Uirá; BRAGA, R.; MASIERO, P.; Paulo Pires; CIRILO, E.; BATISTA, T.; BORBA, Paulo; LUCENA, Carlos

1st Brazilian Workshop on Model-Driven Development (BW-MDD 2010), associado ao Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010)

2009

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; Arthur Marques; GHEYI, Rohit; BORBA, Paulo; CASTOR, F.

[SBLP] 13rd Brazilian Symposium on Programming Languages (SBLP 2009)

2009

Modularity analysis of use case implementations

Fernanda d'Amorim; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Estimating manual test execution effort and capacity based on execution points

ARANHA, Eduardo; BORBA, Paulo

International Journal of Computers & Applications

2009

A complete set of object modeling laws for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo; SAMPAIO, Augusto

[SBMF] 12th Brazilian Symposium on Formal Methods (SBMF 2009)

2009

Projeto de Experimentos em Engenharia de Software

ARANHA, Eduardo; Cristiano Ferraz; BORBA, Paulo

[SBES] Tutoriais, XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Modularizing variabilities with CaesarJ collaboration interfaces

PONTUAL, C.; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Hephaestus: A tool for managing SPL variabilities

ALMEIDA, Rodrigo Bonifácio de; Leopoldo Teixeira; BORBA, Paulo

[SBCARS] Sessão de ferramentas, Terceiro Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009)

2009

Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?

RIBEIRO, Márcio de Medeiros; Rodrigo Cardoso; BORBA, Paulo; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo

3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), associado ao XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Improving guidance when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

[CSMR] 13th European Conference on Software Maintenance and Reengineering (CSMR 2009)

2009

Modeling scenario variability as crosscutting mechanisms

ALMEIDA, Rodrigo Bonifácio de; BORBA, PAULO

8th ACM international conference on Aspect-oriented software development (AOSD 2009)

2008

Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool

SOARES, Sérgio; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; BORBA, Paulo; ALVES, Vander

Tools session, 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects

ALVES, Vander; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; BORBA, Paulo

[SPLC] Tools session, 12th International Software Product Line Conference (SPLC 2008)

2008

JML and Aspects: The benefits of instrumenting JML features with AspectJ

Henrique Rebelo; SOARES, Sérgio; LIMA, R.; BORBA, Paulo; CORNÉLIO, Márcio

7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008)

2008

Automated Test Execution Effort Estimation based on Functional Test Specifications

ARANHA, Eduardo Henrique da Silva; Almeida, Filipe; Diniz, Thiago; Fontes, Vitor; BORBA, Paulo

[SBES] Tool session, 22st Brazilian Symposium on Software Engineering (SBES 2008)

2008

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2008

Algebraic Laws for Feature Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science

2008

On the benefits of variability management as crosscutting

ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Internacional Workshop On Early Aspects, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

Formal Model-Driven Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[FASE] Fundamental Approaches to Software Engineering (FASE 2008), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008)

2008

Recommending refactorings when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

2nd Workshop on Refactoring Tools (WRT '08), 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

A decision model for implementing product lines variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo

[SAC] 23rd Annual ACM Symposium on Applied Computing (SAC 2008)

2008

FLiP: Product Line DerivationTool

BORBA, Paulo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; ALVES, Vander

Forum Demonstration, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

A complete and minimal set of algebraic laws for feature models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBLP] 12th Simpósio Brasileiro de Linguages de Programação (SBLP 2008)

2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

ARANHA, Eduardo; BORBA, Paulo

International Conference on Software Process (ICSP 2008)

2008

Manualtest: Improving collection of manual test execution data in empirical studies

ARANHA, Eduardo; BORBA, Paulo

5th Experimental Software Engineering Latin America Workshop (ESELAW 2008)

2007

Concurrency Control Modularization with Aspect-Oriented Programming

SOARES, Sérgio; BORBA, Paulo; LIMA, R.

[COMPSAC] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)

2007

An Estimation Model for Test Execution Effort

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

[ESEM] 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)

2007

Brazil test center research group

TORRES, D.; NOGUEIRA, S.; CARTAXO, E.; ARANHA, Eduardo; BORBA, Paulo; BARROS, F.; MACHADO, Patrícia; SAMPAIO, Augusto; MOTA, Alexandre

1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

Mapping Features to Aspects: A Model-Based Generative Approach

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; COSTA NETO, Alberto; CIRILO, E.; LUCENA, Carlos; BORBA, Paulo

10th Internacional Workshop On Early Aspects, 6th ACM International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

Semantic Dependencies and Modularity of Aspect-Oriented Software

COSTA NETO, Alberto; RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study

GREENWOOD, Philip; KULESZA, Uirá; RASHID, Awais; BARTOLOMEI, Thiago; FIGUEIREDO, Eduardo; DÓSEA, Marcos; GARCIA, Alessandro; CACHO, Nélio; SANTANNA, Claudio; SOARES, Sérgio; BORBA, Paulo

[ECOOP] 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

AJaTS: AspectJ Transformation System

ARCOVERDE, Roberta; SOARES, Sérgio; LUSTOSA, P.; BORBA, Paulo

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007)

2007

Sizing system tests for estimating test execution effort

ARANHA, Eduardo; BORBA, Paulo

22nd International Annual Forum on COCOMO and System/Software Cost Modeling

2007

Specifying design rules in aspect-oriented systems

DÓSEA, Marcos; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Formally Introducing Alloy Idioms

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 10th Brazilian Symposium on Formal Methods (SBMF 2007)

2007

On The Design of an End-to-End AOSD Testbed for Software Stability

GREENWOOD, Philip; GARCIA, Alessandro; BARTOLOMEI, Thiago; SOARES, Sérgio; BORBA, Paulo; RASHID, Awais

1st Workshop on Assessement of Aspect-Oriented Technologies (ASAT 2007), 6th International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

On the Contributions of an End-to-End AOSD Testbed

GREENWOOD, Philip; GARCIA, Alessandro; RASHID, Awais; FIGUEIREDO, Eduardo; SANTANNA, Claudio; CACHO, Nélio; Américo Sampaio; SOARES, Sérgio; BORBA, Paulo

Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Test Effort Estimation Models Based on Test Specifications

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007)

2007

Towards Reusable and Modular Aspect-Oriented Concurrency Control

SOARES, Sérgio; BORBA, Paulo

[SAC] 22nd Annual ACM Symposium on Applied Computing

2007

On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo; CARDIM, I. C.

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines

MATOS, Pedro; Rafael Duarte; CARDIM, I. C.; BORBA, Paulo

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Product Line Variability Refactoring Tool

CALHEIROS, Fernando; BORBA, Paulo; SOARES, Sérgio; NEPOMUCENO, Vilmar; ALVES, Vander

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Modularity, Information Hiding, and Interfaces for Aspect-Oriented Languages

BORBA, Paulo

[SBLP] 11th Brazilian Symposium on Programming Languages (SBLP 2007)

2007

Analyzing Class and Crosscutting Modularity with Design Structure Matrixes

RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

[SBES] 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

AJaTS - AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring

ARCOVERDE, Roberta; LUSTOSA, P.; SOUZA, Adeline; SOARES, Sérgio; BORBA, Paulo

[SBES] Tools session, 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

A Static Semantics for Alloy and its Impact in Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2007

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

ALVES, Vander; MATOS, Pedro; COLE NETO, Leonardo; VASCONCELOS, Alexandre Torres; BORBA, Paulo; RAMALHO, Geber

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2006

Contextos de Primeira Classe em Transformações de Programas

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

Implementing Framework Crosscutting Extensions with EJPs and AspectJ

KULESZA, Uirá; COELHO, Roberta; ALVES, Vander; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, A. V.; LUCENA, Carlos; BORBA, Paulo

[SBES] 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration

ALVES, Vander; COSTA NETO, Alberto; SOARES, Sérgio; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; LEAL, Jorge; BORBA, Paulo

1st Workshop on Aspect-Oriented Product Line Engineering, 5th ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

2006

Improving extensibility of object-oriented frameworks with aspect-oriented programming

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; LUCENA, Carlos; BORBA, Paulo

[ICSR] 9th International Conference on Software Reuse (ICSR 2006)

2006

Refactoring product lines

ALVES, Vander; GHEYI, Rohit; MASSONI, Tiago; KULESZA, Uirá; BORBA, PAULO; LUCENA, Carlos

[GPCE] 5th international conference on Generative programming and component engineering (GPCE 2006)

2006

Distribution and Persistence as Aspects

SOARES, Sérgio; BORBA, Paulo; LAUREANO, Eduardo

Software, Practice & Experience (Print)

2006

Suporte a Refatorações em um Sistema de Transformação de Propósito Geral

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

A Verification Approach for Crosscutting Features Based on Extension Join Points

COELHO, Roberta; ALVES, Vander; KULESZA, Uirá; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, Ardnt Von; LUCENA, Carlos; BORBA, Paulo

3rd International Workshop on Software Product Line Testing (SPLiT 2006), 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Communications of the EASST

2006

Declaring Static Crosscutting Dependencies in AspectJ

COSTA NETO, Alberto; ALVES, Vander; BORBA, Paulo

3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP 2006), 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines

ALVES, Vander; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; COSTA NETO, Alberto; BORBA, Paulo

Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Workshop on Software Evolution through Transformations: Embracing Change, International Conference on Graph Transformation (ICGT 2006)

2006

A Theory for Feature Models in Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

First Alloy Workshop, affiliated with 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006)

2006

Sound Object Model Refactorings

GHEYI, Rohit; BORBA, Paulo

Doctoral Symposium, afilliated with Formal Methods 2006

2006

A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] III Brazilian Symposium on Formal Methods (SBMF 2006)

2005

Extracting and Evolving Mobile Games Product Lines

ALVES, Vander; MATOS JÚNIOR, Pedro Osandy Alves; COLE NETO, Leonardo; BORBA, Paulo; RAMALHO, Geber

[SPLC] 9th International Software Product Line Conference (SPLC 2005)

2005

Formal Refactorings for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[OOPSLA] Student Research Competition, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

A Rigorous Approach for Proving Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[ASE] Automated Software Engineering (ASE 2005)

2005

Deriving refactorings for AspectJ

COLE NETO, Leonardo; BORBA, Paulo

4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2005

Formal Refactoring for UML Class Diagrams

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBES] 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2005

Comparative Analysis of Porting Strategies in Mobile Device Games

ALVES, Vander; CARDIM, I. C.; CARMO, Heitor Vital Do; Pedro Sampaio; Alexandre Damasceno; BORBA, Paulo; RAMALHO, Geber

21st IEEE International Conference on Software Maintenance (ICSM 2005)

2005

Type-safe refactorings for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] II Brazilian Symposium on Formal Methods (SBMF 2005)

2005

Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ

BORBA, Paulo; SOARES, Sérgio

2nd Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2005), 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

Scientia (UNISINOS)

2005

Um Sistema de Tipos para uma Linguagem de Transformação

Alexandra Barros; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005)

2005

A Model-driven Approach to Formal Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[OOPSLA] Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

Geração de Sistemas de Transformação

SOUZA, Adeline; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguages de Programação (SBLP 2005)

2005

Proving aspect-oriented programming laws

COLE, Leonardo; MOTA, Alexandre; BORBA, Paulo

4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2004

Using Programming Laws to Modularize Concurrency in a Replicated Database Application

COLE NETO, Leonardo; BORBA, Paulo

1st Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

Algebraic reasoning for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CAVALCANTI, Ana; CORNÉLIO, Márcio

Science of Computer Programming (Print)

2004

Refactoring Alloy Specifications

GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2004

Towards Progressive and Non-progressive Implementation Approaches Evaluation

SOARES, Sérgio; BORBA, Paulo

1st Experimental Software Engineering Latin American Workshop (ESELAW 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP 2004), XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

Using Aspects to Make Adaptive Object-Models Adaptable

DANTAS, Ayla; YODER, Joseph; BORBA, Paulo; JOHNSON, Ralph

Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2004), 18th European Conference on Object-Oriented Programming (ECOOP 2004)

2004

Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ

SOARES, Sérgio; BORBA, Paulo

[SBES] Tutoriais, XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

A General-purpose Transformation System for Java

SANTOS, Gustavo; BORBA, Paulo; SOUZA, Adeline

Software Transformation Systems Workshop (STS 2004), 3rd ACM International Conference on Generative Programming and Component Engineering (GPCE 2004)

2004

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

III Workshop Brasileiro de Jogos e Entretenimento Digital

2004

Basic Laws of Object Modeling

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004)

2004

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 1st Brazilian Symposium on Formal Methods (SBMF 2004)

2004

Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach

SOUSA, Geórgia; SOARES, Sérgio; BORBA, Paulo; CASTRO, Jaelson

Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004), International Conference on Aspect-Oriented Software Development (AOSD 2004)

2004

A UML Class Diagram Analyzer

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

3rd International Workshop on Critical Systems Development with UML, UML Conference

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

Revista de Informática Teórica e Aplicada (Impresso)

2004

An Incremental Aspect-Oriented Product Line Method for J2ME Game Development

ALVES, Vander; MATOS, Pedro; BORBA, Paulo

Workshop on Managing Variability Consistently in Design and Code, 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)

2003

Using aspects to structure small devices adaptive applications

DANTAS, Ayla; BORBA, Paulo; ALVES, Vander

1st Workshop on Reuse in Constrained Environments, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

Aspect-oriented implementation method: Progressive or non-progressive approach?

SOARES, Sérgio; BORBA, Paulo

Doctoral Symposium, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

AdapPE: An architectural pattern for structuring adaptive applications with aspects

DANTAS, Ayla; BORBA, Paulo

[SUGARLOAFPLOP] Third Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2003)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

Journal of Universal Computer Science (Print)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

[SBLP] 7th Brazilian Symposium on Programming Languages (SBLP 2003)

2003

A refinement algebra for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CORNÉLIO, Márcio

[ECOOP] 17th European Conference on Object-oriented Programming (ECOOP 2003)

2003

Refactoring Alloy specifications

GHEYI, Rohit; BORBA, Paulo

6th Brazilian Workshop on Formal Methods

2002

Implementing distribution and persistence aspects with aspectJ

SOARES, SERGIO; LAUREANO, Eduardo; BORBA, PAULO

[OOPSLA] 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2002)

2002

Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans

DIAS, K.; BORBA, Paulo

[SUGARLOAFPLOP] Second Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

PIP: Progressive Implementation Pattern

SOARES, Sérgio; BORBA, Paulo

1st Workshop on Software Development Patterns, 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2002)

2002

Mechanical abstraction of CSP-Z processes

MOTA, Alexandre; BORBA, Paulo; SAMPAIO, Augusto

11th Formal Methods Europe (FME 2002)

2002

PaDA: A Pattern for Distribution Aspects

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 2nd Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

Integrating code generation and refactoring

D'AMORIM, M.; NOGUEIRA, C.; SANTOS, Gustavo; SOUZA, Adeline; BORBA, Paulo

Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Progressive implementation with aspect-oriented programming

SOARES, Sérgio; BORBA, Paulo

The 12th Workshop for PhD Students in Object-Oriented Systems, at the 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Web systems acceptance tests and code generation

ARANHA, Eduardo; BORBA, Paulo

Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP 2002)

2002

A RUP-based software process supporting progressive implementation

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

2002 International Conference of the Information Resources Management Association (IRMA 2002)

2002

Implementing distribution and persistence aspects with AspectJ

SOARES, Sérgio; LAUREANO, Eduardo; BORBA, Paulo

ACM SIGPLAN Notices

2002

Testes e geração de código de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBES] XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002)

2002

Uma linguagem para testes de aceitação de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBLP] VI Brazilian Symposium on Programming Languages (SBLP 2002)

2002

Concurrency control with Java and relational databases

SOARES, Sérgio; BORBA, Paulo

[COMPSAC] 26th IEEE Computer Software and Applications Conference (COMPSAC 2002)

2002

AspectJ, programação orientada a aspectos em Java

SOARES, Sérgio; BORBA, Paulo

Tutoriais, VI Simpósio Brasileiro de Linguagens de Programação (SBLB 2002)

2001

Controle de concorrência com Java e bancos de dados relacionais

SOARES, Sérgio; BORBA, Paulo

[SBLP] V Simpósio Brasileiro de Linguagens de Programação (SBLP 2001)

2001

An implementation method for distributed object-oriented applications

ALVES, Vander; BORBA, Paulo

[SBES] 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Distributed adapters pattern: A design pattern for object-oriented distributed applications

ALVES, Vander; BORBA, Paulo

1st Latin American Conference on Pattern Languages of Programming (SugarloafPLoP 2001)

2001

PDC: Persistent Data Collections Pattern

MASSONI, Tiago; ALVES, Vander; SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

A language for specifying Java transformations

CASTOR, F.; BORBA, Paulo

[SBLP] 5th Brazilian Symposium on Programming Languages (SBLP 2001)

2001

JaTS: A Java transformation system

CASTOR, F.; OLIVEIRA, K.; SOUZA, Adeline; SANTOS, Gustavo; BORBA, Paulo

[SBES] Tools session, 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Concurrency Manager

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Web Handlers

SOARES, G.; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Progressive implementation of aspects

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

Workshop on Advanced Separation of Concerns, 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001)

2000

Structuring Mechanisms for an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

[ICSR] 6th International Conference on Software Reuse (ICSR 2000)

2000

A design pattern for distributed applications

ALVES, Vander; BORBA, Paulo

[SBES] Tutorials, 14th Brazilian Symposium on Software Engineering (SBES 2000)

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

III Brazilian Workshop on Formal Methods

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

Revista de Informática Teórica e Aplicada (Impresso)

1999

Integrando Java com Bancos de Dados Relacionais

Euricélia Viana; BORBA, Paulo

[SBLP] III Simpósio Brasileiro de Linguagens de Programação (SBLP 1999)

1999

Progressive implementation of distributed Java applications

BORBA, Paulo; ARAUJO, S.; Hednilson Bezerra; Marconi Lima; SOARES, Sérgio

Engineering Distributed Objects Workshop, 21st ACM International Conference on Software Engineering (ICSE 1999)

1998

Systematic development of concurrent object-oriented programs

BORBA, Paulo

Electronic Notes in Theoretical Computer Science

1998

Where are the Laws of Objet-Oriented Programming?

BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1998

Design of an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1997

Parameterized Packages and Java

ARANHA, D.; BORBA, Paulo

[SBLP] II Brazilian Symposium On Programming Languages (SBLP 1997)

1997

A System For Translating Executable VDM Specifications Into Lazy ML

BORBA, Paulo; MEIRA, S. R. L.

Software, Practice & Experience (Print)

1996

States as Specifications

BORBA, Paulo

[SBLP] I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996)

1996

A Refinement Theory for Concurrent Object Oriented Languages

BORBA, Paulo

[SBES] X Brazilian Symposium on Software Engineering (SBES 1996)

1994

An Operational Semantics for FOOPS

BORBA, Paulo; GOGUEN, J.

Information Systems Correctness And Reusability (ISCORE 1994)

1993

From VDM Specifications To Functional Prototypes

BORBA, Paulo; MEIRA, S. R. L.

The Journal of Systems and Software

1992

Prototyping Action Semantics using Functional Languages

BORBA, Paulo; SANTOS, André; MEIRA, S.

[CLEI] Latin American Conference On Computing (CLEI 1992)

1991

From Model Based Specifications to Functional Prototypes

BORBA, Paulo; MEIRA, S.

IEEE TENCON'91

1990

Tradução de Tipos de Especificação para Protótipo

BORBA, Paulo; MEIRA, S.

[IV] IV Simpósio Brasileiro de Engenharia de Software (SBES 1990)

1989

Notação VDM Executável em Standard ML

BORBA, Paulo; MEIRA, S.

IX Congresso da SBC

1989

Protótipos Funcionais a partir de Especificações Formais em VDM

BORBA, Paulo; MEIRA, S.

[SBES] III Simpósio Brasileiro de Engenharia de Software (SBES 1989)

1987

Acesso a um Banco de Dados através de Linguagem Natural

BORBA, Paulo; SANTOS, André; CARRAHER, D.

[IV] IV Simpósio Brasileiro de Inteligência Artificial (SBIA 1987)

Publicações

2026

Comparing static analyses for improved semantic conflict detection

SANTOS DE JESUS, GALILEU; Borba, Paulo; BONIFÁCIO, RODRIGO; BARBOSA DE OLIVEIRA, MATHEUS

Automated Software Engineering

2026

Contrastive Meta-Domain Adaptation for Robust Skin Lesion Classification Across Clinical and Acquisition Conditions

MOTA, RODRIGO; CUNHA, KELVIN; DOS SANTOS, EMANOEL; PAPAIS, FÁBIO; FILHO, FRANCISCO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; ING REN, TSANG

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DermAI: Clinical Dermatology Acquisition Through Quality-Driven Image Collection for AI Classification in Mobile

BEZERRA, THALES; CRUZ, SHIRLEY; Borba, Paulo; REN, TSANG ING; DOS SANTOS, EMANOEL; CUNHA, KELVIN; MOTA, RODRIGO; PAPAIS, FÁBIO; FILHO, FRANCISCO; LOPES, NATÁLIA; MEDEIROS, ÉRICO; ARAUJO, JÉSSICA

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

DERMAE: Improving Skin Lesion Classification Through Conditioned Latent Diffusion and MAE Distillation

FILHO, FRANCISCO; CUNHA, KELVIN; PAPAIS, FÁBIO; DOS SANTOS, EMANOEL; MOTA, RODRIGO; BEZERRA, THALES; MEDEIROS, ERICO; Borba, Paulo; REN, TSANG ING

[ISBI] 2026 IEEE 23rd International Symposium on Biomedical Imaging (ISBI)

2026

GitHub Template Repositories: Served Domains, Maintenance, and Practitioner Guidelines

Léuson da Silva; Altaf Allah Abbassi; Imen Trabelsi; BORBA, PAULO; Foutse Khomh

[ICSME] 42nd International Conference on Software Maintenance and Evolution (ICSME 2026)

2025

Choosing the Right GitWorkflow: A Comparative Analysis of Trunk-based vs. Branch-based Approaches

LOPES, PEDRO; ACCIOLY, PAOLA; Borba, Paulo; MENEZES, VITOR

[SBES] Simpósio Brasileiro de Engenharia de Software

2025

Detecção de Conflitos Semânticos com Testes Gerados por LLM

BARBOSA, NATHALIA; Borba, Paulo; SILVA, LÉUSON DA

[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado

2024

Semantic conflict detection via dynamic analysis

Amanda Moraes; BORBA, Paulo; Léuson da Silva

[SBLP] 28th Brazilian Symposium on Programming Languages (SBLP 2024)

2024

Semistructured Merge with Language-Specific Syntactic Separators

CAVALCANTI, G.; BORBA, Paulo; Leonardo dos Anjos; Jônatas Clementino

[ASE] 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)

2024

Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos

MACIEL, TONI; BORBA, Paulo; Léuson da Silva; Thaís Burity

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada

Felipe Araujo; BORBA, Paulo; CAVALCANTI, G.

[SBES] 38th Brazilian Symposium on Software Engineering (SBES 2024)

2024

Lightweight Semantic Conflict Detection with Static Analysis

Galileu Santos de Jesus; BORBA, Paulo; Rodrigo Bonifácio; BARBOSA, MATHEUS

[ICSE] 46th International Conference on Software Engineering (ICSE 2024), ICSE Companion

2024

Detecting semantic conflicts with unit tests

DA SILVA, LÉUSON; Borba, Paulo; MACIEL, TONI; MAHMOOD, WARDAH; BERGER, THORSTEN; MOISAKIS, JOÃO; GOMES, ALDIBERG; LEITE, VINÍCIUS

JOURNAL OF SYSTEMS AND SOFTWARE

2023

Using acceptance tests to predict merge conflict risk

ROCHA, THAÍS; Borba, Paulo

EMPIRICAL SOFTWARE ENGINEERING

2022

Semantic conflict detection with overriding assignment analysis

BARBOSA, MATHEUS; Borba, Paulo; BONIFACIO, RODRIGO; SANTOS, GALILEU

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2022

Build conflicts in the wild

DA SILVA, LÉUSON; Borba, Paulo; PIRES, ARTHUR

Journal of Software-Evolution and Process

2022

The Private Life of Merge Conflicts

CUNHA, MARCELA; ACCIOLY, PAOLA; Borba, Paulo

[SBES] SBES 2022: XXXVI Brazilian Symposium on Software Engineering

2021

Semi-Automated Test-Case Propagation in Fork Ecosystems

Mukelabai Mukelabai; Thorsten Berger; Paulo Borba

[ICSE] 43rd International Conference on Software Engineering (ICSE 2021), New Ideas and Emerging Results track

2021

Textual merge based on language-specific syntactic separators

Jônatas Clementino; Paulo Borba; CAVALCANTI, G.

[SBES] 35th Brazilian Symposium on Software Engineering (SBES 2021)

2021

Leveraging Structure in Software Merge: An Empirical Study

SEIBT, GEORG; HECK, FLORIAN; CAVALCANTI, GUILHERME; Borba, Paulo; APEL, SVEN

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2021

Lazy Clone - A Pattern to Improve Performance and Maintainability of Object Cloning

Bruno Cartaxo; GUERRA, E.; OSORIO, V.; SOARES, S. C. B.; Paulo Borba

[PLOP] 28th Conference on Pattern Languages of Programs (PLoP'2021)

2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws

Leopoldo Teixeira; GHEYI, Rohit; Paulo Borba

[SBMF] 23rd Brazilian Symposium on Formal Methods (SBMF 2020)

2020

Understanding predictive factors for merge conflicts

DIAS, KLISSIOMARA; Borba, Paulo; BARRETO, MARCOS

INFORMATION AND SOFTWARE TECHNOLOGY

2020

Privacy and security constraints for code contributions

ANDRADE, Rodrigo; Borba, Paulo

SOFTWARE-PRACTICE & EXPERIENCE

2020

Detecting Semantic Conflicts via Automated Behavior Change Detection

Léuson da Silva; Paulo Borba; Wardah Mahmood; Thorsten Berger; João Moisakis

[ICSME] 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)

2019

The Impact of Structure on Software Merging: Semistructured versus Structured Merge

CAVALCANTI, G.; Borba, Paulo; Georg Seibt; Sven Apel

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2019

Partially safe evolution of software product lines

SAMPAIO, GABRIELA; Borba, Paulo; Teixeira, Leopoldo

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Improving the prediction of files changed by programming tasks

SANTOS, JOÃO PEDRO; ROCHA, THAÍS; Borba, Paulo

[SBCARS] XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019)

2019

Using acceptance tests to predict files changed by programming tasks

ROCHA, THAÍS; Borba, Paulo; SANTOS, JOÃO PEDRO

JOURNAL OF SYSTEMS AND SOFTWARE

2019

Semistructured Merge in JavaScript Systems

TAVARES, A. T.; Borba, Paulo; CAVALCANTI, G.; SOARES, S. C. B.

[ASE] 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

2018

Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)

ACCIOLY, P.; Borba, Paulo; CAVALCANTI, G.

[ASE] 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018)

2018

Detecting Overly Strong Preconditions in Refactoring Engines

MONGIOVI, MELINA; GHEYI, Rohit; Soares, Gustavo; RIBEIRO, MARCIO; Borba, Paulo; Teixeira, Leopoldo

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

2018

Understanding semi-structured merge conflict characteristics in open-source Java projects

ACCIOLY, PAOLA; Borba, Paulo; CAVALCANTI, GUILHERME

EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE)

2018

Analyzing Conflict Predictors in Open-Source Java Projects from GitHub and Travis CI

ACCIOLY, P.; Borba, Paulo; Léuson Silva; CAVALCANTI, GUILHERME

[MSR] 15th International Conference on Mining Software Repositories (MSR 2018)

2017

Evaluating and improving semistructured merge

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

Proceedings of the ACM on Programming Languages

2017

Empirical assessment of two approaches for specifying software product line use case scenarios

BONIFÁCIO, RODRIGO; Borba, Paulo; FERRAZ, CRISTIANO; ACCIOLY, PAOLA

Software & Systems Modeling

2017

Should We Replace Our Merge Tools?

CAVALCANTI, GUILHERME; Borba, Paulo; ACCIOLY, PAOLA

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC)

2017

Evaluating and Improving Semistructured Merge

CAVALCANTI, G.; Borba, Paulo; ACCIOLY, PAOLA

[OOPSLA] ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17)

2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines

Marco Couto; Borba, Paulo; Jácome Cunha; João Paulo Fernandes; Rui Pereira; SARAIVA, J.

[SPLC] 21st International Systems and Software Product Line Conference (SPLC 2017)

2017

An idiom to represent data types in Alloy

GHEYI, Rohit; Borba, Paulo; SAMPAIO, Augusto; RIBEIRO, Márcio

Information and Software Technology

2016

Partially Safe Evolution of Software Product Lines

Gabriela Sampaio; Borba, P.; Leopoldo Teixeira

[SPLC] 20th International Software Product Line Conference (SPLC 2016)

2016

Coevolution of variability models and related software artifacts

PASSOS, LEONARDO; Teixeira, Leopoldo; DINTZNER, NICOLAS; APEL, SVEN; W'SOWSKI, ANDRZEJ; CZARNECKI, KRZYSZTOF; Borba, Paulo; GUO, JIANMEI

Empirical Software Engineering (Dordrecht. Online)

2016

Assessing Idioms for a Flexible Feature Binding Time

ANDRADE, Rodrigo; RIBEIRO, Márcio; REBÊLO, Henrique; Borba, Paulo; GASIUNAS, VAIDAS; SATABIN, LUCAS

Computer Journal (Online)

2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems

MEIRA, S.; Vanilson Burégio; Borba, Paulo; Vinicius Cardoso Garcia; ALBUQUERQUE, JONES; SOARES, Sérgio

[SBES] 30th Brazilian Symposium on Software Engineering (SBES 2016)

2016

Assessing fine-grained feature dependencies

RODRIGUES, IRAN; RIBEIRO, Márcio; MEDEIROS, FLÁVIO; Borba, Paulo; FONSECA, BALDOINO; GHEYI, Rohit

Information and Software Technology

2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios

BENBASSAT, F.; Borba, Paulo; Leopoldo Teixeira

[SBCARS] X Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2016)

2015

A Product Line of Theories for Reasoning about Safe Evolution of Product Lines

Leopoldo Teixeira; ALVES, Vander; BORBA, PAULO; GHEYI, Rohit

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Safe Evolution of Product Populations and Multi Product Lines

Leopoldo Teixeira; BORBA, PAULO; GHEYI, R.

[SPLC] 19th International Software Product Line Conference (SPLC 2015)

2015

Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation

Bruno Cartaxo; BORBA, PAULO; SOARES, Sérgio; Hélio Fugimoto

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2015

Safe evolution templates for software product lines

NEVES, L.; Borba, P.; ALVES, V.; TURNES, L.; TEIXEIRA, L.; SENA, D.; KULESZA, U.

The Journal of Systems and Software

2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment

CAVALCANTI, G.; BORBA, PAULO; ACCIOLY, P.

[ESEM] 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015)

2014

A Toolset for Checking SPL Refinements

Felipe Ferreira; GHEYI, Rohit; BORBA, PAULO; Gustavo Soares

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

SPLLIFT- Statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio; Claus Brabrand; Borba, Paulo; MEZINI, M.

[GI] Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

2014

Making refactoring safer through impact analysis

MONGIOVI, MELINA; GHEYI, R.; Soares, Gustavo; Teixeira, Leopoldo; BORBA, Paulo

Science of Computer Programming (Print)

2014

Feature Maintenance with Emergent Interfaces

RIBEIRO, Márcio de Medeiros; Paulo Borba; Christian Kästner

[ICSE] 36th International Conference on Software Engineering (ICSE 2014)

2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

ALFÉREZ, MAURICIO; BONIFÁCIO, RODRIGO; Teixeira, Leopoldo; ACCIOLY, PAOLA; KULESZA, Uirá; MOREIRA, ANA; ARAÚJO, JOÃO; BORBA, PAULO

Requirements Engineering

2014

Flexible Feature Binding with AspectJ-based Idioms

Rodrigo Andrade; REBÊLO, Henrique; RIBEIRO, Márcio de Medeiros; Paulo Borba

Journal of Universal Computer Science (Online)

2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; Paulo Borba; Rodrigo Bonifácio

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

2014

Semistructured Merge on Git: An Assessment

CAVALCANTI, G.; ACCIOLY, P.; Paulo Borba

11th Workshop on Software Modularity (WMod 2014)

2013

AspectJ-based Idioms for Flexible Feature Binding

Rodrigo Andrade; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; Paulo Borba

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

Modular Aspect-Oriented Design Rule Enforcement with XPIDRs

Henrique Rebelo; LEAVENS, G.; LIMA, R.; Borba, Paulo H.M.; RIBEIRO, Márcio de Medeiros

12th Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), 12th ACM International Conference on Aspect-Oriented Software Development (AOSD 2013)

2013

Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel

PASSOS, L.; Jianmei Guo; TEIXEIRA, L.; Krzysztof Czarnecki; Andrzej Wasowski; Paulo Borba

[SPLC] 17th International Software Product Line Conference (SPLC 2013)

2013

SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

BODDEN, E.; Társis Toledo; RIBEIRO, Márcio de Medeiros; Claus Brabrand; Borba, Paulo H.M.; MEZINI, M.

[PLDI] 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013)

2013

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; BONIFÁCIO, RODRIGO; RIBEIRO, MÁRCIO; PONTUAL, CARLOS EDUARDO; BORBA, PAULO; CASTOR, FERNANDO

The Journal of Systems and Software

2013

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; Johnni Winther; BORBA, PAULO

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2013

The crosscutting impact of the AOSD Brazilian research community

The Journal of Systems and Software

2013

Safe composition of configuration knowledge-based software product lines

TEIXEIRA, LEOPOLDO; BORBA, PAULO; GHEYI, Rohit

The Journal of Systems and Software

2013

Improving modular reasoning on preprocessor-based systems

MELO, J.; BORBA, PAULO

[SBCARS] VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013)

2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering

FREIRE, M.; ACCIOLY, P.; Gustavo Sizílio; Edmilson Campos Neto; KULESZA, Uirá; ARANHA, Eduardo; Paulo Borba

[PROFES] 14th International Conference on Product Focused Software Development and Process Improvement (PROFES 2013)

2013

SPLLIFT: statically analyzing software product lines in minutes instead of years

BODDEN, E.; Társis Toledo; RIBEIRO, MÁRCIO; Claus Brabrand; Paulo Borba; MEZINI, M.

ACM SIGPLAN Notices

2012

Emergo: a tool for improving maintainability of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; WINTHER, J.; Claus Brabrand; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Tools Session

2012

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, Márcio de Medeiros; Felipe Queiroz; BORBA, PAULO; Társis Toledo; Claus Brabrand; SOARES, S. C. B.

ACM SIGPLAN Notices

2012

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

Theoretical Computer Science

2012

Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand; RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo

11th International Conference on Aspect-Oriented Software Development (AOSD 2012)

2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering

BORBA, Paulo

The Journal of Systems and Software

2012

Investigating the safe evolution of software product lines

Laís Neves; Leopoldo Teixeira; Demóstenes Sena; ALVES, Vander; KULESZA, U.; BORBA, PAULO

ACM SIGPLAN Notices

2012

Modularity analysis of use case implementations

Fernanda dAmorim; BORBA, Paulo

The Journal of Systems and Software

2012

Making Software Product Line Evolution Safer

FERREIRA, FELYPE; BORBA, PAULO; Gustavo Soares; GHEYI, Rohit

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Comparing Two Black-box Testing Strategies for Software Product Lines

ACCIOLY, P.; BORBA, Paulo; BONIFÁCIO, R.

[SBCARS] VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012)

2012

Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems

Felipe Queiroz; RIBEIRO, Márcio de Medeiros; SOARES, Sérgio; BORBA, PAULO

6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012), associado ao Terceiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012),

2011

Safe composition of configuration knowledge-based software product lines

Leopoldo Teixeira; GHEYI, Rohit; BORBA, Paulo

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions

CIRILO, E.; Demóstenes Sena; KULESZA, Uirá; Leopoldo Teixeira; SOARES, S. C. B.; BORBA, PAULO; GHEYI, Rohit; Laís Neves; LUCENA, C. J. P.

Product LinE Approaches in Software Engineering (PLEASE 2011), workshop of the 33rd International Conference on Software Engineering (ICSE 2011)

2011

Automatically Checking Feature Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science (Print)

2011

Using PBL to Develop Software Test Engineers

FIGUERÊDO, CALIANE DE OLIVEIRA; SANTOS, SIMONE C. DOS; Borba, Paulo H.M.; ALEXANDRE, GUSTAVO H.S.

[CATE] Computers and Advanced Technology in Education (CATE 2011)

2011

A tool for improving maintainabiliy of preprocessor-based product lines

RIBEIRO, Márcio de Medeiros; Társis Toledo; BORBA, Paulo; Claus Brabrand

2nd Brazilian Congress on Software (CBSoft 2011), Tools Session

2011

The AOSD Research Community in Brazil and Its Crosscutting Impact

[SBES] 25th Brazilian Symposium on Software Engineering (SBES 2011)

2011

Assessing Idioms for Implementing Features with Flexible Binding Times

Rodrigo Andrade; RIBEIRO, Márcio de Medeiros; Vaidas Gasiunas; Lucas Satabin; Henrique Rebelo; BORBA, Paulo

[CSMR] 15th European Conference on Software Maintenance and Reengineering (CSMR 2011)

2011

PBL no ensino de testes de software: uma experiência prática

Caliane Figuerêdo; Simone Santos; Gustavo Alexandre; Paulo Borba

International Conference on Engineering and Computer Education

2011

Investigating the safe evolution of software product lines

NEVES, LAÍS; TEIXEIRA, LEOPOLDO; SENA, DEMÓSTENES; ALVES, Vander; KULEZSA, UIRÁ; BORBA, PAULO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines

RIBEIRO, MÁRCIO; QUEIROZ, FELIPE; BORBA, PAULO; TOLÊDO, TÁRSIS; BRABRAND, CLAUS; SOARES, SÉRGIO

[GPCE] 10th ACM international conference on Generative programming and component engineering (GPCE 2011)

2010

Synchronizing Model and Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] 13th Brazilian Symposium on Formal Methods (SBMF 2010)

2010

Towards feature modularization

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study

Mário Torres; LUCENA, Carlos; Leopoldo Teixeira; CIRILO, E.; Matheus Sousa; KULESZA, Uirá; BATISTA, T.; BRAGA, R.; MASIERO, P.; BORBA, Paulo

2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), 9th International Conference on Generative Programming and Component Engineering (GPCE 2010)

2010

Modularity Analysis of Use Case Implementations

Fernanda d'Amorim; BORBA, Paulo

[SBCARS] Quarto Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2010)

2010

TaRGeT: a Model Based Product Line Testing Tool

Felipe Ferreira; Laís Neves; Michelle Silva; BORBA, Paulo

Tools session, I Brazilian Conference on Software: Theory and Practice (CBSoft 2010)

2010

Emergent Feature Modularization

RIBEIRO, Márcio de Medeiros; Humberto Pacheco; Leopoldo Teixeira; BORBA, Paulo

[SPLASH] Onward! 2010, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010)

2010

A Theory of Software Product Line Refinement

BORBA, Paulo; Leopoldo Teixeira; GHEYI, Rohit

[ICTAC] 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)

2010

Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares

Mário Torres; KULESZA, Uirá; BRAGA, R.; MASIERO, P.; Paulo Pires; CIRILO, E.; BATISTA, T.; BORBA, Paulo; LUCENA, Carlos

1st Brazilian Workshop on Model-Driven Development (BW-MDD 2010), associado ao Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010)

2009

A design rule language for aspect-oriented programming

COSTA NETO, Alberto; Arthur Marques; GHEYI, Rohit; BORBA, Paulo; CASTOR, F.

[SBLP] 13rd Brazilian Symposium on Programming Languages (SBLP 2009)

2009

Modularity analysis of use case implementations

Fernanda d'Amorim; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Estimating manual test execution effort and capacity based on execution points

ARANHA, Eduardo; BORBA, Paulo

International Journal of Computers & Applications

2009

A complete set of object modeling laws for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo; SAMPAIO, Augusto

[SBMF] 12th Brazilian Symposium on Formal Methods (SBMF 2009)

2009

Projeto de Experimentos em Engenharia de Software

ARANHA, Eduardo; Cristiano Ferraz; BORBA, Paulo

[SBES] Tutoriais, XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Modularizing variabilities with CaesarJ collaboration interfaces

PONTUAL, C.; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo; RIBEIRO, Márcio de Medeiros; BORBA, Paulo

3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09), affiliated with 24th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2009)

2009

Hephaestus: A tool for managing SPL variabilities

ALMEIDA, Rodrigo Bonifácio de; Leopoldo Teixeira; BORBA, Paulo

[SBCARS] Sessão de ferramentas, Terceiro Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009)

2009

Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?

RIBEIRO, Márcio de Medeiros; Rodrigo Cardoso; BORBA, Paulo; ALMEIDA, Rodrigo Bonifácio de; Henrique Rebelo

3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), associado ao XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)

2009

Improving guidance when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

[CSMR] 13th European Conference on Software Maintenance and Reengineering (CSMR 2009)

2009

Modeling scenario variability as crosscutting mechanisms

ALMEIDA, Rodrigo Bonifácio de; BORBA, PAULO

8th ACM international conference on Aspect-oriented software development (AOSD 2009)

2008

Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool

SOARES, Sérgio; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; BORBA, Paulo; ALVES, Vander

Tools session, 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects

ALVES, Vander; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; BORBA, Paulo

[SPLC] Tools session, 12th International Software Product Line Conference (SPLC 2008)

2008

JML and Aspects: The benefits of instrumenting JML features with AspectJ

Henrique Rebelo; SOARES, Sérgio; LIMA, R.; BORBA, Paulo; CORNÉLIO, Márcio

7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008)

2008

Automated Test Execution Effort Estimation based on Functional Test Specifications

ARANHA, Eduardo Henrique da Silva; Almeida, Filipe; Diniz, Thiago; Fontes, Vitor; BORBA, Paulo

[SBES] Tool session, 22st Brazilian Symposium on Software Engineering (SBES 2008)

2008

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2008

Algebraic Laws for Feature Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Journal of Universal Computer Science

2008

On the benefits of variability management as crosscutting

ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Internacional Workshop On Early Aspects, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

Formal Model-Driven Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[FASE] Fundamental Approaches to Software Engineering (FASE 2008), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008)

2008

Recommending refactorings when restructuring variabilities in software product lines

RIBEIRO, Márcio de Medeiros; BORBA, Paulo

2nd Workshop on Refactoring Tools (WRT '08), 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008)

2008

A decision model for implementing product lines variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo

[SAC] 23rd Annual ACM Symposium on Applied Computing (SAC 2008)

2008

FLiP: Product Line DerivationTool

BORBA, Paulo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; MENEZES, A.; SOARES, Sérgio; ALVES, Vander

Forum Demonstration, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008)

2008

A complete and minimal set of algebraic laws for feature models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBLP] 12th Simpósio Brasileiro de Linguages de Programação (SBLP 2008)

2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

ARANHA, Eduardo; BORBA, Paulo

International Conference on Software Process (ICSP 2008)

2008

Manualtest: Improving collection of manual test execution data in empirical studies

ARANHA, Eduardo; BORBA, Paulo

5th Experimental Software Engineering Latin America Workshop (ESELAW 2008)

2007

Concurrency Control Modularization with Aspect-Oriented Programming

SOARES, Sérgio; BORBA, Paulo; LIMA, R.

[COMPSAC] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)

2007

An Estimation Model for Test Execution Effort

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

[ESEM] 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)

2007

Brazil test center research group

TORRES, D.; NOGUEIRA, S.; CARTAXO, E.; ARANHA, Eduardo; BORBA, Paulo; BARROS, F.; MACHADO, Patrícia; SAMPAIO, Augusto; MOTA, Alexandre

1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

Mapping Features to Aspects: A Model-Based Generative Approach

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; COSTA NETO, Alberto; CIRILO, E.; LUCENA, Carlos; BORBA, Paulo

10th Internacional Workshop On Early Aspects, 6th ACM International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

Semantic Dependencies and Modularity of Aspect-Oriented Software

COSTA NETO, Alberto; RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; BORBA, Paulo; SOARES, Sérgio

Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study

GREENWOOD, Philip; KULESZA, Uirá; RASHID, Awais; BARTOLOMEI, Thiago; FIGUEIREDO, Eduardo; DÓSEA, Marcos; GARCIA, Alessandro; CACHO, Nélio; SANTANNA, Claudio; SOARES, Sérgio; BORBA, Paulo

[ECOOP] 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

AJaTS: AspectJ Transformation System

ARCOVERDE, Roberta; SOARES, Sérgio; LUSTOSA, P.; BORBA, Paulo

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007)

2007

Sizing system tests for estimating test execution effort

ARANHA, Eduardo; BORBA, Paulo

22nd International Annual Forum on COCOMO and System/Software Cost Modeling

2007

Specifying design rules in aspect-oriented systems

DÓSEA, Marcos; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Formally Introducing Alloy Idioms

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 10th Brazilian Symposium on Formal Methods (SBMF 2007)

2007

On The Design of an End-to-End AOSD Testbed for Software Stability

GREENWOOD, Philip; GARCIA, Alessandro; BARTOLOMEI, Thiago; SOARES, Sérgio; BORBA, Paulo; RASHID, Awais

1st Workshop on Assessement of Aspect-Oriented Technologies (ASAT 2007), 6th International Conference on Aspect-Oriented Software Development (AOSD 2007)

2007

On the Contributions of an End-to-End AOSD Testbed

GREENWOOD, Philip; GARCIA, Alessandro; RASHID, Awais; FIGUEIREDO, Eduardo; SANTANNA, Claudio; CACHO, Nélio; Américo Sampaio; SOARES, Sérgio; BORBA, Paulo

Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Test Effort Estimation Models Based on Test Specifications

ARANHA, Eduardo Henrique da Silva; BORBA, Paulo

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007)

2007

Towards Reusable and Modular Aspect-Oriented Concurrency Control

SOARES, Sérgio; BORBA, Paulo

[SAC] 22nd Annual ACM Symposium on Applied Computing

2007

On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities

RIBEIRO, Márcio de Medeiros; MATOS, Pedro; BORBA, Paulo; CARDIM, I. C.

1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007)

2007

Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines

MATOS, Pedro; Rafael Duarte; CARDIM, I. C.; BORBA, Paulo

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007)

2007

Product Line Variability Refactoring Tool

CALHEIROS, Fernando; BORBA, Paulo; SOARES, Sérgio; NEPOMUCENO, Vilmar; ALVES, Vander

1st Workshop on Refactoring Tools (WRT'07), 21st European Conference on Object-Oriented Programming (ECOOP 2007)

2007

Modularity, Information Hiding, and Interfaces for Aspect-Oriented Languages

BORBA, Paulo

[SBLP] 11th Brazilian Symposium on Programming Languages (SBLP 2007)

2007

Analyzing Class and Crosscutting Modularity with Design Structure Matrixes

RIBEIRO, Márcio de Medeiros; DÓSEA, Marcos; ALMEIDA, Rodrigo Bonifácio de; COSTA NETO, Alberto; BORBA, Paulo; SOARES, Sérgio

[SBES] 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

AJaTS - AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring

ARCOVERDE, Roberta; LUSTOSA, P.; SOUZA, Adeline; SOARES, Sérgio; BORBA, Paulo

[SBES] Tools session, 21st Brazilian Symposium on Software Engineering (SBES 2007)

2007

A Static Semantics for Alloy and its Impact in Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2007

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

ALVES, Vander; MATOS, Pedro; COLE NETO, Leonardo; VASCONCELOS, Alexandre Torres; BORBA, Paulo; RAMALHO, Geber

TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (PRINT)

2006

Contextos de Primeira Classe em Transformações de Programas

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

Implementing Framework Crosscutting Extensions with EJPs and AspectJ

KULESZA, Uirá; COELHO, Roberta; ALVES, Vander; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, A. V.; LUCENA, Carlos; BORBA, Paulo

[SBES] 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration

ALVES, Vander; COSTA NETO, Alberto; SOARES, Sérgio; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; LEAL, Jorge; BORBA, Paulo

1st Workshop on Aspect-Oriented Product Line Engineering, 5th ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

2006

Improving extensibility of object-oriented frameworks with aspect-oriented programming

KULESZA, Uirá; ALVES, Vander; GARCIA, Alessandro; LUCENA, Carlos; BORBA, Paulo

[ICSR] 9th International Conference on Software Reuse (ICSR 2006)

2006

Refactoring product lines

ALVES, Vander; GHEYI, Rohit; MASSONI, Tiago; KULESZA, Uirá; BORBA, PAULO; LUCENA, Carlos

[GPCE] 5th international conference on Generative programming and component engineering (GPCE 2006)

2006

Distribution and Persistence as Aspects

SOARES, Sérgio; BORBA, Paulo; LAUREANO, Eduardo

Software, Practice & Experience (Print)

2006

Suporte a Refatorações em um Sistema de Transformação de Propósito Geral

SANTOS, Gustavo; BORBA, Paulo

[SBLP] X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006)

2006

A Verification Approach for Crosscutting Features Based on Extension Join Points

COELHO, Roberta; ALVES, Vander; KULESZA, Uirá; COSTA NETO, Alberto; GARCIA, Alessandro; STAA, Ardnt Von; LUCENA, Carlos; BORBA, Paulo

3rd International Workshop on Software Product Line Testing (SPLiT 2006), 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Electronic Communications of the EASST

2006

Declaring Static Crosscutting Dependencies in AspectJ

COSTA NETO, Alberto; ALVES, Vander; BORBA, Paulo

3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP 2006), 20th Brazilian Symposium on Software Engineering (SBES 2006)

2006

Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines

ALVES, Vander; SANTOS, Gustavo; CALHEIROS, Fernando; NEPOMUCENO, Vilmar; PIRES, Davi; COSTA NETO, Alberto; BORBA, Paulo

Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, 10th International Software Product Line Conference (SPLC 2006)

2006

An Approach to Invariant-based Program Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

Workshop on Software Evolution through Transformations: Embracing Change, International Conference on Graph Transformation (ICGT 2006)

2006

A Theory for Feature Models in Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

First Alloy Workshop, affiliated with 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006)

2006

Sound Object Model Refactorings

GHEYI, Rohit; BORBA, Paulo

Doctoral Symposium, afilliated with Formal Methods 2006

2006

A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBMF] III Brazilian Symposium on Formal Methods (SBMF 2006)

2005

Extracting and Evolving Mobile Games Product Lines

ALVES, Vander; MATOS JÚNIOR, Pedro Osandy Alves; COLE NETO, Leonardo; BORBA, Paulo; RAMALHO, Geber

[SPLC] 9th International Software Product Line Conference (SPLC 2005)

2005

Formal Refactorings for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[OOPSLA] Student Research Competition, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

A Rigorous Approach for Proving Model Refactorings

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[ASE] Automated Software Engineering (ASE 2005)

2005

Deriving refactorings for AspectJ

COLE NETO, Leonardo; BORBA, Paulo

4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2005

Formal Refactoring for UML Class Diagrams

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[SBES] 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2005

Comparative Analysis of Porting Strategies in Mobile Device Games

ALVES, Vander; CARDIM, I. C.; CARMO, Heitor Vital Do; Pedro Sampaio; Alexandre Damasceno; BORBA, Paulo; RAMALHO, Geber

21st IEEE International Conference on Software Maintenance (ICSM 2005)

2005

Type-safe refactorings for Alloy

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] II Brazilian Symposium on Formal Methods (SBMF 2005)

2005

Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ

BORBA, Paulo; SOARES, Sérgio

2nd Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2005), 19th Brazilian Symposium on Software Engineering (SBES 2005)

2005

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

Scientia (UNISINOS)

2005

Um Sistema de Tipos para uma Linguagem de Transformação

Alexandra Barros; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005)

2005

A Model-driven Approach to Formal Refactoring

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

[OOPSLA] Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)

2005

Geração de Sistemas de Transformação

SOUZA, Adeline; BORBA, Paulo

[SBLP] IX Simpósio Brasileiro de Linguages de Programação (SBLP 2005)

2005

Proving aspect-oriented programming laws

COLE, Leonardo; MOTA, Alexandre; BORBA, Paulo

4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)

2004

Using Programming Laws to Modularize Concurrency in a Replicated Database Application

COLE NETO, Leonardo; BORBA, Paulo

1st Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

Algebraic reasoning for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CAVALCANTI, Ana; CORNÉLIO, Márcio

Science of Computer Programming (Print)

2004

Refactoring Alloy Specifications

GHEYI, Rohit; BORBA, Paulo

Electronic Notes in Theoretical Computer Science

2004

Towards Progressive and Non-progressive Implementation Approaches Evaluation

SOARES, Sérgio; BORBA, Paulo

1st Experimental Software Engineering Latin American Workshop (ESELAW 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004)

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP 2004), XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

Using Aspects to Make Adaptive Object-Models Adaptable

DANTAS, Ayla; YODER, Joseph; BORBA, Paulo; JOHNSON, Ralph

Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2004), 18th European Conference on Object-Oriented Programming (ECOOP 2004)

2004

Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ

SOARES, Sérgio; BORBA, Paulo

[SBES] Tutoriais, XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004)

2004

A General-purpose Transformation System for Java

SANTOS, Gustavo; BORBA, Paulo; SOUZA, Adeline

Software Transformation Systems Workshop (STS 2004), 3rd ACM International Conference on Generative Programming and Component Engineering (GPCE 2004)

2004

Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes

Pedro Sampaio; Alexandre Damasceno; Igor Sampaio; ALVES, Vander; RAMALHO, Geber; BORBA, Paulo

III Workshop Brasileiro de Jogos e Entretenimento Digital

2004

Basic Laws of Object Modeling

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004)

2004

An Abstract Equivalence Notion for Object Models

GHEYI, Rohit; MASSONI, Tiago; BORBA, Paulo

[SBMF] 1st Brazilian Symposium on Formal Methods (SBMF 2004)

2004

Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach

SOUSA, Geórgia; SOARES, Sérgio; BORBA, Paulo; CASTRO, Jaelson

Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004), International Conference on Aspect-Oriented Software Development (AOSD 2004)

2004

A UML Class Diagram Analyzer

MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo

3rd International Workshop on Critical Systems Development with UML, UML Conference

2004

AspectH: Uma Extensão Orientada a Aspectos de Haskell

ANDRADE, Carlos; SANTOS, André; BORBA, Paulo

Revista de Informática Teórica e Aplicada (Impresso)

2004

An Incremental Aspect-Oriented Product Line Method for J2ME Game Development

ALVES, Vander; MATOS, Pedro; BORBA, Paulo

Workshop on Managing Variability Consistently in Design and Code, 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)

2003

Using aspects to structure small devices adaptive applications

DANTAS, Ayla; BORBA, Paulo; ALVES, Vander

1st Workshop on Reuse in Constrained Environments, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

Aspect-oriented implementation method: Progressive or non-progressive approach?

SOARES, Sérgio; BORBA, Paulo

Doctoral Symposium, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003)

2003

AdapPE: An architectural pattern for structuring adaptive applications with aspects

DANTAS, Ayla; BORBA, Paulo

[SUGARLOAFPLOP] Third Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2003)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

Journal of Universal Computer Science (Print)

2003

Developing adaptive J2ME applications using AspectJ

DANTAS, Ayla; BORBA, Paulo

[SBLP] 7th Brazilian Symposium on Programming Languages (SBLP 2003)

2003

A refinement algebra for object-oriented programming

BORBA, Paulo; SAMPAIO, Augusto; CORNÉLIO, Márcio

[ECOOP] 17th European Conference on Object-oriented Programming (ECOOP 2003)

2003

Refactoring Alloy specifications

GHEYI, Rohit; BORBA, Paulo

6th Brazilian Workshop on Formal Methods

2002

Implementing distribution and persistence aspects with aspectJ

SOARES, SERGIO; LAUREANO, Eduardo; BORBA, PAULO

[OOPSLA] 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2002)

2002

Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans

DIAS, K.; BORBA, Paulo

[SUGARLOAFPLOP] Second Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

PIP: Progressive Implementation Pattern

SOARES, Sérgio; BORBA, Paulo

1st Workshop on Software Development Patterns, 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2002)

2002

Mechanical abstraction of CSP-Z processes

MOTA, Alexandre; BORBA, Paulo; SAMPAIO, Augusto

11th Formal Methods Europe (FME 2002)

2002

PaDA: A Pattern for Distribution Aspects

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 2nd Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002)

2002

Integrating code generation and refactoring

D'AMORIM, M.; NOGUEIRA, C.; SANTOS, Gustavo; SOUZA, Adeline; BORBA, Paulo

Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Progressive implementation with aspect-oriented programming

SOARES, Sérgio; BORBA, Paulo

The 12th Workshop for PhD Students in Object-Oriented Systems, at the 16th European Conference on Object-Oriented Programming (ECOOP 2002)

2002

Web systems acceptance tests and code generation

ARANHA, Eduardo; BORBA, Paulo

Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP 2002)

2002

A RUP-based software process supporting progressive implementation

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

2002 International Conference of the Information Resources Management Association (IRMA 2002)

2002

Implementing distribution and persistence aspects with AspectJ

SOARES, Sérgio; LAUREANO, Eduardo; BORBA, Paulo

ACM SIGPLAN Notices

2002

Testes e geração de código de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBES] XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002)

2002

Uma linguagem para testes de aceitação de sistemas web

ARANHA, Eduardo; BORBA, Paulo

[SBLP] VI Brazilian Symposium on Programming Languages (SBLP 2002)

2002

Concurrency control with Java and relational databases

SOARES, Sérgio; BORBA, Paulo

[COMPSAC] 26th IEEE Computer Software and Applications Conference (COMPSAC 2002)

2002

AspectJ, programação orientada a aspectos em Java

SOARES, Sérgio; BORBA, Paulo

Tutoriais, VI Simpósio Brasileiro de Linguagens de Programação (SBLB 2002)

2001

Controle de concorrência com Java e bancos de dados relacionais

SOARES, Sérgio; BORBA, Paulo

[SBLP] V Simpósio Brasileiro de Linguagens de Programação (SBLP 2001)

2001

An implementation method for distributed object-oriented applications

ALVES, Vander; BORBA, Paulo

[SBES] 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Distributed adapters pattern: A design pattern for object-oriented distributed applications

ALVES, Vander; BORBA, Paulo

1st Latin American Conference on Pattern Languages of Programming (SugarloafPLoP 2001)

2001

PDC: Persistent Data Collections Pattern

MASSONI, Tiago; ALVES, Vander; SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

A language for specifying Java transformations

CASTOR, F.; BORBA, Paulo

[SBLP] 5th Brazilian Symposium on Programming Languages (SBLP 2001)

2001

JaTS: A Java transformation system

CASTOR, F.; OLIVEIRA, K.; SOUZA, Adeline; SANTOS, Gustavo; BORBA, Paulo

[SBES] Tools session, 15th Brazilian Symposium on Software Engineering (SBES 2001)

2001

Concurrency Manager

SOARES, Sérgio; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Web Handlers

SOARES, G.; BORBA, Paulo

[SUGARLOAFPLOP] 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001)

2001

Progressive implementation of aspects

MASSONI, Tiago; SAMPAIO, Augusto; BORBA, Paulo

Workshop on Advanced Separation of Concerns, 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001)

2000

Structuring Mechanisms for an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

[ICSR] 6th International Conference on Software Reuse (ICSR 2000)

2000

A design pattern for distributed applications

ALVES, Vander; BORBA, Paulo

[SBES] Tutorials, 14th Brazilian Symposium on Software Engineering (SBES 2000)

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

III Brazilian Workshop on Formal Methods

2000

Basic laws of ROOL: an object-oriented language

BORBA, Paulo; SAMPAIO, Augusto

Revista de Informática Teórica e Aplicada (Impresso)

1999

Integrando Java com Bancos de Dados Relacionais

Euricélia Viana; BORBA, Paulo

[SBLP] III Simpósio Brasileiro de Linguagens de Programação (SBLP 1999)

1999

Progressive implementation of distributed Java applications

BORBA, Paulo; ARAUJO, S.; Hednilson Bezerra; Marconi Lima; SOARES, Sérgio

Engineering Distributed Objects Workshop, 21st ACM International Conference on Software Engineering (ICSE 1999)

1998

Systematic development of concurrent object-oriented programs

BORBA, Paulo

Electronic Notes in Theoretical Computer Science

1998

Where are the Laws of Objet-Oriented Programming?

BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1998

Design of an Object-Oriented Formal Specification Language

CORNÉLIO, Márcio; BORBA, Paulo

I Brazilian Workshop on Formal Methods (SBMF 1998)

1997

Parameterized Packages and Java

ARANHA, D.; BORBA, Paulo

[SBLP] II Brazilian Symposium On Programming Languages (SBLP 1997)

1997

A System For Translating Executable VDM Specifications Into Lazy ML

BORBA, Paulo; MEIRA, S. R. L.

Software, Practice & Experience (Print)

1996

States as Specifications

BORBA, Paulo

[SBLP] I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996)

1996

A Refinement Theory for Concurrent Object Oriented Languages

BORBA, Paulo

[SBES] X Brazilian Symposium on Software Engineering (SBES 1996)

1994

An Operational Semantics for FOOPS

BORBA, Paulo; GOGUEN, J.

Information Systems Correctness And Reusability (ISCORE 1994)

1993

From VDM Specifications To Functional Prototypes

BORBA, Paulo; MEIRA, S. R. L.

The Journal of Systems and Software

1992

Prototyping Action Semantics using Functional Languages

BORBA, Paulo; SANTOS, André; MEIRA, S.

[CLEI] Latin American Conference On Computing (CLEI 1992)

1991

From Model Based Specifications to Functional Prototypes

BORBA, Paulo; MEIRA, S.

IEEE TENCON'91

1990

Tradução de Tipos de Especificação para Protótipo

BORBA, Paulo; MEIRA, S.

[IV] IV Simpósio Brasileiro de Engenharia de Software (SBES 1990)

1989

Notação VDM Executável em Standard ML

BORBA, Paulo; MEIRA, S.

IX Congresso da SBC

1989

Protótipos Funcionais a partir de Especificações Formais em VDM

BORBA, Paulo; MEIRA, S.

[SBES] III Simpósio Brasileiro de Engenharia de Software (SBES 1989)

1987

Acesso a um Banco de Dados através de Linguagem Natural

BORBA, Paulo; SANTOS, André; CARRAHER, D.

[IV] IV Simpósio Brasileiro de Inteligência Artificial (SBIA 1987)