Vander Alves

Orcid: 0000-0003-1573-048X

According to our database1, Vander Alves authored at least 50 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Providing command and control agility: A software product line approach.
Expert Syst. Appl., April, 2023

2021
A Formal Framework of Software Product Line Analyses.
ACM Trans. Softw. Eng. Methodol., 2021

Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol., 2021

Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices.
Empir. Softw. Eng., 2021

2020
ExpRunA : a domain-specific approach for technology-oriented experiments.
Softw. Syst. Model., 2020

Assessing a swarm-GAP based solution for the task allocation problem in dynamic scenarios.
Expert Syst. Appl., 2020

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2018
All roads lead to Rome: Commuting strategies for product-line reliability analysis.
Sci. Comput. Program., 2018

Feature-family-based reliability analysis of software product lines.
Inf. Softw. Technol., 2018

2017
Software product lines traceability: A systematic mapping study.
Inf. Softw. Technol., 2017

Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain.
Inf. Softw. Technol., 2017

Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method.
Clust. Comput., 2017

2016
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis.
Inf. Softw. Technol., 2016

Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method.
Proceedings of the 2016 International Conference on Cloud and Autonomic Computing, 2016

2015
Safe evolution templates for software product lines.
J. Syst. Softw., 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

Modeling and Verification for Probabilistic Properties in Software Product Lines.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

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

Analysing Variability Management in BPM and SPL: A Knowledge Mapping.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game Porting.
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Porting mobile games in an aspect-oriented way: An industrial case study.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study.
J. Syst. Softw., 2012

Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis.
Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2011

Techniques for Developing a Product Line of Product Line Tools: A Comparative Study.
Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

Exploring Architecture-Based Reliability Analysis of Current Multi-layered Web Applications.
Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

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

Portability as an aspect: rethinking modularity in mobile game development.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Managing variability in business processes: an aspect-oriented approach.
Proceedings of the 2011 international workshop on Early aspects, 2011

2010
Requirements engineering for software product lines: A systematic literature review.
Inf. Softw. Technol., 2010

Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida.
Proceedings of the 6th Brazilian Symposium on Information Systems, 2010

Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study.
Proceedings of the Fourth Brazilian Symposium on Software Components, 2010

An Assessment on Technologies for Implementing Core Assets in Service-Oriented Product Lines.
Proceedings of the Fourth Brazilian Symposium on Software Components, 2010

2009
Comparitive Study of Variability Management in Software Product Lines and Runtime Adaptable Systems.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

2008
Early Aspects: Aspect-Oriented Requirements and Architecture for Product Lines (EA@SPLC.08).
Proceedings of the Software Product Lines, 12th International Conference, 2008

An Exploratory Study of Information Retrieval Techniques in Domain Analysis.
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

Experiences with Mobile Games Product Line Development at Meantime.
Proceedings of the Software Product Lines, 12th International Conference, 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

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

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

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

2006
Implementing Framework Crosscutting Extensions with EJPs and AspectJ.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 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
Extracting and Evolving Mobile Games Product Lines.
Proceedings of the Software Product Lines, 9th International Conference, 2005

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

2004
Identifying Variations in Mobile Devices.
J. Object Technol., 2004

2001
An Implementation Method for Distributed Object-Oriented Applications.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001


  Loading...