Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (ECOWS, 2008)

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (ICE-B, 2008)

Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (SOSE, 2008)

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (ECOWS, 2009)

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (ICWE, 2009)

Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. - Manuel Palomo-Duarte; Antonio García-Domínguez; Alejandro Álvarez-Ayllón; Inmaculada Medina-Bulo (JISBD, 2009)

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (ICWE, 2010)

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo; Alejandro Álvarez-Ayllón; Javier Santacruz (ICWE, 2010)

SODM+T: Inferencia de restricciones de rendimiento. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (JISBD, 2010)

Mutación evolutiva. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (JISBD, 2010)

Towards Higher-order Mutant Generation for WS-BPEL. - Emma Blanco-Muñoz; Antonio García-Domínguez; Juan José Domínguez-Jiménez; Inmaculada Medina-Bulo (ICE-B, 2011)

Model-driven Design of Performance Requirements with UML and MARTE. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (ICSOFT (2), 2011)

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (ICSOFT (Selected Papers), 2011)

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. - Juan Boubeta-Puig; Inmaculada Medina-Bulo; Antonio García-Domínguez (ICST Workshops, 2011)

EUnit: A Unit Testing Framework for Model Management Tasks. - Antonio García-Domínguez; Dimitrios S. Kolovos; Louis M. Rose; Richard F. Paige; Inmaculada Medina-Bulo (MoDELS, 2011)

Model-Driven Design of Performance Requirements. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (QSIC, 2011)

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case - Louis M. Rose; Antonio García-Domínguez; James R. Williams; Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (TTC, 2011)

Evolutionary mutation testing. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (Inf. Softw. Technol., 2011)

Competitive evaluation in a video game development course. - Manuel Palomo-Duarte; Juan Manuel Dodero; José Tomás Tocino; Antonio García-Domínguez; Antonio Balderas (ITiCSE, 2012)

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. - Antonia Estero-Botaro; Antonio García-Domínguez; Juan José Domínguez-Jiménez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo (ICTSS, 2014)

Scalability of assessments of wiki-based learning experiences in higher education. - Manuel Palomo-Duarte; Juan Manuel Dodero; Antonio García-Domínguez; Pablo Neira Ayuso; Noelia Sales-Montes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Carmen Castro-Cabrera; Emilio J. Rodríguez-Posada; Antonio Balderas (Comput. Hum. Behav., 2014)

Betting system for formative code review in educational competitions. - Manuel Palomo-Duarte; Juan Manuel Dodero; Antonio García-Domínguez (Expert Syst. Appl., 2014)

Automatic dynamic generation of likely invariants for WS-BPEL compositions. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (Expert Syst. Appl., 2014)

Two Case Studies on Generating Administrative Process Applications with AdminDSL. - Antonio García-Domínguez; Ismael Jerez-Ibáñez; Inmaculada Medina-Bulo (BMSD, 2015)

Class mutation operators for C++ object-oriented systems. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Antonio García-Domínguez; Francisco Palomo-Lozano (Ann. des Télécommunications, 2015)

Quality metrics for mutation testing with applications to WS-BPEL compositions. - Antonia Estero-Botaro; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Antonio García-Domínguez (Softw. Test. Verification Reliab., 2015)

Stress-Testing Centralised Model Stores. - Antonio García-Domínguez; Konstantinos Barmpis; Dimitrios S. Kolovos; Ran Wei; Richard F. Paige (ECMFA, 2016)

Models from Code, or Code as Models? - Antonio García-Domínguez; Dimitris S. Kolovos (OCL@MoDELS, 2016)

Integration of a graph-based model indexer in commercial modelling tools. - Antonio García-Domínguez; Konstantinos Barmpis; Dimitrios S. Kolovos; Marcos Aurélio Almeida da Silva; Antonin Abherve; Alessandra Bagnato (MoDELS, 2016)

Towards Flexible Parsing of Structured Textual Model Representations. - Dimitrios S. Kolovos; Nicholas Matragkas; Antonio García-Domínguez (FlexMDE@MoDELS, 2016)

Partial loading of XMI models. - Ran Wei; Dimitrios S. Kolovos; Antonio García-Domínguez; Konstantinos Barmpis; Richard F. Paige (MoDELS, 2016)

MONDO: Scalable Modelling and Model Management on the Cloud. - Dimitrios S. Kolovos; Antonio García-Domínguez; Richard F. Paige; Esther Guerra; Jesús Sánchez Cuadrado; Juan de Lara; István Ráth; Dániel Varró; Gerson Sunyé; Massimo Tisi (STAF Doctoral Symposium / Showcase, 2016)

GiGAn: evolutionary mutation testing for C++ object-oriented systems. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura; Antonio García-Domínguez; Juan José Domínguez-Jiménez (SAC, 2017)

Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation. - Antonio García-Domínguez; Nelly Bencomo (STAF Workshops, 2017)

