Publications

Thaís Rocha, Paulo Borba (2023). Using acceptance tests to predict merge conflict risk. Empirical Software Engineering.

PDF Replication package

Marcela Cunha, Paola Accioly, Paulo Borba (2022). The Private Life of Merge Conflicts. SBES 2022: XXXVI Brazilian Symposium on Software Engineering.

PDF Replication package

Matheus Barbosa, Paulo Borba, Rodrigo Bonifacio, Galileu Santos (2022). Semantic conflict detection with overriding assignment analysis. SBES 2022: XXXVI Brazilian Symposium on Software Engineering.

PDF Replication package

Léuson Silva, Paulo Borba, Arthur Pires (2022). Build conflicts in the wild. Journal of Software-Evolution and Process.

PDF Replication package

Jônatas Clementino, Paulo Borba, Guilherme Cavalcanti (2021). Textual merge based on language-specific syntactic separators. 35th Brazilian Symposium on Software Engineering (SBES 2021).

PDF Replication package

Mukelabai Mukelabai, Thorsten Berger, Paulo Borba (2021). Semi-Automated Test-Case Propagation in Fork Ecosystems. 43rd International Conference on Software Engineering (ICSE 2021), New Ideas and Emerging Results track.

PDF

Georg Seibt, Florian Heck, Guilherme Cavalcanti, Paulo Borba, Sven Apel (2021). Leveraging Structure in Software Merge: An Empirical Study. IEEE Transactions on Software Engineering.

PDF

Bruno Cartaxo, E. Guerra, V. Osorio, Sérgio Soares, Paulo Borba (2021). Lazy Clone - A Pattern to Improve Performance and Maintainability of Object Cloning. 28th Conference on Pattern Languages of Programs (PLoP’2021).

PDF

Klissiomara Dias, Paulo Borba, Marcos Barreto (2020). Understanding predictive factors for merge conflicts. Information and Software Technology.

PDF Replication package

Leopoldo Teixeira, Rohit Gheyi, Paulo Borba (2020). Safe Evolution of Product Lines Using Configuration Knowledge Laws. 23rd Brazilian Symposium on Formal Methods (SBMF 2020).

PDF

Rodrigo Andrade, Paulo Borba (2020). Privacy and security constraints for code contributions. Software: Practice & Experience.

PDF

Léuson Silva, Paulo Borba, Wardah Mahmood, Thorsten Berger, João Moisakis (2020). Detecting Semantic Conflicts via Automated Behavior Change Detection. 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020).

PDF Replication package

Thaís Rocha, Paulo Borba, João Santos (2019). Using acceptance tests to predict files changed by programming tasks. Journal of Systems and Software.

PDF Replication package

Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel (2019). The Impact of Structure on Software Merging: Semistructured versus Structured Merge. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).

PDF Replication package

Alberto Tavares, Paulo Borba, Guilherme Cavalcanti, Sérgio Soares (2019). Semistructured Merge in JavaScript Systems. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).

PDF Replication package

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira (2019). Partially safe evolution of software product lines. Journal of Systems and Software.

PDF

João Santos, Thaís Rocha, Paulo Borba (2019). Improving the prediction of files changed by programming tasks. XIII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2019).

PDF

Paola Accioly, Paulo Borba, Guilherme Cavalcanti (2018). Understanding semi-structured merge conflict characteristics in open-source Java projects. Empirical Software Engineering.

PDF

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Marcio Ribeiro, Paulo Borba, Leopoldo Teixeira (2018). Detecting Overly Strong Preconditions in Refactoring Engines. IEEE Transactions on Software Engineering.

PDF

Paola Accioly, Paulo Borba, Léuson Silva, Guilherme Cavalcanti (2018). Analyzing Conflict Predictors in Open-Source Java Projects from GitHub and Travis CI. 15th International Conference on Mining Software Repositories (MSR 2018).

PDF Replication package

Guilherme Cavalcanti, Paulo Borba, Paola Accioly (2017). Should We Replace Our Merge Tools?. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC).

PDF

Marco Couto, Paulo Borba, Jácome Cunha, João Fernandes, Rui Pereira, João Saraiva (2017). Products go Green: Worst-Case Energy Consumption in Software Product Lines. 21st International Systems and Software Product Line Conference (SPLC 2017).

PDF

Guilherme Cavalcanti, Paulo Borba, Paola Accioly (2017). Evaluating and improving semistructured merge. Proceedings of the ACM on Programming Languages.

PDF

Guilherme Cavalcanti, Paulo Borba, Paola Accioly (2017). Evaluating and Improving Semistructured Merge. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’17).

PDF Video

Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola Accioly (2017). Empirical assessment of two approaches for specifying software product line use case scenarios. Software & Systems Modeling.

PDF

Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro (2017). An idiom to represent data types in Alloy. Information and Software Technology.

PDF

Fernando Benbassat, Paulo Borba, Leopoldo Teixeira (2016). Safe Evolution of Software Product Lines: Feature Extraction Scenarios. X Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2016).

