Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z. - Amador Durán 001; Miguel Toro; Carlos Arévalo Maldonado (JIDBD, 1996)

Especificaión formal y prototipado de un gestor básico de bases de datos relacionales. - Amador Durán 001; Miguel Toro (JIDBD, 1997)

Semántica formal de asociaciones y agregados para su implementación con reglas activas. - Octavio Martín-Díaz; Jesús Torres 001; Amador Durán Toro; José Antonio Pérez; Miguel Toro (JISBD, 1999)

Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos. - Amador Durán Toro; Beatriz Bernárdez Jiménez; Miguel Toro; Antonio Ruiz Cortés (JISBD, 1999)

A Requirements Elicitation Approach Based in Templates and Patterns. - Amador Durán Toro; Beatriz Bernárdez Jiménez; Antonio Ruiz Cortés; M. Toro Bonilla (WER, 1999)

Propuestas de Reutilización de Requisitos. - Amador Durán Toro; Francisco José García-Peñalvo; Miguel A. Laguna (JISBD, 2000)

Identificación de Patrones de Reutilización de Requisitos de Sistemas de Información. - Amador Durán Toro; Antonio Ruiz Cortés; Rafael Corchuelo; M. Toro Bonilla (WER, 2000)

Automated Support for Quality Requirements in Web-Service-Based Systems. - Antonio Ruiz Cortés; Miguel Toro; Rafael Corchuelo; Amador Durán 001 (FTDCS, 2001)

Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Miguel Toro (JISBD, 2001)

An XMLBased Approach for the Automatic Verification of Software Requirements Specifications. - Amador Durán 001; Beatriz Bernárdez 001; Antonio Ruiz Cortés; Miguel Toro (WER, 2001)

Requirements Processes: An Experience Report. - Julio César Sampaio do Prado Leite; Soeli T. Fiorini; Amador Durán 001; Beatriz Bernárdez 001; Juan Sánchez Díaz; Emilio Insfrán Pelozo (WER, 2001)

Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Beatriz Bernárdez 001; Miguel Toro (WER, 2001)

An Automated Approach to Quality-Aware Web Applications. - Antonio Ruiz Cortés; Rafael Corchuelo; Amador Durán 001 (ICEIS, 2002)

Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Miguel Toro (JISBD, 2002)

Assisting the Requirements Verifier with XML Technology. - Amador Durán 001; Antonio Ruiz Cortés; Rafael Corchuelo; Miguel Toro (JISBD, 2002)

Supporting Requirements Verification Using XSLT. - Amador Durán 001; Antonio Ruiz Cortés; Rafael Corchuelo; Miguel Toro (RE, 2002)

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Miguel Toro (WER, 2002)

Tabbed Hierarchy: A Design Pattern for the Implementation of Object-Oriented User Interfaces. - Amador Durán 001; Antonio Ruiz Cortés; Rafael Corchuelo; Octavio Martín-Díaz (Computación y Sistemas, 2002)

Verifying software requirements with XSLT. - Amador Durán 001; Antonio Ruiz Cortés; Beatriz Bernárdez 001; Miguel Toro (ACM SIGSOFT Softw. Eng. Notes, 2002)

Automating the Procurement of Web Services. - Octavio Martín-Díaz; Antonio Ruiz Cortés; Amador Durán 001; David Benavides 001; Miguel Toro (ICSOC, 2003)

Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas. - Beatriz Bernárdez 001; Amador Durán 001; Miguel Toro (JISBD, 2003)

Applying System Families Concepts to Requirements Engineering Process Definition. - Amador Durán 001; David Benavides 001; Jesús Bermejo Muñoz (PFE, 2003)

A Quality-Aware Approach to Web Services Procurement. - Octavio Martín-Díaz; Antonio Ruiz Cortés; David Benavides 001; Amador Durán 001; Miguel Toro (TES, 2003)

A Controlled Experiment for Evaluating a Metric-Based Reading Technique for Requirements Inspection. - Beatriz Bernárdez 001; Marcela Genero; Amador Durán 001; Miguel Toro (IEEE METRICS, 2004)

Empirically Driven Use Case Metamodel Evolution. - Amador Durán 001; Beatriz Bernárdez 001; Marcela Genero; Mario Piattini (UML, 2004)

Empirical Evaluation and Review of a Metrics-Based Approach for Use Case Verification. - Beatriz Bernárdez 001; Amador Durán 001; Marcela Genero (J. Res. Pract. Inf. Technol., 2004)

