Javier Troya

According to our database, Javier Troya authored at least 83 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.

Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer

Softw. Syst. Model., June, 2024

Ant-colony optimization for automating test model generation in model transformation testing.

Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Javier Troya

J. Syst. Softw., February, 2024

Yekta: A low-code framework for automated test models generation.

Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Javier Troya

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, Javier Troya, Antonio Vallecillo

SoftwareX, 2024

UTypes: A library for uncertain datatypes in Python.

Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo

SoftwareX, 2024

Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language.

Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J. Jaime

IEEE Softw., 2024

From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling.

Javier Cámara, Javier Troya, Lola Burgueño

ERCIM News, 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

Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments.

Enrique Vilchez, Javier Troya, Javier Cámara

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking.

Enrique Vilchez, Javier Troya, Javier Cámara

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints.

Raquel Sanchez, Javier Troya, Javier Cámara

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Towards Measuring Digital Twins Fidelity at Runtime.

Paula Muñoz, Javier Troya, Antonio Vallecillo

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository.

Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo

Dataset, December, 2023

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.

Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo

Softw. Syst. Model., 2023

Integrating Citizens' Avatars in Urban Digital Twins.

Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel

J. Web Eng., 2023

Model Transformation Testing and Debugging: A Survey.

Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer

ACM Comput. Surv., 2023

Modeling Urban Digital Twins over the Cloud-to-Thing Continuum.

Nathalie Moreno, Lorenzo Toro-Gálvez, Javier Troya, Carlos Canal

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

A Conceptual Architecture for Building Digital Twins.

Paula Muñoz, Javier Troya, Antonio Vallecillo

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Towards an Extensible Architecture and Tool Support for Model-Based Verification.

David Delgado, Lola Burgueño, Javier Cámara, Javier Troya

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the Current Trends in Web Engineering, 2023

Towards an Urban Digital Twins Continuum Architecture.

Sergio Laso, Lorenzo Toro-Gálvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo

Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023

Modeling and Synchronizing Digital Twin Environments.

Juan Alberto Llopis, Javier Criado, Luis Iribarne, Paula Muñoz, Javier Troya, Antonio Vallecillo

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

Introduction to the theme section on Agile model-driven engineering.

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi

Softw. Syst. Model., 2022

The uncertainty interaction problem in self-adaptive systems.

Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl

Softw. Syst. Model., 2022

Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach.

Paula Muñoz, Javier Troya, Manuel Wimmer, Gerti Kappel

J. Object Technol., 2022

Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster).

Daniel Pérez-Porras, Paula Muñoz, Javier Troya, Antonio Vallecillo

Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.

Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Using trace alignments for measuring the similarity between a physical and its digital twin.

Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Automated Generation of Metamorphic Relations for Query-Based Systems.

Sergio Segura, Juan C. Alonso, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés

Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

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

Uncertainty representation in software models: a survey.

Javier Troya, Nathalie Moreno, Manuel F. Bertoa, Antonio Vallecillo

Softw. Syst. Model., 2021

Improving query performance on dynamic graphs.

Gala Barquero, Javier Troya, Antonio Vallecillo

Softw. Syst. Model., 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

Using UML and OCL Models to Realize High-Level Digital Twins.

Paula Muñoz, Javier Troya, Antonio Vallecillo

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Incorporating Trust into Collaborative Social Computing Applications.

Paula Muñoz, Alejandro Pérez-Vereda, Nathalie Moreno, Javier Troya, Antonio Vallecillo

Proceedings of the 25th IEEE International Enterprise Distributed Object Computing Conference, 2021

2020

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

2019

A local and global tour on MOMoT.

Robert Bill, Martin Fleck, Javier Troya, Tanja Mayerhofer, Manuel Wimmer

Softw. Syst. Model., 2019

Trading Accuracy for Performance in Data Processing Applications.

Gala Barquero, Javier Troya, Antonio Vallecillo

J. Object Technol., 2019

Metamorphic relation patterns for query-based systems.

Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018

Metamorphic Testing of RESTful Web APIs.

Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés

IEEE Trans. Software Eng., 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

Full contract verification for ATL using symbolic execution.

Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer

Softw. Syst. Model., 2018

Automated inference of likely metamorphic relations for model transformations.

Javier Troya, Sergio Segura, Antonio Ruiz Cortés

J. Syst. Softw., 2018

Performance metamorphic testing: A Proof of concept.

Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz Cortés