PDF

Silvio Meira, Vanilson Burégio, Paulo Borba, Vinicius Garcia, Jones Albuquerque, Sérgio Soares (2016). Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems. 30th Brazilian Symposium on Software Engineering (SBES 2016).

PDF

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira (2016). Partially Safe Evolution of Software Product Lines. 20th International Software Product Line Conference (SPLC 2016).

PDF

Leonardo Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej W’sowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo (2016). Coevolution of variability models and related software artifacts. Empirical Software Engineering.

PDF

Rodrigo Andrade, Márcio Ribeiro, Henrique Rebêlo, Paulo Borba, Vaidas Gasiunas, Lucas Satabin (2016). Assessing Idioms for a Flexible Feature Binding Time. Computer Journal.

PDF

Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi (2016). Assessing fine-grained feature dependencies. Information and Software Technology.

PDF

Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena, Uirá Kulesza (2015). Safe evolution templates for software product lines. The Journal of Systems and Software.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi (2015). Safe Evolution of Product Populations and Multi Product Lines. 19th International Software Product Line Conference (SPLC 2015).

Bruno Cartaxo, Paulo Borba, Sérgio Soares, Hélio Fugimoto (2015). Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation. 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015).

Guilherme Cavalcanti, Paulo Borba, Paola Accioly (2015). Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment. 9th International Symposium on Empirical Software Engineering and Measurement (ESEM 2015).

Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi (2015). A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. 19th International Software Product Line Conference (SPLC 2015).

Eric Bodden, Társis Toledo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini (2014). SPLLIFT- Statically analyzing software product lines in minutes instead of years. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).

Guilherme Cavalcanti, Paola Accioly, Paulo Borba (2014). Semistructured Merge on Git: An Assessment. 11th Workshop on Software Modularity (WMod 2014).

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba (2014). Making refactoring safer through impact analysis. Science of Computer Programming.

Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba (2014). Flexible Feature Binding with AspectJ-based Idioms. Journal of Universal Computer Science.

Márcio Ribeiro, Paulo Borba, Christian Kästner (2014). Feature Maintenance with Emergent Interfaces. 36th International Conference on Software Engineering (ICSE 2014).

Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola Accioly, Uirá Kulesza, Ana Moreira, João Araújo, Paulo Borba (2014). Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. Requirements Engineering.

Paola Accioly, Paulo Borba, Rodrigo Bonifácio (2014). Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines. Journal of Universal Computer Science.

Felipe Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares (2014). A Toolset for Checking SPL Refinements. Journal of Universal Computer Science.

Uirá Kulesza, Vander Alves, Roberta Coelho, Eduardo Figueiredo, Paulo Pires, Flávia Delicato, Eduardo Piveta, Carla Silva, Valter Camargo, Rosana Braga, Julio Leite, Sérgio Soares, Otávio Lemos, Nabor Mendonça, Thaís Batista, Rodrigo Bonifácio, Nélio Cacho, Lyrene Silva, Arndt Staa, Fábio Silveira, Marco Valente, Fernanda Alencar, Christina Chavez, Jaelson Castro, Ricardo Ramos, Rosangela Penteado, Cecília Rubira, Fernando Castor, Paulo Borba, Carlos Lucena, Paulo Masiero, Claudio Sant’anna, Fabiano Ferrari (2013). The crosscutting impact of the AOSD Brazilian research community. The Journal of Systems and Software.

Eric Bodden, Társis Toledo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini (2013). SPLLIFT: statically analyzing software product lines in minutes instead of years. ACM SIGPLAN Notices.

Eric Bodden, Társis Toledo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini (2013). SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines. 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013).

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi (2013). Safe composition of configuration knowledge-based software product lines. The Journal of Systems and Software.

Henrique Rebelo, Gary Leavens, Ricardo Lima, Paulo Borba, Márcio Ribeiro (2013). Modular Aspect-Oriented Design Rule Enforcement with XPIDRs. 12th Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), 12th ACM International Conference on Aspect-Oriented Software Development (AOSD 2013).

Claus Brabrand, Márcio Ribeiro, Társis Toledo, Johnni Winther, Paulo Borba (2013). Intraprocedural Dataflow Analysis for Software Product Lines. Transactions on Aspect-Oriented Software Development.

Jean Melo, Paulo Borba (2013). Improving modular reasoning on preprocessor-based systems. VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013).

Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba (2013). Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel. 17th International Software Product Line Conference (SPLC 2013).

Rodrigo Andrade, Henrique Rebelo, Márcio Ribeiro, Paulo Borba (2013). AspectJ-based Idioms for Flexible Feature Binding. VII Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2013).

Marília Freire, Paola Accioly, Gustavo Sizílio, Edmilson Neto, Uirá Kulesza, Eduardo Aranha, Paulo Borba (2013). A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering. 14th International Conference on Product Focused Software Development and Process Improvement (PROFES 2013).

Alberto Neto, Rodrigo Bonifácio, Márcio Ribeiro, Carlos Pontual, Paulo Borba, Fernando Castor (2013). A design rule language for aspect-oriented programming. The Journal of Systems and Software.

