Publications

Author / Editor

In Press
459		Durán A, Benavides D, Segura S, Trinidad P, Ruiz Cortés A. FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Software and Systems Modeling. In Press. Abstract
458		Narwane GK, Benavides D, Millo J-, S. R, Galindo JA, Nara S. Traceability Analyses between Features and Assets in Software Product Lines. Entropy. In Press;in press. Abstract
457		Troya J, Segura S, Ruiz-Cortés A. Automated Inference of Likely Metamorphic Relations for Model Transformations. Journal of Systems and Software. In Press. Abstract
456		Fleck M, Troya J, Kessentini M, Wimmer M, Alkhazi B. Model Transformation Modularization as a Many-Objective Optimization Problem. IEEE Transactions on Software Engineering. In Press. Abstract
455		Oakes BJ, Troya J, Lúcio L, Wimmer M. Full contract verification for ATL using symbolic execution. Software & Systems Modeling. In Press. Abstract
454		Estrada-Torres B. Improving the Performance Management in Business Processes. In: Business Process Management 2017.; In Press. (Doctoral Consortium). Abstract
453		García JM, Martín-Díaz O, Fernandez P, Ruiz-Cortés A, Toro M. Automated Analysis of Cloud Offerings for Optimal Service Provisioning. In: The 15th International Conference on Service-Oriented Computing (ICSOC 17). Springer; In Press. (LNCS).

2017
452		Sánchez AB, Segura S, Parejo JA, Ruiz-Cortés A. Variability Testing in the Wild: The Drupal Case Study. Software and Systems Modeling Journal. 2017:1-22.
451		García JM, Fernandez P, Pedrinaci C, Resinas M, Cardoso J, Ruiz-Cortés A. Modeling Service Level Agreements with Linked USDL Agreement. IEEE Transactions on Services Computing. 2017;10:52-65.
450		García JM, Fernandez P, Ruiz-Cortés A, Dustdar S, Toro M. Edge and Cloud Pricing for the Sharing Economy. IEEE Internet Computing. 2017;21:78-84.
449		Delgado-Pérez P, Segura S, Medina-Bulo I. Assessment of C++ object-oriented mutation operators: A selective mutation approach. Software Testing, Verification and Reliability. 2017;27.
448		del-Río-Ortega A, Resinas M, Durán A, Bernárdez B, Ruiz-Cortés A, Toro M. VISUAL PPINOT: A Graphical Notation for Process Performance Indicators. Business and Information Systems Engineering. 2017;online:1-25.
447		van der Aa H, Leopold H, del-Río-Ortega A, Resinas M, Reijers HA. Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models. Information Systems. 2017;71:27-39.
446		Muller C, Fernandez P, Diaz MO, Gutierrez AM, Resinas M, Cortes RA. Specifying Compensations with WS-Agreement. IEEE Latin America Transactions. 2017;15:1335-41.
445		Estrada-Torres B, del-Río-Ortega A, Resinas M, Ruiz-Cortés A. On the feasibility of measuring performance using PPINOT in CMMN. In: Ortiz G, editor. XIII Jornadas de Ciencia e Ingeniería de Servicios. Biblioteca Digital SISTEDES; 2017. 10. Abstract