default search action
Antonio García-Domínguez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j28]Imane Guellil, Antonio García-Domínguez, Peter R. Lewis, Shakeel Hussain, Geoffrey Smith:
Entity linking for English and other languages: a survey. Knowl. Inf. Syst. 66(7): 3773-3824 (2024) - [j27]Alfa Ryano Yohannis, Dimitrios S. Kolovos, Antonio García-Domínguez:
Exploring complex models with picto web. Sci. Comput. Program. 232: 103037 (2024) - [j26]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, Corinne Pulgar, Houari A. Sahraoui, Maximilian Schiedermeier, Tijs van der Storm:
Polyglot Software Development: Wait, What? IEEE Softw. 41(4): 124-133 (2024) - [c65]Steffen Zschaler, Will Barnett, Artur Boronat, Antonio García-Domínguez, Dimitris S. Kolovos:
Move your MDE teaching online: The MDENet Education Platform. MoDELS (Companion) 2024: 6-10 - [c64]Antonio García-Domínguez, Dimitris S. Kolovos:
Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol. MoDELS (Companion) 2024: 21-25 - [c63]Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris S. Kolovos, Antonio García-Domínguez:
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. MODELS 2024: 80-91 - [c62]Qurat ul ain Ali, Dimitris S. Kolovos, Antonio García-Domínguez, Michael Bennett, Joe Newton, Piotr Zacharzewski:
Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways. MODELS 2024: 104-113 - [c61]Ionut Predoaia, Dimitris S. Kolovos, Antonio García-Domínguez, Matthias Lenk, Wolfram Ebel, Jan Burkl:
Towards Processing YAML Documents with Model Management Languages. MoDELS (Companion) 2024: 970-979 - [c60]Ionut Predoaia, Dimitris S. Kolovos, Antonio García-Domínguez:
Hybrid Graphical-Textual DSL Editors: Vision, Requirements and Challenges. MoDELS (Companion) 2024: 1156-1160 - [e6]Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya:
Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023. CEUR Workshop Proceedings 3620, CEUR-WS.org 2024 [contents] - [i3]Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris S. Kolovos, Antonio García-Domínguez:
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. CoRR abs/2404.05846 (2024) - 2023
- [j25]Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez:
Computing performance requirements for web service compositions. Comput. Stand. Interfaces 83: 103664 (2023) - [j24]Ionut Predoaia, Dimitrios S. Kolovos, Matthias Lenk, Antonio García-Domínguez:
Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages. J. Object Technol. 22(2): 1-14 (2023) - [c59]Will Barnett, Steffen Zschaler, Artur Boronat, Antonio García-Domínguez, Dimitrios S. Kolovos:
An Online Education Platform for Teaching MDE. MoDELS (Companion) 2023: 114-121 - [c58]Owen James Reynolds, Antonio García-Domínguez, Nelly Bencomo:
Automated Provenance Collection at Runtime as a Cross-Cutting Concern. MoDELS (Companion) 2023: 276-285 - [c57]Antonio García-Domínguez:
The Epsilon Solution to the KMEHR to FHIR Case. Agile MDE/MeSS/TTC@STAF 2023 - [c56]Antonio García-Domínguez:
Asymmetric and Directed Bidirectional Transformation for Container Orchestrations. Agile MDE/MeSS/TTC@STAF 2023 - [i2]Juan Marcelo Parra Ullauri, Chen Zhen, Antonio García-Domínguez, Nelly Bencomo, Changgang Zheng, Juan Boubeta-Puig, Guadalupe Ortiz, Shufan Yang:
A Framework for History-Aware Hyperparameter Optimisation in Reinforcement Learning. CoRR abs/2303.05186 (2023) - 2022
- [j23]Kevin J. Valle-Gómez, Antonio García-Domínguez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo:
Mutation-inspired symbolic execution for software testing. IET Softw. 16(5): 478-492 (2022) - [j22]Owen Reynolds, Antonio García-Domínguez, Nelly Bencomo:
Cronista: A multi-database automated provenance collection system for runtime-models. Inf. Softw. Technol. 141: 106694 (2022) - [j21]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, Gábor Szárnyas:
A cross-technology benchmark for incremental graph queries. Softw. Syst. Model. 21(2): 755-804 (2022) - [j20]Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Nelly Bencomo, Changgang Zheng, Chen Zhen, Juan Boubeta-Puig, Guadalupe Ortiz, Shufan Yang:
Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning. Softw. Syst. Model. 21(3): 1091-1113 (2022) - [j19]Changgang Zheng, Shufan Yang, Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Nelly Bencomo:
Reward-Reinforced Generative Adversarial Networks for Multi-Agent Systems. IEEE Trans. Emerg. Top. Comput. Intell. 6(3): 479-488 (2022) - [c55]Alfa Yohannis, Dimitris S. Kolovos, Antonio García-Domínguez, Carlos Javier Fernández Candel:
Picto web: a tool for complex model exploration. MoDELS (Companion) 2022: 56-60 - [c54]Dimitris S. Kolovos, Antonio García-Domínguez:
The Epsilon Playground. MoDELS (Companion) 2022: 131-137 - [c53]Saheed Popoola, Xin Zhao, Jeff Gray, Antonio García-Domínguez:
Classifying changes to models via changeset metrics. MoDELS (Companion) 2022: 276-285 - [c52]Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Nelly Bencomo, Luis Hernán García Paucar:
History-aware explanations: towards enabling human-in-the-loop in self-adaptive systems. MoDELS (Companion) 2022: 286-295 - [c51]Saheed Popoola, Jeff Gray, Antonio García-Domínguez, Dimitris S. Kolovos:
Analyzing model changes with Loupe. MoDELS (Companion) 2022: 519-528 - [e5]Artur Boronat, Antonio García-Domínguez, Georg Hinkel:
TTC 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation Contests. The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021. CEUR Workshop Proceedings 3089, CEUR-WS.org 2022 [contents] - 2021
- [c50]Istvan David, Eugene Syriani, Antonio García-Domínguez:
Preface to the 1st International Hands-on Workshop on Collaborative Modeling (HoWCoM 2021). MoDELS (Companion) 2021: 1-2 - [c49]Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Nelly Bencomo:
From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems. MoDELS (Companion) 2021: 807-816 - [c48]Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Juan Boubeta-Puig, Nelly Bencomo, Guadalupe Ortiz:
Towards an architecture integrating complex event processing and temporal graphs for service monitoring. SAC 2021: 427-435 - [c47]Antonio García-Domínguez:
The Epsilon Solution to the OCL2PSQL Case. TTC/ 2021 - [c46]Hoang Nguyen Phuoc Bao, Antonio García-Domínguez, Manuel Clavel:
The TTC 2021 OCL2PSQL case. TTC/ 2021 - [i1]Changgang Zheng, Shufan Yang, Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Nelly Bencomo:
Reward-Reinforced Reinforcement Learning for Multi-agent Systems. CoRR abs/2103.12192 (2021) - 2020
- [j18]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:
Estimation of Indoor Location Through Magnetic Field Data: An Approach Based On Convolutional Neural Networks. ISPRS Int. J. Geo Inf. 9(4): 226 (2020) - [j17]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:
Feature Selection Using Genetic Algorithms for the Generation of a Recognition and Classification of Children Activities Model Using Environmental Sound. Mob. Inf. Syst. 2020: 8617430:1-8617430:12 (2020) - [j16]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:
Deep artificial neural network based on environmental sound data for the generation of a children activity classification model. PeerJ Comput. Sci. 6: e308 (2020) - [j15]José Jimenez Peralta, Jaime del Angel, Alberto Ochoa, Antonio García-Domínguez, Carlos Eric Galván-Tejada, Jorge I. Galván-Tejada:
Creation and Implementation of a Serious Game to Detect Depression in Young People and Children. Res. Comput. Sci. 149(7): 53-64 (2020) - [c45]Lorena Gutiérrez-Madroñal, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Combining Evolutionary Mutation Testing with Random Selection. CEC 2020: 1-8 - [c44]Owen Reynolds, Antonio García-Domínguez, Nelly Bencomo:
Automated provenance graphs for [email protected]. MoDELS (Companion) 2020: 53:1-53:10 - [c43]M. Carmen de Castro-Cabrera, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Trends in prioritization of test cases: 2017-2019. SAC 2020: 2005-2011 - [c42]Owen Reynolds, Antonio García-Domínguez, Nelly Bencomo:
Towards automated provenance collection for runtime models to record system history. SAM 2020: 12-21 - [c41]Juan Marcelo Parra Ullauri, Antonio García-Domínguez, Luis Hernán García Paucar, Nelly Bencomo:
Temporal Models for History-Aware Explainability. SAM 2020: 155-164 - [e4]Antonio García-Domínguez, Georg Hinkel, Filip Krikava:
Proceedings of the 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, Eindhoven, The Netherlands, July 19, 2019. CEUR Workshop Proceedings 2550, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j14]Antonio Garmendia, Esther Guerra, Juan de Lara, Antonio García-Domínguez, Dimitris S. Kolovos:
Scaling-up domain-specific modelling languages through modularity services. Inf. Softw. Technol. 115: 97-118 (2019) - [j13]Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige:
Stress-testing remote model querying APIs for relational and graph-based stores. Softw. Syst. Model. 18(2): 1047-1075 (2019) - [j12]Lorena Gutiérrez-Madronal, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Evolutionary mutation testing for IoT with recorded and generated events. Softw. Pract. Exp. 49(4): 640-672 (2019) - [c40]M. Carmen de Castro-Cabrera, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Using constraint solvers to support metamorphic testing. MET@ICSE 2019: 32-39 - [c39]Antonio García-Domínguez, Laura A. Zanella-Calzada, Carlos Eric Galván-Tejada, Jorge I. Galván-Tejada, José M. Celaya-Padilla:
Evaluation of Five Classifiers for Children Activity Recognition with Sound as Information Source and Akaike Criterion for Feature Selection. MCPR 2019: 398-407 - [c38]Antonio García-Domínguez, Nelly Bencomo, Juan Marcelo Parra Ullauri, Luis Hernán García Paucar:
Querying and Annotating Model Histories with Time-Aware Patterns. MoDELS 2019: 194-204 - [c37]Clement Eke, Antonio García-Domínguez, Jort van Mourik, Ifti Khan:
A Case Study of Model-Driven Engineering for Automated Timetabling. MoDELS (Companion) 2019: 203-210 - [c36]Kaïs Chaabouni, Alessandra Bagnato, Antonio García-Domínguez:
Monitoring ArchiMate Models for DataBio Project. PROFES 2019: 583-589 - [c35]Antonio García-Domínguez, Nelly Bencomo, Juan Marcelo Parra Ullauri, Luis Hernán García Paucar:
Towards History-Aware Self-Adaptation with Explanation Capabilities. FAS*W@SASO/ICAC 2019: 18-23 - [c34]Antonio García-Domínguez, Georg Hinkel:
Truth Tables to Binary Decision Diagrams. TTC@STAF 2019: 3-7 - [c33]Antonio García-Domínguez, Georg Hinkel:
The TTC 2019 Live Case: BibTeX to DocBook. TTC@STAF 2019: 61-65 - [e3]Antonio García-Domínguez, Georg Hinkel, Filip Krikava:
Proceedings of the 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018. CEUR Workshop Proceedings 2310, CEUR-WS.org 2019 [contents] - 2018
- [j11]Diego M. Blanco-Murillo, Antonio García-Domínguez, Carlos Eric Galván-Tejada, José M. Celaya-Padilla:
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. 147(5): 281-290 (2018) - [c32]Antonio García-Domínguez, Nelly Bencomo, Luis Hernán García Paucar:
Reflecting on the past and the present with temporal graph-based models. MoDELS (Workshops) 2018: 46-55 - [c31]Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic:
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). MoDELS (Workshops) 2018: 303-304 - [c30]Orjuwan Al-Wadeai, Antonio García-Domínguez, Alessandra Bagnato, Antonin Abherve, Konstantinos Barmpis:
Integration of Hawk for Model Metrics in the MEASURE Platform. MODELSWARD 2018: 719-730 - [c29]Antonio García-Domínguez:
Hawk Solutions to the TTC 2018 Social Media Case. TTC@STAF 2018: 51-55 - 2017
- [j10]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
Assessment of class mutation operators for C++ with the MuCPP mutation system. Inf. Softw. Technol. 81: 169-184 (2017) - [j9]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
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. 87: 103 (2017) - [j8]Antonio García-Domínguez, Carlos Eric Galván-Tejada:
Reconocimiento de actividades infantiles utilizando sonido ambiental: Un enfoque preliminar. Res. Comput. Sci. 139: 71-79 (2017) - [j7]Dimitrios S. Kolovos, Antonio García-Domínguez, Louis M. Rose, Richard F. Paige:
Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Softw. Syst. Model. 16(1): 229-255 (2017) - [c28]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
GiGAn: evolutionary mutation testing for C++ object-oriented systems. SAC 2017: 1387-1392 - [c27]Antonio García-Domínguez, Nelly Bencomo:
Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation. STAF Workshops 2017: 161-171 - [e2]Antonio García-Domínguez, Georg Hinkel, Filip Krikava:
Proceedings of the 10th Transformation Tool Contest (TTC 2017), co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017. CEUR Workshop Proceedings 2026, CEUR-WS.org 2017 [contents] - 2016
- [c26]Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige:
Stress-Testing Centralised Model Stores. ECMFA 2016: 48-63 - [c25]Dimitrios S. Kolovos, Nicholas Matragkas, Antonio García-Domínguez:
Towards Flexible Parsing of Structured Textual Model Representations. FlexMDE@MoDELS 2016: 22-31 - [c24]Antonio García-Domínguez, Dimitris S. Kolovos:
Models from Code, or Code as Models? OCL@MoDELS 2016: 137-148 - [c23]Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige:
Partial loading of XMI models. MoDELS 2016: 329-339 - [c22]Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Marcos Aurélio Almeida da Silva, Antonin Abherve, Alessandra Bagnato:
Integration of a graph-based model indexer in commercial modelling tools. MoDELS 2016: 340-350 - [c21]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:
MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase 2016: 55-64 - [e1]Antonio García-Domínguez, Filip Krikava, Louis M. Rose:
Proceedings of the 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 8, 2016. CEUR Workshop Proceedings 1758, CEUR-WS.org 2016 [contents] - 2015
- [j6]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano:
Class mutation operators for C++ object-oriented systems. Ann. des Télécommunications 70(3-4): 137-148 (2015) - [j5]Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez:
Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test. Verification Reliab. 25(5-7): 536-571 (2015) - [c20]Antonio García-Domínguez, Ismael Jerez-Ibáñez, Inmaculada Medina-Bulo:
Two Case Studies on Generating Administrative Process Applications with AdminDSL. BMSD 2015: 96-116 - 2014
- [j4]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:
Scalability of assessments of wiki-based learning experiences in higher education. Comput. Hum. Behav. 31: 638-650 (2014) - [j3]Manuel Palomo-Duarte, Juan Manuel Dodero, Antonio García-Domínguez:
Betting system for formative code review in educational competitions. Expert Syst. Appl. 41(5): 2222-2230 (2014) - [j2]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Automatic dynamic generation of likely invariants for WS-BPEL compositions. Expert Syst. Appl. 41(11): 5041-5055 (2014) - [c19]Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. ICTSS 2014: 1-16 - 2012
- [c18]Manuel Palomo-Duarte, Juan Manuel Dodero, José Tomás Tocino, Antonio García-Domínguez, Antonio Balderas:
Competitive evaluation in a video game development course. ITiCSE 2012: 321-326 - 2011
- [j1]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Evolutionary mutation testing. Inf. Softw. Technol. 53(10): 1108-1123 (2011) - [c17]Emma Blanco-Muñoz, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo:
Towards Higher-order Mutant Generation for WS-BPEL. ICE-B 2011: 143-148 - [c16]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
Model-driven Design of Performance Requirements with UML and MARTE. ICSOFT (2) 2011: 54-63 - [c15]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. ICSOFT (Selected Papers) 2011: 136-150 - [c14]Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio García-Domínguez:
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. ICST Workshops 2011: 398-407 - [c13]Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo:
EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409 - [c12]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
Model-Driven Design of Performance Requirements. QSIC 2011: 76-85 - [c11]Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339 - 2010
- [c10]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. ICWE 2010: 490-493 - [c9]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz:
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. ICWE 2010: 531-534 - [c8]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
SODM+T: Inferencia de restricciones de rendimiento. JISBD 2010: 103-106 - [c7]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Mutación evolutiva. JISBD 2010: 281-292
2000 – 2009
- 2009
- [c6]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. ECOWS 2009: 97-106 - [c5]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. ICWE 2009: 469-472 - [c4]Manuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez-Ayllón, Inmaculada Medina-Bulo:
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. JISBD 2009: 367-370 - 2008
- [c3]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions. ECOWS 2008: 63-72 - [c2]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. ICE-B 2008: 37-44 - [c1]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition. SOSE 2008: 109-114
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint