Browse by Aston Author

Valle‐Gómez, Kevin J., García‐Domínguez, Antonio, Delgado‐Pérez, Pedro and Medina‐Bulo, Inmaculada (2022). Mutation‐inspired symbolic execution for software testing. IET Software, 16 (5), pp. 478-492.

Parra, Juan, Garcia-Dominguez, Antonio, Bencomo, Nelly, Zheng, Changgang, Zhen, Chen, Boubeta-Puig, Juan, Ortiz, Guadalupe and Yang, Shufan (2022). Event-driven temporal models for explanations-ETeMoX: explaining reinforcement learning. Software and Systems Modeling, 21 (3), 1091–1113.

Garcia-Dominguez, Antonio (2022). The Epsilon Solution to the OCL2PSQL Case. CEUR workshop proceedings, 3089 ,

Reynolds, Owen, García-Domínguez, Antonio and Bencomo, Nelly (2022). Cronista:A multi-database automated provenance collection system for runtime-models. Information and Software Technology, 141 ,

Hinkel, Georg, Garcia-dominguez, Antonio, Schöne, René, Boronat, Artur, Tisi, Massimo, Le Calvar, Théo, Jouault, Frederic, Marton, József, Nyíri, Tamás, Antal, János Benjamin, Elekes, Márton and Szárnyas, Gábor (2021). A cross-technology benchmark for incremental graph queries. Software and Systems Modeling ,

Palomo-Duarte, Manuel, García-Domínguez, Antonio and Balderas, Antonio (2021). Assessment in Software Development for Competitive Environments:An AI Strategy Development Case Study. Electronics, 10 (13),

Parra-Ullauri, Juan Marcelo, García-Domínguez, Antonio, Boubeta-Puig, Juan, Bencomo, Nelly and Ortiz, Guadalupe (2021). Towards an architecture integrating complex event processing and temporal graphs for service monitoring. IN: Proceedings of the 36th Annual ACM Symposium on Applied Computing, SAC 2021. Proceedings of the 36th Annual ACM Symposium on Applied Computing . ACM.

Parra-Ullauri, Juan Marcelo, García-Domínguez, Antonio, García-Paucar, Luis Hernán and Bencomo, Nelly (2020). Temporal Models for History-Aware Explainability. IN: Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020. ACM.

Reynolds, Owen, García-Domínguez, Antonio and Bencomo, Nelly (2020). Towards automated provenance collection for runtime models to record system history. IN: Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020. Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020 . ACM.

Reynolds, Owen, García-Domínguez, Antonio and Bencomo, Nelly (2020). Automated provenance graphs for models@run.time. IN: Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings . ACM.

Garcia-Dominguez, Antonio, Hinkel, Georg and Křikava, Filip (2020). Preface to: Proceedings of the 12th Transformation Tool Contest co-located with the 2019 Software Technologies: Applications and Foundations (STAF 2019). CEUR Workshop Proceedings, 2550 ,

García-Domínguez, Antonio and Hinkel, Georg (2020). The TTC 2019 Live case:BibTex to docbook. CEUR Workshop Proceedings, 2550 , pp. 61-65.

García-Domínguez, Antonio and Hinkel, Georg (2020). Truth tables to binary decision diagrams. CEUR Workshop Proceedings, 2550 , pp. 3-7.

Garmendia, Antonio, Guerra, Esther, de Lara, Juan, García-Domínguez, Antonio and Kolovos, Dimitris (2019). Scaling-up domain-specific modelling languages through modularity services. Information and Software Technology, 115 , pp. 97-118.

García-Domínguez, Antonio, Barmpis, Konstantinos, Kolovos, Dimitrios S., Wei, Ran and Paige, Richard F. (2019). Stress-testing remote model querying APIs for relational and graph-based stores. Software and Systems Modeling, 18 (2), 1047–1075.

Gutiérrez-madroñal, Lorena, García-domínguez, Antonio and Medina-bulo, Inmaculada (2019). Evolutionary mutation testing for IoT with recorded and generated events. Software practice and experience, 49 (4), pp. 640-672.

García-Domínguez, Antonio (2019). Hawk solutions to the TTC 2018 Social Media Case. CEUR Workshop Proceedings, 2310 , pp. 51-55.

Garcia-Dominguez, Antonio, Hinkel, Georg and Křikava, Filip (2019). Preface to: Proceedings of the 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018). CEUR Workshop Proceedings, 2310 , pp. 1-2.

