Publications

Journals

• Meysam Karimi, Shekoufeh Kolahdouz-Rahimi, Javier Troya. "Yekta: A low-code framework for automated test models generation". SoftwareX, Volume 27, 1--7 2024.
  [SoSyM] DOI: 10.1016/j.softx.2024.101850
• Javier Cámara, Lola Burgueño, Javier Troya. "Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework". Software and Systems Modeling, 1--10 2024.
  [SoSyM] DOI: 10.1007/s10270-024-01206-9
• Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J. Jaime. "Generative AI in the Software Modeling Classroom: An Experience Report with ChatGPT and UML". IEEE Software, 2024.
  [IEE] DOI: 10.1109/MS.2024.3385309
• Carlos Javier Fernández-Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo. "UTypes: A library for uncertain datatypes in Python". SoftwareX, Volume 26, 1--5 2024.
  [SoftwareX] DOI: 10.1016/j.softx.2024.101676
• Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal and Ernesto Pimentel. "Integrating Citizens’ Avatars in Urban Digital Twins". Journal of Web Engineering, 22(06):913–938, Elsevier, 2023.
  [Elsevier] DOI: 10.13052/jwe1540-9589.2264
• Meysam Karimi, Shekoufeh Kolahdouz-Rahimi, Javier Troya. "Ant-colony optimization for automating test model generation in model transformation testing". ScienceDirect: Journal of Systems and Software (2023)
  [ScienceDirect] DOI: 10.1016/j.jss.2023.111882
• Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer. "Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis". International Journal on Software and Systems Modeling (SoSyM) 2023.
  [Springer] DOI: 10.1007/s10270-023-01123-3 (open access)
• Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley Schmerl. "Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems via Dimensionality Reduction". IEEE Software (IEEE) 2023.
  [IEE] DOI: 10.1109/MS.2023.3320689
• 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". International Journal on Software and Systems Modeling (SoSyM) 2023.
  [Springer] DOI: 10.1007/s10270-023-01105-5. (open access)
• Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel. "Integrating Citizens’ Avatars in Urban Digital Twins". Journal of Web Engineering. 2023, Volume 22, issue 6, 913—938. [Springer] DOI 10.13052/jwe1540-9589.2264

International conferences

• Raquel Sánchez-Salas, Javier Troya, Javier Cámara. "Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints". Proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024), Pages 14-24. Lisbon, Portugal. 15-16 April 2024.
  [SEAMS] DOI: 10.1145/3643915.3644083
• Enrique Vilchez, Javier Troya, Javier Cámara. “Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking”. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 2024. To Appear.
  [SEAMS] DOI: 10.1145/3643915.3644109
• Enrique Vílchez, Javier Troya, Javier Cámara. "Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments". Proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024), Pages 63-69. Lisbon, Portugal. 15-16 April 2024.
  [SEAMS] DOI: 10.1145/3643915.3644081
• Javier Cámara, Sebastian Hahner, Diego Perez-Palacín, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou. “Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems”. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 2024.
  [IEE] DOI: 10.1145/3643915.3644084

International workshops

• Ignacio Alba, Javier Troya, Carlos Canal "Towards a Digital Twin System for Human Crowd Motion Prediction". Proceedings of the Second Workshop on the Modelling and Implementation of Digital Twins for Complex Systems (MIDas4CS @ EDOC 2024), Pages 1-14. Vienna, Austria. 10 September 2024.
  [It has been presented at the workshop and is awaiting publication of the proceedings]
• Sergio Laso, Lorenzo Toro-Gálvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo. "Towards a Urban Digital Twins Continuum Architecture". In Software Architecture.
  [Springer] DOI: 10.1007/978-3-031-66326-0_17
• David Delgado, Lola Burgueño, Javier Cámara, Javier Troya. "Towards an Extensible Architecture and Tool Support for Model-based Verification". 20th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2023) MoDeVVa@MODELS'23
  [IEE] DOI. 10.1109/MODELS-C59198.2023.00129
• Nathalie Moreno, Lorenzo Toro-Gálvez, Javier Troya, Carlos Canal "Modeling Urban Digital Twins over the Cloud-to-Thing Continuum". 3rd International Workshop on MDE for Smart IoT Systems (MeSS 2023) (MeSS 2023 @ STAF 2023), Leicester, UK, July 19, 2023.
  [Journal of Web Engineering] DOI: 10.13052/jwe1540-9589.2264
• Paula Muñoz, Javier Troya, Antonio Vallecillo "A Conceptual Architecture for Building Digital Twins". 3rd International Workshop on MDE for Smart IoT Systems (MeSS 2023) (MeSS 2023 @ STAF 2023), Leicester, UK, July 19, 2023. [RIUMA] (open access)
• 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". Proceedings of the 3rd International Workshop on Big data driven Edge Cloud Services (BECS 2023 @ ICWE 2023), Alicante, Spain, June 6, 2023.
  [Springer] DOI: 10.1007/978-3-031-50385-6_6

National conferences

• Paula Muñoz, Javier Troya, Antonio Vallecillo "Monitorización en Tiempo Real de Gemelos Digitales usando Alineamiento de Trazas". JISBD 2024, A Coruña, Junio 17 - 19, 2024.
  [SISTEDES] (open access)
• Enrique Vílchez, Javier Troya, Javier Cámara "Adaptación proactiva en la monitorización de incendios con UAV: resultados preliminares". JISBD 2024, A Coruña, Junio 17 - 19, 2024.
  [SISTEDES] (open access)
• Raquel Sánchez-Salas, Javier Troya, Javier Cámara "Hacia el uso de gemelos digitales en la planificación de carga de vehículos eléctricos". JISBD 2024, A Coruña, Junio 17 - 19, 2024.
  [SISTEDES] (open access)
• Enrique Vilchez, Javier Troya, Javier Cámara. "Towards Self-Adaptive Software for Wildfire Monitoring with Unmanned Air Vehicles". SISTEDES 2023.
  [RIUMA] (open access)
• Lorenzo Toro-Gálvez, Nathalie Moreno, Carlos Canal, Javier Troya "DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes". JCIS 2023, Ciudad Real, September 12 - 14, 2023 [RIUMA] (open access)