Felipe Queiroz, Márcio Ribeiro, Sérgio Soares, Paulo Borba (2012). Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems. 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),.

Paulo Borba (2012). Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering. The Journal of Systems and Software.

Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Toledo, Claus Brabrand, Sérgio Soares (2012). On the impact of feature dependencies when maintaining preprocessor-based software product lines. ACM SIGPLAN Notices.

Fernanda d’Amorim, Paulo Borba (2012). Modularity analysis of use case implementations. The Journal of Systems and Software.

Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi (2012). Making Software Product Line Evolution Safer. VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012).

Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba (2012). Investigating the safe evolution of software product lines. ACM SIGPLAN Notices.

Claus Brabrand, Márcio Ribeiro, Társis Toledo, Paulo Borba (2012). Intraprocedural Dataflow Analysis for Software Product Lines. 11th International Conference on Aspect-Oriented Software Development (AOSD 2012).

Márcio Ribeiro, Társis Toledo, J. Winther, Claus Brabrand, Paulo Borba (2012). Emergo: a tool for improving maintainability of preprocessor-based product lines. 11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Tools Session.

Paola Accioly, Paulo Borba, Rodrigo Bonifácio (2012). Comparing Two Black-box Testing Strategies for Software Product Lines. VI Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS 2012).

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi (2012). A Theory of Software Product Line Refinement. Theoretical Computer Science.

Caliane Figuerêdo, Simone Santos, Paulo Borba, Gustavo Alexandre (2011). Using PBL to Develop Software Test Engineers. Computers and Advanced Technology in Education (CATE 2011).

Christina Chavez, Fernando Castor, Roberta Coelho, Lyrene Fernandes, Vander Alves, Nabor Mendonça, Eduardo Figueiredo, Valter Camargo, Paulo Pires, Thaís Batista, Nélio Cacho, Uirá Kulesza, Arndt Staa, Júlio Leite, Fabio Silveira, Otávio Lemos, Rosangela Penteado, Flavia Delicato, Rosana Braga, Marco Valente, Ricardo Ramos, Rodrigo Almeida, Sérgio Soares, Fernanda Alencar, Jaelson Castro, Paulo Borba, Carlos Lucena, Paulo Masiero, Claudio Santanna, Eduardo Piveta, Fabiano Ferrari (2011). The AOSD Research Community in Brazil and Its Crosscutting Impact. 25th Brazilian Symposium on Software Engineering (SBES 2011).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2011). Synchronizing Model and Program Refactoring. Revised Selected Papers of the 13th Brazilian Symposium on Formal Methods (SBMF 2010), LNCS.

Leopoldo Teixeira, Rohit Gheyi, Paulo Borba (2011). Safe composition of configuration knowledge-based software product lines. 25th Brazilian Symposium on Software Engineering (SBES 2011).

Caliane Figuerêdo, Simone Santos, Gustavo Alexandre, Paulo Borba (2011). PBL no ensino de testes de software: uma experiência prática. International Conference on Engineering and Computer Education.

Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares (2011). On the impact of feature dependencies when maintaining preprocessor-based software product lines. 10th ACM international conference on Generative programming and component engineering (GPCE 2011).

Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba (2011). Investigating the safe evolution of software product lines. 10th ACM international conference on Generative programming and component engineering (GPCE 2011).

Élder Cirilo, Demóstenes Sena, Uirá Kulesza, Leopoldo Teixeira, Sérgio Soares, Paulo Borba, Rohit Gheyi, Laís Neves, Carlos Lucena (2011). Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions. Product LinE Approaches in Software Engineering (PLEASE 2011), workshop of the 33rd International Conference on Software Engineering (ICSE 2011).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2011). Automatically Checking Feature Model Refactorings. Journal of Universal Computer Science.

Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebelo, Paulo Borba (2011). Assessing Idioms for Implementing Features with Flexible Binding Times. 15th European Conference on Software Maintenance and Reengineering (CSMR 2011).

Márcio Ribeiro, Társis Toledo, Paulo Borba, Claus Brabrand (2011). A tool for improving maintainabiliy of preprocessor-based product lines. 2nd Brazilian Congress on Software (CBSoft 2011), Tools Session.

Márcio Ribeiro, Paulo Borba (2010). Towards feature modularization. Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010).

Felipe Ferreira, Laís Neves, Michelle Silva, Paulo Borba (2010). TaRGeT: a Model Based Product Line Testing Tool. Tools session, I Brazilian Conference on Software: Theory and Practice (CBSoft 2010).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2010). Synchronizing Model and Program Refactoring. 13th Brazilian Symposium on Formal Methods (SBMF 2010).

Fernanda d’Amorim, Paulo Borba (2010). Modularity Analysis of Use Case Implementations. Quarto Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2010).

