Developing a communications architecture based on WCF for use in nuclear power plant simulators. - Manuel Díaz; Daniel Garrido; Javier Troya (IADIS AC (2), 2009)

On the Specification of Non-functional Properties of Systems by Observation. - Javier Troya; José Eduardo Rivera; Antonio Vallecillo (MoDELS (Workshops), 2009)

Towards a Rewriting Logic Semantics for ATL. - Javier Troya; Antonio Vallecillo (ICMT@TOOLS, 2010)

Simulating domain specific visual models by observation. - Javier Troya; José Eduardo Rivera; Antonio Vallecillo (SpringSim, 2010)

Lightweight Testing of Communication Networks with e-Motions. - Javier Troya; José María Bautista; Fernando López-Romero; Antonio Vallecillo (TAP@TOOLS, 2011)

A Rewriting Logic Semantics for ATL. - Javier Troya; Antonio Vallecillo (J. Object Technol., 2011)

An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures. - Javier Criado; Luis Iribarne; Nicolás Padilla; Javier Troya; Antonio Vallecillo (EUROMICRO-SEAA, 2012)

Matching Business Process Workflows across Abstraction Levels. - Moisés Castelo Branco; Javier Troya; Krzysztof Czarnecki 001; Jochen Malte Küster; Hagen Völzer (MoDELS, 2012)

A domain specific visual language for modeling power-aware reliability in wireless sensor networks. - Javier Troya; Antonio Vallecillo (NFPinDSML@MoDELS, 2012)

On the Reusable Specification of Non-functional Properties in DSLs. - Francisco Durán 001; Steffen Zschaler; Javier Troya (SLE, 2012)

TractsTool: Testing Model Transformations based on Contracts. - Loli Burgueño; Manuel Wimmer; Javier Troya; Antonio Vallecillo (MoDELS (Demos/Posters/StudentResearch), 2013)

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. - Javier Troya; Javier Cubo; José Antonio Martín; Ernesto Pimentel 001; Antonio Vallecillo (MODELSWARD, 2013)

On the concurrent execution of model transformations with Linda. - Loli Burgueño; Javier Troya; Manuel Wimmer; Antonio Vallecillo (BigMDE@STAF, 2013)

Model-driven performance analysis of rule-based domain specific visual models. - Javier Troya; Antonio Vallecillo; Francisco Durán 001; Steffen Zschaler (Inf. Softw. Technol., 2013)

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. - Antonio Moreno-Delgado; Francisco Durán 001; Steffen Zschaler; Javier Troya (ECMFA, 2014)

From out-place transformation evolution to in-place model patching. - Alexander Bergmayr; Javier Troya; Manuel Wimmer (ASE, 2014)

UML-based Cloud Application Modeling with Libraries, Profiles, and Templates. - Alexander Bergmayr; Javier Troya; Patrick Neubauer; Manuel Wimmer; Gerti Kappel (CloudMDE@MoDELS, 2014)

Towards Pattern-Based Optimization of Cloud Applications. - Martin Fleck; Javier Troya; Philip Langer; Manuel Wimmer (CloudMDE@MoDELS, 2014)

Towards Approximate Model Transformations. - Javier Troya; Manuel Wimmer; Loli Burgueño; Antonio Vallecillo (AMT@MoDELS, 2014)

Specification and simulation of queuing network models using Domain-Specific Languages. - Javier Troya; Antonio Vallecillo (Comput. Stand. Interfaces, 2014)

Evaluation of model transformation approaches for model refactoring. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Suresh Pillay; Javier Troya; Pieter Van Gorp (Sci. Comput. Program., 2014)

Towards systematic mutations for and with ATL model transformations. - Javier Troya; Alexander Bergmayr; Loli Burgueño; Manuel Wimmer (ICST Workshops, 2015)

Fully verifying transformation contracts for declarative ATL. - Bentley James Oakes; Javier Troya; Levi Lucio; Manuel Wimmer (MoDELS, 2015)

XMLText: from XML schema to xtext. - Patrick Neubauer; Alexander Bergmayr; Tanja Mayerhofer; Javier Troya; Manuel Wimmer (SLE, 2015)

Parallel In-place Model Transformations with LinTra. - Loli Burgueño; Javier Troya; Manuel Wimmer; Antonio Vallecillo (BigMDE@STAF, 2015)

ARTIST: Model-Based Stairway to the Cloud. - Javier Troya; Hugo Bruneliere; Martin Fleck; Manuel Wimmer; Leire Orue-Echevarria; Jesús Gorroñogoitia (STAF Projects Showcase, 2015)

Static Fault Localization in Model Transformations. - Loli Burgueño; Javier Troya; Manuel Wimmer; Antonio Vallecillo (IEEE Trans. Software Eng., 2015)

Towards generic modularization transformations. - Martin Fleck; Javier Troya; Manuel Wimmer (MODULARITY (Companion), 2016)

Search-Based Model Transformations with MOMoT. - Martin Fleck; Javier Troya; Manuel Wimmer (ICMT, 2016)

