Publications

Journals

• 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, Javier Troya, Javier Cámara. “Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints”. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 2024. To Appear.
• 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.
• Enrique Vilchez, Javier Troya, Javier Cámara. “Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments”. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 2024. To Appear.
• 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. To Appear.

International workshops

• 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
  [RIUMA] (open access)
• 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. To Appear.
• 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. To Appear.
• 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]

National conferences

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)