Journal Papers

 
  1. 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.
  2. 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. https://doi.org/10.1016/j.softx.2024.101676. Bibtex
  3. Meysam Karimi, Shekoufeh Kolahdouz-Rahimi, Javier Troya. "Ant-colony optimization for automating test model generation in model transformation testing". Journal of Systems and Software, Volume 208, 1--16 2024. https://doi.org/10.1016/j.jss.2023.111882. Bibtex
  4. 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
  5. Bentely J. Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer. "Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis". Software and Systems Modeling. 2023, https://doi.org/10.1007/s10270-023-01123-3. Bibtex
  6. 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". Software and Systems Modeling, Volume 22, 781--793 2023, https://doi.org/10.1007/s10270-023-01105-5. Bibtex
  7. Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer. "Model Transformation Testing and Debugging: A Survey". ACM Computing Surveys, Volume 5, Issue 4 (Article No 72), pp. 1-39. 2023, https://doi.org/10.1145/3523056. Bibtex
  8. Paula Muñoz, Javier Troya, Manuel Wimmer, Gerti Kappel. "Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach". Journal of Object Technology, Volume 21, Number 4, pp. 4:1-17 (2022). http://dx.doi.org/10.5381/jot.2022.21.4.a7. Bibtex
  9. Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H.C. Cheng, David Garlan, Bradley Schmerl. "The Uncertainty Interaction Problem in Self-Adaptive Systems". Software and Systems Modeling, Volume 21, pp.1277–1294. 2022, https://doi.org/10.1007/s10270-022-01037-6. Bibtex
  10. Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Javier Troya, Hessa Alfraihi . "Introduction to the theme section on Agile model-driven engineering". Software and Systems Modeling, 2022, https://doi.org/10.1007/s10270-022-01016-x.
  11. Mohammad Derakhshandi, Shekoufeh Kolahdouz-Rahimi, Javier Troya, Kevin Lano. "A model-driven framework for developing android-based classic multiplayer 2D board games". Automated Software Engineering, Volume 28, Issue 2, Article 7, pp. 1-57. 2021, https://doi.org/10.1007/s10515-021-00282-1. Bibtex
  12. Javier Troya, Nathalie Moreno, Manuel F. Bertoa, Antonio Vallecillo. "Uncertainty representation in software models: A survey". Software and Systems Modeling, Volume 20, Issue 4, pp. 1183-1213. 2021, https://doi.org/10.1007/s10270-020-00842-1. Bibtex
  13. Gala Barquero, Javier Troya, Antonio Vallecillo. "Improving Query Performance on Dynamic Graphs". Software and Systems Modeling, Volume 20, Issue 4, pp. 1011-1041. 2021, https://doi.org/10.1007/s10270-020-00832-3. Bibtex
  14. Javier Troya, José A. Parejo, Sergio Segura, Antonio Gámez-Díaz, Alfonso E. Márquez-Chamorro, Adela del-Río-Ortega. "Flipping Laboratory Sessions in a Computer Science Course: An Experience Report". IEEE Transactions on Education, Volume 64, Issue 2, pp. 139-146. 2021, https://doi.org/10.1109/TE.2020.3016593. -TEACHING PAPER- Bibtex
  15. José A. Parejo, Javier Troya, Sergio Segura, Adela del-Río-Ortega, Antonio Gámez-Díaz, Alfonso E. Márquez-Chamorro. "Flipping Laboratory Sessions: An Experience in Computer Science". IEEE Revista Iberoamericana de Tecnologías del Aprendizaje, Volume 15, no. 3, pp. 183-191. 2020, https://doi.org/10.1109/RITA.2020.3008132. -TEACHING PAPER- Bibtex
  16. Gala Barquero, Javier Troya, Antonio Vallecillo. "Trading Accuracy for Performance in Data Processing Applications". Journal of Object Technology (Special Issue on ECMFA 2019. Awarded Best Paper at ECMFA 2019), Volume 18, no. 2, pp. 9:1-24 2019, http://dx.doi.org/10.5381/jot.2019.18.2.a9 Bibtex
  17. Robert Bill, Martin Fleck, Javier Troya, Tanja Mayerhofer, Manuel Wimmer. "A Local and Global Tour on MOMoT". Software and Systems Modeling, Volume 18, pp. 1017-1046 (2019), https://doi.org/10.1007/s10270-017-0644-3 Bibtex
  18. Javier Troya, Sergio Segura, Jose A. Parejo, Antonio Ruiz-Cortés. "Spectrum-Based Fault Localization in Model Transformations" ACM Transactions on Software Engineering and Methodology, Volume 27, Issue 3, article 13, pp. 1-50 (2018), https://doi.org/10.1145/3241744 Bibtex
  19. Sergio Segura, José A. Parejo, Javier Troya, Antonio Ruiz-Cortés. "Metamorphic Testing of RESTful Web APIs" IEEE Transactions on Software Engineering,Volume 44, Issue 11, pp. 1083-1099 (2018), http://dx.doi.org/10.1109/TSE.2017.2764464 Bibtex
  20. Javier Troya, Sergio Segura, Antonio Ruiz-Cortés. "Automated Inference of Likely Metamorphic Relations for Model Transformations" Journal of Systems and Software, Volume 136, pp. 188-208 (2018), https://doi.org/10.1016/j.jss.2017.05.043 Bibtex
  21. Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz-Cortés. "Performance Metamorphic Testing: A Proof of Concept" Information and Software Technology, Volume 98, pp. 1-4 (2018), https://doi.org/10.1016/j.infsof.2018.01.013 Bibtex
  22. Bently James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer. "Full contract verification for ATL using symbolic execution". Software and Systems Modeling, Volume 17, Issue 3, pp. 815-849, (2018), https://doi.org/10.1007/s10270-016-0548-7. Bibtex
  23. Martin Fleck, Javier Troya, Marouane Kessentini, Manuel Wimmer, Bader Alkhazi. "Model Transformation Modularization as a Many-Objective Optimization Problem". IEEE Transactions on Software Engineering, Volume 43, Issue 11, pp. 1009-1032 (2017), http://dx.doi.org/10.1109/TSE.2017.2654255. Bibtex
  24. Martin Fleck, Javier Troya, Manuel Wimmer. "Search-Based Model Transformations". Journal of Software: Evolution and Process, Volume 28, Issue 12, pp. 1081-1117 (2016), https://doi.org/10.1002/smr.1804. Bibtex
  25. Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo. "Static Fault Localization in Model Transformations". IEEE Transactions on Software Engineering,Volume 41, 5, pp. 490-506 (2015), http://dx.doi.org/10.1109/TSE.2014.2375201. Bibtex
  26. Javier Troya, Antonio Vallecillo. "Specification and Simulation of Queuing Network Models using Domain-Specific Languages". Computer Standards & Interfaces, Volume 36, 5, pp. 863-879 (2014), https://doi.org/10.1016/j.csi.2014.01.002. Bibtex
  27. Shekoufeh Kolahdouz-Rahimi, Kevin Lano, Suresh Pillay, Javier Troya, Pieter Van Gorp. "Evaluation of Model Transformation Approaches for Model Refactoring". Science of Computer Programming (Special Issue on Experimental Software Engineering in the Cloud). Volume 88, Part A, pp. 5-40 (2014), https://doi.org/10.1016/j.scico.2013.07.013. Bibtex
  28. Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler. "Model-Driven Performance Analysis of Rule-Based Domain Specific Visual Models". Information and Software Technology 55, pp. 88-110 (2013), https://doi.org/10.1016/j.infsof.2012.07.009. Bibtex
  29. Javier Troya, Antonio Vallecillo. "A Rewriting Logic Semantics for ATL". Journal of Object Technology, Volume 10, pp. 5:1-29 (2011). http://dx.doi.org/10.5381/jot.2011.10.1.a5. Bibtex

