Publications in International Conferences

<<5 Best Paper Awards 🏆>>

#32 ◼️ David Fernández-Amoros, Rubén Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes 

Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool28th International Systems and Software Product Line Conference (SPLC). 2024DOI: -

<<Collaboration with National Distance Education University (UNED) and University of Seville>>

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Luxembourg

Sep. 2024

#31 ◼️ David Romero Organvidez, David Benavides, José Miguel Horcas, María Teresa Gómez López

Variability in data transformation: towards data migration product lines18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS). 2024DOI: https://doi.org/10.1145/3634713.3634724

<<Collaboration with University of Seville>>

GGS: WP 

LiveSHINE: BMA: C

Bern, Switzerland

Feb. 2024

#30 ◼️ José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes

Elimination of constraints for parallel analysis of feature models27th International Systems and Software Product Line Conference (SPLC). 2023DOI: https://doi.org/10.1145/3579027.3608981

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Tokyo, Japan

Aug-Sep. 2023

#29 ◼️ Lola Burgueño, José Miguel Horcas, Jörg Kienzle

Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs27th International Systems and Software Product Line Conference (SPLC). 2023DOI: https://doi.org/10.1145/3579027.3608975

<<Collaboration with McGill University>>

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Tokyo, Japan

Aug-Sep. 2023

#28 ◼️ José A. Galindo, José Miguel Horcas, Alexander Felferning, David Fernández-Amoros, David Benavides

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models27th International Systems and Software Product Line Conference (SPLC). Demo and Tools Track. 2023DOI: https://doi.org/10.1145/3579028.3609008

<<Collaboration with University of Seville, Graz University of Technology, and National Distance Education University (UNED)>>

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Tokyo, Japan

Aug-Sep. 2023

#27 ◼️ José Miguel Horcas, José A. Galindo, David Benavides

Variability in Data Visualization: a Software Product Line Approach26th International Systems and Software Product Line Conference (SPLC). 2022DOI: https://doi.org/10.1145/3546932.3546993

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Graz, Austria

Sep. 2022

#26 ◼️ José Miguel Horcas, José A. Galindo, Mónica Pinto, Lidia Fuentes,David Benavides

FM Fact Label: A Configurable and Interactive Visualization of Feature Model Characterizations26th International Systems and Software Product Line Conference (SPLC). Demo and Tools Track. 2022DOI: https://doi.org/10.1145/3503229.3547025

<<Collaboration with University of Málaga>>

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Graz, Austria

Sep. 2022

#25 ◼️ Jabier Martinez, Daniel Strüber, José Miguel Horcas, Alexandru Burdusel, Steffen Zschaler

Acapulco: An extensible tool for identifying optimal and consistent feature model configurations26th International Systems and Software Product Line Conference (SPLC). Demo and Tools Track. 2022DOI: https://doi.org/10.1145/3503229.3547067

<<Collaboration with Chalmers University of Gothenburg | Radboud University Nijmegen, Tecnalia, and King's College London>>
<<Post-doctoral stay @ King's College London>>

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Graz, Austria

Sep. 2022

#24 ◼️ David Romero, José A. Galindo, José Miguel Horcas, David Benavides

Variability-aware data migration tool1st International Workshop on Technical Debt for Variability-intensive Systems (TD4ViS) @ SPLC. 2022DOI: https://doi.org/10.1145/3503229.3547062

Graz, Austria

Sep. 2022

#23 ◼️ José Miguel Horcas, A. Germán Márquez, José A. Galindo, David Benavides

Monte Carlo simulations for variability analyses in highly configurable systems23rd International Workshop on Configuration (ConfWS). 2021DOI: http://ceur-ws.org/Vol-2945/32-JMHA-ConfWS21_paper_19.pdf

🏆 <<Best Paper Award>> 🏆

Vienna, Austria

Sep. 2021

#22 ◼️ José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernandez-Amoros, David Benavides

