Javier Troya

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 58

Top Topics

Physical Systems

Fault Localization

Top Venues

Softw. Syst. Model.

Publications

Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo
UTypes: A library for uncertain datatypes in Python. SoftwareX 26 (2024)
Raquel Sanchez, Javier Troya, Javier Cámara
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. SEAMS@ICSE (2024)
Enrique Vilchez, Javier Troya, Javier Cámara
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE (2024)
Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Javier Troya
Ant-colony optimization for automating test model generation in model transformation testing. J. Syst. Softw. 208 (2024)
Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo
Corrigendum to "UTypes: A library for uncertain datatypes in Python" [SoftwareX, VOLUME 26, 101676, MAY 2024]. SoftwareX 26 (2024)
Javier Cámara, Javier Troya, Lola Burgueño
From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling. ERCIM News 2024 (136) (2024)
Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Softw. Syst. Model. 23 (3) (2024)
Enrique Vilchez, Javier Troya, Javier Cámara
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. SEAMS@ICSE (2024)
Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer
Model Transformation Testing and Debugging: A Survey. ACM Comput. Surv. 55 (4) (2023)
David Delgado, Lola Burgueño, Javier Cámara, Javier Troya
Towards an Extensible Architecture and Tool Support for Model-Based Verification. MoDELS (Companion) (2023)
Lorenzo Toro-Gálvez, Rafael García-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. ICWE Workshops (2023)
Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel
Integrating Citizens' Avatars in Urban Digital Twins. J. Web Eng. 22 (6) (2023)
Nathalie Moreno, Lorenzo Toro-Gálvez, Javier Troya, Carlos Canal
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum. Agile MDE/MeSS/TTC@STAF (2023)
Juan Alberto Llopis, Javier Criado, Luis Iribarne, Paula Muñoz, Javier Troya, Antonio Vallecillo
Modeling and Synchronizing Digital Twin Environments. ANNSIM (2023)
Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. Softw. Syst. Model. 22 (3) (2023)
Sergio Laso, Lorenzo Toro-Gálvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo
Towards an Urban Digital Twins Continuum Architecture. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Paula Muñoz, Javier Troya, Antonio Vallecillo
A Conceptual Architecture for Building Digital Twins. Agile MDE/MeSS/TTC@STAF (2023)
Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21 (4) (2022)
Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi
Introduction to the theme section on Agile model-driven engineering. Softw. Syst. Model. 21 (4) (2022)
Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS (2022)
Daniel Pérez-Porras, Paula Muñoz, Javier Troya, Antonio Vallecillo
Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster). STAF Workshops (2022)
Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo
Using trace alignments for measuring the similarity between a physical and its digital twin. MoDELS (Companion) (2022)
Paula Muñoz, Javier Troya, Manuel Wimmer, Gerti Kappel
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach. J. Object Technol. 21 (4) (2022)
Sergio Segura, Juan C. Alonso, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
Automated Generation of Metamorphic Relations for Query-Based Systems. MET@ICSE (2022)
Javier Troya, José Antonio Parejo, Sergio Segura, Antonio Gamez-Diaz, Alfonso E. Márquez Chamorro, Adela del-Río-Ortega
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. IEEE Trans. Educ. 64 (2) (2021)
Paula Muñoz, Javier Troya, Antonio Vallecillo
Using UML and OCL Models to Realize High-Level Digital Twins. MoDELS (Companion) (2021)
Javier Troya, Nathalie Moreno, Manuel F. Bertoa, Antonio Vallecillo
Uncertainty representation in software models: a survey. Softw. Syst. Model. 20 (4) (2021)
Paula Muñoz, Alejandro Pérez-Vereda, Nathalie Moreno, Javier Troya, Antonio Vallecillo
Incorporating Trust into Collaborative Social Computing Applications. EDOC (2021)
Mohammad Derakhshandi, Shekoufeh Kolahdouz Rahimi, Javier Troya, Kevin Lano
A model-driven framework for developing android-based classic multiplayer 2D board games. Autom. Softw. Eng. 28 (2) (2021)
Gala Barquero, Javier Troya, Antonio Vallecillo
Improving query performance on dynamic graphs. Softw. Syst. Model. 20 (4) (2021)
José Antonio Parejo, Javier Troya, Sergio Segura, Adela del-Río-Ortega, Antonio Gamez-Diaz, Alfonso E. Márquez Chamorro
Flipping Laboratory Sessions: An Experience in Computer Science. Rev. Iberoam. de Tecnol. del Aprendiz. 15 (3) (2020)
Gala Barquero, Javier Troya, Antonio Vallecillo
Trading Accuracy for Performance in Data Processing Applications. J. Object Technol. 18 (2) (2019)
Robert Bill, Martin Fleck, Javier Troya, Tanja Mayerhofer, Manuel Wimmer
A local and global tour on MOMoT. Softw. Syst. Model. 18 (2) (2019)
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
Metamorphic relation patterns for query-based systems. MET@ICSE (2019)
Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo
Expressing Measurement Uncertainty in OCL/UML Datatypes. ECMFA (2018)
Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz Cortés
Performance metamorphic testing: A Proof of concept. Inf. Softw. Technol. 98 (2018)
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
Towards the Automation of Metamorphic Testing in Model Transformations. CoRR (2018)
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136 (2018)
Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer
Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17 (3) (2018)
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
Metamorphic Testing of RESTful Web APIs. IEEE Trans. Software Eng. 44 (11) (2018)
Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo
Extending Complex Event Processing to Graph-structured Information. MoDELS (2018)
Javier Troya, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés
Spectrum-Based Fault Localization in Model Transformations. ACM Trans. Softw. Eng. Methodol. 27 (3) (2018)
Nathalie Moreno, Manuel F. Bertoa, Gala Barquero, Loli Burgueño, Javier Troya, Adrián García-López, Antonio Vallecillo
Managing Uncertain Complex Events in Web of Things Applications. ICWE (2018)
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
Metamorphic testing of RESTful web APIs. ICSE (2018)
Javier Troya, Juha-Pekka Tolvanen, Sergio Segura
Domain-Specific Languages and Model Transformations for Software Product Line. SPLC (A) (2017)
Sergio Segura, Javier Troya, Amador Durán Toro, Antonio Ruiz Cortés
Performance Metamorphic Testing: Motivation and Challenges. ICSE-NIER (2017)
Martin Fleck, Javier Troya, Marouane Kessentini, Manuel Wimmer, Bader Alkhazi
Model Transformation Modularization as a Many-Objective Optimization Problem. IEEE Trans. Software Eng. 43 (11) (2017)
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz Cortés
A Template-Based Approach to Describing Metamorphic Relations. MET@ICSE (2017)
Martin Fleck, Javier Troya, Manuel Wimmer
The Class Responsibility Assignment Case. TTC@STAF (2016)
Martin Fleck, Javier Troya, Manuel Wimmer
Search-based model transformations. J. Softw. Evol. Process. 28 (12) (2016)
Martin Fleck, Javier Troya, Manuel Wimmer
Towards generic modularization transformations. MODULARITY (Companion) (2016)
Martin Fleck, Javier Troya, Manuel Wimmer
Search-Based Model Transformations with MOMoT. ICMT (2016)
Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo
Parallel In-place Model Transformations with LinTra. BigMDE@STAF (2015)
Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer
XMLText: from XML schema to xtext. SLE (2015)
Javier Troya, Hugo Brunelière, Martin Fleck, Manuel Wimmer, Leire Orue-Echevarria, Jesús Gorroñogoitia
ARTIST: Model-Based Stairway to the Cloud. STAF Projects Showcase (2015)
Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo
Static Fault Localization in Model Transformations. IEEE Trans. Software Eng. 41 (5) (2015)
Javier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer
Towards systematic mutations for and with ATL model transformations. ICST Workshops (2015)
Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
Fully verifying transformation contracts for declarative ATL. MoDELS (2015)
Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel
UML-based Cloud Application Modeling with Libraries, Profiles, and Templates. CloudMDE@MoDELS (2014)
Shekoufeh Kolahdouz Rahimi, Kevin Lano, Suresh Pillay, Javier Troya, Pieter Van Gorp
Evaluation of model transformation approaches for model refactoring. Sci. Comput. Program. 85 (2014)
Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. ECMFA (2014)
Javier Troya, Manuel Wimmer, Loli Burgueño, Antonio Vallecillo
Towards Approximate Model Transformations. AMT@MoDELS (2014)
Martin Fleck, Javier Troya, Philip Langer, Manuel Wimmer
Towards Pattern-Based Optimization of Cloud Applications. CloudMDE@MoDELS (2014)
Javier Troya, Antonio Vallecillo
Specification and simulation of queuing network models using Domain-Specific Languages. Comput. Stand. Interfaces 36 (5) (2014)
Alexander Bergmayr, Javier Troya, Manuel Wimmer
From out-place transformation evolution to in-place model patching. ASE (2014)
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. MODELSWARD (2013)
Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo
TractsTool: Testing Model Transformations based on Contracts. MoDELS (Demos/Posters/StudentResearch) (2013)
Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo
On the concurrent execution of model transformations with Linda. BigMDE@STAF (2013)
Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler
Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. 55 (1) (2013)
Javier Criado, Luis Iribarne, Nicolás Padilla, Javier Troya, Antonio Vallecillo
An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures. EUROMICRO-SEAA (2012)
Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer
Matching Business Process Workflows across Abstraction Levels. MoDELS (2012)
Javier Troya, Antonio Vallecillo
A domain specific visual language for modeling power-aware reliability in wireless sensor networks. NFPinDSML@MoDELS (2012)
Francisco Durán, Steffen Zschaler, Javier Troya
On the Reusable Specification of Non-functional Properties in DSLs. SLE (2012)
Javier Troya, Antonio Vallecillo
A Rewriting Logic Semantics for ATL. J. Object Technol. 10 (2011)
Javier Troya, José María Bautista, Fernando López-Romero, Antonio Vallecillo
. TAP@TOOLS (2011)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
Simulating domain specific visual models by observation. SpringSim (2010)
Javier Troya, Antonio Vallecillo
Towards a Rewriting Logic Semantics for ATL. ICMT@TOOLS (2010)
Manuel Díaz, Daniel Garrido, Javier Troya
Developing a communications architecture based on WCF for use in nuclear power plant simulators. IADIS AC (2) (2009)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
On the Specification of Non-functional Properties of Systems by Observation. MoDELS (Workshops) (2009)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
On the Specification of Non-Functional Properties of Systems by Observation. NFPinDSML@MoDELS (2009)