Mário Torres, Uirá Kulesza, Rosana Braga, Paulo Masiero, Paulo Pires, Élder Cirilo, Thaís Batista, Paulo Borba, Carlos Lucena (2010). Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares. 1st Brazilian Workshop on Model-Driven Development (BW-MDD 2010), associado ao Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010).

Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba (2010). Emergent Feature Modularization. Onward! 2010, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010).

Mário Torres, Carlos Lucena, Leopoldo Teixeira, Élder Cirilo, Matheus Sousa, Uirá Kulesza, Thaís Batista, Rosana Braga, Paulo Masiero, Paulo Borba (2010). Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study. 2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), 9th International Conference on Generative Programming and Component Engineering (GPCE 2010).

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi (2010). A Theory of Software Product Line Refinement. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010).

Carlos Pontual, Rodrigo Almeida, Henrique Rebelo, Márcio Ribeiro, Paulo Borba (2009). Modularizing variabilities with CaesarJ collaboration interfaces. 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).

Fernanda d’Amorim, Paulo Borba (2009). Modularity analysis of use case implementations. 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).

Rodrigo Almeida, Paulo Borba (2009). Modeling scenario variability as crosscutting mechanisms. 8th ACM international conference on Aspect-oriented software development (AOSD 2009).

Márcio Ribeiro, Paulo Borba (2009). Improving guidance when restructuring variabilities in software product lines. 13th European Conference on Software Maintenance and Reengineering (CSMR 2009).

Rodrigo Almeida, Leopoldo Teixeira, Paulo Borba (2009). Hephaestus: A tool for managing SPL variabilities. Sessão de ferramentas, Terceiro Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009).

Eduardo Aranha, Paulo Borba (2009). Estimating manual test execution effort and capacity based on execution points. International Journal of Computers & Applications.

Márcio Ribeiro, Rodrigo Cardoso, Paulo Borba, Rodrigo Almeida, Henrique Rebelo (2009). Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?. 3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), associado ao XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009).

Alberto Neto, Arthur Marques, Rohit Gheyi, Paulo Borba, Fernando Castor (2009). A design rule language for aspect-oriented programming. 13rd Brazilian Symposium on Programming Languages (SBLP 2009).

Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio (2009). A complete set of object modeling laws for Alloy. 12th Brazilian Symposium on Formal Methods (SBMF 2009).

Eduardo Aranha, Paulo Borba (2008). Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. International Conference on Software Process (ICSP 2008).

Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves (2008). Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool. Tools session, 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008).

Márcio Ribeiro, Paulo Borba (2008). Recommending refactorings when restructuring variabilities in software product lines. 2nd Workshop on Refactoring Tools (WRT ‘08), 23rd ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008).

Rodrigo Almeida, Paulo Borba, Sérgio Soares (2008). On the benefits of variability management as crosscutting. Internacional Workshop On Early Aspects, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008).

Eduardo Aranha, Paulo Borba (2008). Manualtest: Improving collection of manual test execution data in empirical studies. 5th Experimental Software Engineering Latin America Workshop (ESELAW 2008).

Henrique Rebelo, Sérgio Soares, Ricardo Lima, Paulo Borba, Márcio Cornélio (2008). JML and Aspects: The benefits of instrumenting JML features with AspectJ. 7th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM/SIGSOFT Symposium on the Foundations of Software Engeneering (FSE 2008).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2008). Formal Model-Driven Program Refactoring. Fundamental Approaches to Software Engineering (FASE 2008), member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008).

Paulo Borba, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Vander Alves (2008). FLiP: Product Line DerivationTool. Forum Demonstration, 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008).

Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba (2008). FLiP: Managing Software Product Line Extraction and Reaction with Aspects. Tools session, 12th International Software Product Line Conference (SPLC 2008).

Eduardo Aranha, Filipe Almeida, Thiago Diniz, Vitor Fontes, Paulo Borba (2008). Automated Test Execution Effort Estimation based on Functional Test Specifications. Tool session, 22st Brazilian Symposium on Software Engineering (SBES 2008).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2008). Algebraic Laws for Feature Models. Journal of Universal Computer Science.

Tiago Massoni, Rohit Gheyi, Paulo Borba (2008). A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. Electronic Notes in Theoretical Computer Science.

Márcio Ribeiro, Pedro Matos, Paulo Borba (2008). A decision model for implementing product lines variabilities. 23rd Annual ACM Symposium on Applied Computing (SAC 2008).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2008). A complete and minimal set of algebraic laws for feature models. 12th Simpósio Brasileiro de Linguages de Programação (SBLP 2008).

Pedro Matos, Rafael Duarte, Ivan Cardim, Paulo Borba (2007). Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines. 1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007).

Sérgio Soares, Paulo Borba (2007). Towards Reusable and Modular Aspect-Oriented Concurrency Control. 22nd Annual ACM Symposium on Applied Computing.

Eduardo Aranha, Paulo Borba (2007). Test Effort Estimation Models Based on Test Specifications. Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007).

Marcos Dósea, Alberto Neto, Paulo Borba, Sérgio Soares (2007). Specifying design rules in aspect-oriented systems. 1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007).

