Javier Troya

97 papers A* 2A 5B 6C 1Journal 39Unranked 39
YearRankTypeTitle / Venue / Authors
2026 J jnl
Exploring actions, interactions and challenges in software modelling tasks: an empirical investigation with students.
Empir. Softw. Eng.
Shalini Chakraborty, Javier Troya, Lola Burgueño, Grischa Liebel
2025 — conf
Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education.
MODELS-C
Shalini Chakraborty, Lola Burgueño, Nathalie Moreno, Javier Troya, Paula Muñoz
2025 J jnl
Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education.
CoRR
Shalini Chakraborty, Lola Burgueño, Nathalie Moreno, Javier Troya, Paula Muñoz
2025 J jnl
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo.
Softw. Syst. Model.
Javier Troya, Alfonso Pierantonio
2024 J jnl
Ant-colony optimization for automating test model generation in model transformation testing.
J. Syst. Softw.
Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Javier Troya
2024 — conf
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints.
SEAMS@ICSE
Raquel Sanchez, Javier Troya, Javier Cámara
2024 J jnl
Corrigendum to "UTypes: A library for uncertain datatypes in Python" [SoftwareX, VOLUME 26, 101676, MAY 2024].
SoftwareX
Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo
2024 J jnl
Exploring Actions, Interactions and Challenges in Software Modelling Tasks: An Empirical Investigation with Students.
CoRR
Shalini Chakraborty, Javier Troya, Lola Burgueño, Grischa Liebel
2024 J jnl
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.
Softw. Syst. Model.
Bentley Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
2024 J jnl
From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling.
ERCIM News
Javier Cámara, Javier Troya, Lola Burgueño
2024 J jnl
Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language.
IEEE Softw.
Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J. Jaime
2024 J jnl
Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments.
IEEE Trans. Software Eng.
Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo
2024 — ed.
Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023.
Agile MDE/MeSS/TTC@STAF
Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya
2024 — ed.
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024) Enschede, The Netherlands, July 8-11, 2024.
STAF Workshops
Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Kolahdouz Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel, Vadim Zaytsev
2024 — conf
Towards Measuring Digital Twins Fidelity at Runtime.
MoDELS (Companion)
Paula Muñoz, Javier Troya, Antonio Vallecillo
2024 — conf
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking.
SEAMS@ICSE
Enrique Vilchez, Javier Troya, Javier Cámara
2024 — conf
Towards a Digital Twin System for Human Crowd Motion Prediction.
EDOC Workshops
Ignacio Alba, Javier Troya, Carlos Canal
2024 J jnl
Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework.
Softw. Syst. Model.
Javier Cámara, Lola Burgueño, Javier Troya
2024 J jnl
UTypes: A library for uncertain datatypes in Python.
SoftwareX
Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo
2024 — conf
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments.
SEAMS@ICSE
Enrique Vilchez, Javier Troya, Javier Cámara
2024 J jnl
Yekta: A low-code framework for automated test models generation.
SoftwareX
Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Javier Troya
2023 — conf
A Conceptual Architecture for Building Digital Twins.
Agile MDE/MeSS/TTC@STAF
Paula Muñoz, Javier Troya, Antonio Vallecillo
2023 J jnl
Integrating Citizens' Avatars in Urban Digital Twins.
J. Web Eng.
Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel
2023 J jnl
Model Transformation Testing and Debugging: A Survey.
ACM Comput. Surv.
Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer
2023 — conf
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum.
Agile MDE/MeSS/TTC@STAF
Nathalie Moreno, Lorenzo Toro-Gálvez, Javier Troya, Carlos Canal
2023 — conf
Modeling and Synchronizing Digital Twin Environments.
ANNSIM
Juan Alberto Llopis, Javier Criado, Luis Iribarne, Paula Muñoz, Javier Troya, Antonio Vallecillo
2023 J jnl
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.
Softw. Syst. Model.
Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo
2023 — ed.
Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings
ICSOC Workshops
Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés
2023 — conf
Towards an Extensible Architecture and Tool Support for Model-Based Verification.
MoDELS (Companion)
David Delgado, Lola Burgueño, Javier Cámara, Javier Troya
2023 — conf
Towards an Urban Digital Twins Continuum Architecture.
ECSA (Tracks, Workshops and Doctoral Symposium)
Sergio Laso, Lorenzo Toro-Gálvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo
2023 — conf
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum.
ICWE Workshops
Lorenzo Toro-Gálvez, Rafael García-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel
2022 A conf
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.
MoDELS
Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
2022 — conf
Automated Generation of Metamorphic Relations for Query-Based Systems.
MET@ICSE
Sergio Segura, Juan C. Alonso, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
2022 J jnl
Introduction to the theme section on Agile model-driven engineering.
Softw. Syst. Model.
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi
2022 — conf
Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster).
STAF Workshops
Daniel Pérez-Porras, Paula Muñoz, Javier Troya, Antonio Vallecillo
2022 J jnl
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach.
J. Object Technol.
Paula Muñoz, Javier Troya, Manuel Wimmer, Gerti Kappel
2022 A ed.
Service-Oriented Computing - 20th International Conference, ICSOC 2022, Seville, Spain, November 29 - December 2, 2022, Proceedings
ICSOC
Javier Troya, Brahim Medjahed, Mario Piattini, Lina Yao, Pablo Fernández, Antonio Ruiz-Cortés
2022 J jnl
The uncertainty interaction problem in self-adaptive systems.
Softw. Syst. Model.
Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
2022 — conf
Using trace alignments for measuring the similarity between a physical and its digital twin.
MoDELS (Companion)
Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo
2021 J jnl
A model-driven framework for developing android-based classic multiplayer 2D board games.
Autom. Softw. Eng.
Mohammad Derakhshandi, Shekoufeh Kolahdouz Rahimi, Javier Troya, Kevin Lano
2021 J jnl
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report.
IEEE Trans. Educ.
Javier Troya, José Antonio Parejo, Sergio Segura, Antonio Gamez-Diaz, Alfonso E. Márquez Chamorro, Adela del-Río-Ortega
2021 J jnl
Improving query performance on dynamic graphs.
Softw. Syst. Model.
Gala Barquero, Javier Troya, Antonio Vallecillo
2021 B conf
Incorporating Trust into Collaborative Social Computing Applications.
EDOC
Paula Muñoz, Alejandro Pérez-Vereda, Nathalie Moreno, Javier Troya, Antonio Vallecillo
2021 J jnl
Uncertainty representation in software models: a survey.
Softw. Syst. Model.
Javier Troya, Nathalie Moreno, Manuel F. Bertoa, Antonio Vallecillo
2021 — conf
Using UML and OCL Models to Realize High-Level Digital Twins.
MoDELS (Companion)
Paula Muñoz, Javier Troya, Antonio Vallecillo
2020 J jnl
Flipping Laboratory Sessions: An Experience in Computer Science.
Rev. Iberoam. de Tecnol. del Aprendiz.
José Antonio Parejo, Javier Troya, Sergio Segura, Adela del-Río-Ortega, Antonio Gamez-Diaz, Alfonso E. Márquez Chamorro
2019 J jnl
A local and global tour on MOMoT.
Softw. Syst. Model.
Robert Bill, Martin Fleck, Javier Troya, Tanja Mayerhofer, Manuel Wimmer
2019 — conf
Metamorphic relation patterns for query-based systems.
MET@ICSE
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
2019 J jnl
Trading Accuracy for Performance in Data Processing Applications.
J. Object Technol.
Gala Barquero, Javier Troya, Antonio Vallecillo
2018 J jnl
Automated inference of likely metamorphic relations for model transformations.
J. Syst. Softw.
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
2018 B conf
Expressing Measurement Uncertainty in OCL/UML Datatypes.
ECMFA
Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo
2018 A conf
Extending Complex Event Processing to Graph-structured Information.
MoDELS
Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo
2018 J jnl
Full contract verification for ATL using symbolic execution.
Softw. Syst. Model.
Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer
2018 B conf
Managing Uncertain Complex Events in Web of Things Applications.
ICWE
Nathalie Moreno, Manuel F. Bertoa, Gala Barquero, Loli Burgueño, Javier Troya, Adrián García-López, Antonio Vallecillo
2018 J jnl
Metamorphic Testing of RESTful Web APIs.
IEEE Trans. Software Eng.
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
2018 A* conf
Metamorphic testing of RESTful web APIs.
ICSE
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
2018 J jnl
Performance metamorphic testing: A Proof of concept.
Inf. Softw. Technol.
Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz Cortés
2018 J jnl
Spectrum-Based Fault Localization in Model Transformations.
ACM Trans. Softw. Eng. Methodol.
Javier Troya, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés
2018 J jnl
Towards the Automation of Metamorphic Testing in Model Transformations.
CoRR
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
2017 — conf
A Template-Based Approach to Describing Metamorphic Relations.
MET@ICSE
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz Cortés
2017 — conf
Domain-Specific Languages and Model Transformations for Software Product Line.
SPLC (A)
Javier Troya, Juha-Pekka Tolvanen, Sergio Segura
2017 J jnl
Model Transformation Modularization as a Many-Objective Optimization Problem.
IEEE Trans. Software Eng.
Martin Fleck, Javier Troya, Marouane Kessentini, Manuel Wimmer, Bader Alkhazi
2017 — conf
Performance Metamorphic Testing: Motivation and Challenges.
ICSE-NIER
Sergio Segura, Javier Troya, Amador Durán Toro, Antonio Ruiz Cortés
2017 — ed.
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017
SPLC (A)
Myra B. Cohen, Mathieu Acher, Lidia Fuentes, Daniel Schall, Jan Bosch, Rafael Capilla, Ebrahim Bagheri, Yingfei Xiong, Javier Troya, Antonio Ruiz Cortés, David Benavides
2017 — ed.
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017
SPLC (B)
Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides
2016 — conf
Search-Based Model Transformations with MOMoT.
ICMT
Martin Fleck, Javier Troya, Manuel Wimmer
2016 J jnl
Search-based model transformations.
J. Softw. Evol. Process.
Martin Fleck, Javier Troya, Manuel Wimmer
2016 — conf
The Class Responsibility Assignment Case.
TTC@STAF
Martin Fleck, Javier Troya, Manuel Wimmer
2016 — conf
Towards generic modularization transformations.
MODULARITY (Companion)
Martin Fleck, Javier Troya, Manuel Wimmer
2015 — conf
ARTIST: Model-Based Stairway to the Cloud.
STAF Projects Showcase
Javier Troya, Hugo Bruneliere, Martin Fleck, Manuel Wimmer, Leire Orue-Echevarria, Jesús Gorroñogoitia
2015 A conf
Fully verifying transformation contracts for declarative ATL.
MoDELS
Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
2015 — conf
Parallel In-place Model Transformations with LinTra.
BigMDE@STAF
Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo
2015 J jnl
Static Fault Localization in Model Transformations.
IEEE Trans. Software Eng.
Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo
2015 — conf
Towards systematic mutations for and with ATL model transformations.
ICST Workshops
Javier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer
2015 B conf
XMLText: from XML schema to xtext.
SLE
Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer
2014 J jnl
Evaluation of model transformation approaches for model refactoring.
Sci. Comput. Program.
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Suresh Pillay, Javier Troya, Pieter Van Gorp
2014 A* conf
From out-place transformation evolution to in-place model patching.
ASE
Alexander Bergmayr, Javier Troya, Manuel Wimmer
2014 B conf
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio.
ECMFA
Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya
2014 J jnl
Specification and simulation of queuing network models using Domain-Specific Languages.
Comput. Stand. Interfaces
Javier Troya, Antonio Vallecillo
2014 — conf
Towards Approximate Model Transformations.
AMT@MoDELS
Javier Troya, Manuel Wimmer, Loli Burgueño, Antonio Vallecillo
2014 — conf
Towards Pattern-Based Optimization of Cloud Applications.
CloudMDE@MoDELS
Martin Fleck, Javier Troya, Philip Langer, Manuel Wimmer
2014 — conf
UML-based Cloud Application Modeling with Libraries, Profiles, and Templates.
CloudMDE@MoDELS
Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel
2013 C conf
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.
MODELSWARD
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo
2013 J jnl
Model-driven performance analysis of rule-based domain specific visual models.
Inf. Softw. Technol.
Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler
2013 — conf
On the concurrent execution of model transformations with Linda.
BigMDE@STAF
Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo
2013 — conf
TractsTool: Testing Model Transformations based on Contracts.
MoDELS (Demos/Posters/StudentResearch)
Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo
2012 — conf
A domain specific visual language for modeling power-aware reliability in wireless sensor networks.
NFPinDSML@MoDELS
Javier Troya, Antonio Vallecillo
2012 — conf
An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures.
EUROMICRO-SEAA
Javier Criado, Luis Iribarne, Nicolás Padilla, Javier Troya, Antonio Vallecillo
2012 A conf
Matching Business Process Workflows across Abstraction Levels.
MoDELS
Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer
2012 B conf
On the Reusable Specification of Non-functional Properties in DSLs.
SLE
Francisco Durán, Steffen Zschaler, Javier Troya
2011 J jnl
A Rewriting Logic Semantics for ATL.
J. Object Technol.
Javier Troya, Antonio Vallecillo
2011 — conf
Lightweight Testing of Communication Networks with
TAP@TOOLS
Javier Troya, José María Bautista, Fernando López-Romero, Antonio Vallecillo
2010 — conf
Simulating domain specific visual models by observation.
SpringSim
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
2010 — conf
Towards a Rewriting Logic Semantics for ATL.
ICMT@TOOLS
Javier Troya, Antonio Vallecillo
2009 — conf
Developing a communications architecture based on WCF for use in nuclear power plant simulators.
IADIS AC (2)
Manuel Díaz, Daniel Garrido, Javier Troya
2009 — conf
On the Specification of Non-Functional Properties of Systems by Observation.
NFPinDSML@MoDELS
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
2009 — conf
On the Specification of Non-functional Properties of Systems by Observation.
MoDELS (Workshops)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo