| Artículo | 2023 |
Model transformation testing and debugging: a survey
|
ACM COMPUTING SURVEYS |
| Ponencia | 2022 |
Automated Generation of Metamorphic Relations for Query-Based Systems
|
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022 |
| 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 | 2021 |
Flipping laboratory sessions in a computer science course: an experience report
|
IEEE TRANSACTIONS ON EDUCATION |
| Ponencia | 2021 |
Improving query performance on dynamic graphs
|
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 |
Uncertainty representation in software models: a survey
|
SOFTWARE AND SYSTEMS MODELING |
| Artículo | 2020 |
Flipping laboratory sessions: an experience in computer science
|
IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA |
| Artículo | 2020 |
Improving query performance on dynamic graphs
|
SOFTWARE AND SYSTEMS MODELING |
| Artículo | 2019 |
A local and global tour on MOMoT
|
SOFTWARE AND SYSTEMS MODELING |
| Artículo | 2019 |
Invirtiendo las clases de laboratorio en Ingeniería Informática: un enfoque ágil
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Ponencia | 2019 |
Metamorphic Relation Patterns for Query-Based Systems
|
2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019) |
| Artículo | 2019 |
Trading Accuracy for Performance in Data Processing Applications
|
JOURNAL OF OBJECT TECHNOLOGY |
| Artículo | 2018 |
Automated inference of likely metamorphic relations for model transformations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2018 |
Expressing measurement uncertainty in OCL/UML datatypes
|
MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018) |
| Ponencia | 2018 |
Extending Complex Event Processing to Graph-structured Information
|
Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 |
| Artículo | 2018 |
Full contract verification for ATL using symbolic execution
|
SOFTWARE AND SYSTEMS MODELING |
| Ponencia | 2018 |
Managing uncertain complex events in web of things applications
|
Lecture Notes in Computer Science |
| Artículo | 2018 |
Metamorphic testing of RESTful Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Artículo | 2018 |
Performance metamorphic testing: A Proof of concept
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Artículo | 2018 |
Spectrum-Based Fault Localization in Model Transformations
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
| Ponencia | 2017 |
A Template-Based Approach to Describing Metamorphic Relations
|
2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2017) |
| 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 |
Domain-Specific Languages and Model Transformations for Software Product Line
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
| Artículo | 2017 |
Model transformation modularization as a many-objective optimization problem
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| 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 | 2016 |
Search-based model transformations
|
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS |
| Ponencia | 2016 |
Search-Based Model Transformations with MOMoT
|
THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2016 |
| Ponencia | 2016 |
The class responsibility assignment case
|
CEUR workshop proceedings |
| Ponencia | 2016 |
Towards Generic Modularization Transformations
|
COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16) |
| 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 |
| Ponencia | 2015 |
ARTIST: Model-based stairway to the cloud
|
CEUR workshop proceedings |
| Ponencia | 2015 |
Fully Verifying Transformation Contracts for Declarative ATL
|
2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS) |
| Ponencia | 2015 |
Parallel in-place model transformations with LinTra
|
CEUR workshop proceedings |
| Artículo | 2015 |
Static fault localization in model transformations
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2015 |
Towards Systematic Mutations for and with ATL Model Transformations
|
2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW) |
| Ponencia | 2015 |
XMLText: From XML schema to Xtext
|
SLE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering |
| Artículo | 2014 |
Evaluation of model transformation approaches for model refactoring
|
SCIENCE OF COMPUTER PROGRAMMING |
| Capítulo | 2014 |
From Out-Place Transformation Evolution to In-Place Model Patching
|
ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering |
| Ponencia | 2014 |
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio
|
MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2014 |
| Artículo | 2014 |
Specification and simulation of queuing network models using Domain-Specific Languages
|
COMPUTER STANDARDS & INTERFACES |
| Ponencia | 2014 |
Towards approximate model transformations
|
CEUR workshop proceedings |
| Ponencia | 2014 |
Towards pattern-based optimization of cloud applications
|
CEUR workshop proceedings |
| Ponencia | 2014 |
UML-based cloud application modeling with libraries, profiles, and templates
|
CEUR workshop proceedings |
| Ponencia | 2013 |
Automated throughput optimization of cloud services via model-driven adaptation
|
MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development |
| Artículo | 2013 |
Model-driven performance analysis of rule-based domain specific visual models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2013 |
On the concurrent execution of model transformations with linda
|
ACM International Conference Proceeding Series |
| Ponencia | 2013 |
On the reusable specification of non-functional properties in DSLs
|
Lecture Notes in Computer Science |
| Ponencia | 2013 |
TractsTool: Testing model transformations based on contracts
|
CEUR workshop proceedings |
| Ponencia | 2012 |
A domain specific visual language for modeling power-aware reliability in wireless sensor networks
|
4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012 |
| Ponencia | 2012 |
An MDE approach for Runtime Monitoring and Adapting Component-based Systems: Application to WIMP User Interface Architectures
|
2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) |
| Ponencia | 2012 |
Matching business process workflows across abstraction levels
|
Lecture Notes in Computer Science |
| Artículo | 2011 |
A Rewriting Logic Semantics for ATL
|
JOURNAL OF OBJECT TECHNOLOGY |
| Ponencia | 2011 |
Adapting component-based user interfaces at runtime using observers
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
| Ponencia | 2011 |
Lightweight Testing of Communication Networks with e-Motions
|
TESTS AND PROOFS, TAP 2011 |
| Ponencia | 2010 |
On the Specification of Non-functional Properties of Systems by Observation
|
MODELS IN SOFTWARE ENGINEERING |
| Capítulo | 2010 |
Simulating domain specific visual models by observation
|
Proceedings of the 2010 Spring Simulation Multiconference |
| Ponencia | 2010 |
Towards a Rewriting Logic Semantics for ATL
|
THEORY AND PRACTICE OF MODEL TRANSFORMATIONS |
| Ponencia | 2009 |
On the specification of non-functional properties of systems by observation
|
CEUR workshop proceedings |