An Approach to Temporal-Aware Procurement of Web Services. - Octavio Martín-Díaz; Antonio Ruiz Cortés; Amador Durán 001; Carlos Müller (ICSOC, 2005)

Improving the Automatic Procurement of Web Services Using Constraint Programming. - Antonio Ruiz Cortés; Octavio Martín-Díaz; Amador Durán Toro; Miguel Toro (Int. J. Cooperative Inf. Syst., 2005)

Automated error analysis for the agilization of feature modeling. - Pablo Trinidad; David Benavides 001; Amador Durán 001; Antonio Ruiz Cortés; Miguel Toro (J. Syst. Softw., 2008)

Defining Process Performance Indicators by Using Templates and Patterns. - Adela del-Río-Ortega; Manuel Resinas Arias de Reyna; Amador Durán Toro; Antonio Ruiz Cortés (BPM, 2012)

A controlled experiment to evaluate the effects of mindfulness in software engineering. - Beatriz Bernárdez 001; Amador Durán 001; José Antonio Parejo; Antonio Ruiz Cortés (ESEM, 2014)

Modelling Service Level Agreements for Business Process Outsourcing Services. - Adela del-Río-Ortega; Antonio Manuel Gutiérrez; Amador Durán Toro; Manuel Resinas; Antonio Ruiz Cortés (CAiSE, 2015)

Automated metamorphic testing of variability analysis tools. - Sergio Segura; Amador Durán 001; Ana Belén Sánchez; Daniel Le Berre; Emmanuel Lonca; Antonio Ruiz Cortés (Softw. Test. Verification Reliab., 2015)

Using templates and linguistic patterns to define process performance indicators. - Adela del-Río-Ortega; Manuel Resinas; Amador Durán 001; Antonio Ruiz Cortés (Enterp. Inf. Syst., 2016)

A Template-Based Approach to Describing Metamorphic Relations. - Sergio Segura; Amador Durán 001; Javier Troya; Antonio Ruiz Cortés (MET@ICSE, 2017)

Performance Metamorphic Testing: Motivation and Challenges. - Sergio Segura; Javier Troya; Amador Durán Toro; Antonio Ruiz Cortés (ICSE-NIER, 2017)

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. - Amador Durán 001; David Benavides 001; Sergio Segura; Pablo Trinidad; Antonio Ruiz Cortés (Softw. Syst. Model., 2017)

Performance metamorphic testing: A Proof of concept. - Sergio Segura; Javier Troya; Amador Durán 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2018)

An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance. - Beatriz Bernárdez 001; Amador Durán 001; José Antonio Parejo; Antonio Ruiz Cortés (J. Syst. Softw., 2018)

Metamorphic relation patterns for query-based systems. - Sergio Segura; Amador Durán 001; Javier Troya; Antonio Ruiz-Cortés (MET@ICSE, 2019)

Visual ppinot: A Graphical Notation for Process Performance Indicators. - Adela del-Río-Ortega; Manuel Resinas; Amador Durán 001; Beatriz Bernárdez 001; Antonio Ruiz-Cortés; Miguel Toro (Bus. Inf. Syst. Eng., 2019)

Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018. - Margarita Cruz; Beatriz Bernárdez 001; Amador Durán 001; José Angel Galindo; Antonio Ruiz-Cortés (IEEE Access, 2020)

65 Primary Studies SMS CG-RIS. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Amador Durán Toro; Margarita Cruz; Antonio Ruiz Cortés (Zenodo, 2020)

Gender Bias in Remote Pair Programming among Software Engineering Students: The twincode Exploratory Study. - Amador Durán 001; Pablo Fernández 001; Beatriz Bernárdez 001; Nathaniel Weinman; Asli Akalin; Armando Fox (CoRR, 2021)

20 Primary Studies SMS Strategy CG. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Amador Durán 001; Antonio Quiña-Mera; Margarita Cruz; Antonio Ruiz-Cortés (Zenodo, 2021)

80 Initial Data-set Studies SMS Strategy CG. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Amador Durán 001; Antonio Quiña-Mera; Margarita Cruz; Antonio Ruiz-Cortés (Zenodo, 2021)

Semi-automated Capacity Analysis of Limitation-Aware Microservices Architectures. - Rafael Fresno-Aranda; Pablo Fernández 001; Amador Durán 001; Antonio Ruiz-Cortés (GECON, 2022)

