Antonio Ruiz Cortés

Orcid: 0000-0001-9827-1834

Affiliations:
  • Universidad de Sevilla, Spain


According to our database1, Antonio Ruiz Cortés authored at least 269 papers between 1999 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Automatic generation of efficient oracles: The less-than case.
J. Syst. Softw., 2025

Pricing4APIs: A rigorous model for RESTful API pricings.
Comput. Stand. Interfaces, 2025

2024

Governify. An agreement-based service governance framework.
Softw. Impacts, 2024

Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal.
J. Syst. Softw., 2024

Racing the Market: An Industry Support Analysis for Pricing-Driven DevOps in SaaS.
CoRR, 2024

Quantum software experiments: A reporting and laboratory package structure guidelines.
CoRR, 2024

Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead.
CoRR, 2024

Pricing-driven Development and Operation of SaaS : Challenges and Opportunities.
CoRR, 2024

Pricing4SaaS: a suite of software libraries for pricing-driven feature toggling.
CoRR, 2024

Towards Pricing4SaaS: A Framework for Pricing-Driven Feature Toggling in SaaS.
Proceedings of the Web Engineering - 24th International Conference, 2024

Pricing4SaaS: Towards a Pricing Model to Drive the Operation of SaaS.
Proceedings of the Intelligent Information Systems, 2024

2023
Yaml4SaaS Syntax Validation Tool.
Dataset, December, 2023

[Supplementary material] Machine Learning-driven Testing of Web APIs.
Dataset, November, 2023

An empirical study to evaluate the impact of mindfulness on helpdesk employees.
Sci. Comput. Program., August, 2023

Comprehensive assessment of open source software ecosystem health.
Internet Things, July, 2023

Supplemental Material: Research Artifacts for Human-Oriented Experiments in Software Engineering: An ACM Badges-driven Structure Proposal.
Dataset, July, 2023

Correction to: A model-based approach for specifying changes in replications of empirical studies in computer Science.
Computing, June, 2023

A model-based approach for specifying changes in replications of empirical studies in computer Science.
Computing, June, 2023

AGORA virtual machine.
Dataset, February, 2023

Supplemental Material: Laboratory Packages for Human- Oriented Experiments in Software Engineering: An ACM Badging Approach.
Dataset, January, 2023

ARTE: Automated Generation of Realistic Test Inputs for Web APIs.
IEEE Trans. Software Eng., 2023

GraphQL: A Systematic Mapping Study.
ACM Comput. Surv., 2023

Operating with Quantum Integers: An Efficient 'Multiples of' Oracle.
Proceedings of the Service-Oriented Computing - 17th Symposium and Summer School, 2023

AGORA: Automated Generation of Test Oracles for REST APIs.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

SLA4OAI-Analyzer: Automated Validation of RESTful API Pricing Plans.
Proceedings of the Web Engineering - 23rd International Conference, 2023

Some Initial Guidelines for Building Reusable Quantum Oracles.
Proceedings of the Service-Oriented Computing - ICSOC 2023 Workshops - AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28, 2023

Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification.
Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

On the Impact and Lessons Learned from Mindfulness Practice in a Real-World Software Company.
Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022
Logs obtained executing the HeatMap app with different architectures.
Dataset, May, 2022

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges.
Dataset, March, 2022

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges.
Dataset, March, 2022

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges.
Dataset, March, 2022

Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments.
IEEE Trans. Software Eng., 2022

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs.
IEEE Trans. Serv. Comput., 2022

A Mashup-Based Framework for Business Process Compliance Checking.
IEEE Trans. Serv. Comput., 2022

Perses: A framework for the continuous evaluation of the QoS of distributed mobile applications.
Pervasive Mob. Comput., 2022

SLA-aware operational efficiency in AI-enabled service chains: challenges ahead.
Inf. Syst. E Bus. Manag., 2022

Elastic Data Analytics for the Cloud-to-Things Continuum.
IEEE Internet Comput., 2022

Online testing of RESTful APIs: promises and challenges.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Automated Generation of Metamorphic Relations for Query-Based Systems.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

Semi-automated Capacity Analysis of Limitation-Aware Microservices Architectures.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2022

Updating Prediction Models for Predictive Process Monitoring.
Proceedings of the Advanced Information Systems Engineering, 2022

GraphQL or REST for Mobile Applications?
Proceedings of the Advanced Research in Technologies, Information, Innovation and Sustainability, 2022

2021
GraphQL: A Systematic Mapping Study - Supplemental Material.
Dataset, August, 2021

ARTE experiments replication package.
Dataset, July, 2021

ARTE experiments replication package.
Dataset, July, 2021

ARTE experiments replication package.
Dataset, July, 2021

Catalogue of patterns for board-based tools.
Dataset, March, 2021

IDEA Dataset: Inter-parameter DEpendencies in web Apis.
Dataset, February, 2021

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? - Supplementary package.
Dataset, February, 2021

COVID Perses Showcase - Mobile App.
Dataset, February, 2021

COVID Perses Showcase - Cloud Server.
Dataset, January, 2021

COVID Perses Showcase - Cloud Server.
Dataset, January, 2021

COVID Perses Showcase - Mobile App.
Dataset, January, 2021

80 Initial Data-set Studies SMS Strategy CG.
Dataset, January, 2021


Automated Validation of Compensable SLAs.
IEEE Trans. Serv. Comput., 2021

