| Artículo | 2025 |
Automatic generation of efficient oracles: The less-than case
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2025 |
Pricing4APIs: A rigorous model for RESTful API pricings
|
COMPUTER STANDARDS & INTERFACES |
| Artículo | 2025 |
The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs
|
SoftwareX |
| Artículo | 2024 |
Governify. An agreement-based service governance framework
|
Software Impacts |
| Capítulo | 2024 |
Pricing4SaaS: Towards a Pricing Model to Drive the Operation of SaaS
|
Lecture Notes in Business Information Processing |
| Artículo | 2024 |
Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2024 |
Some Initial Guidelines for Building Reusable Quantum Oracles
|
Lecture Notes in Computer Science |
| Capítulo | 2024 |
Towards Pricing4SaaS: A Framework for Pricing-Driven Feature Toggling in SaaS
|
Lecture Notes in Computer Science |
| Artículo | 2023 |
A model-based approach for specifying changes in replications of empirical studies in computer Science
|
Computing: archives for scientific computing |
| Ponencia | 2023 |
AGORA: Automated Generation of Test Oracles for REST APIs
|
ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Artículo | 2023 |
An empirical study to evaluate the impact of mindfulness on helpdesk employees
|
SCIENCE OF COMPUTER PROGRAMMING |
| Artículo | 2023 |
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2023 |
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
|
Proceedings - 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering, Q-SE 2023 |
| Artículo | 2023 |
Comprehensive assessment of open source software ecosystem health
|
Internet of Things (Netherlands) |
| Corrección | 2023 |
Correction to: A model-based approach for specifying changes in replications of empirical studies in computer Science (Computing, (2022), 10.1007/s00607-022-01133-x)
|
Computing: archives for scientific computing |
| Artículo | 2023 |
GraphQL: a systematic mapping study
|
ACM COMPUTING SURVEYS |
| Ponencia | 2023 |
On the Impact and Lessons Learned from Mindfulness Practice in a Real-World Software Company
|
International Symposium on Empirical Software Engineering and Measurement |
| Ponencia | 2023 |
Operating with Quantum Integers: An Efficient ‘Multiples of’ Oracle
|
Communications in Computer and Information Science |
| Editorial | 2023 |
Preface
|
Lecture Notes in Computer Science |
| Ponencia | 2023 |
Semi-automated capacity analysis of limitation-aware microservices architectures
|
Lecture Notes in Computer Science |
| Libro | 2023 |
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I
|
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I |
| Libro | 2023 |
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II
|
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II |
| Capítulo | 2023 |
SLA4OAI-Analyzer: Automated Validation of RESTful API Pricing Plans
|
Lecture Notes in Computer Science |
| Artículo | 2022 |
A mashup-based framework for business process compliance checking
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2022 |
Automated Generation of Metamorphic Relations for Query-Based Systems
|
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022 |
| Artículo | 2022 |
Effects of mindfulness on conceptual modeling performance: a series of experiments
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Artículo | 2022 |
Elastic data analytics for the cloud-to-things continuum
|
IEEE INTERNET COMPUTING |
| Ponencia | 2022 |
Generación Automática de Oráculos de Prueba para APIs RESTful
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Ponencia | 2022 |
GraphQL or REST for mobile applications?
|
Communications in Computer and Information Science |
| Capítulo | 2022 |
Inter-parameter dependencies in real-world web APIs: the IDEA dataset
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
| Ponencia | 2022 |
Online testing of RESTful APIs: promises and challenges
|
ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
| Artículo | 2022 |
Perses: A framework for the continuous evaluation of the QoS of distributed mobile applications
|
PERVASIVE AND MOBILE COMPUTING |
| Editorial | 2022 |
Preface
|
Lecture Notes in Computer Science |
| Ponencia | 2022 |
Pruebas de APIs REST guiadas por Aprendizaje Activo
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Ponencia | 2022 |
Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Ponencia | 2022 |
Quality in use evaluation of a GraphQL implementation
|
Emerging research in intelligent systems: proceedings of the CIT 2021 (volume 1) |
| Libro | 2022 |
Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings
|
Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings |
| Artículo | 2022 |
SLA-aware operational efficiency in AI-enabled service chains: challenges ahead
|
Information Systems and e-Business Management |
| Artículo | 2022 |
Specification and automated analysis of inter-parameter dependencies in Web APIs
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2022 |
Updating prediction models for predictive process monitoring
|
Lecture Notes in Computer Science |
| Capítulo | 2021 |
A family of experiments to evaluate the effects of mindfulness on software engineering students
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
| Artículo | 2021 |
A flexible billing life cycle for cloud services using augmented customer agreements
|
IEEE ACCESS |
| Ponencia | 2021 |
An elasticity framework for smart contracts
|
Proceedings - 2021 IEEE International Conference on Smart Data Services, SMDS 2021 |
| Ponencia | 2021 |
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 |
| Artículo | 2021 |
Automated validation of compensable SLAs
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2021 |
Black-box and white-box test case generation for RESTful APIs: enemies or allies?
|
Proceedings - International Symposium on Software Reliability Engineering, ISSRE |
| Ponencia | 2021 |
Bluejay: a cross-tooling audit framework for agile software teams
|
Proceedings - International Conference on Software Engineering |
| Ponencia | 2021 |
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 |
| Ponencia | 2021 |
Design patterns for board-based collaborative work management tools
|
Lecture Notes in Computer Science |
| Ponencia | 2021 |
Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Artículo | 2021 |
Elastic Smart Contracts in Blockchains
|
IEEE/CAA Journal of Automatica Sinica |
| Ponencia | 2021 |
Empirical strategies in software engineering research: a literature survey
|
Proceedings - 2021 2nd International Conference on Information Systems and Software Technologies, ICI2ST 2021 |
| Capítulo | 2021 |
Evaluating testing techniques in highly-configurable systems: the Drupal dataset
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
| Ponencia | 2021 |
Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Artículo | 2021 |
Modeling variability in the performance perspective of business processes
|
IEEE ACCESS |
| Ponencia | 2021 |
PPINOT computer and ppinot4py: two libraries to compute process performance indicators
|
CEUR workshop proceedings |
| Capítulo | 2021 |
Process Performance Indicators for IT Service Management:
|
Research and Evidence in Software Engineering |
| Ponencia | 2021 |
Productivity challenges in digital transformation and its implications for workstream collaboration tools
|
Proceedings of the Annual Hawaii International Conference on System Sciences |
| Ponencia | 2021 |
Pruebas de Mutación de Caja Negra para APIs Web
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Ponencia | 2021 |
Pruebas de Mutación de Caja Negra para APIs Web
|
|
| Ponencia | 2021 |
RESTest: automated black-box testing of RESTful web APIs
|
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Ponencia | 2021 |
RESTest: Pruebas de Caja Negra para APIs REST con Soporte para Restricciones
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Ponencia | 2021 |
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ículo | 2020 |
Context-aware process performance indicator prediction
|
IEEE ACCESS |
| Artículo | 2020 |
Early evaluation of mobile applications' resource consumption and operating costs
|
IEEE ACCESS |
| Ponencia | 2020 |
RESTest: black-box constraint-based testing of RESTful web APIs
|
Lecture Notes in Computer Science |
| Ponencia | 2020 |
Towards an automated management of well-being goals in nursing homes
|
Communications in Computer and Information Science |
| Ponencia | 2019 |
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs
|
Lecture Notes in Computer Science |
| Artículo | 2019 |
Automated analysis of feature models: Quo vadis?
|
Computing: archives for scientific computing |
| Ponencia | 2019 |
Automated analysis of feature models: quo vadis?
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
| Ponencia | 2019 |
Automating SLA-Driven API Development with SLA4OAI
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
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 |
| Ponencia | 2019 |
ELECTRA: Induced usage limitations calculation in RESTful APIs
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
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ículo | 2019 |
Measuring Performance in Knowledge-intensive Processes
|
ACM TRANSACTIONS ON INTERNET TECHNOLOGY |
| Ponencia | 2019 |
Metamorphic Relation Patterns for Query-Based Systems
|
2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019) |
| Ponencia | 2019 |
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ículo | 2019 |
Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018
|
IEEE ACCESS |
| Ponencia | 2019 |
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 |
| Ponencia | 2019 |
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 |
| Ponencia | 2019 |
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ículo | 2019 |
Visual ppinot: A Graphical Notation for Process Performance Indicators
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
| Artículo | 2018 |
A template-based approach for responsibility management in executable business processes
|
ENTERPRISE INFORMATION SYSTEMS |
| Artículo | 2018 |
An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2018 |
Automated inference of likely metamorphic relations for model transformations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2018 |
Metamorphic testing of RESTful Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2018 |
On the relationships between decision management and performance measurement
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018 |
| Artículo | 2018 |
Performance metamorphic testing: A Proof of concept
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Artículo | 2018 |
Predictive Monitoring of Business Processes: A Survey
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2018 |
SLA-Driven Governance for RESTful Systems
|
SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS |
| Artículo | 2018 |
Spectrum-Based Fault Localization in Model Transformations
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
| Ponencia | 2017 |
A new framework for defining realistic SLAs: An evidence-based approach
|
BUSINESS PROCESS MANAGEMENT FORUM |
| Ponencia | 2017 |
An analysis of RESTful APIs offerings in the industry
|
Lecture Notes in Computer Science |
| Ponencia | 2017 |
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 |
| Ponencia | 2017 |
Automated analysis of cloud offerings for optimal service provisioning
|
Lecture Notes in Computer Science |
| Artículo | 2017 |
Edge and Cloud Pricing for the Sharing Economy
|
IEEE INTERNET COMPUTING |
| Ponencia | 2017 |
Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017) |
| Artículo | 2017 |
Evolutionary composition of QoS-aware web services: A many-objective perspective
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Artículo | 2017 |
Extendiendo ABP con feedback ágil en la enseñanza de Ingeniería del Software
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Artículo | 2017 |
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
|
SOFTWARE AND SYSTEMS MODELING |
| Artículo | 2017 |
Modeling Service Level Agreements with Linked USDL Agreement
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2017 |
Performance Metamorphic Testing: Motivation and Challenges
|
2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER) |
| Ponencia | 2017 |
Redefining a process engine as a microservice platform
|
Lecture Notes in Business Information Processing |
| Artículo | 2017 |
Run-time prediction of business process indicators using evolutionary decision rules
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Artículo | 2017 |
Specifying Compensations with WS-Agreement
|
IEEE LATIN AMERICA TRANSACTIONS |
| Artículo | 2017 |
Variability testing in the wild: the Drupal case study
|
SOFTWARE AND SYSTEMS MODELING |
| Editorial | 2017 |
Welcome message
|
ACM International Conference Proceeding Series |
| Artículo | 2016 |
A survey on metamorphic testing
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2016 |
An Elasticity-aware Governance Platform for Cloud Service Delivery
|
PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016) |
| Artículo | 2016 |
Automated configuration support for infrastructure migration to the cloud
|
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE |
| Ponencia | 2016 |
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 |
| Ponencia | 2016 |
Identifying variability in process performance indicators
|
Lecture Notes in Business Information Processing |
| Artículo | 2016 |
Multi-objective test case prioritization in highly configurable systems: a case study
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2016 |
Narrowing the business-IT gap in process performance measurement
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016) |
| Ponencia | 2016 |
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ículo | 2016 |
User-Centric Adaptation Analysis of Multi-Tenant Services
|
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS |
| Artículo | 2016 |
Using templates and linguistic patterns to define process performance indicators
|
ENTERPRISE INFORMATION SYSTEMS |
| Capítulo | 2015 |
A selective mapping from orthogonal variability model to constraint satisfaction problem
|
Advances in Engineering Research |
| Artículo | 2015 |
Automated metamorphic testing of variability analysis tools
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
| Ponencia | 2015 |
Automated team selection and compliance checking in business processes
|
ACM International Conference Proceeding Series |
| Ponencia | 2015 |
Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web
|
2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS) |
| Ponencia | 2015 |
Modelling Service Level Agreements for Business Process Outsourcing Services
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
| Artículo | 2015 |
Programming Elasticity and Commitment in Dynamic Processes
|
IEEE INTERNET COMPUTING |
| Ponencia | 2015 |
RALph: A Graphical Notation for Resource Assignments in Business Processes
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
| Artículo | 2015 |
Specification and automated design-time analysis of the business process human resource perspective
|
INFORMATION SYSTEMS |
| Ponencia | 2015 |
Towards Compensable SLAs
|
ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING |
| Ponencia | 2014 |
A Comparison of Test Case Prioritization Criteria for Software Product Lines
|
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) |
| Ponencia | 2014 |
A controlled experiment to evaluate the effects of mindfulness in software engineering
|
International Symposium on Empirical Software Engineering and Measurement |
| Artículo | 2014 |
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2014 |
Automated Analysis of Conflicts in WS-Agreement
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Artículo | 2014 |
Automated generation of computationally hard feature models using evolutionary algorithms
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Ponencia | 2014 |
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ítulo | 2014 |
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ículo | 2014 |
Comprehensive Explanation of SLA Violations at Runtime
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2014 |
KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs
|
CEUR workshop proceedings |
| Capítulo | 2014 |
PPINOT: A Performance Management Solution for Process Oriented Organizations
|
VII y VIII Congreso Académico Internacional en Gobierno y Gestión del Servicio de Tecnologías de la Información: Libro de actas |
| Artículo | 2014 |
QoS-aware web services composition using GRASP with Path Relinking
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Capítulo | 2014 |
The Drupal framework: a case study to evaluate variability testing techniques
|
The Eight International Workshop on Variability Modelling of Software-Intensive Systems |
| Ponencia | 2014 |
Towards a Formal Specification of SLAs with Compensations
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES |
| Ponencia | 2014 |
Towards a formal specification of SLAs with compensations*
|
Lecture Notes in Computer Science |
| Ponencia | 2014 |
Towards process-aware cross-organizational human resource management
|
Lecture Notes in Business Information Processing |
| Ponencia | 2014 |
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ítulo | 2013 |
Automated Analysis of Stateful Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
| Capítulo | 2013 |
Automated Reasoning on Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
| Ponencia | 2013 |
Defining and analysing resource-aware process performance indicators
|
CEUR workshop proceedings |
| Ponencia | 2013 |
Designing Business Processes with History-Aware Resource Assignments
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM) |
| Ponencia | 2013 |
Evolving the automated analysis of feature models
|
Lecture Notes in Computer Science |
| Ponencia | 2013 |
Extending WS-agreement to support automated conformity check on transport and logistics service agreements
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Capítulo | 2013 |
FaMa
|
Systems and Software Variability Management: Concepts, Tools and Experiences |
| Ponencia | 2013 |
iAgree studio: A platform to edit and validate WS-agreement documents
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Artículo | 2013 |
Integrating semantic Web services ranking mechanisms using a common preference model
|
KNOWLEDGE-BASED SYSTEMS |
| Ponencia | 2013 |
Migrating to the Cloud: A software product line based analysis
|
CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science |
| Ponencia | 2013 |
Multi-user Variability Configuration: A Game Theoretic Approach
|
2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) |
| Artículo | 2013 |
On the definition and design-time analysis of process performance indicators
|
INFORMATION SYSTEMS |
| Ponencia | 2013 |
PPINOT tool suite: A performance management solution for process-oriented organisations
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Ponencia | 2013 |
Priority-based human resource allocation in business processes
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Capítulo | 2012 |
FaMa-OVM: a tool for the automated analysis of OVMs
|
16th International Software Product Line Conference, SPLC´12 |
| Ponencia | 2012 |
Automated resource assignment in BPMN models using RACI matrices
|
Lecture Notes in Computer Science |
| Capítulo | 2012 |
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
|
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems |
| Ponencia | 2012 |
CRISTAL: Collection of resource-centric supporting tools and languages
|
CEUR workshop proceedings |
| Capítulo | 2012 |
Dealing with complexity in agent-oriented software engineering: The importance of interactions
|
Conquering Complexity |
| Ponencia | 2012 |
Defining process performance indicators by using templates and patterns
|
BUSINESS PROCESS MANAGEMENT, BPM 2012 |
| Ponencia | 2012 |
FaMa-OVM: A tool for the automated analysis of OVMs
|
ACM International Conference Proceeding Series |
| Artículo | 2012 |
Improving semantic web services discovery using SPARQL-based repository filtering
|
JOURNAL OF WEB SEMANTICS |
| Ponencia | 2012 |
Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012 |
| Artículo | 2012 |
Metaheuristic optimization frameworks: a survey and benchmarking
|
SOFT COMPUTING |
| Artículo | 2012 |
Quality-aware analysis in product line engineering with the orthogonal variability model
|
SOFTWARE QUALITY JOURNAL |
| Ponencia | 2012 |
RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I |
| Ponencia | 2012 |
SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents
|
ICSE Workshop on Principles of Engineering Service Oriented Systems |
| Ponencia | 2011 |
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) |
| Ponencia | 2011 |
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ículo | 2011 |
Automated metamorphic testing on the analyses of feature models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2011 |
Automatic generation of a data-centered view of business processes
|
Lecture Notes in Computer Science |
| Ponencia | 2011 |
Defining and Analysing Resource Assignments in Business Processes with RAL
|
SERVICE-ORIENTED COMPUTING |
| Ponencia | 2011 |
Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS |
| Artículo | 2011 |
Functional testing of feature model analysis tools: a test suite
|
IET SOFTWARE |
| Artículo | 2011 |
Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes
|
IEEE LATIN AMERICA TRANSACTIONS |
| Ponencia | 2011 |
ISA packager: A tool for SPL deployment
|
ACM International Conference Proceeding Series |
| Artículo | 2011 |
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
|
SOFTWARE AND SYSTEMS MODELING |
| Artículo | 2011 |
Mutation testing on an object-oriented framework: An experience report
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2011 |
WS-governance tooling: SOA governance policies analysis and authoring
|
Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011 |
| Ponencia | 2011 |
WS-governance: A policy language for SOA governance
|
SERVICE-ORIENTED COMPUTING |
| Ponencia | 2010 |
A MDD approach to streamline business modeling and environments especificaci'on interorganizational
|
CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering" |
| Ponencia | 2010 |
A model of user preferences for semantic services discovery and ranking
|
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS |
| Artículo | 2010 |
Automated analysis of feature models 20 years later: A literature review
|
INFORMATION SYSTEMS |
| Artículo | 2010 |
Automated diagnosis of feature model configurations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Capítulo | 2010 |
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 |
| Ponencia | 2010 |
Dealing with fixable and non-fixable properties in service matchmaking
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
| Ponencia | 2010 |
Defining process performance indicators: An ontological approach
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I |
| Ponencia | 2010 |
Using automated analysis of temporal-aware SLAs in logistics
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
| Ponencia | 2009 |
Explaining the non-compliance between templates and agreement offers in ws-agreement
|
SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
| Ponencia | 2009 |
FAST-SE: An ESB based framework for SLA trading
|
SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
| Artículo | 2009 |
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 |
| Ponencia | 2009 |
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 |
| Ponencia | 2009 |
On user preferences and utility functions in selection: A semantic approach
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
| Ponencia | 2009 |
Temporal-awareness in SLAs: Why should we be concerned?
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
| Capítulo | 2008 |
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 |
| Ponencia | 2008 |
A service ranker based on logic rules evaluation and constraint programming
|
CEUR workshop proceedings |
| Libro | 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
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
| Ponencia | 2008 |
An initial approach to explaining SLA inconsistencies
|
SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS |
| Capítulo | 2008 |
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ículo | 2008 |
Automated error analysis for the agilization of feature modeling
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2008 |
Automated merging of feature models using graph transformations
|
Generative and Transformational Techniques in Software Engineering II |
| Ponencia | 2008 |
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) |
| Ponencia | 2008 |
FAMA Framework
|
SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS |
| Capítulo | 2008 |
FAMA Framework
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
| Ponencia | 2008 |
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ítulo | 2008 |
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 |
| Ponencia | 2008 |
From Feature Models to Business Processes
|
2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2 |
| Ponencia | 2008 |
QoS-Aware Semantic Service Selection: An Optimization Problem
|
IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
| Capítulo | 2008 |
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 |
| Ponencia | 2008 |
Representing Runtime Variability in Business-Driven Development Systems
|
SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS |
| Ponencia | 2008 |
Semantic discovery and selection: A QoS-aware, hybrid model
|
Proceedings of the 2008 International Conference on Semantic Web and Web Services, SWWS 2008 |
| Ponencia | 2008 |
SLAWs: Towards a conceptual architecture for SLA enforcement
|
IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
| Ponencia | 2007 |
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ículo | 2007 |
A top down approach for describing the acquaintace organisation of multiagent systems
|
Scalable Computing |
| Ponencia | 2007 |
An hybrid, QoS-Aware discovery of semantic web services using constraint programming
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
| Capítulo | 2007 |
Automated Merging of Feature Models Using Graph Transformations
|
Generative and Transformational Techniques in Software Engineering II |
| Artículo | 2007 |
Building and implementing policies in autonomous and autonomic systems using MaCMAS
|
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING |
| Ponencia | 2007 |
Building the core architecture of a NASA multiagent system product line
|
AGENT-ORIENTED SOFTWARE ENGINEERING VII |
| Capítulo | 2007 |
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 |
| Ponencia | 2007 |
Improving temporal-awareness of WS-agreement
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
| Capítulo | 2007 |
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 |
| Ponencia | 2007 |
Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems
|
2007 IEEE SWARM INTELLIGENCE SYMPOSIUM |
| Capítulo | 2006 |
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 |
| Ponencia | 2006 |
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ículo | 2006 |
Automated analysis of feature models: Challenges ahead
|
COMMUNICATIONS OF THE ACM |
| Ponencia | 2006 |
Isolated features detection in feature models
|
CEUR workshop proceedings |
| Artículo | 2006 |
Multi-agent system product lines: challenges and benefits
|
COMMUNICATIONS OF THE ACM |
| Capítulo | 2006 |
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ículo | 2005 |
A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS)
|
Lecture Notes in Computer Science |
| Artículo | 2005 |
An approach to temporal-aware procurement of Web services
|
SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS |
| Artículo | 2005 |
Automated reasoning on feature models
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS |
| Artículo | 2005 |
Improving the automatic procurement of web services using constraint programming
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
| Capítulo | 2005 |
La Triple Esquizofrenia del investigador en Ingeniería del Software
|
Aspectos filosóficos, psicológicos y metodológicos de la informática |
| Ponencia | 2005 |
Using constraint programming to reason on feature models
|
17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 |
| Ponencia | 2004 |
A framework for classifying and comparing web services procurement platforms
|
FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, PROCEEDINGS |
| Editorial | 2004 |
Breakthroughs and challenges in software engineering - J.UCS Special Issue
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
| Artículo | 2004 |
Editorial: Web and database technologies in business solutions
|
International Journal of Web Engineering and Technology |
| Ponencia | 2004 |
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ículo | 2004 |
Una forma de aproximar el error en el método EFG
|
REVISTA INTERNACIONAL DE METODOS NUMERICOS PARA CALCULO Y DISENO EN INGENIERIA |
| Artículo | 2003 |
A quality-aware approach to web services procurement
|
TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS |
| Capítulo | 2003 |
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software
|
Métodos de investigación y fundamentos filosóficos en ingeniería del software y sistemas de la información: El Escorial (Madrid), 18 de noviembre de 2002 |
| Artículo | 2003 |
Aspect-oriented interaction in multi-organisational web-based systems
|
COMPUTER NETWORKS |
| Artículo | 2003 |
Automating the procurement of web services
|
Service-Oriented Computing - ICSOC 2003 |
| Capítulo | 2003 |
Un entorno de administración y ejecución de sistemas multiorganizacionales basados en la Web
|
II Taller de Ingeniería del Software Orientada al Web (Web Engineering) |
| Capítulo | 2003 |
Una Aproximación a la Evaluación Automática de Alternativas de Diseño
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
| Ponencia | 2002 |
An automated approach to quality aware web applications
|
ENTERPRISE INFORMATION SYSTEMS IV |
| Capítulo | 2002 |
Assisting the Requirements Verifier with XML Technology
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
| Capítulo | 2002 |
Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
| Capítulo | 2002 |
Los servicios web en el mundo de los mercados electrónicos
|
Avances en comercio electrónico |
| Artículo | 2002 |
Multi-party coordination in the context of MOWS
|
PROGRAMMING AND COMPUTER SOFTWARE |
| Artículo | 2002 |
Repairing syntax errors in LR parsers
|
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
| Libro | 2002 |
Simposio de Informática y Telecomunicaciones
|
Simposio de Informática y Telecomunicaciones |
| Ponencia | 2002 |
Supporting requirements verification using XSLT
|
IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS |
| Artículo | 2002 |
VERIFYING SOFTWARE REQUIREMENTS WITH XSLT
|
Software Engineering Notes |
| Ponencia | 2001 |
Automated support for quality requirements in Web-service-based systems
|
EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
| Ponencia | 2000 |
Implementación automática de fragmentos arquitectónicos en el contexto del lenguaje ALFA
|
Libro de actas: Simposio Español de Informática Distribuida, Ourense 25-27 de septiembre de 2000 |
| Artículo | 2000 |
INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS.
|
Novática |
| Capítulo | 2000 |
Una aproximación al desarrollo de software basada en prototipado arquitectónico
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
| Ponencia | 1999 |
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
| Capítulo | 1999 |
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
| Capítulo | 1999 |
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 |
| Artículo | 1995 |
Acceso al medio para tráficos BISND sobre redes con topología en doble bus
|
Informatica y Automatica |