Inf. Softw. Technol., 2018

Towards the Automation of Metamorphic Testing in Model Transformations.

Javier Troya, Sergio Segura, Antonio Ruiz Cortés

CoRR, 2018

Extending Complex Event Processing to Graph-structured Information.

Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the Web Engineering - 18th International Conference, 2018

Expressing Measurement Uncertainty in OCL/UML Datatypes.

Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

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

Domain-Specific Languages and Model Transformations for Software Product Line.

Javier Troya, Juha-Pekka Tolvanen, Sergio Segura

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Performance Metamorphic Testing: Motivation and Challenges.

Sergio Segura, Javier Troya, Amador Durán Toro, Antonio Ruiz Cortés

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.

Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz Cortés

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016

Search-based model transformations.

Martin Fleck, Javier Troya, Manuel Wimmer

J. Softw. Evol. Process., 2016

The Class Responsibility Assignment Case.

Martin Fleck, Javier Troya, Manuel Wimmer

Proceedings of the 9th Transformation Tool Contest, 2016

Search-Based Model Transformations with MOMoT.

Martin Fleck, Javier Troya, Manuel Wimmer

Proceedings of the Theory and Practice of Model Transformations, 2016

Towards generic modularization transformations.

Martin Fleck, Javier Troya, Manuel Wimmer

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Static Fault Localization in Model Transformations.

Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo

IEEE Trans. Software Eng., 2015

ARTIST: Model-Based Stairway to the Cloud.

Javier Troya, Hugo Bruneliere, Martin Fleck, Manuel Wimmer, Leire Orue-Echevarria, Jesús Gorroñogoitia

Proceedings of the Projects Showcase, 2015

Parallel In-place Model Transformations with LinTra.

Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo

Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

XMLText: from XML schema to xtext.

Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Fully verifying transformation contracts for declarative ATL.

Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Towards systematic mutations for and with ATL model transformations.

Javier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

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

Specification and simulation of queuing network models using Domain-Specific Languages.

Javier Troya, Antonio Vallecillo

Comput. Stand. Interfaces, 2014

Towards Approximate Model Transformations.

Javier Troya, Manuel Wimmer, Loli Burgueño, Antonio Vallecillo

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Towards Pattern-Based Optimization of Cloud Applications.

Martin Fleck, Javier Troya, Philip Langer, Manuel Wimmer

Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

UML-based Cloud Application Modeling with Libraries, Profiles, and Templates.

Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel

Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

From out-place transformation evolution to in-place model patching.

Alexander Bergmayr, Javier Troya, Manuel Wimmer

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio.

Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013

Model-driven performance analysis of rule-based domain specific visual models.

Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler

Inf. Softw. Technol., 2013

On the concurrent execution of model transformations with Linda.

Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.

Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

TractsTool: Testing Model Transformations based on Contracts.

Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo

Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

2012

On the Reusable Specification of Non-functional Properties in DSLs.

Francisco Durán, Steffen Zschaler, Javier Troya

Proceedings of the Software Language Engineering, 5th International Conference, 2012

A domain specific visual language for modeling power-aware reliability in wireless sensor networks.

Javier Troya, Antonio Vallecillo

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Matching Business Process Workflows across Abstraction Levels.

Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer

Proceedings of the Model Driven Engineering Languages and Systems, 2012

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

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011

A Rewriting Logic Semantics for ATL.

Javier Troya, Antonio Vallecillo

J. Object Technol., 2011

Lightweight Testing of Communication Networks with <i>e-Motions</i>.

Javier Troya, José María Bautista, Fernando López-Romero, Antonio Vallecillo

Proceedings of the Tests and Proofs - 5th International Conference, 2011

2010

Simulating domain specific visual models by observation.

Javier Troya, José Eduardo Rivera, Antonio Vallecillo

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Towards a Rewriting Logic Semantics for ATL.

Javier Troya, Antonio Vallecillo

Proceedings of the Theory and Practice of Model Transformations, 2010

2009

On the Specification of Non-functional Properties of Systems by Observation.

Javier Troya, José Eduardo Rivera, Antonio Vallecillo

Proceedings of the Models in Software Engineering, 2009

Developing a communications architecture based on WCF for use in nuclear power plant simulators.

Manuel Díaz, Daniel Garrido, Javier Troya

Proceedings of the IADIS International Conference Applied Computing 2009, 2009