Antonio García-Domínguez

Orcid: 0000-0002-4744-9150

According to our database1, Antonio García-Domínguez authored at least 88 papers between 2008 and 2024.

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

2024
Exploring complex models with picto web.
Sci. Comput. Program., January, 2024

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications.
CoRR, 2024

2023
Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages.
J. Object Technol., 2023

Computing performance requirements for web service compositions.
Comput. Stand. Interfaces, 2023

A Framework for History-Aware Hyperparameter Optimisation in Reinforcement Learning.
CoRR, 2023

Asymmetric and Directed Bidirectional Transformation for Container Orchestrations.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

The Epsilon Solution to the KMEHR to FHIR Case.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Automated Provenance Collection at Runtime as a Cross-Cutting Concern.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

An Online Education Platform for Teaching MDE.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Reward-Reinforced Generative Adversarial Networks for Multi-Agent Systems.
IEEE Trans. Emerg. Top. Comput. Intell., 2022

Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning.
Softw. Syst. Model., 2022

A cross-technology benchmark for incremental graph queries.
Softw. Syst. Model., 2022

<i>Cronista</i>: A multi-database automated provenance collection system for runtime-models.
Inf. Softw. Technol., 2022

Mutation-inspired symbolic execution for software testing.
IET Softw., 2022

Picto web: a tool for complex model exploration.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

History-aware explanations: towards enabling human-in-the-loop in self-adaptive systems.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Classifying changes to models via changeset metrics.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Analyzing model changes with Loupe.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

The Epsilon Playground.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021
Reward-Reinforced Reinforcement Learning for Multi-agent Systems.
CoRR, 2021

The TTC 2021 OCL2PSQL case.
Proceedings of the TTC 2020/2021, 2021

The Epsilon Solution to the OCL2PSQL Case.
Proceedings of the TTC 2020/2021, 2021

Towards an architecture integrating complex event processing and temporal graphs for service monitoring.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Preface to the 1st International Hands-on Workshop on Collaborative Modeling (HoWCoM 2021).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020
Creation and Implementation of a Serious Game to Detect Depression in Young People and Children.
Res. Comput. Sci., 2020

Deep artificial neural network based on environmental sound data for the generation of a children activity classification model.
PeerJ Comput. Sci., 2020

Feature Selection Using Genetic Algorithms for the Generation of a Recognition and Classification of Children Activities Model Using Environmental Sound.
Mob. Inf. Syst., 2020

Estimation of Indoor Location Through Magnetic Field Data: An Approach Based On Convolutional Neural Networks.
ISPRS Int. J. Geo Inf., 2020

Temporal Models for History-Aware Explainability.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Towards automated provenance collection for runtime models to record system history.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Trends in prioritization of test cases: 2017-2019.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Automated provenance graphs for models@run.time.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Combining Evolutionary Mutation Testing with Random Selection.
Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019
Evolutionary mutation testing for IoT with recorded and generated events.
Softw. Pract. Exp., 2019

Stress-testing remote model querying APIs for relational and graph-based stores.
Softw. Syst. Model., 2019

Scaling-up domain-specific modelling languages through modularity services.
Inf. Softw. Technol., 2019

The TTC 2019 Live Case: BibTeX to DocBook.
Proceedings of the 12th Transformation Tool Contest, 2019

Truth Tables to Binary Decision Diagrams.
Proceedings of the 12th Transformation Tool Contest, 2019

Towards History-Aware Self-Adaptation with Explanation Capabilities.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Monitoring ArchiMate Models for DataBio Project.
Proceedings of the Product-Focused Software Process Improvement, 2019

Querying and Annotating Model Histories with Time-Aware Patterns.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

A Case Study of Model-Driven Engineering for Automated Timetabling.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Evaluation of Five Classifiers for Children Activity Recognition with Sound as Information Source and Akaike Criterion for Feature Selection.
Proceedings of the Pattern Recognition - 11th Mexican Conference, 2019

Using constraint solvers to support metamorphic testing.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

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.
Res. Comput. Sci., 2018

Hawk Solutions to the TTC 2018 Social Media Case.
Proceedings of the 11th Transformation Tool Contest, 2018

Integration of Hawk for Model Metrics in the MEASURE Platform.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Reflecting on the past and the present with temporal graph-based models.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).
Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017
Eugenia: towards disciplined and automated development of GMF-based graphical model editors.
Softw. Syst. Model., 2017

Reconocimiento de actividades infantiles utilizando sonido ambiental: Un enfoque preliminar.
Res. Comput. Sci., 2017

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184].
Inf. Softw. Technol., 2017

Assessment of class mutation operators for C++ with the MuCPP mutation system.
Inf. Softw. Technol., 2017

Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation.
Proceedings of the Software Technologies: Applications and Foundations, 2017

GiGAn: evolutionary mutation testing for C++ object-oriented systems.
Proceedings of the Symposium on Applied Computing, 2017

2016
MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Partial loading of XMI models.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Towards Flexible Parsing of Structured Textual Model Representations.
Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Integration of a graph-based model indexer in commercial modelling tools.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Models from Code, or Code as Models?
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Stress-Testing Centralised Model Stores.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015
Quality metrics for mutation testing with applications to WS-BPEL compositions.
Softw. Test. Verification Reliab., 2015

Class mutation operators for C++ object-oriented systems.
Ann. des Télécommunications, 2015

Two Case Studies on Generating Administrative Process Applications with AdminDSL.
Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

2014
Automatic dynamic generation of likely invariants for WS-BPEL compositions.
Expert Syst. Appl., 2014

Betting system for formative code review in educational competitions.
Expert Syst. Appl., 2014

Scalability of assessments of wiki-based learning experiences in higher education.
Comput. Hum. Behav., 2014

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.
Proceedings of the Testing Software and Systems, 2014

2012
Competitive evaluation in a video game development course.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011
Evolutionary mutation testing.
Inf. Softw. Technol., 2011

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Model-Driven Design of Performance Requirements.
Proceedings of the 11th International Conference on Quality Software, 2011

EUnit: A Unit Testing Framework for Model Management Tasks.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Model-driven Design of Performance Requirements with UML and MARTE.
Proceedings of the ICSOFT 2011, 2011

Towards Higher-order Mutant Generation for WS-BPEL.
Proceedings of the ICE-B 2011, 2011

2010
Mutación evolutiva.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

SODM+T: Inferencia de restricciones de rendimiento.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.
Proceedings of the Web Engineering, 10th International Conference, 2010

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis.
Proceedings of the Web Engineering, 10th International Conference, 2010

2009
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.
Proceedings of the Web Engineering, 9th International Conference, 2009

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions.
Proceedings of the ICE-B 2008, 2008

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.
Proceedings of the ECOWS 2008, 2008


  Loading...