Elastic Smart Contracts in Blockchains.
IEEE CAA J. Autom. Sinica, 2021

A Flexible Billing Life Cycle for Cloud Services Using Augmented Customer Agreements.
IEEE Access, 2021

Modeling Variability in the Performance Perspective of Business Processes.
IEEE Access, 2021

An Elasticity Framework for Smart Contracts.
Proceedings of the IEEE International Conference on Smart Data Services, 2021

Artifact: Virtual Environment for Evaluating the QoS of Distributed Mobile Applications.
Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021

Virtual Environment for Evaluating the QoS of Distributed Mobile Applications.
Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021

RESTest: automated black-box testing of RESTful web APIs.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Bluejay: A Cross-Tooling Audit Framework For Agile Software Teams.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs.
Proceedings of the 3rd IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2021

Productivity Challenges in Digital Transformation and its Implications for Workstream Collaboration Tools.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Design Patterns for Board-Based Collaborative Work Management Tools.
Proceedings of the Advanced Information Systems Engineering, 2021

2020



Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018.
IEEE Access, 2020

Context-Aware Process Performance Indicator Prediction.
IEEE Access, 2020

Early Evaluation of Mobile Applications' Resource Consumption and Operating Costs.
IEEE Access, 2020

RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs.
Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

2019
Business Process Performance Measurement.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Measuring Performance in Knowledge-intensive Processes.
ACM Trans. Internet Techn., 2019

Automated analysis of feature models: Quo vadis?
Computing, 2019

Visual ppinot: A Graphical Notation for Process Performance Indicators.
Bus. Inf. Syst. Eng., 2019

Test coverage criteria for RESTful web APIs.
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2019

Eagle: a team practices audit framework for agile software development.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

The role of limitations and SLAs in the API industry.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Governify for APIs: SLA-driven ecosystem for API governance.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Catalogue of Inter-parameter Dependencies in RESTful Web APIs.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Automating SLA-Driven API Development with SLA4OAI.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Metamorphic relation patterns for query-based systems.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018
Metamorphic Testing of RESTful Web APIs.
IEEE Trans. Software Eng., 2018

Predictive Monitoring of Business Processes: A Survey.
IEEE Trans. Serv. Comput., 2018

Spectrum-Based Fault Localization in Model Transformations.
ACM Trans. Softw. Eng. Methodol., 2018

Automated inference of likely metamorphic relations for model transformations.
J. Syst. Softw., 2018

An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance.
J. Syst. Softw., 2018

Performance metamorphic testing: A Proof of concept.
Inf. Softw. Technol., 2018

A template-based approach for responsibility management in executable business processes.
Enterp. Inf. Syst., 2018

Towards the Automation of Metamorphic Testing in Model Transformations.
CoRR, 2018

ELeCTRA: Induced Usage Limitations Calculation in RESTful APIs.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

On the Relationships Between Decision Management and Performance Measurement.
Proceedings of the Advanced Information Systems Engineering, 2018

2017
Modeling Service Level Agreements with Linked USDL Agreement.
IEEE Trans. Serv. Comput., 2017

Variability testing in the wild: the Drupal case study.
Softw. Syst. Model., 2017

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Softw. Syst. Model., 2017

Edge and Cloud Pricing for the Sharing Economy.
IEEE Internet Comput., 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

Automated Analysis of Cloud Offerings for Optimal Service Provisioning.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

SLA-Driven Governance for RESTful Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

An Analysis of RESTful APIs Offerings in the Industry.
Proceedings of the Service-Oriented Computing - 15th International Conference, 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.
ACM Trans. Auton. Adapt. Syst., 2016

Multi-objective test case prioritization in highly configurable systems: A case study.
J. Syst. Softw., 2016

Automated configuration support for infrastructure migration to the cloud.
Future Gener. Comput. Syst., 2016

Using templates and linguistic patterns to define process performance indicators.
Enterp. Inf. Syst., 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. Verification 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 Comput., 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. Serv. Comput., 2014

Comprehensive Explanation of SLA Violations at Runtime.
IEEE Trans. Serv. Comput., 2014

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry.
J. Syst. Softw., 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

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 Semant., 2012

Quality-aware analysis in product line engineering with the orthogonal variability model.
Softw. Qual. J., 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.
Softw. Syst. Model., 2011

Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol., 2011

Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol., 2011

Functional testing of feature model analysis tools: a test suite.
IET Softw., 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.
J. Syst. Softw., 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

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

Una Aproximación MDD para Agilizar el Modelado de Negocio y su Especificación en Entornos Interorganizacionales.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009
Hacia el enlace entre la estrategia empresarial mediante modelos de valor y el software de negocio: Un enfoque MDD.
Rev. Avances en Sistemas Informática, 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.
J. Syst. Softw., 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

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 Comput. Pract. Exp., 2007

Building and implementing policies in autonomous and autonomic systems using MaCMAS.
Innov. Syst. Softw. Eng., 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. Univers. Comput. Sci., 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.
Comput. 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 Softw. Eng. Notes, 2002

Vivacidad y Justicia en Entornos no Deterministas.
Rev. Colomb. de Computación, 2002

Interacción orientada a Aspectos en entornos Multiorganizacionales.
Rev. Colomb. de Computación, 2002

Multi-Party Coordination in the Context of MOWS.
Program. Comput. Softw., 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...