Monte Carlo Tree Search for feature model analyses: a general  framework for decision-making25th International Systems and Software Product Line Conference (SPLC). 2021DOI: https://doi.org/10.1145/3461001.3471146

🏆 <<Best Paper Award>> 🏆

<<Collaboration with National Distance Education University (UNED)>>

GGS: A- 

Core: B
LiveSHINE: AMA: A-

Leicester, UK

Sep. 2021

#21 ◼️ David Romero, José A. Galindo, José Miguel Horcas, David Benavides

A first prototype of a new repository for feature model exchange and knowledge sharing4th International Workshop on Languages for Modelling Variability (MODEVAR@SPLC). 2021DOI: https://doi.org/10.1145/3461002.3473949

Leicester, UK

Sep. 2021

#20 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Extensible and modular abstract syntax for feature modeling based on language constructs24th International Systems and Software Product Line Conference (SPLC). 2020: 10:1-7DOI: https://doi.org/10.1145/3382025.3414959

GGS: A- 

LiveSHINE: AMA: A-

Montréal, Canada

Oct. 2020

#19 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Software Product Line Engineering: A practical experience23rd International Systems and Software Product Line Conference (SPLC). 2019: 25:1-25:13DOI: https://doi.org/10.1145/3336294.3336304

GGS: A- 

LiveSHINE: AMA: A-

Paris, France

Sep. 2019

#18 ◼️ Inmaculada Ayala, Mercedes Amor, José Miguel Horcas, Lidia Fuentes

Model Driven Evolution of an Agent-Based Home Energy Management System17th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SoMeT). 2018: 17-30DOI: https://doi.org/10.3233/978-1-61499-900-3-17

🏆 <<Best Paper Award>> 🏆

GGS: WP 

CORE: BLiveSHINE: C

Granada, Spain

Sep. 2018

#17 ◼️ José Miguel Horcas, Alejandro Cortiñas, Lidia Fuentes, Miguel R. Luaces

Integrating the Common Variability Language with multilanguage annotations for web engineering22nd International Systems and Software Product Line Conference (SPLC). 2018: 196-207DOI: https://doi.org/10.1145/3233027.3233049

<<Collaboration with Universidade da Coruña and Enxenio S.L.>>

GGS: A- 

LiveSHINE: AMA: A-

Gothenburg, Sweden

Sep. 2018

#16 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Nadia Gámez

Self-adaptive energy-efficent applications: the HADAS developing approach15th IEEE International Conference on Pervasive Intelligence and Computing (PICom). 2017: 828-835DOI: https://doi.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2017.140

<<Collaboration with Universidad Internacional de La Rioja>>

Orlando, USA

Nov. 2017

#15 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Extending the Common Variability Language (CVL) engine: A practical tool21st International Systems and Software Product Line Conference (SPLC). Data, Demonstrations and Tools track. 2017: 32-37DOI: https://doi.org/10.1145/3109729.3109749

🏆 <<Hitachi Young Best Paper Award>> 🏆

GGS: A- 

LiveSHINE: AMA: A-

Sevilla, Spain

Sep. 2017

#14 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Green configurations of Functional Quality Attributes21st International Systems and Software Product Line Conference (SPLC). 2017: 79-83DOI: https://doi.org/10.1145/3106195.3106205

GGS: A- 

LiveSHINE: AMA: A-

Sevilla, Spain

Sep. 2017

#13 ◼️ Inmaculada Ayala, José Miguel Horcas, Mercedes Amor, Lidia Fuentes

Using models at runtime to adapt self-managed agents for the IoT14th German Conference on Multiagent System Technologies (MATES). 2016: 155-173DOI: https://doi.org/10.1007/978-3-319-45889-2_12

🏆 <<Best Paper Award>> 🏆

GGS: WP 

LiveSHINE: CMA: CCORE (ERA): B

Klagenfurt, Austria

Sep. 2016

