| 2025 | MODELS | Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education. | Shalini Chakraborty, Lola Burgueo, Nathalie Moreno, Javier Troya, Paula Muoz |
| 2024 | EDOC | Towards a Digital Twin System for Human Crowd Motion Prediction. | Ignacio Alba, Javier Troya, Carlos Canal |
| 2024 | MODELS | Towards Measuring Digital Twins Fidelity at Runtime. | Paula Muoz, Javier Troya, Antonio Vallecillo |
| 2024 | SEAMS | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. | Raquel Sanchez, Javier Troya, Javier Cmara |
| 2024 | SEAMS | Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. | Enrique Vilchez, Javier Troya, Javier Cmara |
| 2024 | SEAMS | Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. | Enrique Vilchez, Javier Troya, Javier Cmara |
| 2023 | ECSA | Towards an Urban Digital Twins Continuum Architecture. | Sergio Laso, Lorenzo Toro-Glvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo |
| 2023 | ICWE | Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. | Lorenzo Toro-Glvez, Rafael Garca-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel |
| 2023 | MODELS | Towards an Extensible Architecture and Tool Support for Model-Based Verification. | David Delgado, Lola Burgueo, Javier Cmara, Javier Troya |
| 2022 | MODELS | Using trace alignments for measuring the similarity between a physical and its digital twin. | Paula Muoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo |
| 2022 | MODELS | Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. | Javier Cmara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo |
| 2021 | EDOC | Incorporating Trust into Collaborative Social Computing Applications. | Paula Muoz, Alejandro Prez-Vereda, Nathalie Moreno, Javier Troya, Antonio Vallecillo |
| 2021 | MODELS | Using UML and OCL Models to Realize High-Level Digital Twins. | Paula Muoz, Javier Troya, Antonio Vallecillo |
| 2019 | ICSE | Metamorphic relation patterns for query-based systems. | Sergio Segura, Amador Durn, Javier Troya, Antonio Ruiz-Corts |
| 2018 | ICSE | Metamorphic testing of RESTful web APIs. | Sergio Segura, Jos Antonio Parejo, Javier Troya, Antonio Ruiz Corts |
| 2018 | ICWE | Managing Uncertain Complex Events in Web of Things Applications. | Nathalie Moreno, Manuel F. Bertoa, Gala Barquero, Loli Burgueo, Javier Troya, Adrin Garca-Lpez, Antonio Vallecillo |
| 2018 | MODELS | Extending Complex Event Processing to Graph-structured Information. | Gala Barquero, Loli Burgueo, Javier Troya, Antonio Vallecillo |
| 2017 | ICSE | A Template-Based Approach to Describing Metamorphic Relations. | Sergio Segura, Amador Durn, Javier Troya, Antonio Ruiz Corts |
| 2017 | ICSE | Performance Metamorphic Testing: Motivation and Challenges. | Sergio Segura, Javier Troya, Amador Durn Toro, Antonio Ruiz Corts |
| 2017 | SPLC | Domain-Specific Languages and Model Transformations for Software Product Line. | Javier Troya, Juha-Pekka Tolvanen, Sergio Segura |
| 2015 | ICST | Towards systematic mutations for and with ATL model transformations. | Javier Troya, Alexander Bergmayr, Loli Burgueo, Manuel Wimmer |
| 2015 | MODELS | Fully verifying transformation contracts for declarative ATL. | Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer |
| 2015 | SLE | XMLText: from XML schema to xtext. | Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer |
| 2014 | MODELS | UML-based Cloud Application Modeling with Libraries, Profiles, and Templates. | Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel |
| 2014 | MODELS | Towards Pattern-Based Optimization of Cloud Applications. | Martin Fleck, Javier Troya, Philip Langer, Manuel Wimmer |
| 2014 | MODELS | Towards Approximate Model Transformations. | Javier Troya, Manuel Wimmer, Loli Burgueo, Antonio Vallecillo |
| 2013 | MODELS | TractsTool: Testing Model Transformations based on Contracts. | Loli Burgueo, Manuel Wimmer, Javier Troya, Antonio Vallecillo |
| 2013 | MODELSWARD | Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. | Javier Troya, Javier Cubo, Jos Antonio Martn, Ernesto Pimentel, Antonio Vallecillo |
| 2012 | MODELS | Matching Business Process Workflows across Abstraction Levels. | Moiss Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Kster, Hagen Vlzer |
| 2012 | MODELS | A domain specific visual language for modeling power-aware reliability in wireless sensor networks. | Javier Troya, Antonio Vallecillo |
| 2012 | SLE | On the Reusable Specification of Non-functional Properties in DSLs. | Francisco Durn, Steffen Zschaler, Javier Troya |
| 2011 | TAP | Lightweight Testing of Communication Networks with | Javier Troya, Jos Mara Bautista, Fernando Lpez-Romero, Antonio Vallecillo |
| 2009 | MODELS | On the Specification of Non-functional Properties of Systems by Observation. | Javier Troya, Jos Eduardo Rivera, Antonio Vallecillo |
| 2009 | MODELS | On the Specification of Non-Functional Properties of Systems by Observation. | Javier Troya, Jos Eduardo Rivera, Antonio Vallecillo |