José Miguel Horcas
Orcid: 0000-0002-7771-0575Affiliations:
- University of Málaga, Department of Computer Science and Programming Languages, Spain
  According to our database1,
  José Miguel Horcas
  authored at least 63 papers
  between 2013 and 2025.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
- 
    on linkedin.com
- 
    on orcid.org
On csauthors.net:
Bibliography
  2025
FMSans: An efficient approach for constraints removal and parallel analysis of feature models.
    
  
    J. Syst. Softw., 2025
    
  
Leveraging belief uncertainty for informed decision making in software product line evolution.
    
  
    J. Syst. Softw., 2025
    
  
    J. Syst. Softw., 2025
    
  
The Kubernetes variability model: Synthesizing variability from the K8s API Documentation: A case study.
    
  
    Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, 2025
    
  
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem.
    
  
    Proceedings of the 29th ACM International Systems and Software Product Line Conference, 2025
    
  
UVengine: A Universal Variability Resolution Engine for Feature Models Using Template-Based Artifacts.
    
  
    Proceedings of the 29th ACM International Systems and Software Product Line Conference, 2025
    
  
Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry.
    
  
    Proceedings of the 29th ACM International Systems and Software Product Line Conference, 2025
    
  
  2024
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool".
    
  
    Dataset, June, 2024
    
  
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool".
    
  
    Dataset, April, 2024
    
  
    J. Syst. Softw., 2024
    
  
    J. Syst. Softw., 2024
    
  
    Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024
    
  
    Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024
    
  
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool.
    
  
    Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024
    
  
  2023
    Softw. Syst. Model., February, 2023
    
  
A modular metamodel and refactoring rules to achieve software product line interoperability.
    
  
    J. Syst. Softw., 2023
    
  
    J. Syst. Softw., 2023
    
  
    Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
    
  
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models.
    
  
    Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
    
  
    Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
    
  
  2022
Combining multiple granularity variability in a software product line approach for web engineering.
    
  
    Inf. Softw. Technol., 2022
    
  
    Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
    
  
Acapulco: an extensible tool for identifying optimal and consistent feature model configurations.
    
  
    Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
    
  
Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022).
    
  
    Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
    
  
<i>FM fact label</i>: a configurable and interactive visualization of feature model characterizations.
    
  
    Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
    
  
    Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
    
  
We're not gonna break it!: consistency-preserving operators for efficient product line configuration.
    
  
    Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
    
  
  2021
A first prototype of a new repository for feature model exchange and knowledge sharing.
    
  
    Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
    
  
Monte Carlo tree search for feature model analyses: a general framework for decision-making.
    
  
    Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
    
  
    Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021
    
  
  2020
    Inf. Softw. Technol., 2020
    
  
Extensible and modular abstract syntax for feature modeling based on language constructs.
    
  
    Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
    
  
  2019
A goal-driven software product line approach for evolving multi-agent systems in the Internet of Things.
    
  
    Knowl. Based Syst., 2019
    
  
    Ad Hoc Networks, 2019
    
  
    Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
    
  
  2018
    J. Softw. Evol. Process., 2018
    
  
Variability models for generating efficient configurations of functional quality attributes.
    
  
    Inf. Softw. Technol., 2018
    
  
Integrating the common variability language with multilanguage annotations for web engineering.
    
  
    Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
    
  
    Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018
    
  
  2017
    Proceedings of the 21st International Systems and Software Product Line Conference, 2017
    
  
    Proceedings of the 21st International Systems and Software Product Line Conference, 2017
    
  
    Proceedings of the 15th IEEE Intl Conf on Dependable, 2017
    
  
  2016
An automatic process for weaving functional quality attributes using a software product line approach.
    
  
    J. Syst. Softw., 2016
    
  
    Comput. Secur., 2016
    
  
    Proceedings of the Trust, Privacy and Security in Digital Business, 2016
    
  
    Proceedings of the Multiagent System Technologies - 14th German Conference, 2016
    
  
    Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016
    
  
Towards contractual interfaces for reusable functional quality attribute operationalisations.
    
  
    Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016
    
  
    Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016
    
  
  2015
<i>Addendum: </i> Pinto, M.; Gámez, N.; Fuentes, L.; Amor, M.; Horcas, J.M.; Ayala, I. Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks. <i>Sensors</i> 2015, <i>15</i>, 5251-5280.
    
  
    Sensors, 2015
    
  
    Sensors, 2015
    
  
    Proceedings of the Trust, Privacy and Security in Digital Business, 2015
    
  
  2014
    Proceedings of the Trust, Privacy, and Security in Digital Business, 2014
    
  
    Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
    
  
    Proceedings of the Software Architecture - 8th European Conference, 2014
    
  
Injecting quality attributes into software architectures with the common variability language.
    
  
    Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
    
  
  2013
    Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
    
  
    Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013