International Conferences

 
  1. 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), Lisbon, Portugal. 15-16 April 2024.
  2. Enrique Vílchez, Javier Troya, Javier Cámara "Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking". Proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024), Lisbon, Portugal. 15-16 April 2024.
  3. 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), Lisbon, Portugal. 15-16 April 2024.
  4. David Delgado, Lola Burgueño, Javier Cámara, Javier Troya. "Towards an Extensible Architecture and Tool Support for Model-based Verification". Proceedings of the 20th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2023 @ MoDELS 2023), Västeras, Sweden. 1-3 October 2023. Bibtex
  5. 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.
  6. 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.
  7. 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.
  8. Juan Alberto Llopis, Paula Muñoz, Javier Criado, Javier Troya, Luis Iribarne, Antonio Vallecillo. "Modeling and Synchronizing Digital Twin Environments". Proceedings of the 2023 Annual Modeling and Simulation Conference (ANNSIM 2023), Ontario, Canada. 23-26 May, 2023.
  9. Javier Cámara, Radu Calinescu, Betty H.C. Cheng, David Garlan, Bradley Schmerl, Javier Troya, Antonio Vallecillo. "Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata". Proceedings of the 25th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2022), Montreal, Canada. 23-28 October 2022. Bibtex
  10. Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo. "Using Trace Alignments for Measuring the Similarity between a Physical and its Digital Twin". Proceedings of the 2nd International Workshop on Model-Driven Engineering of Digital Twins (ModDiT 2022 @ MoDELS 2022), Montreal, Canada. 23-25 October 2022. Bibtex
  11. Daniel Pérez-Porras, Paula Muñoz, Javier Troya, Antonio Vallecillo. "Key-Value vs Graph-based data lakes for realizing Digital Twin systems". Proceedings of the 2nd International workshop on MDE for Smart IoT Systems (MESS 2022 @ STAF 2022), Nantes, France. 5 July 2022. Bibtex
  12. 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". Proceedings of the 7th International Workshop on Metamorphic Testing (MET 2022 @ ICSE 2022), Pittsburgh, PA, USA. 9 May 2022.
  13. Paula Muñoz, Alejandro Pérez-Vereda, Nathalie Moreno, Javier Troya, Antonio Vallecillo. "Incorporating Trust into Collaborative Social Computing Applications". Proceedings of the 25th Enterprise Computing Conference (EDOC 2021), Online, 25-29 October, 2021. http://dx.doi.org/10.1109/EDOC52215.2021.00020 . Bibtex
  14. Paula Muñoz, Javier Troya, Antonio Vallecillo. "Using UML and OCL Models to Realize High-Level Digital Twins". Proceedings of the 1st International Workshop on Model-Driven Engineering of Digital Twins (ModDiT 2021 @ MoDELS 2021), Online, October, 2021. Bibtex
  15. Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés. "Metamorphic Relation Patterns for Query-Based Systems". Proceedings of the 4th International Workshop on Metamorphic Testing, MET 2019 @ ICSE 2019, ACM pp. 24-31. Montréal, Canadá, May 26, 2019. Bibtex
  16. Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo. "Extending Graph Event Processing to Graph-structured Information". Proceedings of the ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MoDELS 2018), Copenhagen, Denmark, October 14-19, 2018. https://doi.org/10.1145/3239372.3239402 Bibtex
  17. Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo. "Expressing Measurement Uncertainty in OCL/UML Datatypes". Proceedings of the 14th European Conference on Modelling Foundations and Applications (ECMFA 2018), Toulouse, France, June 25-29, 2018. https://doi.org/10.1007/978-3-319-92997-2_4. Bibtex
  18. Nathalie Moreno, Manuel F. Bertoa, Gala Barquero, Loli Burgueño, Javier Troya, Adrián García-López, Antonio Vallecillo. "Expressing Managing Uncertain Complex Events in Web of Things Applications". Proceedings of the 18th International Conference on Web Engineering (ICWE 2018), Cáceres, Spain, June 5-8, 2018. https://doi.org/10.1007/978-3-319-91662-0_28. Bibtex
  19. Javier Troya, Juha-Pekka Tolvanen, Sergio Segura. "Domain-Specific Languages and Model Transformations for Software Product Line". Proceedings of the 21st International System & Software Product Line Conference (SPLC 2017), ACM p. 254. Sevilla, Spain, September 25-29, 2017. http://dx.doi.org/10.1145/3106195.3106227 Bibtex
  20. Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz-Cortés. "Performance Metamorphic Testing: Motivation and Challenges". Proceedings of the 39th International Conference on Software Engineering (ICSE 2017 - New Ideas and Emerging Results Track, 16% acceptance rate), ACM pp. 7-10. Buenos Aires, Argentiga, May 2017. http://dx.doi.org/10.1109/ICSE-NIER.2017.16 Bibtex
  21. Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés. "A Template-Based Approach to Describing Metamorphic Relations". Proceedings of the 2nd International Workshop on Metamorphic Testing, MET 2017 @ ICSE 2017, ACM pp. 3-9. Buenos Aires, Argentiga, May 22, 2017. http://dx.doi.org/10.1109/MET.2017.3 Bibtex
  22. Martin Fleck, Javier Troya, Manuel Wimmer. "The Class Responsibility Assignment Case". Proceedings of the 9th Transformation Tool Contest, TTC 2016 @ STAF 2016. Vienna, Austria, July 8, 2016. Bibtex
  23. Martin Fleck, Javier Troya, Manuel Wimmer. "Search-Based Model Transformations with MOMoT". Proceedings of the 9th International Conference on Theory and Practice of Model Transformations (ICMT 2016), LNCS 9765, pp. 79-87, Springer. Vienna, Austria. July 4-5, 2016. http://dx.doi.org/10.1007/978-3-319-42064-6_6 Bibtex
  24. Martin Fleck, Javier Troya, Manuel Wimmer. "Towards Generic Modularization Transformations". Companion Proceedings of the 15 International Conference on Modularity (MODULARITY 2016), ACM, pp.190-195. Malaga, Spain. March 15, 2016. http://dx.doi.org/10.1145/2892664.2892698 Bibtex
  25. Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer. "XMLText: From XML Schema to Xtext". Proceedings of the 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015). Pittsburg, USA. October 25-27, 2015. http://dx.doi.org/10.1145/2814251.2814267 Bibtex
  26. Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer. "Fully Verifying Transformation Contracts for Declarative ATL". Proceedings of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015). Ottawa, Ontario, Canada. September 30 - October 2, 2015. http://dx.doi.org/10.1109/MODELS.2015.7338256 Bibtex
  27. Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo. "Parallel In-place Model Transformations with LinTra". 3rd Workshop on Scalable Model Driven Engineering (BigMDE 2015) @ STAF 2015. L'Aquila, Italy, July 23, 2015. Bibtex
  28. Javier Troya, Hugo Brunelière, Martin Fleck, Manuel Wimmer, Leire Orue-Echevarria, Jesús Gorroñogoitia. "ARTIST: Model-Based Stairway to the Cloud". Projects Showcase @ STAF 2015. L'Aquila, Italy, July 22, 2015. Bibtex
  29. Javier Troya, Alex Bergmayr, Loli Burgueño, Manuel Wimmer. "Towards Systematic Mutations for and with ATL Model Transformations". 10th International Workshop on Mutation Analysis (Mutation 2015 @ ICST 2015). http://dx.doi.org/10.1109/ICSTW.2015.7107455 Graz, Austria, April 13 2015. Bibtex
  30. Martin Fleck, Javier Troya, Manuel Wimmer. "Marrying Search-based Optimization and Model Transformation Technology". First North American Search Based Software Engineering Symposium (NasBASE 2015), Dearborn, Michigan, USA, February 26-27 2015. To be published
  31. Javier Troya, Manuel Wimmer, Loli Burgeño, Antonio Vallecillo. "Towards Approximate Model Transformations". Proceedings of the Workshop on Analysis of Model Transformations (AMT 2014 @ MoDELS 2014), Valencia, Spain; September 29th 2014. Bibtex
  32. Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel. "UML-based Cloud Application Modeling with Libraries, Profiles, and Templates". Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE 2014 @ MoDELS 2014), Valencia, Spain; September 30th 2014. Bibtex
  33. Martin Fleck, Javier Troya, Philip Langer, Manuel Wimmer. "Towards Pattern-Based Optimization of Cloud Applications". Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE 2014 @ MoDELS 2014), Valencia, Spain; September 30th 2014. Bibtex
  34. Alex Bergmayr, Javier Troya, Manuel Wimmer. "From Out-Place Transformation Evolution to In-Place Model Patching". 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Västeras, Sweden, September 15th - 19th, 2014. http://dx.doi.org/10.1145/2642937.2642946 Bibtex
  35. Javier Troya, Manuel Wimmner, Antonio Vallecillo. "Formal Specification and Testing of Model Transformations". Talk: 1st International Workshop on Mutation Testing and Model Transformation (MT^2 @ STAF'14), York, UK; July 22nd 2014. Bibtex
  36. Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya. "Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio". European Conference on Modelling Foundations and Applications (ECMFA 2014), Springer, LNCS 8569, 132-147, ISBN: 78-3-319-09194-5. York, United Kingdom, July 23rd - 24th, 2014. http://dx.doi.org/10.1007/978-3-319-09195-2_9 Bibtex
  37. Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo. "TractsTool: Testing Model Transformations based on Contracts". Poster: Satellite Events of MODELS 2013; in: "Proceedings of Satellite Events of MODELS 2013", CEUR, (2013), 1 - 5, Miami, US; October 2nd 2013. Bibtex
  38. Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo. "On the Concurrent Execution of Model Transformations with Linda". 1nd Workshop on (Big MDE) @ STAF2013, Budapest, Hungary; June 17th 2013. http://dx.doi.org/10.1145/2487766.2487770 Bibtex
  39. Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo. "On the Realization of TractsTool". Talk: 2nd Workshop on the Verification of Model Transformation (VOLT'13) @ STAF2013, Budapest, Hungary; June 17th 2013 Bibtex
  40. Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo. "Automated Throughput Optimization of Cloud Services via Model-Driven Adaptation". Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), SciTePress, 2013, pp. 356-362. ISBN: 978-989-8565-42-6. Barcelona, Spain, Feb. 19th - 21st, 2013. Bibtex
  41. Javier Troya, Antonio Vallecillo. "A Domain Specific Visual Language for Modeling Power-Aware Reliability in Wireless Sensor Networks". Proceedings of the Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML 2012), (affiliated with MODELS 2012), ACM, 2012, 3:1--3:6 ISBN: 978-1-4503-1807-5. Innsbruck, Austria, Sept. 30th - Oct. 2th, 2012. http://dx.doi.org/10.1145/2420942.2420945 Bibtex
  42. Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Küster, Hagen Völzer. "Matching Business Process Workflows Across Abstraction Levels". Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012). Springer Verlag, LNCS, 626-641. ISBN: 978-3-642-33665-2. Innsbruck, Austria, Sept. 30th - Oct. 5th, 2012. http://dx.doi.org/10.1007/978-3-642-33666-9_40 . Bibtex
  43. Francisco Durán, Steffen Zschaler, Javier Troya. "On the Reusable Specification of Non-functional Properties in DSLs". Proceedings of the 5th Internatinal Conference on Software Language Engineering (SLE 2012). Desden, Germany, Sept. 25th - 28th, 2012. http://dx.doi.org/10.1007/978-3-642-36089-3_19 Bibtex
  44. 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 Interfaces Architectures". Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012). IEEE Computer Society, 150-157. ISBN: 978-1-4673-2451-9. Cesme, Izmir, Turkey, September 5-8, 2012. http://dx.doi.org/10.1109/SEAA.2012.27 Bibtex
  45. Javier Troya, José M. Bautista, Fernando López-Romero, Antonio Vallecillo. "Lightweight Testing of Communication Networks with e-Motions". In Proceedings of the 5th International Conference on Tests & Proofs (TAP 2011), LNCS 6706, pp. 187-204, Springer. Zurich, Switzerland. June 30 - July 1, 2011. Bibtex
  46. Javier Troya, Antonio Vallecillo. "Towards a Rewriting Logic Semantics for ATL". In Proceedings of the Third International Conference on Model Transformations (ICMT 2010), LNCS 6142, pp.230-244, Springer. Málaga, Spain, June 28 - 29, 2010. Awarded Best Paper of the ICMT 2010 Conference. Bibtex
  47. Javier Troya, José E. Rivera, Antonio Vallecillo. "Simulating Domain Specific Visual Models by Observation". In Proceedings of the Symposium on Theory of Modeling and Simulation (DEVS'10), Orlando, Florida, USA, April 11 - 15, 2010. http://dx.doi.org/10.1145/1878537.1878671 Bibtex
  48. Manuel Díaz, Daniel Garrido, Javier Troya. "Developing a Communications Architecture Based on WCF for Use in Nuclear Power Plant Simulators". In Proceedings of the IADIS International Conference, Applied Computing 2009. Rome, Italy 19-21 November 2009. Pages 171-175. IADIS Press, 2009. ISBN: 978-972-8924-97-3. Bibtex
  49. Javier Troya, José E. Rivera, Antonio Vallecillo. "On the Specification of Non-Functional Properties of Systems by Observation". In Proceedings of the 2nd International Workshop of Non-functional System Properties In Domain Specific Modeling Languages (NFPinDSML2009), (affiliated with MODELS 2009), LNCS Springer, ISBN: 978-3-642-12260-6. Denver, Colorado, USA, October 4 - 9, 2009. http://dx.doi.org/10.1007/978-3-642-12261-3_28 Bibtex

National Conferences

 
  1. Enrique Vílchez, Javier Troya, Javier Cámara "Towards Self-Adaptive Software for Wildfire Monitoring with Unmanned Air Vehicles". JISBD 2023, Ciudad Real, September 12 - 14, 2023. Bibtex
  2. 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. Bibtex
  3. Paula Muñoz, Javier Troya, Antonio Vallecillo. "Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad". JISBD2022, Santiago de Compostela, September 5 - 7, 2022. Bibtex
  4. Javier Troya, Sergio Segura, José A. Parejo, Adela del-Río-Ortega, Antonio Gámez-Díaz, Alfonso E. Márquez-Chamorro. "Inviertiendo las clases de laboratorio en Ingeniería Informática: Un enfoque ágil". Actas de las XXV Jornadas sobre Enseñanza Universitaria de la Informática (JENUI 2019), Murcia, July 3 - 5, 2019. -TEACHING PAPER- Bibtex
  5. Javier Troya, Sergio Segura, José Antonio Parejo, Antonio Ruiz-Cortes. "An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization". JISBD2017, edited by Ruiz, F. La Laguna, September 19 - 21, 2017. Bibtex
  6. Javier Troya, Sergio Segura, Antonio Ruiz-Cortes. "Towards the Automation of Metamorphic Testing in Model Transformations". JISBD2016, edited by Jesus J. Garcia Molina, pp. 281-284, ISBN: 978-84-9012-627-1. Salamanca, September 13 - 16, 2016.
  7. Javier Troya, Antonio Vallecillo. "Introducing Approximate Model Transformations". JISBD2014, edited by Javier Tuya, Mercedes Ruiz, Nuria Hurtado, pp. 279-284, ISBN: 978-84-697-1152-1. Cádiz, September 16 - 19, 2014.
  8. Antonio Moreno-Delgado, Javier Troya, Francisco Durán, Antonio Vallecillo. "On the Modular Specification of NFPs: A Case Study". JISBD2013, edited by Ana Moreno and Juan Manuel Vara, pp. 302-316, ISBN: 978-84-695-8310-4. Madrid, September 17 - 20, 2013.
  9. Loli Burgueño, Javier Troya, Antonio Vallecillo. "Concurrent Model Transformations with Linda". JISBD2013, edited by Ana Moreno and Juan Manuel Vara, pp. 274-279, ISBN: 978-84-695-8310-4. Madrid, September 17 - 20, 2013.
  10. Javier Troya, Antonio Vallecillo, Francisco Durán. "On the Modular Specification of Non-Functional Properties in DSVLs". JISBD2012, edited by Antonio Ruiz and Luis Iribarne, pp. 431-436, ISBN: 978-84-15487-28-9. Almería, September 17 - 19, 2012.
  11. Juan F. Inglés-Romero, Cristina Vicente-Chicote, Javier Troya, Antonio Vallecillo. "Prototyping Component-Based Self-Adaptive Systems with Maude". JISBD2012, edited by Antonio Ruiz and Luis Iribarne, pp. 609-622, ISBN: 978-84-15487-28-9. Almería, September 17 - 19, 2012.
  12. José M. Bautista, Javier Troya, Antonio Vallecillo. "Diseño y Monitorización de Sistemas de Colas con e-Motions". JISBD2011, edited by Coral Calero Muñoz and Ángeles Saavedra Paredes, pp. 769-782. ISBN: 978-84-9749-486-1. A Coruña, 5 - 7 September, 2011. Awarded Best Paper of the JISBD 2011 Conference.
  13. Javier Criado, Luis Iribarne, Nicolas Padilla, Javier Troya, Antonio Vallecillo. "Adapting Component-based User Interfaces at Runtime using Observers". JISBD2011, edited by Coral Calero Muñoz and Ángeles Saavedra Paredes, pp. 707-712. ISBN: 978-84-9749-486-1. A Coruña, 5 - 7 September, 2011.

Technical Reports