The Class Responsibility Assignment Case. - Martin Fleck; Javier Troya; Manuel Wimmer (TTC@STAF, 2016)

Search-based model transformations. - Martin Fleck; Javier Troya; Manuel Wimmer (J. Softw. Evol. Process., 2016)

A Template-Based Approach to Describing Metamorphic Relations. - Sergio Segura; Amador Durán 001; Javier Troya; Antonio Ruiz Cortés (MET@ICSE, 2017)

Performance Metamorphic Testing: Motivation and Challenges. - Sergio Segura; Javier Troya; Amador Durán Toro; Antonio Ruiz Cortés (ICSE-NIER, 2017)

Domain-Specific Languages and Model Transformations for Software Product Line. - Javier Troya; Juha-Pekka Tolvanen; Sergio Segura (SPLC (A), 2017)

Model Transformation Modularization as a Many-Objective Optimization Problem. - Martin Fleck; Javier Troya; Marouane Kessentini; Manuel Wimmer; Bader Alkhazi (IEEE Trans. Software Eng., 2017)

Expressing Measurement Uncertainty in OCL/UML Datatypes. - Manuel F. Bertoa; Nathalie Moreno; Gala Barquero; Loli Burgueño; Javier Troya; Antonio Vallecillo (ECMFA, 2018)

Managing Uncertain Complex Events in Web of Things Applications. - Nathalie Moreno; Manuel F. Bertoa; Gala Barquero; Loli Burgueño; Javier Troya; Adrián García-López; Antonio Vallecillo (ICWE, 2018)

Extending Complex Event Processing to Graph-structured Information. - Gala Barquero; Loli Burgueño; Javier Troya; Antonio Vallecillo (MoDELS, 2018)

Towards the Automation of Metamorphic Testing in Model Transformations. - Javier Troya; Sergio Segura; Antonio Ruiz Cortés (CoRR, 2018)

Performance metamorphic testing: A Proof of concept. - Sergio Segura; Javier Troya; Amador Durán 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2018)

Automated inference of likely metamorphic relations for model transformations. - Javier Troya; Sergio Segura; Antonio Ruiz Cortés (J. Syst. Softw., 2018)

Full contract verification for ATL using symbolic execution. - Bentley James Oakes; Javier Troya; Levi Lúcio; Manuel Wimmer (Softw. Syst. Model., 2018)

Spectrum-Based Fault Localization in Model Transformations. - Javier Troya; Sergio Segura; José Antonio Parejo; Antonio Ruiz Cortés (ACM Trans. Softw. Eng. Methodol., 2018)

Metamorphic Testing of RESTful Web APIs. - Sergio Segura; José Antonio Parejo; Javier Troya; Antonio Ruiz Cortés (IEEE Trans. Software Eng., 2018)

Metamorphic relation patterns for query-based systems. - Sergio Segura; Amador Durán 001; Javier Troya; Antonio Ruiz-Cortés (MET@ICSE, 2019)

Trading Accuracy for Performance in Data Processing Applications. - Gala Barquero; Javier Troya; Antonio Vallecillo (J. Object Technol., 2019)

A local and global tour on MOMoT. - Robert Bill; Martin Fleck; Javier Troya; Tanja Mayerhofer; Manuel Wimmer (Softw. Syst. Model., 2019)

Flipping Laboratory Sessions: An Experience in Computer Science. - José Antonio Parejo; Javier Troya; Sergio Segura; Adela del-Río-Ortega; Antonio Gamez-Diaz; Alfonso E. Márquez Chamorro (Rev. Iberoam. de Tecnol. del Aprendiz., 2020)

Incorporating Trust into Collaborative Social Computing Applications. - Paula Muñoz 001; Alejandro Pérez-Vereda; Nathalie Moreno; Javier Troya; Antonio Vallecillo (EDOC, 2021)

Using UML and OCL Models to Realize High-Level Digital Twins. - Paula Muñoz 001; Javier Troya; Antonio Vallecillo (MoDELS (Companion), 2021)

A model-driven framework for developing android-based classic multiplayer 2D board games. - Mohammad Derakhshandi; Shekoufeh Kolahdouz Rahimi; Javier Troya; Kevin Lano (Autom. Softw. Eng., 2021)

Improving query performance on dynamic graphs. - Gala Barquero; Javier Troya; Antonio Vallecillo (Softw. Syst. Model., 2021)

Uncertainty representation in software models: a survey. - Javier Troya; Nathalie Moreno; Manuel F. Bertoa; Antonio Vallecillo (Softw. Syst. Model., 2021)

Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. - Javier Troya; José Antonio Parejo; Sergio Segura; Antonio Gamez-Diaz; Alfonso E. Márquez Chamorro; Adela del-Río-Ortega (IEEE Trans. Educ., 2021)

Automated Generation of Metamorphic Relations for Query-Based Systems. - Sergio Segura; Juan C. Alonso; Alberto Martin-Lopez; Amador Durán 001; Javier Troya; Antonio Ruiz-Cortés (MET@ICSE, 2022)