Automated Generation of Metamorphic Relations for Query-Based Systems. - Sergio Segura; Juan C. Alonso; Alberto Martin-Lopez; Amador Durán 001; Javier Troya; Antonio Ruiz-Cortés (MET@ICSE, 2022)

Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments. - Beatriz Bernárdez 001; Amador Durán 001; José Antonio Parejo; Natalia Juristo; Antonio Ruiz-Cortés (IEEE Trans. Software Eng., 2022)

Twincode: An Instrumented Platform for Pair Programming Research. - Karim El-Refai; Daewon Kwon; David Brincau; Asli Akalin; Armando Fox; Pablo Fernández Montes; Amador Durán Toro (SIGCSE (2), 2023)

FIDES: A Proposal for Federated Accountability in the Compute Continuum. - Amador Durán 001; Pablo Fernández 001; José María García; Schahram Dustdar (IEEE Internet Comput., 2023)

Supplemental Material: Laboratory Packages for Human- Oriented Experiments in Software Engineering: An ACM Badging Approach. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Amador Durán 001; Margarita Cruz; Antonio Ruiz-Cortés (Zenodo, 2023)

A model-based approach for specifying changes in replications of empirical studies in computer Science. - Margarita Cruz; Beatriz Bernárdez 001; Amador Durán 001; Cathy Pamela Guevara-Vega; Antonio Ruiz-Cortés (Computing, 2023)

Correction to: A model-based approach for specifying changes in replications of empirical studies in computer Science. - Margarita Cruz; Beatriz Bernárdez 001; Amador Durán Toro; Cathy Pamela Guevara-Vega; Antonio Ruiz-Cortés (Computing, 2023)

isa-group/esc-falcon: Initial prototype release. - Guiomar Fernández de Bobadilla; Jesús Aparicio; Alejandro Santisteban; José María García; Pablo Fernandez 001; Amador Durán 001; Schahram Dustdar (Zenodo, 2023)

isa-group/fides: Initial prototype release. - Guiomar Fernández de Bobadilla; Alejandro Santisteban; José María García; Pablo Fernandez 001; Amador Durán 001; Schahram Dustdar (Zenodo, 2023)

Supplemental Material: Research Artifacts for Human-Oriented Experiments in Software Engineering: An ACM Badges-driven Structure Proposal. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Margarita Cruz; Amador Durán 001; Antonio Ruiz-Cortés; Martín Solari (Zenodo, 2023)

An empirical study to evaluate the impact of mindfulness on helpdesk employees. - Beatriz Bernárdez 001; José Ignacio Panach; José Antonio Parejo; Amador Durán Toro; Natalia Juristo; Antonio Ruiz-Cortés (Sci. Comput. Program., 2023)

Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Margarita Cruz; Amador Durán 001; Antonio Ruiz-Cortés; Martín Solari (J. Syst. Softw., 2024)

Exploring Gender Bias In Remote Pair Programming Among Software Engineering Students: The twincode Original Study And First External Replication. - Amador Durán Toro; Pablo Fernandez 001; Beatriz Bernárdez 001; Nathaniel Weinman; Aslihan Akalin; Armando Fox (Empir. Softw. Eng., 2024)

Supplemental Material: Research Artifacts for Human-Oriented Experiments in Software Engineering: An ACM Badges-driven Structure Proposal. - Cathy Pamela Guevara-Vega; Beatriz Bernárdez 001; Margarita Cruz; Amador Durán 001; Antonio Ruiz-Cortés; Martín Solari (Zenodo, 2024)

Mutation Testing in Practice: Insights From Open-Source Software Developers. - Ana Belén Sánchez; José Antonio Parejo; Sergio Segura; Amador Durán Toro; Mike Papadakis (IEEE Trans. Software Eng., 2024)

Using Large Language Models to Develop Requirements Elicitation Skills. - Nelson Lojo; Rafael González; Rohan Philip; José Antonio Parejo; Amador Durán Toro; Armando Fox; Pablo Fernandez 001 (ITiCSE (2), 2025)

Pricing4APIs: A rigorous model for RESTful API pricings. - Rafael Fresno-Aranda; Pablo Fernandez 001; Antonio Gamez-Diaz; Amador Durán 001; Antonio Ruiz Cortés (Comput. Stand. Interfaces, 2025)