Assessment of class mutation operators for C++ with the MuCPP mutation system. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Antonio García-Domínguez; Juan José Domínguez-Jiménez (Inf. Softw. Technol., 2017)

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Antonio García-Domínguez; Juan José Domínguez-Jiménez (Inf. Softw. Technol., 2017)

Reconocimiento de actividades infantiles utilizando sonido ambiental: Un enfoque preliminar. - Antonio García-Domínguez; Carlos Eric Galván-Tejada (Res. Comput. Sci., 2017)

Eugenia: towards disciplined and automated development of GMF-based graphical model editors. - Dimitrios S. Kolovos; Antonio García-Domínguez; Louis M. Rose; Richard F. Paige (Softw. Syst. Model., 2017)

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). - Mojtaba Bagherzadeh; Francis Bordeleau; Juergen Dingel; Michalis Famelis; Antonio García-Domínguez; Raquel Araújo de Oliveira; Ernesto Posse; Ed Seidewitz; Bran Selic (MoDELS (Workshops), 2018)

Reflecting on the past and the present with temporal graph-based models. - Antonio García-Domínguez; Nelly Bencomo; Luis Hernán García Paucar (MoDELS (Workshops), 2018)

Integration of Hawk for Model Metrics in the MEASURE Platform. - Orjuwan Al-Wadeai; Antonio García-Domínguez; Alessandra Bagnato; Antonin Abherve; Konstantinos Barmpis (MODELSWARD, 2018)

Hawk Solutions to the TTC 2018 Social Media Case. - Antonio García-Domínguez (TTC@STAF, 2018)

Comparación del nivel de precisión de los clasificadores Support Vector Machines, k Nearest Neighbors, Random Forests, Extra Trees y Gradient Boosting en el reconocimiento de actividades infantiles utilizando sonido ambiental. - Diego M. Blanco-Murillo; Antonio García-Domínguez; Carlos Eric Galván-Tejada; José M. Celaya-Padilla (Res. Comput. Sci., 2018)

Using constraint solvers to support metamorphic testing. - M. Carmen de Castro-Cabrera; Antonio García-Domínguez; Inmaculada Medina-Bulo (MET@ICSE, 2019)

Evaluation of Five Classifiers for Children Activity Recognition with Sound as Information Source and Akaike Criterion for Feature Selection. - Antonio García-Domínguez; Laura A. Zanella-Calzada; Carlos Eric Galván-Tejada; Jorge I. Galván-Tejada; José M. Celaya-Padilla (MCPR, 2019)

A Case Study of Model-Driven Engineering for Automated Timetabling. - Clement Eke; Antonio García-Domínguez; Jort van Mourik; Ifti Khan (MoDELS (Companion), 2019)

Querying and Annotating Model Histories with Time-Aware Patterns. - Antonio García-Domínguez; Nelly Bencomo; Juan Marcelo Parra Ullauri; Luis Hernán García Paucar (MoDELS, 2019)

Monitoring ArchiMate Models for DataBio Project. - Kaïs Chaabouni; Alessandra Bagnato; Antonio García-Domínguez (PROFES, 2019)

Towards History-Aware Self-Adaptation with Explanation Capabilities. - Antonio García-Domínguez; Nelly Bencomo; Juan Marcelo Parra Ullauri; Luis Hernán García Paucar (FAS*W@SASO/ICAC, 2019)

Truth Tables to Binary Decision Diagrams. - Antonio García-Domínguez; Georg Hinkel (TTC@STAF, 2019)

The TTC 2019 Live Case: BibTeX to DocBook. - Antonio García-Domínguez; Georg Hinkel (TTC@STAF, 2019)

Scaling-up domain-specific modelling languages through modularity services. - Antonio Garmendia; Esther Guerra; Juan de Lara; Antonio García-Domínguez; Dimitris S. Kolovos (Inf. Softw. Technol., 2019)

Stress-testing remote model querying APIs for relational and graph-based stores. - Antonio García-Domínguez; Konstantinos Barmpis; Dimitrios S. Kolovos; Ran Wei; Richard F. Paige (Softw. Syst. Model., 2019)

Evolutionary mutation testing for IoT with recorded and generated events. - Lorena Gutiérrez-Madronal; Antonio García-Domínguez; Inmaculada Medina-Bulo (Softw. Pract. Exp., 2019)

Combining Evolutionary Mutation Testing with Random Selection. - Lorena Gutiérrez-Madroñal; Antonio García-Domínguez; Inmaculada Medina-Bulo (CEC, 2020)

Automated provenance graphs for models@run.time. - Owen Reynolds; Antonio García-Domínguez; Nelly Bencomo (MoDELS (Companion), 2020)

