Antonio Ruiz Cortés

According to our database1, Antonio Ruiz Cortés
  • authored at least 169 papers between 1999 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Modeling Service Level Agreements with Linked USDL Agreement.
IEEE Trans. Services Computing, 2017

Variability testing in the wild: the Drupal case study.
Software and System Modeling, 2017

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Software and System Modeling, 2017

Edge and Cloud Pricing for the Sharing Economy.
IEEE Internet Computing, 2017

Evolutionary composition of QoS-aware web services: A many-objective perspective.
Expert Syst. Appl., 2017

Run-time prediction of business process indicators using evolutionary decision rules.
Expert Syst. Appl., 2017

Performance Metamorphic Testing: Motivation and Challenges.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

A Template-Based Approach to Describing Metamorphic Relations.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs.
Proceedings of the Advanced Information Systems Engineering, 2017

A New Framework for Defining Realistic SLAs: An Evidence-Based Approach.
Proceedings of the Business Process Management Forum, 2017

2016
A Survey on Metamorphic Testing.
IEEE Trans. Software Eng., 2016

User-Centric Adaptation Analysis of Multi-Tenant Services.
TAAS, 2016

Multi-objective test case prioritization in highly configurable systems: A case study.
Journal of Systems and Software, 2016

Automated configuration support for infrastructure migration to the cloud.
Future Generation Comp. Syst., 2016

Using templates and linguistic patterns to define process performance indicators.
Enterprise IS, 2016

Defeasible Argumentation of Software Architectures.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Narrowing the Business-IT Gap in Process Performance Measurement.
Proceedings of the Advanced Information Systems Engineering, 2016

Redefining a Process Engine as a Microservice Platform.
Proceedings of the Business Process Management Workshops, 2016

Identifying Variability in Process Performance Indicators.
Proceedings of the Business Process Management Forum, 2016

An Elasticity-Aware Governance Platform for Cloud Service Delivery.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
Automated metamorphic testing of variability analysis tools.
Softw. Test., Verif. Reliab., 2015

Specification and automated design-time analysis of the business process human resource perspective.
Inf. Syst., 2015

Programming Elasticity and Commitment in Dynamic Processes.
IEEE Internet Computing, 2015

Automated team selection and compliance checking in business processes.
Proceedings of the 2015 International Conference on Software and System Process, 2015

Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Modelling Service Level Agreements for Business Process Outsourcing Services.
Proceedings of the Advanced Information Systems Engineering, 2015

RALph: A Graphical Notation for Resource Assignments in Business Processes.
Proceedings of the Advanced Information Systems Engineering, 2015

2014
Automated Analysis of Conflicts in WS-Agreement.
IEEE Trans. Services Computing, 2014

Comprehensive Explanation of SLA Violations at Runtime.
IEEE Trans. Services Computing, 2014

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry.
Journal of Systems and Software, 2014

Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl., 2014

QoS-aware web services composition using GRASP with Path Relinking.
Expert Syst. Appl., 2014

The Drupal framework: a case study to evaluate variability testing techniques.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Towards a Formal Specification of SLAs with Compensations.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

EXEMPLAR: an Experimental Information Repository for SBSE Research.
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Automated variability analysis and testing of an E-commerce site.: an experience report.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A Comparison of Test Case Prioritization Criteria for Software Product Lines.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Towards Compensable SLAs.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

A controlled experiment to evaluate the effects of mindfulness in software engineering.
Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

Towards Process-Aware Cross-Organizational Human Resource Management.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2014

KPIshare: A Collaborative Space for BPM Practitioners for Full Definitions and Discussions on Process KPIs.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

2013
Integrating semantic Web services ranking mechanisms using a common preference model.
Knowl.-Based Syst., 2013

On the definition and design-time analysis of process performance indicators.
Inf. Syst., 2013

Multi-user variability configuration: A game theoretic approach.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

PPINOT Tool Suite: A Performance Management Solution for Process-Oriented Organisations.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Extending WS-Agreement to Support Automated Conformity Check on Transport and Logistics Service Agreements.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Priority-Based Human Resource Allocation in Business Processes.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Migrating to the Cloud - A Software Product Line based Analysis.
Proceedings of the CLOSER 2013, 2013

Defining and Analysing Resource-Aware Process Performance Indicators.
Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

FaMa.
Proceedings of the Systems and Software Variability Management, 2013

Automated Analysis of Stateful Feature Models.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Automated Reasoning on Feature Models.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Improving semantic web services discovery using SPARQL-based repository filtering.
J. Web Sem., 2012

Quality-aware analysis in product line engineering with the orthogonal variability model.
Software Quality Journal, 2012