Eduardo Aranha, Paulo Borba (2007). Sizing system tests for estimating test execution effort. 22nd International Annual Forum on COCOMO and System/Software Cost Modeling.

Alberto Neto, Márcio Ribeiro, Marcos Dósea, Rodrigo Almeida, Paulo Borba, Sérgio Soares (2007). Semantic Dependencies and Modularity of Aspect-Oriented Software. Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), 29th ACM International Conference on Software Engineering (ICSE 2007).

Fernando Calheiros, Paulo Borba, Sérgio Soares, Vilmar Nepomuceno, Vander Alves (2007). Product Line Variability Refactoring Tool. 1st Workshop on Refactoring Tools (WRT’07), 21st European Conference on Object-Oriented Programming (ECOOP 2007).

Márcio Ribeiro, Pedro Matos, Paulo Borba, Ivan Cardim (2007). On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities. 1st Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 21th Brazilian Symposium on Software Engineering (SBES 2007).

Philip Greenwood, Uirá Kulesza, Awais Rashid, Thiago Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro Garcia, Nélio Cacho, Claudio Santanna, Sérgio Soares, Paulo Borba (2007). On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. 21st European Conference on Object-Oriented Programming (ECOOP 2007).

Philip Greenwood, Alessandro Garcia, Thiago Bartolomei, Sérgio Soares, Paulo Borba, Awais Rashid (2007). On The Design of an End-to-End AOSD Testbed for Software Stability. 1st Workshop on Assessement of Aspect-Oriented Technologies (ASAT 2007), 6th International Conference on Aspect-Oriented Software Development (AOSD 2007).

Philip Greenwood, Alessandro Garcia, Awais Rashid, Eduardo Figueiredo, Claudio Santanna, Nélio Cacho, Américo Sampaio, Sérgio Soares, Paulo Borba (2007). On the Contributions of an End-to-End AOSD Testbed. Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, 29th ACM International Conference on Software Engineering (ICSE 2007).

Uirá Kulesza, Vander Alves, Alessandro Garcia, Alberto Neto, Élder Cirilo, Carlos Lucena, Paulo Borba (2007). Mapping Features to Aspects: A Model-Based Generative Approach. 10th Internacional Workshop On Early Aspects, 6th ACM International Conference on Aspect-Oriented Software Development (AOSD 2007).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2007). Formally Introducing Alloy Idioms. 10th Brazilian Symposium on Formal Methods (SBMF 2007).

Vander Alves, Pedro Matos, Leonardo Neto, Alexandre Vasconcelos, Paulo Borba, Geber Ramalho (2007). Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. Transactions on Aspect-Oriented Software Development.

Eduardo Aranha, Paulo Borba (2007). Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors. 2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007).

Sérgio Soares, Paulo Borba, Ricardo Lima (2007). Concurrency Control Modularization with Aspect-Oriented Programming. 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

Dante Torres, Sidney Nogueira, Emanuela Cartaxo, Eduardo Aranha, Paulo Borba, Flávia Barros, Patrícia Machado, Augusto Sampaio, Alexandre Mota (2007). Brazil test center research group. 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 21st Brazilian Symposium on Software Engineering (SBES 2007).

Márcio Ribeiro, Marcos Dósea, Rodrigo Almeida, Alberto Neto, Paulo Borba, Sérgio Soares (2007). Analyzing Class and Crosscutting Modularity with Design Structure Matrixes. 21st Brazilian Symposium on Software Engineering (SBES 2007).

Eduardo Aranha, Paulo Borba (2007). An Estimation Model for Test Execution Effort. 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007).

Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba (2007). AJaTS: AspectJ Transformation System. 1st Workshop on Refactoring Tools (WRT’07), 21st European Conference on Object-Oriented Programming (ECOOP 2007).

Roberta Arcoverde, Patrícia Lustosa, Adeline Souza, Sérgio Soares, Paulo Borba (2007). AJaTS - AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring. Tools session, 21st Brazilian Symposium on Software Engineering (SBES 2007).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2007). A Static Semantics for Alloy and its Impact in Refactorings. Electronic Notes in Theoretical Computer Science.

Gustavo Santos, Paulo Borba (2006). Suporte a Refatorações em um Sistema de Transformação de Propósito Geral. X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006).

Rohit Gheyi, Paulo Borba (2006). Sound Object Model Refactorings. Doctoral Symposium, afilliated with Formal Methods 2006.

Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos Lucena (2006). Refactoring product lines. 5th international conference on Generative programming and component engineering (GPCE 2006).

Uirá Kulesza, Vander Alves, Alessandro Garcia, Carlos Lucena, Paulo Borba (2006). Improving extensibility of object-oriented frameworks with aspect-oriented programming. 9th International Conference on Software Reuse (ICSR 2006).

Uirá Kulesza, Roberta Coelho, Vander Alves, Alberto Neto, Alessandro Garcia, Arndt Staa, Carlos Lucena, Paulo Borba (2006). Implementing Framework Crosscutting Extensions with EJPs and AspectJ. 20th Brazilian Symposium on Software Engineering (SBES 2006).