Trends in prioritization of test cases: 2017-2019. - M. Carmen de Castro-Cabrera; Antonio García-Domínguez; Inmaculada Medina-Bulo (SAC, 2020)

Towards automated provenance collection for runtime models to record system history. - Owen Reynolds; Antonio García-Domínguez; Nelly Bencomo (SAM, 2020)

Temporal Models for History-Aware Explainability. - Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Luis Hernán García Paucar; Nelly Bencomo (SAM, 2020)

Estimation of Indoor Location Through Magnetic Field Data: An Approach Based On Convolutional Neural Networks. - Carlos Eric Galván-Tejada; Laura A. Zanella-Calzada; Antonio García-Domínguez; Rafael Magallanes-Quintanar; Huizilopoztli Luna-García; José M. Celaya-Padilla; Jorge I. Galván-Tejada; Alberto Vélez-Rodríguez; Hamurabi Gamboa-Rosales (ISPRS Int. J. Geo Inf., 2020)

Feature Selection Using Genetic Algorithms for the Generation of a Recognition and Classification of Children Activities Model Using Environmental Sound. - Antonio García-Domínguez; Carlos Eric Galván-Tejada; Laura A. Zanella-Calzada; Hamurabi Gamboa-Rosales; Jorge I. Galván-Tejada; José M. Celaya-Padilla; Huizilopoztli Luna-García; Rafael Magallanes-Quintanar (Mob. Inf. Syst., 2020)

Deep artificial neural network based on environmental sound data for the generation of a children activity classification model. - Antonio García-Domínguez; Carlos Eric Galván-Tejada; Laura A. Zanella-Calzada; Hamurabi Gamboa-Rosales; Jorge I. Galván-Tejada; José M. Celaya-Padilla; Huizilopoztli Luna-García; José G. Arceo-Olague; Rafael Magallanes-Quintanar (PeerJ Comput. Sci., 2020)

Creation and Implementation of a Serious Game to Detect Depression in Young People and Children. - José Jimenez Peralta; Jaime del Angel; Alberto Ochoa 002; Antonio García-Domínguez; Carlos Eric Galván-Tejada; Jorge I. Galván-Tejada (Res. Comput. Sci., 2020)

Preface to the 1st International Hands-on Workshop on Collaborative Modeling (HoWCoM 2021). - Istvan David; Eugene Syriani; Antonio García-Domínguez (MoDELS (Companion), 2021)

From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems. - Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Nelly Bencomo (MoDELS (Companion), 2021)

Towards an architecture integrating complex event processing and temporal graphs for service monitoring. - Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Juan Boubeta-Puig; Nelly Bencomo; Guadalupe Ortiz 001 (SAC, 2021)

The Epsilon Solution to the OCL2PSQL Case. - Antonio García-Domínguez (TTC/, 2021)

The TTC 2021 OCL2PSQL case. - Hoang Nguyen Phuoc Bao; Antonio García-Domínguez; Manuel Clavel (TTC/, 2021)

Reward-Reinforced Reinforcement Learning for Multi-agent Systems. - Changgang Zheng; Shufan Yang; Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Nelly Bencomo (CoRR, 2021)

The Epsilon Playground. - Dimitris S. Kolovos; Antonio García-Domínguez (MoDELS (Companion), 2022)

Analyzing model changes with Loupe. - Saheed Popoola; Jeff Gray 001; Antonio García-Domínguez; Dimitris S. Kolovos (MoDELS (Companion), 2022)

Classifying changes to models via changeset metrics. - Saheed Popoola; Xin Zhao 041; Jeff Gray 001; Antonio García-Domínguez (MoDELS (Companion), 2022)

History-aware explanations: towards enabling human-in-the-loop in self-adaptive systems. - Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Nelly Bencomo; Luis Hernán García Paucar (MoDELS (Companion), 2022)

Picto web: a tool for complex model exploration. - Alfa Yohannis; Dimitris S. Kolovos; Antonio García-Domínguez; Carlos Javier Fernández Candel (MoDELS (Companion), 2022)

Mutation-inspired symbolic execution for software testing. - Kevin J. Valle-Gómez; Antonio García-Domínguez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo (IET Softw., 2022)

Cronista: A multi-database automated provenance collection system for runtime-models. - Owen Reynolds; Antonio García-Domínguez; Nelly Bencomo (Inf. Softw. Technol., 2022)

A cross-technology benchmark for incremental graph queries. - Georg Hinkel; Antonio García-Domínguez; René Schöne; Artur Boronat; Massimo Tisi; Théo Le Calvar; Frédéric Jouault; József Marton; Tamás Nyíri; János Benjamin Antal; Márton Elekes 001; Gábor Szárnyas (Softw. Syst. Model., 2022)

Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning. - Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Nelly Bencomo; Changgang Zheng; Chen Zhen; Juan Boubeta-Puig; Guadalupe Ortiz 001; Shufan Yang (Softw. Syst. Model., 2022)