Using trace alignments for measuring the similarity between a physical and its digital twin. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (MoDELS (Companion), 2022)

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. - Javier Cámara 001; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl; Javier Troya; Antonio Vallecillo (MoDELS, 2022)

Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster). - Daniel Pérez-Porras; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (STAF Workshops, 2022)

Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach. - Paula Muñoz 001; Javier Troya; Manuel Wimmer; Gerti Kappel (J. Object Technol., 2022)

The uncertainty interaction problem in self-adaptive systems. - Javier Cámara 001; Javier Troya; Antonio Vallecillo; Nelly Bencomo; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl (Softw. Syst. Model., 2022)

Introduction to the theme section on Agile model-driven engineering. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Javier Troya; Hessa Alfraihi (Softw. Syst. Model., 2022)

Modeling and Synchronizing Digital Twin Environments. - Juan Alberto Llopis; Javier Criado; Luis Iribarne; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (ANNSIM, 2023)

Towards an Urban Digital Twins Continuum Architecture. - Sergio Laso; Lorenzo Toro-Gálvez; Javier Berrocal; Javier Troya; Carlos Canal; Juan Manuel Murillo (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. - Lorenzo Toro-Gálvez; Rafael García-Luque; Javier Troya; Carlos Canal; Ernesto Pimentel 001 (ICWE Workshops, 2023)

Towards an Extensible Architecture and Tool Support for Model-Based Verification. - David Delgado 003; Lola Burgueño; Javier Cámara 001; Javier Troya (MoDELS (Companion), 2023)

A Conceptual Architecture for Building Digital Twins. - Paula Muñoz 001; Javier Troya; Antonio Vallecillo (Agile MDE/MeSS/TTC@STAF, 2023)

Modeling Urban Digital Twins over the Cloud-to-Thing Continuum. - Nathalie Moreno; Lorenzo Toro-Gálvez; Javier Troya; Carlos Canal (Agile MDE/MeSS/TTC@STAF, 2023)

Model Transformation Testing and Debugging: A Survey. - Javier Troya; Sergio Segura; Lola Burgueño; Manuel Wimmer (ACM Comput. Surv., 2023)

Integrating Citizens' Avatars in Urban Digital Twins. - Rafael García-Luque; Lorenzo Toro-Gálvez; Nathalie Moreno; Javier Troya; Carlos Canal; Ernesto Pimentel 001 (J. Web Eng., 2023)

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. - Javier Cámara 001; Javier Troya; Lola Burgueño; Antonio Vallecillo (Softw. Syst. Model., 2023)

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (Zenodo, 2023)

Towards a Digital Twin System for Human Crowd Motion Prediction. - Ignacio Alba; Javier Troya; Carlos Canal (EDOC Workshops, 2024)

Towards Measuring Digital Twins Fidelity at Runtime. - Paula Muñoz 001; Javier Troya; Antonio Vallecillo (MoDELS (Companion), 2024)

Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. - Raquel Sanchez; Javier Troya; Javier Cámara 001 (SEAMS@ICSE, 2024)

Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. - Enrique Vilchez; Javier Troya; Javier Cámara 001 (SEAMS@ICSE, 2024)

Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. - Enrique Vilchez; Javier Troya; Javier Cámara 001 (SEAMS@ICSE, 2024)

Exploring Actions, Interactions and Challenges in Software Modelling Tasks: An Empirical Investigation with Students. - Shalini Chakraborty; Javier Troya; Lola Burgueño; Grischa Liebel (CoRR, 2024)

From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling. - Javier Cámara 001; Javier Troya; Lola Burgueño (ERCIM News, 2024)

Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language. - Javier Cámara 001; Javier Troya; Julio Montes-Torres; Francisco J. Jaime (IEEE Softw., 2024)

UTypes: A library for uncertain datatypes in Python. - Carlos Javier Fernández Candel; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (SoftwareX, 2024)

Corrigendum to "UTypes: A library for uncertain datatypes in Python" [SoftwareX, VOLUME 26, 101676, MAY 2024]. - Carlos Javier Fernández Candel; Paula Muñoz 001; Javier Troya; Antonio Vallecillo (SoftwareX, 2024)

Yekta: A low-code framework for automated test models generation. - Meysam Karimi; Shekoufeh Kolahdouz Rahimi; Javier Troya (SoftwareX, 2024)

Ant-colony optimization for automating test model generation in model transformation testing. - Meysam Karimi; Shekoufeh Kolahdouz Rahimi; Javier Troya (J. Syst. Softw., 2024)

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (Zenodo, 2024)

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. - Bentley Oakes; Javier Troya; Jessie Galasso; Manuel Wimmer (Softw. Syst. Model., 2024)

Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework. - Javier Cámara 001; Lola Burgueño; Javier Troya (Softw. Syst. Model., 2024)

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments. - Paula Muñoz 001; Manuel Wimmer; Javier Troya; Antonio Vallecillo (IEEE Trans. Software Eng., 2024)

Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo. - Javier Troya; Alfonso Pierantonio (Softw. Syst. Model., 2025)