Vander Alves, Alberto Neto, Sérgio Soares, Gustavo Santos, Fernando Calheiros, Vilmar Nepomuceno, Davi Pires, Jorge Leal, Paulo Borba (2006). From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration. 1st Workshop on Aspect-Oriented Product Line Engineering, 5th ACM International Conference on Generative Programming and Component Engineering (GPCE 2006).

Sérgio Soares, Paulo Borba, Eduardo Laureano (2006). Distribution and Persistence as Aspects. Software, Practice & Experience.

Alberto Neto, Vander Alves, Paulo Borba (2006). Declaring Static Crosscutting Dependencies in AspectJ. 3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP 2006), 20th Brazilian Symposium on Software Engineering (SBES 2006).

Gustavo Santos, Paulo Borba (2006). Contextos de Primeira Classe em Transformações de Programas. X Simpósio Brasileiro de Linguagens de Programação (SBLP 2006).

Vander Alves, Gustavo Santos, Fernando Calheiros, Vilmar Nepomuceno, Davi Pires, Alberto Neto, Paulo Borba (2006). Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines. Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, 10th International Software Product Line Conference (SPLC 2006).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2006). An Approach to Invariant-based Program Refactoring. Workshop on Software Evolution through Transformations: Embracing Change, International Conference on Graph Transformation (ICGT 2006).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2006). An Approach to Invariant-based Program Refactoring. Electronic Communications of the EASST.

Roberta Coelho, Vander Alves, Uirá Kulesza, Alberto Neto, Alessandro Garcia, Ardnt Staa, Carlos Lucena, Paulo Borba (2006). A Verification Approach for Crosscutting Features Based on Extension Join Points. 3rd International Workshop on Software Product Line Testing (SPLiT 2006), 10th International Software Product Line Conference (SPLC 2006).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2006). A Theory for Feature Models in Alloy. First Alloy Workshop, affiliated with 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2006). A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs. III Brazilian Symposium on Formal Methods (SBMF 2006).

Alexandra Barros, Paulo Borba (2005). Um Sistema de Tipos para uma Linguagem de Transformação. IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2005). Type-safe refactorings for Alloy. II Brazilian Symposium on Formal Methods (SBMF 2005).

Leonardo Cole, Alexandre Mota, Paulo Borba (2005). Proving aspect-oriented programming laws. 4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005).

Pedro Sampaio, Alexandre Damasceno, Igor Sampaio, Vander Alves, Geber Ramalho, Paulo Borba (2005). Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes. Scientia.

Paulo Borba, Sérgio Soares (2005). Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ. 2nd Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2005), 19th Brazilian Symposium on Software Engineering (SBES 2005).

Adeline Souza, Paulo Borba (2005). Geração de Sistemas de Transformação. IX Simpósio Brasileiro de Linguages de Programação (SBLP 2005).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2005). Formal Refactorings for Object Models. Student Research Competition, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2005). Formal Refactoring for UML Class Diagrams. 19th Brazilian Symposium on Software Engineering (SBES 2005).

Vander Alves, Pedro Matos, Leonardo Neto, Paulo Borba, Geber Ramalho (2005). Extracting and Evolving Mobile Games Product Lines. 9th International Software Product Line Conference (SPLC 2005).

Leonardo Neto, Paulo Borba (2005). Deriving refactorings for AspectJ. 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005).

Vander Alves, Ivan Cardim, Heitor Carmo, Pedro Sampaio, Alexandre Damasceno, Paulo Borba, Geber Ramalho (2005). Comparative Analysis of Porting Strategies in Mobile Device Games. 21st IEEE International Conference on Software Maintenance (ICSM 2005).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2005). An Abstract Equivalence Notion for Object Models. Electronic Notes in Theoretical Computer Science.

Rohit Gheyi, Tiago Massoni, Paulo Borba (2005). A Rigorous Approach for Proving Model Refactorings. Automated Software Engineering (ASE 2005).

Tiago Massoni, Rohit Gheyi, Paulo Borba (2005). A Model-driven Approach to Formal Refactoring. Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005).

Leonardo Neto, Paulo Borba (2004). Using Programming Laws to Modularize Concurrency in a Replicated Database Application. 1st Brazilian Workshop on Aspect-Oriented Software Develpment (WASP 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004).

Ayla Dantas, Joseph Yoder, Paulo Borba, Ralph Johnson (2004). Using Aspects to Make Adaptive Object-Models Adaptable. Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2004), 18th European Conference on Object-Oriented Programming (ECOOP 2004).

Sérgio Soares, Paulo Borba (2004). Towards Progressive and Non-progressive Implementation Approaches Evaluation. 1st Experimental Software Engineering Latin American Workshop (ESELAW 2004), 18th Brazilian Symposium on Software Engineering (SBES 2004).

Geórgia Sousa, Sérgio Soares, Paulo Borba, Jaelson Castro (2004). Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach. Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004), International Conference on Aspect-Oriented Software Development (AOSD 2004).