Reward-Reinforced Generative Adversarial Networks for Multi-Agent Systems. - Changgang Zheng; Shufan Yang; Juan Marcelo Parra Ullauri; Antonio García-Domínguez; Nelly Bencomo (IEEE Trans. Emerg. Top. Comput. Intell., 2022)

An Online Education Platform for Teaching MDE. - Will Barnett; Steffen Zschaler; Artur Boronat; Antonio García-Domínguez; Dimitrios S. Kolovos (MoDELS (Companion), 2023)

2nd International Hands-On Workshop on Collaborative Modeling (HoWCoM 2023). - Istvan David; Antonio García-Domínguez; Eugene Syriani (MoDELS (Companion), 2023)

Automated Provenance Collection at Runtime as a Cross-Cutting Concern. - Owen James Reynolds; Antonio García-Domínguez; Nelly Bencomo (MoDELS (Companion), 2023)

The Epsilon Solution to the KMEHR to FHIR Case. - Antonio García-Domínguez (Agile MDE/MeSS/TTC@STAF, 2023)

Asymmetric and Directed Bidirectional Transformation for Container Orchestrations. - Antonio García-Domínguez (Agile MDE/MeSS/TTC@STAF, 2023)

A Framework for History-Aware Hyperparameter Optimisation in Reinforcement Learning. - Juan Marcelo Parra Ullauri; Chen Zhen; Antonio García-Domínguez; Nelly Bencomo; Changgang Zheng; Juan Boubeta-Puig; Guadalupe Ortiz 001; Shufan Yang (CoRR, 2023)

Computing performance requirements for web service compositions. - Antonio García-Domínguez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Alfredo Ibias; Manuel Núñez 001 (Comput. Stand. Interfaces, 2023)

Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages. - Ionut Predoaia; Dimitrios S. Kolovos; Matthias Lenk; Antonio García-Domínguez (J. Object Technol., 2023)

Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways. - Qurat ul ain Ali; Dimitris S. Kolovos; Antonio García-Domínguez; Michael Bennett; Joe Newton; Piotr Zacharzewski (MODELS, 2024)

Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol. - Antonio García-Domínguez; Dimitris S. Kolovos (MoDELS (Companion), 2024)

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. - Ionut Predoaia; James Harbin; Simos Gerasimou; Christina Vasiliou; Dimitris S. Kolovos; Antonio García-Domínguez (MODELS, 2024)

Hybrid Graphical-Textual DSL Editors: Vision, Requirements and Challenges. - Ionut Predoaia; Dimitris S. Kolovos; Antonio García-Domínguez (MoDELS (Companion), 2024)

Towards Processing YAML Documents with Model Management Languages. - Ionut Predoaia; Dimitris S. Kolovos; Antonio García-Domínguez; Matthias Lenk; Wolfram Ebel; Jan Burkl (MoDELS (Companion), 2024)

Move your MDE teaching online: The MDENet Education Platform. - Steffen Zschaler; Will Barnett; Artur Boronat; Antonio García-Domínguez; Dimitris S. Kolovos (MoDELS (Companion), 2024)

Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels. - Nathan Richardson; Dimitris S. Kolovos; Antonio García-Domínguez (SLE, 2024)

Polyglot Software Development: Wait, What? - Gunter Mussbacher; Benoît Combemale; Jörg Kienzle; Lola Burgueño; Antonio García-Domínguez; Jean-Marc Jézéquel; Gwendal Jouneaux; Djamel Eddine Khelladi; Sébastien Mosser 001; Corinne Pulgar; Houari A. Sahraoui; Maximilian Schiedermeier; et al. (IEEE Softw., 2024)

Exploring complex models with picto web. - Alfa Yohannis; Dimitrios S. Kolovos; Antonio García-Domínguez (Sci. Comput. Program., 2024)

Entity linking for English and other languages: a survey. - Imane Guellil; Antonio García-Domínguez; Peter R. Lewis 001; Shakeel Hussain; Geoffrey Smith (Knowl. Inf. Syst., 2024)

Reimplementing the Structurizr Software Architecture Modelling Language as a Hybrid DSL. - Ionut Predoaia; Dimitris S. Kolovos; Antonio García-Domínguez (ICSA Companion, 2025)

Detection of ovarian cancer using a methodology with feature extraction and selection with genetic algorithms and machine learning. - Samara Acosta-Jiménez; Miguel M. Mendoza-Mendoza; Carlos Eric Galván-Tejada; Jorge I. Galván-Tejada; José M. Celaya-Padilla; Antonio García-Domínguez; Hamurabi Gamboa-Rosales; Roberto Solís-Robles (Netw. Model. Anal. Health Informatics Bioinform., 2025)