Antonio Ruiz Cortés

Catedrático de Universidad
aruiz@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: INGENIERÍA DEL SOFTWARE APLICADA (TIC-205)
Miembro de: SCORE
Instituto de Inv.: I3US
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Artículo2021 A flexible billing life cycle for cloud services using augmented customer agreements IEEE ACCESS
Ponencia2021 Artifact: virtual environment for evaluating the QoS of distributed mobile applications 2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021
Ponencia2021 Bluejay: a cross-tooling audit framework for agile software teams Proceedings - International Conference on Software Engineering
Ponencia2021 Deep learning-based prediction of test input validity for RESTful APIs Proceedings - 2021 IEEE/ACM 3rd International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2021
Ponencia2021 Design patterns for board-based collaborative work management tools Lecture Notes in Computer Science
Artículo2021 Elastic Smart Contracts in Blockchains IEEE/CAA Journal of Automatica Sinica
Ponencia2021 Empirical strategies in software engineering research: a literature survey Proceedings - 2021 2nd International Conference on Information Systems and Software Technologies, ICI2ST 2021
Artículo2021 Modeling variability in the performance perspective of business processes IEEE ACCESS
Ponencia2021 Productivity challenges in digital transformation and its implications for workstream collaboration tools Proceedings of the Annual Hawaii International Conference on System Sciences
Ponencia2021 RESTest: automated black-box testing of RESTful web APIs ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Artículo2021 Specification and automated analysis of inter-parameter dependencies in Web APIs IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2021 Virtual environment for evaluating the QoS of distributed mobile applications 2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021
Artículo2020 A mashup-based framework for business process compliance checking IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2020 Context-aware process performance indicator prediction IEEE ACCESS
Artículo2020 Early evaluation of mobile applications' resource consumption and operating costs IEEE ACCESS
Ponencia2020 RESTest: black-box constraint-based testing of RESTful web APIs Lecture Notes in Computer Science
Ponencia2020 Towards an automated management of well-being goals in nursing homes Communications in Computer and Information Science
Ponencia2019 A Catalogue of Inter-parameter Dependencies in RESTful Web APIs Lecture Notes in Computer Science
Ponencia2019 Automated analysis of feature models: Qo vadis? SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Automated analysis of feature models: Quo vadis? Computing: archives for scientific computing
Ponencia2019 Automating SLA-Driven API Development with SLA4OAI Lecture Notes in Computer Science
Ponencia2019 Eagle: A Team Practices Audit Framework for Agile Software Development ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Ponencia2019 ELECTRA: Induced usage limitations calculation in RESTful APIs Lecture Notes in Computer Science
Ponencia2019 Governify for APIs: SLA-Driven Ecosystem for API Governance ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Artículo2019 Measuring Performance in Knowledge-intensive Processes ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Ponencia2019 Metamorphic Relation Patterns for Query-Based Systems 2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019)
Ponencia2019 Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Artículo2019 Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018 IEEE ACCESS
Ponencia2019 Test coverage criteria for RESTfulWeb APIs A-TEST 2019 - Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, co-located with ESEC/FSE 2019
Ponencia2019 The Role of Limitations and SLAs in the API Industry ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Ponencia2019 Towards the Definition of Test Coverage Criteria for RESTful Web APIs Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Artículo2019 Visual ppinot: A Graphical Notation for Process Performance Indicators BUSINESS & INFORMATION SYSTEMS ENGINEERING
Artículo2018 A template-based approach for responsibility management in executable business processes ENTERPRISE INFORMATION SYSTEMS
Artículo2018 An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2018 Automated inference of likely metamorphic relations for model transformations JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2018 Automated Validation of Compensable SLAs IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2018 Metamorphic testing of RESTful Web APIs IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Ponencia2018 On the relationships between decision management and performance measurement ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018
Artículo2018 Performance metamorphic testing: A Proof of concept INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2018 Predictive Monitoring of Business Processes: A Survey IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2018 SLA-Driven Governance for RESTful Systems SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS
Artículo2018 Spectrum-Based Fault Localization in Model Transformations ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Ponencia2017 A new framework for defining realistic SLAs: An evidence-based approach BUSINESS PROCESS MANAGEMENT FORUM
Ponencia2017 An analysis of RESTful APIs offerings in the industry Lecture Notes in Computer Science
Ponencia2017 An approach for debugging model transformations applying spectrum-based fault localization Actas de las 22nd Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2017
Ponencia2017 Automated analysis of cloud offerings for optimal service provisioning Lecture Notes in Computer Science
Artículo2017 Edge and Cloud Pricing for the Sharing Economy IEEE INTERNET COMPUTING
Ponencia2017 Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017)
Artículo2017 Evolutionary composition of QoS-aware web services: A many-objective perspective EXPERT SYSTEMS WITH APPLICATIONS
Artículo2017 FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing SOFTWARE AND SYSTEMS MODELING
Artículo2017 Modeling Service Level Agreements with Linked USDL Agreement IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2017 Performance Metamorphic Testing: Motivation and Challenges 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER)
Ponencia2017 Redefining a process engine as a microservice platform Lecture Notes in Business Information Processing
Artículo2017 Run-time prediction of business process indicators using evolutionary decision rules EXPERT SYSTEMS WITH APPLICATIONS
Artículo2017 Variability testing in the wild: the Drupal case study SOFTWARE AND SYSTEMS MODELING
Editorial2017 Welcome message ACM International Conference Proceeding Series
Artículo2016 A Survey on Metamorphic Testing IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Ponencia2016 An Elasticity-aware Governance Platform for Cloud Service Delivery PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016)
Artículo2016 Automated configuration support for infrastructure migration to the cloud FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
Ponencia2016 Configuración guiada por búsqueda de aplicaciones basadas en microservicios en la nube Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Ponencia2016 Identifying variability in process performance indicators Lecture Notes in Business Information Processing
Artículo2016 Multi-objective test case prioritization in highly configurable systems: a case study JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2016 Narrowing the business-IT gap in process performance measurement ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016)
Ponencia2016 Towards the automation of metamorphic testing in model transformations Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Artículo2016 User-Centric Adaptation Analysis of Multi-Tenant Services ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
Artículo2016 Using templates and linguistic patterns to define process performance indicators ENTERPRISE INFORMATION SYSTEMS
Capítulo2015 A selective mapping from orthogonal variability model to constraint satisfaction problem Advances in Engineering Research
Artículo2015 Automated metamorphic testing of variability analysis tools SOFTWARE TESTING VERIFICATION & RELIABILITY
Ponencia2015 Automated team selection and compliance checking in business processes ACM International Conference Proceeding Series
Ponencia2015 Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web 2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS)
Ponencia2015 Modelling Service Level Agreements for Business Process Outsourcing Services ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015
Artículo2015 Programming Elasticity and Commitment in Dynamic Processes IEEE INTERNET COMPUTING
Ponencia2015 RALph: A Graphical Notation for Resource Assignments in Business Processes ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015
Artículo2015 Specification and automated design-time analysis of the business process human resource perspective INFORMATION SYSTEMS
Ponencia2015 Towards Compensable SLAs ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING
Ponencia2014 A Comparison of Test Case Prioritization Criteria for Software Product Lines 2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)
Ponencia2014 A controlled experiment to evaluate the effects of mindfulness in software engineering International Symposium on Empirical Software Engineering and Measurement
Artículo2014 An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2014 Automated Analysis of Conflicts in WS-Agreement IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2014 Automated generation of computationally hard feature models using evolutionary algorithms EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2014 Automated variability analysis and testing of an e-commerce site. An experience report ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
Capítulo2014 Automated variability analysis and testing of an E-commerce site.: an experience report ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
Artículo2014 Comprehensive Explanation of SLA Violations at Runtime IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2014 KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs CEUR Workshop Proceedings
Artículo2014 QoS-aware web services composition using GRASP with Path Relinking EXPERT SYSTEMS WITH APPLICATIONS
Capítulo2014 The Drupal framework: a case study to evaluate variability testing techniques The Eight International Workshop on Variability Modelling of Software-Intensive Systems
Ponencia2014 Towards a Formal Specification of SLAs with Compensations ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia2014 Towards a formal specification of SLAs with compensations* Lecture Notes in Computer Science
Ponencia2014 Towards process-aware cross-organizational human resource management Lecture Notes in Business Information Processing
Ponencia2014 User-Centric Adaptation of Multi-tenant Services: Preference-Based Analysis for Service Reconfiguration 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014)
Capítulo2013 Automated Analysis of Stateful Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Capítulo2013 Automated Reasoning on Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Ponencia2013 Defining and analysing resource-aware process performance indicators CEUR Workshop Proceedings
Ponencia2013 Designing Business Processes with History-Aware Resource Assignments BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM)
Ponencia2013 Evolving the automated analysis of feature models Lecture Notes in Computer Science
Ponencia2013 Extending WS-agreement to support automated conformity check on transport and logistics service agreements SERVICE-ORIENTED COMPUTING, ICSOC 2013
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Ponencia2013 iAgree studio: A platform to edit and validate WS-agreement documents SERVICE-ORIENTED COMPUTING, ICSOC 2013
Artículo2013 Integrating semantic Web services ranking mechanisms using a common preference model KNOWLEDGE-BASED SYSTEMS
Ponencia2013 Migrating to the Cloud: A software product line based analysis CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science
Ponencia2013 Multi-user Variability Configuration: A Game Theoretic Approach 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
Artículo2013 On the definition and design-time analysis of process performance indicators INFORMATION SYSTEMS
Ponencia2013 PPINOT tool suite: A performance management solution for process-oriented organisations SERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2013 Priority-based human resource allocation in business processes SERVICE-ORIENTED COMPUTING, ICSOC 2013
Capítulo2012 FaMa-OVM: a tool for the automated analysis of OVMs 16th International Software Product Line Conference, SPLC´12
Ponencia2012 Automated resource assignment in BPMN models using RACI matrices Lecture Notes in Computer Science
Capítulo2012 BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Ponencia2012 CRISTAL: Collection of resource-centric supporting tools and languages CEUR Workshop Proceedings
Capítulo2012 Dealing with complexity in agent-oriented software engineering: The importance of interactions Conquering Complexity
Ponencia2012 Defining process performance indicators by using templates and patterns BUSINESS PROCESS MANAGEMENT, BPM 2012
Ponencia2012 FaMa-OVM: A tool for the automated analysis of OVMs ACM International Conference Proceeding Series
Artículo2012 Improving semantic web services discovery using SPARQL-based repository filtering JOURNAL OF WEB SEMANTICS
Ponencia2012 Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012
Artículo2012 Metaheuristic optimization frameworks: a survey and benchmarking SOFT COMPUTING
Artículo2012 Quality-aware analysis in product line engineering with the orthogonal variability model SOFTWARE QUALITY JOURNAL
Ponencia2012 RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I
Ponencia2012 SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents ICSE Workshop on Principles of Engineering Service Oriented Systems
Ponencia2011 Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas JENUI 2011: XVII Jornadas de Enseñanza Universitaria de la Informática (2011)
Ponencia2011 Automated analysis of feature models 20 years later: A literature review Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Artículo2011 Automated metamorphic testing on the analyses of feature models INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2011 Automatic generation of a data-centered view of business processes Lecture Notes in Computer Science
Ponencia2011 Defining and Analysing Resource Assignments in Business Processes with RAL SERVICE-ORIENTED COMPUTING
Ponencia2011 Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS
Artículo2011 Functional testing of feature model analysis tools: a test suite IET SOFTWARE
Artículo2011 Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes IEEE LATIN AMERICA TRANSACTIONS
Ponencia2011 ISA packager: A tool for SPL deployment ACM International Conference Proceeding Series
Artículo2011 Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods SOFTWARE AND SYSTEMS MODELING
Artículo2011 Mutation testing on an object-oriented framework: An experience report INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2011 WS-governance tooling: SOA governance policies analysis and authoring Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011
Ponencia2011 WS-governance: A policy language for SOA governance SERVICE-ORIENTED COMPUTING
Ponencia2010 A MDD approach to streamline business modeling and environments especificaci'on interorganizational CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering"
Ponencia2010 A model of user preferences for semantic services discovery and ranking SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS
Artículo2010 Automated analysis of feature models 20 years later: A literature review INFORMATION SYSTEMS
Artículo2010 Automated diagnosis of feature model configurations JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo2010 Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France
Ponencia2010 Dealing with fixable and non-fixable properties in service matchmaking SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS
Ponencia2010 Defining process performance indicators: An ontological approach ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I
Ponencia2010 Using automated analysis of temporal-aware SLAs in logistics SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS
Ponencia2009 Explaining the non-compliance between templates and agreement offers in ws-agreement SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS
Ponencia2009 FAST-SE: An ESB based framework for SLA trading SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS
Artículo2009 Hacia el Enlace entre la Estrategia Empresarial Mediante Modelos de Valor y el Software Mediante Modelos de valor y el software de negocio: Un enfoque MDD Avances en Sistemas e Informática
Ponencia2009 Modeling inter-business: An approximation for traceability between objectives, organizational and business process models 12th Iberoamerican Conference on Requirements Engineering and Software Environments, IDEAS 2009
Ponencia2009 On user preferences and utility functions in selection: A semantic approach SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS
Ponencia2009 Temporal-awareness in SLAs: Why should we be concerned? SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS
Capítulo2008 A first approach to model SLAs for composite services, using WS-agreement Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
Ponencia2008 A service ranker based on logic rules evaluation and constraint programming CEUR Workshop Proceedings
Libro2008 Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
Ponencia2008 An Initial Approach to Explaining SLA Inconsistencies SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS
Capítulo2008 Automated Diagnosis of Product-line Configuration Errors in Feature Models Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Artículo2008 Automated error analysis for the agilization of feature modeling JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2008 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Ponencia2008 Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform 2008 3RD INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2008)
Capítulo2008 FAMA Framework Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Ponencia2008 FAMA Framework SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
Ponencia2008 First international workshop on analyses of software product lines (ASPL'08) www.isa.us.es/asp108 Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Capítulo2008 First International Workshop on Analyses of Software Product Lines (ASPL�08) www.isa.us.es/aspl08 Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Ponencia2008 From Feature Models to Business Processes 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2
Ponencia2008 QoS-Aware Semantic Service Selection: An Optimization Problem IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS
Capítulo2008 Ranking semantic web services using rules evaluation and constraint programming Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
Ponencia2008 Representing Runtime Variability in Business-Driven Development Systems SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS
Ponencia2008 Semantic discovery and selection: A QoS-aware, hybrid model Proceedings of the 2008 International Conference on Semantic Web and Web Services, SWWS 2008
Ponencia2008 SLAWs: Towards a conceptual architecture for SLA enforcement IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS
Ponencia2007 A ES-Agreement Extension for Specifying Temporal Properties in SLAs Actas de las III Jornadas Científico-Técnicas en Servicios Web y SOA
Artículo2007 A top down approach for describing the acquaintace organisation of multiagent systems Scalable Computing
Ponencia2007 An hybrid, QoS-Aware discovery of semantic web services using constraint programming SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Capítulo2007 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Artículo2007 Building and implementing policies in autonomous and autonomic systems using MaCMAS INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
Ponencia2007 Building the core architecture of a NASA multiagent system product line AGENT-ORIENTED SOFTWARE ENGINEERING VII
Capítulo2007 FAMA: hacia el análisis automático de modelos de características Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos
Ponencia2007 Improving temporal-awareness of WS-agreement SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Capítulo2007 MaCMAS CASE Tool Demonstration: MDD-based refinement of CollaborationBased UML Models Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos
Ponencia2007 Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems 2007 IEEE SWARM INTELLIGENCE SYMPOSIUM
Capítulo2006 A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS) Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers
Ponencia2006 A model-driven architecture approach for modeling, specifying and deploying policies in autonomous and autonomic systems DASC 2006: 2ND IEEE INTERNATIONAL SYMPOSIUM ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS
Artículo2006 Automated analysis of feature models: Challenges ahead COMMUNICATIONS OF THE ACM
Ponencia2006 Isolated features detection in feature models CEUR Workshop Proceedings
Artículo2006 Multi-agent system product lines: challenges and benefits COMMUNICATIONS OF THE ACM
Capítulo2006 Using Java CSP Solvers in the Automated Analyses of Feature Models Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers
Artículo2005 A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS) Lecture Notes in Computer Science
Artículo2005 An approach to temporal-aware procurement of Web services SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS
Artículo2005 Automated reasoning on feature models ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS
Artículo2005 Improving the automatic procurement of web services using constraint programming INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Ponencia2005 Using constraint programming to reason on feature models 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Ponencia2004 A framework for classifying and comparing web services procurement platforms FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, PROCEEDINGS
Editorial2004 Breakthroughs and challenges in software engineering - J.UCS Special Issue JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículo2004 Editorial: Web and database technologies in business solutions International Journal of Web Engineering and Technology
Ponencia2004 La esquizofrenia del docente e investigador en Ingeniería del Software Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Artículo2003 A quality-aware approach to web services procurement TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS
Artículo2003 Aspect-oriented interaction in multi-organisational web-based systems COMPUTER NETWORKS
Artículo2003 Automating the procurement of web services Service-Oriented Computing - ICSOC 2003
Ponencia2002 An automated approach to quality aware web applications ENTERPRISE INFORMATION SYSTEMS IV
Artículo2002 Multi-party coordination in the context of MOWS PROGRAMMING AND COMPUTER SOFTWARE
Artículo2002 Repairing syntax errors in LR parsers ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Libro2002 Simposio de Informática y Telecomunicaciones Simposio de Informática y Telecomunicaciones
Ponencia2002 Supporting requirements verification using XSLT IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS
Artículo2002 VERIFYING SOFTWARE REQUIREMENTS WITH XSLT Software Engineering Notes
Ponencia2001 Automated support for quality requirements in Web-service-based systems EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS
Artículo2000 INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS. Novática
Capítulo1999 Weak-fairness in the context of constraint-based multiparty interactions SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas

Tesis dirigidas/tutorizadas:14
Fecha lectura Título Rol
30/11/2018 ENHANCING THE MODELLING PERSPECTIVE OF PROCESS PERFORMANCE MANAGEMENT Tutor/a
13/07/2018 SLA MANAGEMENT OF NON-COMPUTATIONAL SERVICES Director/a
23/05/2016 TEST CASE PRIORITIZATION IN HIGHLY-CONFIGURABLE SYSTEMS Tutor/a, Director/a
10/06/2015 AUTOMATING THE SUPPORT OF HIGHLY-CONFIGURABLE SERVICES Tutor/a, Director/a
01/10/2013 MOSES: A METAHEURISTIC OPTIMIZATION SOFTWARE ECOSYSTEM. APPLICATIONS TO THE AUTOMATED ANALYSIS OF SOFTWARE PRODUCT LINES AND SERVICE-BASED APPLICATIONS Director/a
25/06/2013 ON THE AUTOMATED ANALYSIS OF WS-AGREEMENT DOCUMENTS: APPLICATIONS TO THE PROCESSES OF CREATING AND MONITORING AGREEMENTS Director/a, Tutor/a
20/12/2012 ENHANCING THE MANAGEMENT OF RESOURCE -AWARE BUSINESS PROCESSES Director/a
10/12/2012 AUTOMATING THE ANALYSIS OF STATEFUL FEATURE MODELS Director/a
13/09/2012 IMPROVING SEMANTIC WEB SERVICES DISCOVERY AND RANKING. A LIGHTWEIGHT, INTEGRATED APPROACH Director/a, Tutor/a
12/09/2012 ON THE DEFINITION AND ANALYSIS OF PROCESS PERFORMANCE INDICATORS Director/a
20/02/2012 AUTOMATED ANALYSIS OF SOFTWARE PRODUCT LINES WITH ORTHOGONAL VARIABILITY MODELS: EXTENDING THE FAMA ECOSYSTEM Director/a
21/02/2011 FUNCTIONAL AND PERFORMANCE TESTING OF FEATURE MODEL ANALYISI TOOLS EXTENDING THE FAMA ECOSYSTEM Director/a, Tutor/a
26/10/2007 Emparejamiento automático de servicios web usando programación con restricciones Director/a
20/06/2007 On the automated analysis of software product lines using feature models. A framework for developing automated tool support Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/05/2015 30/04/2019 Responsable Propelling Business Process Management by Research and Innovation Staff Exchante (RISE_BPM) (H2020-645751) Comisión Europea (Europeo)
01/02/2020 31/01/2022 Responsable Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
31/01/2008 31/12/2012 Responsable Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2013 31/12/2015 Responsable Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273) Ministerio de Economía y Competitividad (Nacional)
01/01/2019 31/12/2021 Responsable Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21) Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/10/2006 30/09/2009 Responsable Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472) Ministerio de Educación y Ciencia (Nacional)
01/03/2008 29/02/2012 Responsable Software services and systems network (S-Cube) (215483) Comisión Europea (Europeo)
17/07/2012 31/12/2015 Responsable Solución SaaS integral para el diagnóstico automático en lenguaje natural de problemas IT y resolución semi-automática de los mismos, en base a políticas de seguridad de cortafuegos (IPT-2012-0890-390000) Ministerio de Economía y Competitividad (Nacional)
01/01/2019 31/12/2021 Responsable Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios (RTI2018-101204-B-C22) Ministerio de Ciencia, Innovación y Universidades (Nacional)
15/11/2003 30/05/2007 Investigador/a Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
15/03/2011 30/04/2016 Responsable Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/10/2010 31/05/2011 Responsable Service Oriented Architectures for All-SOA4ALL (215219)
01/01/2016 31/12/2019 Responsable Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
28/12/2000 27/12/2003 Investigador/a Nuevos métodos y herramientas para la automatización del desarrollo de aplicaciones de comercio electrónico (TIC2000-1106-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2020 31/12/2022 Investigador/a EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/01/2010 30/06/2013 Responsable reSearching on intElligent Tools for the internet of services (TIN2009-07366) Ministerio de Ciencia e Innovación (Nacional)
30/01/2014 16/02/2019 Responsable Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/12/2003 31/10/2004 Responsable FRADA Creación de un Middleware para aplicaciones energéticas (PRO-050) Telvent Interactiva, S.A. (Nacional)
14/03/2012 14/03/2013 Responsable Implantación de un Sistema de Gestión de la Conformidad para Procede (P036-12/E15) Enel Energy Europe, S.L. (Nacional)
15/11/2015 01/03/2016 Investigador/a MARCOS: soporte en la investigación, desarrollo y soporte de arquitecturas MARCO orientada a Servicios para el Servicio Andaluz de Salud. (P062-15/E15) Accenture, S.L. (Nacional)
01/09/2008 01/10/2011 Responsable S2G. Subestaciones para una Smart Grid (P051-08/E15) Isotrol (Local)
01/10/2019 26/12/2019 Investigador/a Estudio de requerimientos de análisis integrados de datos espaciales en la CAGPDS (3725/0141) Secretaría General de Medio Ambiente, Agua y Cambio Climático (Local)
04/03/2009 04/12/2009 Responsable Plataforma de Interoperabilidad (PLATINA) (P008-09/E15) Sociedad Andaluza para el Desarrollo de la Sociedad de la Información (Local)
01/11/2004 31/05/2005 Responsable Asesoramiento en el Diseño y Ejecución del Portal de Innovación de la Junta de Andalucia (PRO-062) Centro de Innovación y Transferencia de Tecnología de Andalucía, S.A.U. (Autonómico)
26/07/2010 26/07/2011 Responsable Extensión funcional de intermediación de servicios en el marco de la plataforma PLATINA (P024-10/E15) Sociedad Andaluza para el Desarrollo de la Sociedad de la Información (Local)
01/01/2014 30/03/2015 Responsable GEOLIA-first Generation of aErospace iDMU cOncept impLemention And deployment (P020-13/E15) Icinetic, Desarrollo Software Consultoría y Gestión Informática, SL (Local)
24/03/2008 24/09/2008 Responsable Aseroría para el desarrollo de tecnologías de Plataforma Tecnológica de Economía Local (PTEL) (P011-08/E15) ALIATIS, S.L. (Local)
01/06/2018 24/10/2018 Responsable Estudio Previo de Requerimientos Tecnológicos y Funcionales de un Prototipo para el Almacenamiento y Procesamiento de Grandes Conjuntos de Datos para su Conversión en Soluciones para la Gestión Ambiental (P025-18/E15) Junta de Andalucía (Autonómico)
04/03/2009 04/04/2010 Investigador/a Proyecto Marco de Desarrollo de la Junta de Andalucía (MADEJA) (P009-09/E15) Sociedad Andaluza para el Desarrollo de la Sociedad de la Información (Local)
12/02/2001 12/02/2003 Responsable WEBPLUS. Nueva generación de servicios Web (PRO-27) Telvent Interactiva, S.A. (Nacional)
13/01/2014 31/07/2015 Responsable Innovación en App de red social corporativa (P001-14/E15) 02Innova24H, S.L.U. (Local)
01/09/2008 28/02/2010 Investigador/a Alcuza: Desarrollo de un Entorno de Desarrollo Dirigido por Procesos acorde a CMMI (P030-08/E15) Cajasol (Local)
21/11/2016 31/12/2017 Responsable GAUSS: Soporte en la elaboración de la propuesta técnica para el contrato de Servicios para la Integración y Normalización de los Sistemas de Información de (P117-16/E15) Everis Spain S.L. (Nacional)
19/02/2007 19/09/2009 Responsable ESMARTNET. Sistemas Embebidos y Optimización de Middleware para Aplicaciones de Redes en tiempo Real (P061-06/E15) Isotrol (Local)
27/01/2009 27/01/2010 Investigador/a ALPES ODP I: Turismo y Viajes (0327/0196) Asociación de Investigación y Cooperación Industrial de Andalucía (Autonómico)
30/10/2019 31/12/2021 Responsable GALIBO: Soporte en la elaboración de la propuesta Técnica para el Contrato de Servicios para la Integración y Normalización de los Sistemas de Información de la Consejería de Hacienda y Administración Pública (P040-19/E15) Everis Spain S.L. (Nacional)
01/09/2003 30/06/2005 Responsable FAMILIES. Quality-aware system families (PRO-045) Telvent Interactiva, S.A. (Nacional)
30/03/2011 15/11/2011 Investigador/a UrbanHealth (P023-11/E15) Icinetic, Desarrollo Software Consultoría y Gestión Informática, SL (Local)
29/05/2009 29/05/2012 Responsable Proyecto demostrativo STORE-Sistemas de almacenamiento de energía (P020-09/E15) Isotrol (Local)
26/02/2015 25/07/2016 Responsable PROSAS: Investigación y Desarrollo en el área de procesos de los Servicios Horizontales de Tecnologías de la Información y las Comunicaciones del Servicio (P015-15/E15) Accenture, S.L. (Nacional)
10/12/2007 10/12/2009 Responsable Proceso de Desarrollo Software Semiautomático (PDSSA) (P005-08/E15) Icinetic, Desarrollo Software Consultoría y Gestión Informática, SL (Local)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
20/04/2007 20/09/2007 Responsable Puesta en marcha de un consorcio sobre investigación en e-health (OTRI/06-PC15) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
25/09/2008 // Responsable Promoción y seguimiento de software registrado (OTRI/08-PC22) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
13/06/2002 01/03/2003 Investigador/a Los SIGs: investigación, gestión y transferencia tecnológica en Andalucía (OTRI-2002-ENC/SECT-03) Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación) (Local)
30/08/2007 30/11/2007 Responsable Colaboración con la Plataforma Tecnológica Española de software y servicios y con la Plataforma Tecnológica Española de sistemas con inteligencia integrada (OTRI/06-PC24) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
19/06/2002 18/06/2003 Investigador/a ZOCO: Reunión de trabajo sobre métodos y herramientas para el desarrollo de aplicaciones de comercio electrónico (TIC2001-4504-E) Ministerio de Ciencia y Tecnología (Nacional)
01/09/2008 30/08/2009 Responsable IV Jornadas científico-técnicas en servicios Web y Soa (TIN2008-00467-E) Ministerio de Ciencia e Innovación (Nacional)
06/03/2006 06/08/2006 Responsable Colaboración con el Constrain Computation Centre de Cork (Irlanda). Colaboración con la NASA Goddard Space Flight Center (USA). Elaboración de propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
01/03/2020 30/09/2021 Responsable ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)