Rohit Gheyi, Paulo Borba (2004). Refactoring Alloy Specifications. Electronic Notes in Theoretical Computer Science.

Pedro Sampaio, Alexandre Damasceno, Igor Sampaio, Vander Alves, Geber Ramalho, Paulo Borba (2004). Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes. III Workshop Brasileiro de Jogos e Entretenimento Digital.

Sérgio Soares, Paulo Borba (2004). Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ. Tutoriais, XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004).

Leonardo Cole, Paulo Borba (2004). Deriving refactorings for AspectJ. Poster session, 19th ACM Conference on Object-oriented programming systems, languages, and applications (OOPSLA 2004).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2004). Basic Laws of Object Modeling. 3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004).

Carlos Andrade, André Santos, Paulo Borba (2004). AspectH: Uma Extensão Orientada a Aspectos de Haskell. I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP 2004), XVIII Simpósio Brasileiro de Engenharia de Software (SBES 2004).

Carlos Andrade, André Santos, Paulo Borba (2004). AspectH: Uma Extensão Orientada a Aspectos de Haskell. Revista de Informática Teórica e Aplicada.

Vander Alves, Pedro Matos, Paulo Borba (2004). An Incremental Aspect-Oriented Product Line Method for J2ME Game Development. Workshop on Managing Variability Consistently in Design and Code, 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004).

Rohit Gheyi, Tiago Massoni, Paulo Borba (2004). An Abstract Equivalence Notion for Object Models. 1st Brazilian Symposium on Formal Methods (SBMF 2004).

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio (2004). Algebraic reasoning for object-oriented programming. Science of Computer Programming.

Tiago Massoni, Rohit Gheyi, Paulo Borba (2004). A UML Class Diagram Analyzer. 3rd International Workshop on Critical Systems Development with UML, UML Conference.

Gustavo Santos, Paulo Borba, Adeline Souza (2004). A General-purpose Transformation System for Java. Software Transformation Systems Workshop (STS 2004), 3rd ACM International Conference on Generative Programming and Component Engineering (GPCE 2004).

Ayla Dantas, Paulo Borba, Vander Alves (2003). Using aspects to structure small devices adaptive applications. 1st Workshop on Reuse in Constrained Environments, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003).

Rohit Gheyi, Paulo Borba (2003). Refactoring Alloy specifications. 6th Brazilian Workshop on Formal Methods.

Ayla Dantas, Paulo Borba (2003). Developing adaptive J2ME applications using AspectJ. 7th Brazilian Symposium on Programming Languages (SBLP 2003).

Ayla Dantas, Paulo Borba (2003). Developing adaptive J2ME applications using AspectJ. Journal of Universal Computer Science.

Sérgio Soares, Paulo Borba (2003). Aspect-oriented implementation method: Progressive or non-progressive approach?. Doctoral Symposium, 18th ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA 2003).

Ayla Dantas, Paulo Borba (2003). AdapPE: An architectural pattern for structuring adaptive applications with aspects. Third Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2003).

Paulo Borba, Augusto Sampaio, Márcio Cornélio (2003). A refinement algebra for object-oriented programming. 17th European Conference on Object-oriented Programming (ECOOP 2003).

Eduardo Aranha, Paulo Borba (2002). Web systems acceptance tests and code generation. Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP 2002).

Eduardo Aranha, Paulo Borba (2002). Uma linguagem para testes de aceitação de sistemas web. VI Brazilian Symposium on Programming Languages (SBLP 2002).

Eduardo Aranha, Paulo Borba (2002). Testes e geração de código de sistemas web. XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002).

Sérgio Soares, Paulo Borba (2002). Progressive implementation with aspect-oriented programming. The 12th Workshop for PhD Students in Object-Oriented Systems, at the 16th European Conference on Object-Oriented Programming (ECOOP 2002).

Sérgio Soares, Paulo Borba (2002). PIP: Progressive Implementation Pattern. 1st Workshop on Software Development Patterns, 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2002).

Klissiomara Dias, Paulo Borba (2002). Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans. Second Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002).

Sérgio Soares, Paulo Borba (2002). PaDA: A Pattern for Distribution Aspects. 2nd Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2002).

Alexandre Mota, Paulo Borba, Augusto Sampaio (2002). Mechanical abstraction of CSP-Z processes. 11th Formal Methods Europe (FME 2002).

Marcelo d’Amorim, Clóvis Nogueira, Gustavo Santos, Adeline Souza, Paulo Borba (2002). Integrating code generation and refactoring. Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming (ECOOP 2002).

Sergio Soares, Eduardo Laureano, Paulo Borba (2002). Implementing distribution and persistence aspects with aspectJ. 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2002).

Sérgio Soares, Eduardo Laureano, Paulo Borba (2002). Implementing distribution and persistence aspects with AspectJ. ACM SIGPLAN Notices.

Sérgio Soares, Paulo Borba (2002). Concurrency control with Java and relational databases. 26th IEEE Computer Software and Applications Conference (COMPSAC 2002).