#12 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Product line architecture for automatic evolution of multi-tenant applications20th IEEE International Enterprise Distributed Object Computing Conference (EDOC). 2016: 1-10DOI: https://doi.org/10.1109/EDOC.2016.7579384

GGS: B 

CORE: BLiveSHINE: A-MA: B

Vienna, Austria

Sep. 2016

#11 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Automatic enforcement of security properties13th International Conference On Trust, Privacy & Security In Digital Business (TrustBus). 2016: 19-31DOI: https://doi.org/10.1007/978-3-319-44341-6_2

GGS: WP

CORE: B MA: C

Porto, Portugal

Sep. 2016

#10 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Steffen Zschaler

Towards contractual interfaces for reusable Functional Quality Attribute operationalisations1st International Modularity in Modelling Workshop (MOMO) @ MODULARITY (Companion). 2016: 201-205DOI: https://doi.org/10.1145/2892664.2892700

<<Collaboration with King's College London>>

Málaga, Spain

Mar. 2016

#9 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Towards the dynamic reconfiguration of Quality Attributes1st Workshop on Live Adaptation of Software SYstems (LASSY) @ MODULARITY (Companion). 2016: 131-136DOI: https://doi.org/10.1145/2892664.2892686

Málaga, Spain

Mar. 2016

#8 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Wissam Mallouli, Edgardo Montes de Oca

Dynamic deployment and monitoring of security policies12th International Conference On Trust, Privacy & Security In Digital Business (TrustBus). 2015: 180-192DOI: https://doi.org/10.1007/978-3-319-22906-5_14

<<Collaboration with Montimage>>

GGS: WP

CORE: B MA: C

Valencia, Spain

Sep. 2015

#7 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Closing the gap between the specification and enforcement of security policies11th International Conference On Trust, Privacy & Security In Digital Business (TrustBus). 2014: 106-118DOI: https://doi.org/10.1007/978-3-319-09770-1_10

GGS: WP

CORE: B MA: C

Munich, Germany

Sep. 2014

#6 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Runtime enforcement of dynamic security policies8th European Conference on Software Architecture (ECSA). 2014: 340-356DOI: https://doi.org/10.1007/978-3-319-09970-5_29

GGS: B

CORE: ALiveSHINE: BMA: C

Vienna, Austria

Aug. 2014

#5 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Injecting Quality Attributes into software architectures with the Common Variability Language17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) (part of CompArch). 2014: 35-44DOI: https://doi.org/10.1145/2602458.2602460

GGS: B

LiveSHINE: BMA: A-Core (2014): B

Lille, France

Jun. - Jul. 2014

#4 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

An Aspect-Oriented model transformation to weave security using CVL2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). 2014: 138-147DOI: https://doi.org/10.5220/0004890601380147

Lisbon, Portugal

Jan. 2014

#3 ◼️ Mónica Pinto, José Miguel Horcas

How to develop secure applications with Aspect-Oriented Programming8th International Conference on Risks and Security of Internet and Systems (CRiSIS). 2013: 1-3DOI: https://doi.org/10.1109/CRiSIS.2013.6766345

<<Tutorial>>

GGS: WP

CORE: C

La Rochelle, France

Oct. 2013

#2 ◼️ José Miguel Horcas, Mónica Pinto, Lidia Fuentes

Variability and dependency modeling of Quality Attributes39th Euromicro Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA). 2013: 185-188DOI: https://doi.org/10.1109/SEAA.2013.20

GGS: WP

CORE: C

Santander, Spain

Sep. 2013

#1 ◼️ José Miguel Horcas

Modeling of Quality Attributes using an Aspect-Oriented Software-Product Line approach7th European Conference on Software Architecture (ECSA). Doctoral Symposium: PhD Students Worshop. 2013URL: https://info-web.lirmm.fr/ecoop13/images/ds/4-paper-jose%20miguel%20horcas%20aguilera.pdf

<<Doctoral Symposium>>

GGS: B

CORE: ALiveSHINE: BMA: C

Montpellier, France

Jul. 2013