Bagherzadeh, Mojtaba, Bordeleau, Francis, Dingel, Juergen, Famelis, Michalis, Garcia-Dominguez, Antonio, De Oliveira, Raquel Araujo, Posse, Ernesto, Seidewitz, Ed and Selic, Bran (2018). Preface to: Proceedings of MODELS 2018 Workshops. CEUR Workshop Proceedings, 2245 , pp. 303-304.

García-Domínguez, Antonio, Bencomo, Nelly and Garcia Paucar, Luis H. (2018). Reflecting on the past and the present with temporal graph-based models. CEUR Workshop Proceedings, 2245 , pp. 46-55.

Garcia-Dominguez, Antonio and Bencomo, Nelly (2018). Non-human Modelers:Challenges and Roadmap for Reusable Self-explanation. IN: Software Technologies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10748 . DEU: Springer.

Garcia-Dominguez, Antonio, Hinkel, Georg and Křikava, Filip (2017). Preface to: Proceedings of the 10th Transformation Tool Contest (TTC 2017). CEUR Workshop Proceedings, 2026 ,

Delgado-Pérez, Pedro, Medina-Bulo, Inmaculada, Segura, Sergio, García-Domínguez, Antonio and Domínguez-Jiménez, Juan José (2017). GiGAn: Evolutionary mutation testing for C++ object-oriented systems. IN: 32nd Annual ACM Symposium on Applied Computing, SAC 2017. MAR: ACM.

Kolovos, Dimitrios S., García-Domínguez, Antonio, Rose, Louis M. and Paige, Richard F. (2017). Eugenia:towards disciplined and automated development of GMF-based graphical model editors. Software and Systems Modeling, 16 (1), 229–255.

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

Wei, Ran, Kolovos, Dimitrios S., Garcia-Dominguez, Antonio, Barmpis, Konstantinos and Paige, Richard F. (2016). Partial loading of XMI models. IN: Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. FRA: ACM.

Kolovos, Dimitrios S., Matragkas, Nicholas and García-Domínguez, Antonio (2016). Towards flexible parsing of structured textual model representations. IN: FlexMDE 2016 : Flexible Model Driven Engineering. di Ruscio, Davide; de Lara, Juan and Pierantonio, Alfonso (eds) CEUR Workshop Proceedings . FRA: CEUR-WS.org.

García-Domínguez, Antonio, Barmpis, Konstantinos, Kolovos, Dimitrios S., Wei, Ran and Paige, Richard F. (2016). Stress-testing centralised model stores. IN: European Conference on Modelling Foundations and Applications. Wąsowski, Andrzej and Lönn, Henrik (eds) Lecture Notes in Computer Science . AUT: Springer.

García-Domínguez, Antonio, Jerez-Ibáñez, Ismael and Medina-Bulo, Inmaculada (2016). Two case studies on generating administrative process applications with AdminDSL. IN: Business Modeling and Software Design. Shishkov, Boris (ed.) Lecture Notes in Business Information Processing . ITA: Springer.

Estero-Botaro, Antonia, Palomo-Lozano, Francisco, Medina-Bulo, Inmaculada, Domínguez-Jiménez, Juan José and García-Domínguez, Antonio (2015). Quality metrics for mutation testing with applications to WS-BPEL compositions. Software Testing Verification and Reliability, 25 (5-7), pp. 536-571.

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

Prades, L., Romero, F., Estruch, A., García-Dominguez, A. and Serrano, J. (2013). Defining a methodology to design and implement business process models in BPMN according to the standard ANSI/ISA-95 in a manufacturing enterprise. Procedia Engineering, 63 , pp. 115-122.

García-Domínguez, A., Marcos, Mariano and Medina, I. (2012). A comparison of BPMN 2.0 with other notations for manufacturing processes. IN: 4th Manufacturing Engineering Society International Conference, MESIC 2011. AIP Conference Proceedings, 1431 . ESP: AIP.

García-Domínguez, Antonio, Medina-Bulo, Inmaculada and Marcos-Bárcena, Mariano (2010). Inference of performance annotations in web service composition models. CEUR Workshop Proceedings, 608 ,

Medina, I., Garcia-Dominguez, A., Aguayo, F., Sevilla, L. and Marcos, M. (2009). Proposal of a methodology for implementing a service-oriented architecture in distributed manufacturing systems. IN: Third Manufacturing Engineering Society International Conference, MESIC 2009. AIP Conference Proceedings, 1181 . ESP: UNSPECIFIED.