Sérgio Soares, Paulo Borba (2002). AspectJ, programação orientada a aspectos em Java. Tutoriais, VI Simpósio Brasileiro de Linguagens de Programação (SBLB 2002).

Tiago Massoni, Augusto Sampaio, Paulo Borba (2002). A RUP-based software process supporting progressive implementation. 2002 International Conference of the Information Resources Management Association (IRMA 2002).

Gibeon Soares, Paulo Borba (2001). Web Handlers. 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001).

Tiago Massoni, Augusto Sampaio, Paulo Borba (2001). Progressive implementation of aspects. Workshop on Advanced Separation of Concerns, 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001).

Tiago Massoni, Vander Alves, Sérgio Soares, Paulo Borba (2001). PDC: Persistent Data Collections Pattern. 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001).

Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos, Paulo Borba (2001). JaTS: A Java transformation system. Tools session, 15th Brazilian Symposium on Software Engineering (SBES 2001).

Vander Alves, Paulo Borba (2001). Distributed adapters pattern: A design pattern for object-oriented distributed applications. 1st Latin American Conference on Pattern Languages of Programming (SugarloafPLoP 2001).

Sérgio Soares, Paulo Borba (2001). Controle de concorrência com Java e bancos de dados relacionais. V Simpósio Brasileiro de Linguagens de Programação (SBLP 2001).

Sérgio Soares, Paulo Borba (2001). Concurrency Manager. 1st Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001).

Vander Alves, Paulo Borba (2001). An implementation method for distributed object-oriented applications. 15th Brazilian Symposium on Software Engineering (SBES 2001).

Fernando Castor, Paulo Borba (2001). A language for specifying Java transformations. 5th Brazilian Symposium on Programming Languages (SBLP 2001).

Márcio Cornélio, Paulo Borba (2000). Structuring Mechanisms for an Object-Oriented Formal Specification Language. 6th International Conference on Software Reuse (ICSR 2000).

Paulo Borba, Augusto Sampaio (2000). Basic laws of ROOL: an object-oriented language. III Brazilian Workshop on Formal Methods.

Paulo Borba, Augusto Sampaio (2000). Basic laws of ROOL: an object-oriented language. Revista de Informática Teórica e Aplicada.

Vander Alves, Paulo Borba (2000). A design pattern for distributed applications. Tutorials, 14th Brazilian Symposium on Software Engineering (SBES 2000).

Paulo Borba, Saulo Araújo, Hednilson Bezerra, Marconi Lima, Sérgio Soares (1999). Progressive implementation of distributed Java applications. Engineering Distributed Objects Workshop, 21st ACM International Conference on Software Engineering (ICSE 1999).

Euricélia Viana, Paulo Borba (1999). Integrando Java com Bancos de Dados Relacionais. III Simpósio Brasileiro de Linguagens de Programação (SBLP 1999).

Paulo Borba (1998). Where are the Laws of Objet-Oriented Programming?. I Brazilian Workshop on Formal Methods (SBMF 1998).

Paulo Borba (1998). Systematic development of concurrent object-oriented programs. Electronic Notes in Theoretical Computer Science.

Márcio Cornélio, Paulo Borba (1998). Design of an Object-Oriented Formal Specification Language. I Brazilian Workshop on Formal Methods (SBMF 1998).

Débora Aranha, Paulo Borba (1997). Parameterized Packages and Java. II Brazilian Symposium On Programming Languages (SBLP 1997).

Paulo Borba, Silvio Meira (1997). A System For Translating Executable VDM Specifications Into Lazy ML. Software, Practice & Experience.

Paulo Borba (1996). States as Specifications. I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996).

Paulo Borba (1996). A Refinement Theory for Concurrent Object Oriented Languages. X Brazilian Symposium on Software Engineering (SBES 1996).

Paulo Borba, Joseph Goguen (1994). An Operational Semantics for FOOPS. Information Systems Correctness And Reusability (ISCORE 1994).

Paulo Borba, Silvio Meira (1993). From VDM Specifications To Functional Prototypes. The Journal of Systems and Software.

Paulo Borba, André Santos, Silvio Meira (1992). Prototyping Action Semantics using Functional Languages. Latin American Conference On Computing (CLEI 1992).

Paulo Borba, Silvio Meira (1991). From Model Based Specifications to Functional Prototypes. IEEE TENCON’91.

Paulo Borba, Silvio Meira (1990). Tradução de Tipos de Especificação para Protótipo. IV Simpósio Brasileiro de Engenharia de Software (SBES 1990).

Paulo Borba, Silvio Meira (1989). Protótipos Funcionais a partir de Especificações Formais em VDM. III Simpósio Brasileiro de Engenharia de Software (SBES 1989).

Paulo Borba, Silvio Meira (1989). Notação VDM Executável em Standard ML. IX Congresso da SBC.

Paulo Borba, André Santos, David Carraher (1987). Acesso a um Banco de Dados através de Linguagem Natural. IV Simpósio Brasileiro de Inteligência Artificial (SBIA 1987).