Metaheuristic optimization frameworks: a survey and benchmarking.
Soft Comput., 2012

BeTTy: benchmarking and testing on the automated analysis of feature models.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

FaMa-OVM: a tool for the automated analysis of OVMs.
Proceedings of the 16th International Software Product Line Conference, 2012

Automated Resource Assignment in BPMN Models Using RACI Matrices.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes.
Proceedings of the Advanced Information Systems Engineering Workshops, 2012

Defining Process Performance Indicators by Using Templates and Patterns.
Proceedings of the Business Process Management - 10th International Conference, 2012

CRISTAL: Collection of Resource-centrIc Supporting Tools And Languages.
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), 2012

Designing Business Processes with History-Aware Resource Assignments.
Proceedings of the Business Process Management Workshops, 2012

Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions.
Proceedings of the Conquering Complexity, 2012

2011
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods.
Software and System Modeling, 2011

Mutation testing on an object-oriented framework: An experience report.
Information & Software Technology, 2011

Automated metamorphic testing on the analyses of feature models.
Information & Software Technology, 2011

Functional testing of feature model analysis tools: a test suite.
IET Software, 2011

ISA packager: a tool for SPL deployment.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

WS-Governance Tooling: SOA Governance Policies Analysis and Authoring.
Proceedings of the POLICY 2011, 2011

WS-Governance: A Policy Language for SOA Governance.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Defining and Analysing Resource Assignments in Business Processes with RAL.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Automatic Generation of a Data-Centered View of Business Processes.
Proceedings of the Advanced Information Systems Engineering, 2011

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011

RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes.
Proceedings of the Business Process Management Workshops, 2011

2010
Automated diagnosis of feature model configurations.
Journal of Systems and Software, 2010

Automated analysis of feature models 20 years later: A literature review.
Inf. Syst., 2010

Defining Process Performance Indicators: An Ontological Approach.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Automated Analysis of Orthogonal Variability Models using Constraint Programming.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Procesos de Negocio e Ingeniería de Servicios (PNIS, 3ª ed.).
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
Proceedings of the Third International Conference on Software Testing, 2010

A Model of User Preferences for Semantic Services Discovery and Ranking.
Proceedings of the Semantic Web: Research and Applications, 2010

2009
Hacia el enlace entre la estrategia empresarial mediante modelos de valor y el software de negocio: Un enfoque MDD.
RASI, 2009

Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

On Using Semantic Web Query Languages for Semantic Web Services Provisioning.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

Procesos de Negocio e Ingeniería de Servicios (PNIS, 2ª edición).
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Moskitt FM and FAMA FW: Taking feature models to the next level.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Análisis en líneas de productos: avances, desafíos y lecciones aprendidas.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

FAST-SE: An ESB Based Framework for SLA Trading.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Using Automated Analysis of Temporal-Aware SLAs in Logistics.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Dealing with Fixable and Non-fixable Properties in Service Matchmaking.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Modelado de Negocio Interorganizacional: Una Aproximación para la Trazabilidad entre Objetivos, Modelos Organizacionales y Procesos de Negocio.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008
Automated error analysis for the agilization of feature modeling.
Journal of Systems and Software, 2008

Towards Visualisation and Analysis of Runtime Variability in Execution Time of Business Information Systems based on Product Lines.
Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Semantic Discovery and Selection: A QoS-Aware, Hybrid Model.
Proceedings of the 2008 International Conference on Semantic Web & Web Services, 2008

Automated Diagnosis of Product-Line Configuration Errors in Feature Models.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Three-Dimensional Feature Diagrams Visualization.
Proceedings of the Software Product Lines, 12th International Conference, 2008

FAMA Framework.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Functional Testing of Feature Model Analysis Tools. A First Step.
Proceedings of the Software Product Lines, 12th International Conference, 2008

An Architectural Discussion on DSPL.
Proceedings of the Software Product Lines, 12th International Conference, 2008

