Paulo Borba

According to our database1, Paulo Borba authored at least 113 papers between 1993 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Privacy and security constraints for code contributions.
Softw. Pract. Exp., 2020

Understanding predictive factors for merge conflicts.
Inf. Softw. Technol., 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Detecting Semantic Conflicts via Automated Behavior Change Detection.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019
Partially safe evolution of software product lines.
J. Syst. Softw., 2019

Using acceptance tests to predict files changed by programming tasks.
J. Syst. Softw., 2019

Improving the prediction of files changed by programming tasks.
Proceedings of the XIII Brazilian Symposium on Software Components, 2019

Semistructured Merge in JavaScript Systems.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

The Impact of Structure on Software Merging: Semistructured Versus Structured Merge.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018
Detecting Overly Strong Preconditions in Refactoring Engines.
IEEE Trans. Software Eng., 2018

Understanding semi-structured merge conflict characteristics in open-source Java projects.
Empir. Softw. Eng., 2018

Analyzing conflict predictors in open-source Java projects.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract).
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017
Empirical assessment of two approaches for specifying software product line use case scenarios.
Softw. Syst. Model., 2017

Evaluating and improving semistructured merge.
Proc. ACM Program. Lang., 2017

An idiom to represent data types in Alloy.
Inf. Softw. Technol., 2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Should we replace our merge tools?
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Assessing fine-grained feature dependencies.
Inf. Softw. Technol., 2016

Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.
Empir. Softw. Eng., 2016

Assessing Idioms for a Flexible Feature Binding Time.
Comput. J., 2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems.
Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios.
Proceedings of the 2016 X Brazilian Symposium on Software Components, 2016

2015
Safe evolution templates for software product lines.
J. Syst. Softw., 2015

Safe evolution of product populations and multi product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment.
Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

Improving Performance and Maintainability of Object Cloning with Lazy Clones: An Empirical Evaluation.
Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

2014
Emergent Interfaces for Feature Modularization
Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-11493-4, 2014

Making refactoring safer through impact analysis.
Sci. Comput. Program., 2014

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

A Toolset for Checking SPL Refinements.
J. Univers. Comput. Sci., 2014

Flexible Feature Binding with AspectJ-based Idioms.
J. Univers. Comput. Sci., 2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines.
J. Univers. Comput. Sci., 2014

SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Feature maintenance with emergent interfaces.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Intraprocedural Dataflow Analysis for Software Product Lines.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Safe composition of configuration knowledge-based software product lines.
J. Syst. Softw., 2013

A design rule language for aspect-oriented programming.
J. Syst. Softw., 2013

The crosscutting impact of the AOSD Brazilian research community.
J. Syst. Softw., 2013

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).
Dagstuhl Reports, 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.
Proceedings of the 17th International Software Product Line Conference, 2013

Improving Modular Reasoning on Preprocessor-Based Systems.
Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

AspectJ-Based Idioms for Flexible Feature Binding.
Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering.
Proceedings of the Product-Focused Software Process Improvement, 2013

SPL<sup>LIFT</sup>: statically analyzing software product lines in minutes instead of years.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Modular aspect-oriented design rule enforcement with XPIDRs.
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

2012
A theory of software product line refinement.
Theor. Comput. Sci., 2012

Modularity analysis of use case implementations.
J. Syst. Softw., 2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering.
J. Syst. Softw., 2012

Making Software Product Line Evolution Safer.
Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

Comparing Two Black-Box Testing Strategies for Software Product Lines.
Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

Emergo: a tool for improving maintainability of preprocessor-based product lines.
Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

Intraprocedural dataflow analysis for software product lines.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Automatically Checking Feature Model Refactorings.
J. Univers. Comput. Sci., 2011


On the impact of feature dependencies when maintaining preprocessor-based software product lines.
Proceedings of the Generative Programming And Component Engineering, 2011

Investigating the safe evolution of software product lines.
Proceedings of the Generative Programming And Component Engineering, 2011

Assessing Idioms for Implementing Features with Flexible Binding Times.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010
Synchronizing Model and Program Refactoring.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Emergent feature modularization.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Towards feature modularization.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Assessment of product derivation tools in the evolution of software product lines: an empirical study.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009
A Complete Set of Object Modeling Laws for Alloy.
Proceedings of the Formal Methods: Foundations and Applications, 2009

An Introduction to Software Product Line Refactoring.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Improving Guidance when Restructuring Variabilities in Software Product Lines.
Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Modeling scenario variability as crosscutting mechanisms.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
Algebraic Laws for Feature Models.
J. Univers. Comput. Sci., 2008

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
Electron. Notes Theor. Comput. Sci., 2008

Towards a Crosscutting Approach for Variability Management.
Proceedings of the Software Product Lines, 12th International Conference, 2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects.
Proceedings of the Software Product Lines, 12th International Conference, 2008

A decision model for implementing product lines variabilities.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Supporting software product lines development: FLiP - product line derivation tool.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Recommending refactorings when restructuring variabilities in software product lines.
Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Formal Model-Driven Program Refactoring.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

A Static Semantics for Alloy and its Impact in Refactorings.
Electron. Notes Theor. Comput. Sci., 2007

Towards reusable and modular aspect-oriented concurrency control.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

An Estimation Model for Test Execution Effort.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Product Line Variability Refactoring Tool.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

AJaTS: AspectJ Transformation System.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

Concurrency Control Modularization with Aspect-Oriented Programming.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Mapping Features to Aspects: A Model-Based Generative Approach.
Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

2006
Distribution and persistence as aspects.
Softw. Pract. Exp., 2006

An Approach to Invariant-based Program Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Model Simulation for Test Execution Capacity Estimation.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Refactoring product lines.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
An Abstract Equivalence Notion for Object Models.
Electron. Notes Theor. Comput. Sci., 2005

Extracting and Evolving Mobile Games Product Lines.
Proceedings of the Software Product Lines, 9th International Conference, 2005

A model-driven approach to formal refactoring.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Comparative Analysis of Porting Strategies in J2ME Games.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program., 2004

AspectH: Uma Extensão Orientada a Aspectos de Haskel.
RITA, 2004

Refactoring Alloy Specifications.
Electron. Notes Theor. Comput. Sci., 2004

Transformation Laws for Sequential Object-Oriented Programming.
Proceedings of the Refinement Techniques in Software Engineering, 2004

Deriving refactorings for aspectJ.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Using Aspects to Make Adaptive Object-Models Adaptable.
Proceedings of the RAM-SE'04-ECOOP'04 Workshop on Reflection, 2004

2003
Developing Adaptive J2ME Applications Using AspectJ.
J. Univers. Comput. Sci., 2003

Aspect-oriented implementation method: progressive or non-progressive approach?
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

A Refinement Algebra for Object-Oriented Programming.
Proceedings of the ECOOP 2003, 2003

2002
Implementing distribution and persistence aspects with aspectJ.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Mechanical Abstraction of CSP<sub>Z</sub> Processes.
Proceedings of the FME 2002: Formal Methods, 2002

Concurrency Control with Java and Relational Databases.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2000
Basic Laws of ROOL: an object-oriented language.
RITA, 2000

Structuring Meachanisms for an Object-Oriented Formal Specification Language.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1998
Systematic Development of Concurrent Object-Oriented Programs.
Electron. Notes Theor. Comput. Sci., 1998

1997
A System for Translating Executable VDM Specifiactions into Lazy ML.
Softw. Pract. Exp., 1997

1995
Semantics and refinement for a concurrent object oriented language.
PhD thesis, 1995

1993
From VDM specifications to functional prototypes.
J. Syst. Softw., 1993


  Loading...