First International Workshop on Analysis of Software Product Lines (ASPL'08).
Proceedings of the Software Product Lines, 12th International Conference, 2008

SLAWs: Towards a Conceptual Architecture for SLA Enforcement.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

QoS-Aware Semantic Service Selection: An Optimization Problem.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

An Initial Approach to Explaining SLA Inconsistencies.
Proceedings of the Service-Oriented Computing, 2008

Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Representing Runtime Variability in Business-Driven Development Systems.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

Representing Runtime Variability in Business-Driven Development Systems.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

From Feature Models to Business Processes.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
A Top Down Approach for Describing the Acquaintace Organisation of Multiagent Systems.
Scalable Computing: Practice and Experience, 2007

Building and implementing policies in autonomous and autonomic systems using MaCMAS.
ISSE, 2007

FAMA: Tooling a Framework for the Automated Analysis of Feature Models.
Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems.
Proceedings of the 2007 IEEE Swarm Intelligence Symposium, 2007

Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Business Family Engineering - Managing the Evolution of Business Driven Systems.
Proceedings of the Software Product Lines, 11th International Conference, 2007

FAMA: hacia el análisis automático de modelos de características.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

MaCMAS CASE Tool Demonstration: MDD-based refinement of Collaboration-Based UML Models.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Improving Temporal-Awareness of WS-Agreement.
Proceedings of the Service-Oriented Computing, 2007

Temporal-Awareness in SLAs: Why Should We Be Concerned?
Proceedings of the Service-Oriented Computing, 2007

An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming.
Proceedings of the Service-Oriented Computing, 2007

On User Preferences and Utility Functions in Selection: A Semantic Approach.
Proceedings of the Service-Oriented Computing, 2007

Automated Merging of Feature Models Using Graph Transformations.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006
Multi-agent system product lines: challenges and benefits.
Commun. ACM, 2006

Automated analysis of feature models: challenges ahead.
Commun. ACM, 2006

A Survey on the Automated Analyses of Feature Models.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

Isolated Features Detection in Feature Models.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Building the Core Architecture of a NASA Multiagent System Product Line.
Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

2005
Improving the Automatic Procurement of Web Services Using Constraint Programming.
Int. J. Cooperative Inf. Syst., 2005

Using Constraint Programming to Reason on Feature Models.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

An Approach to Temporal-Aware Procurement of Web Services.
Proceedings of the Service-Oriented Computing, 2005

Using Java CSP Solvers in the Automated Analyses of Feature Models.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Automated Reasoning on Feature Models.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

The Triple Schizophrenia of the Software Engineering Researcher.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004
Breakthroughs and Challenges in Software Engineering.
J. UCS, 2004

Editorial: web and database technologies in business solutions.
Int. J. Web Eng. Technol., 2004

A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS).
Proceedings of the Innovative Internet Community Systems, 4th InternationalWorkshop, 2004

2003
Aspect-oriented interaction in multi-organisational web-based systems.
Computer Networks, 2003

A Framework for classifying and comparing Web services procurement platforms.
Proceedings of the 4th International Conference on Web Information Systems Engineering Workshops, 2003

A Quality-Aware Approach to Web Services Procurement.
Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

Automating the Procurement of Web Services.
Proceedings of the Service-Oriented Computing, 2003

2002
Repairing syntax errors in LR parsers.
ACM Trans. Program. Lang. Syst., 2002

Verifying software requirements with XSLT.
ACM SIGSOFT Software Engineering Notes, 2002

Vivacidad y Justicia en Entornos no Deterministas.
Revista Colombiana de Computación, 2002

Interacción orientada a Aspectos en entornos Multiorganizacionales.
Revista Colombiana de Computación, 2002

Multi-Party Coordination in the Context of MOWS.
Programming and Computer Software, 2002

Tabbed Hierarchy: A Design Pattern for the Implementation of Object-Oriented User Interfaces.
Computación y Sistemas, 2002

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements.
Proceedings of the Anais do WER02, 2002

Supporting Requirements Verification Using XSLT.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Assisting the Requirements Verifier with XML Technology.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

An Automated Approach to Quality-Aware Web Applications.
Proceedings of the ICEIS 2002, 2002

A Practical Agent-Based Method to Extract Semantic Information from the Web.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Automatic Extraction of Semantically-Meaningful Information from the Web..
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales.
Proceedings of the Anais do WER01, 2001

An XMLBased Approach for the Automatic Verification of Software Requirements Specifications.
Proceedings of the Anais do WER01, 2001

Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Automated Support for Quality Requirements in Web-Service-Based Systems.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Object-Oriented Business Solutions.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

Una Aproximación a la Evaluación Automática de Alternativas de Diseño.
Proceedings of the ADIS 2001, Apoyo a la Decisión en Ingeniería del Software, 2001

2000
Identificación de Patrones de Reutilización de Requisitos de Sistemas de Información.
Proceedings of the Anais do WER00, 2000

Una Aproximación al Desarrollo de Software Basada en el Prototipado Arquitectónico.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999
A Requirements Elicitation Approach Based in Templates and Patterns.
Proceedings of the Anais do WER99, 1999

Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Implementing Multiparty Interactions on a Network Computer.
Proceedings of the 25th EUROMICRO '99 Conference, 1999


  Loading...