Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Javier Troya Castilla


Javier Troya Castilla
Email: Solicitar correo
Perfil en ORCID: 0000-0002-1314-9694
Perfil en ResearcherID: B-6951-2017
Perfil en Scopus: 55409920800
Perfil en Dialnet: 3633679

Grupo de Investigación: Ingeniería del Software Aplicada
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Contratado Doctor LOU

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895 - Equipo de Investigación)
    • Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21 - Equipo de Investigación)
    • Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651 - Equipo de Investigación)
    • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Equipo Trabajo (Alta/Baja))
    • Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-205 (2017/TIC-205 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Publicaciones en Revistas
Bill, Robert, Fleck, Martin, Troya Castilla, Javier, Mayerhofer, Tanja, Wimmer, Manuel:
A Local and Global Tour on MOMoT. En: Software and Systems Modeling. 2019. Vol. 18. Pag. 1017-1046. https://doi.org/10.1007/s10270-017-0644-3

Barquero, G., Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Trading accuracy for performance in data processing applications. En: Journal of Object Technology. 2019. Vol. 18. Núm. 2. Pag. 1-24. 10.5381/jot.2019.18.2.a9

Sergio Segura, Parejo Maestre, José Antonio, Troya Castilla, Javier, Ruiz Cortés, Antonio:
Metamorphic Testing of RESTful APIs. En: IEEE Transactions on Software Engineering. 2018. Vol. 44. Núm. 11. Pag. 1083-1099. 10.1109/Tse.2017.2764464

Sergio Segura, Troya Castilla, Javier, Durán Toro, Amador, Ruiz Cortés, Antonio:
Performance Metamorphic Testing: A Proof of Concept. En: Information and Software Technology. 2018. Vol. 98. Pag. 1-4. 10.1016/j.infsof.2018.01.013

Troya Castilla, Javier, Sergio Segura, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio:
Spectrum-Based Fault Localization in Model Transformations. En: ACM Transactions on Software Engineering and Methodology. 2018. Vol. 27. Núm. 3. Pag. 1-50. 10.1145/3241744

James Oakes, Bentley, Troya Castilla, Javier, Lúcio, Levi, Wimmer, Manuel:
Full contract verification for ATL using symbolic execution. En: Software and Systems Modeling. 2018. Vol. 17. Núm. 3. Pag. 815-849. 10.1007/s10270-016-0548-7

Troya Castilla, Javier, Sergio Segura, Ruiz Cortés, Antonio:
Automated Inference of Likely Metamorphic Relations for Model Transformations. En: The Journal of Systems and Software. 2017. Vol. 136. Pag. 188-208. 10.1016/j.jss.2017.05.043

Fleck, Martin, Troya Castilla, Javier, Kessentini, Marouane, Wimmer, Manuel, Alkhazi, Bader:
Model Transformation Modularization as a Many-Objective Optimization Problem. En: IEEE Transactions on Software Engineering. 2017. Vol. 43. Núm. 11. Pag. 1009-1032. 10.1109/Tse.2017.2654255

Fleck, Martin, Troya Castilla, Javier, Wimmer, Manuel:
Search-Based Model Transformations. En: Journal of Software: Evolution and Process. 2016. Vol. 28. Núm. 12. Pag. 1081-1117. 10.1002/smr.1804

Burgueño, Dolores, Troya Castilla, Javier, Wimmer, Manuel, Vallecillo Moreno, Antonio:
Static fault localization in model transformations. En: IEEE Transactions on Software Engineering. 2015. Vol. 41. Núm. 5. Pag. 507-525. 10.1109/Tse.2014.2375201

Kolahdouz Rahimi, Shekoufeh, Lano, Kevin, Pillay, Suresh, Troya Castilla, Javier, Van Grop, Pieter:
Evaluation of Model Transformation Approaches for Model Refactoring. En: Science of Computer Programming. 2014. Vol. 88. Núm. A. Pag. 5-40. 10.1016/j.scico.2013.07.013

Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Specification and simulation of queuing network models using Domain-Specific Languages. En: Computer Standards & Interfaces. 2014. Vol. 36. Núm. 5. Pag. 863-879. http://dx.doi.org/10.1016/j.csi.2014.01.002

Troya Castilla, Javier, Vallecillo Moreno, Antonio, Durán Muñoz, Francisco Javier, Zschaler, Steffen:
Model-Driven Performance Analysis of Rule-Based Domain Specific Visual Models. En: Information and Software Technology. 2013. Vol. 55. Núm. 1. Pag. 88-110. 10.1016/j.infsof.2012.07.009

Troya Castilla, Javier, Vallecillo Moreno, Antonio:
A Rewriting logic semantics for ATL. En: Journal of Object Technology. 2011. Vol. 10. Pag. 1-29. doi:10.5381/jot.2011.10.1.a5.

Otra participación en Libros de Actas
Troya Castilla, Javier (Coeditor/a):
21st International Systems & Software Product Line Conference. 2017. ISBN 978-1-4503-5221-5. ACM. , , , , , , , , , , , , , , , , , , , , , , , , , , . . Universidad de Sevilla

Aportaciones a Congresos
Troya Castilla, Javier, Sergio Segura, Parejo Maestre, José Antonio, Del Río Ortega, Adela, Gamez Diaz, Antonio, et. al.:
Inviertiendo las clases de laboratorio en Ingeniería Informática: Un enfoque ágil. Comunicación en Jornada. XXV Jornadas sobre Enseñanza Universitaria de la Informática. . Murcia: Universidad de Murcia, Editum. Universidad de Murcia. 2019

Sergio Segura, Durán Toro, Amador, Troya Castilla, Javier, Ruiz Cortés, Antonio:
Metamorphic Relation Patterns for Query-Based Systems. Comunicación en congreso. 4th International Workshop on Metamorphic Testing. Motréal, QC, Canada. 2019

Moreno Vergara, Natalia, Manuel F. Bertoa, Barquero, Gala, Brugueño, Loli, Troya Castilla, Javier, et. al.:
Managing Uncertain Complex Events in Web of Things Applications. Comunicación en congreso. 18th International Conference on Web Engineering. Cáceres, Spain. 2018

Manuel F. Bertoa, Moreno Vergara, Natalia, Barquero, Gala, Burgueño, Dolores, Troya Castilla, Javier, et. al.:
Expressing Measurement Uncertainty in OCL/UML Datatypes. Comunicación en congreso. 14th European Conference on Modelling Foundations and Applications. Toulouse, France. 2018

Barquero, Gala, Burgueño, Dolores, Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Extending Graph Event Processing to Graph-structured Information. Comunicación en congreso. 21th International Conference on Model Driven Engineering Languages and Systems. COPEHAGEN, Denmark. 2018

M, Nathalie, Bertoa, M, Barquero, Gala, Burgueño, Loli, Troya Castilla, Javier, et. al.:
Expressing Managing Uncertain Complex Events in Web of Things Applications. Comunicación en congreso. 18th International Conference on Web Engineering (ICWE 2018). Cáceres, España. 2018

Sergio Segura, Durán Toro, Amador, Troya Castilla, Javier, Ruiz Cortés, Antonio:
A Template-Based Approach to Describing Metamorphic Relations. Comunicación en congreso. 2nd International Workshop on Metamorphic Testing. Buenos Aires, Argentina. 2017

Sergio Segura, Troya Castilla, Javier, Durán Toro, Amador, Ruiz Cortés, Antonio:
Performance Metamorphic Testing: Motivation and Challenges. Comunicación en congreso. 39th International Conference on Software Engineering: New Ideas and Emerging Results Track. Buenos Aires, Argentina. 2017

Troya Castilla, Javier, Sergio Segura, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio:
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization. Comunicación en Jornada. XXII Jornadas de Ingeniería del Software y Bases de Datos. La Laguna. 2017

Troya Castilla, Javier, Tolvanen, Juha Pekka, Sergio Segura:
Domain-Specific Languages and Model Transformations for Software Product Line. Demostración en Congreso. Systems and Software Product Line Conference. Sevilla, España. 2017

Fleck, Martin, Troya Castilla, Javier, Wimmer, Manuel:
The Class Responsibility Assignment Case. Comunicación en congreso. Transformation Tool Contest. Viena, Austria. 2016

Fleck, Martin, Troya Castilla, Javier, Wimmer, Manuel:
Search-Based Model Transformations with MOMoT. Comunicación en congreso. 9th International Conference on Theory and Practice of Model Transformations. Viena, Austria. 2016

Fleck, Martin, Troya Castilla, Javier, Wimmer, Manuel:
Towards Generic Modularization Transformations. Comunicación en congreso. Companion Proceedings of the 15 International Conference on Modularity. Malaga, España. 2016

Troya Castilla, Javier, Sergio Segura, Ruiz Cortés, Antonio:
Towards the Automation of Metamorphic Testing in Model Transformations. Comunicación en Jornada. XXI Jornadas de Ingeniería del Software y Bases de Datos. - Salamanca, España. 2016

Troya Castilla, Javier, Sergio Segura, Ruiz Cortés, Antonio:
Towards the Automation of Metamorphic Testing in Model Transformations. Comunicación en Jornada. XXI Jornadas de Ingeniería del Software y Bases de Datos. - Salamanca, España. 2016

James Oakes, Bentley, Troya Castilla, Javier, Lúcio, Levi, Wimmer, Manuel:
Fully Verifying Transformation Contracts for Declarative ATL. Comunicación en congreso. ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. Ottawa, Ontario, Canada. 2015

Troya Castilla, Javier, Bergmayr, Alexander, Burgueño, Loli, Wimmer, Manuel:
Towards Systematic Mutations for and with ATL Model Transformations. Comunicación en congreso. 10th International Workshop on Mutation Analysis. Graz, Austria. 2015

Neubauer, Patrick, Bergmayr, Alexander, Mayerhofer, Tanja, Troya Castilla, Javier, Wimmer, Manuel:
XMLText: From XML Schema to Xtext. Comunicación en congreso. roceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering. Pittsburgh, EEUU. 2015

Troya Castilla, Javier, Brunelière, Hugo, Fleck, Martin, Wimmer, Manuel, Orue Echevarria, Leire, et. al.:
ARTIST: Model-Based Stairway to the Cloud. Comunicación en congreso. Projects Showcase. L'aquila, Italia. 2015

Fleck, Martin, Troya Castilla, Javier, Wimmer, Manuel:
Marrying Search-based Optimization and Model Transformation Technology. Comunicación en congreso. First North American Search Based Software Engineering Symposium. Michigan, EEUU. 2015

Burgueño, Loli, Troya Castilla, Javier, Wimmer, Manuel, Vallecillo Moreno, Antonio:
Parallel In-place Model Transformations with LinTra. Comunicación en congreso. 3rd Workshop on Scalable Model Driven Engineering. L'Aquila, Italia. 2015

Troya Castilla, Javier, Wimmer, Manuel, Burgueño, Loli, Vallecillo Moreno, Antonio:
Towards Approximate Model Transformations. Comunicación en congreso. Workshop on Analysis of Model Transformations. Valencia. 2014

Bergmayr, Alexander, Troya Castilla, Javier, Neubauer, Patrick, Wimmer, Manuel, Kappel, Gerti:
UML-based Cloud Application Modeling with Libraries, Profiles, and Templates. Comunicación en congreso. 2nd International Workshop on Model-Driven Engineering on and for the Cloud. , - Valencia, España. 2014

Fleck, Martin, Troya Castilla, Javier, Langer, Philip, Wimmer, Manuel:
Towards Pattern-Based Optimization of Cloud Applications. Comunicación en congreso. 2nd International Workshop on Model-Driven Engineering on and for the Cloud. , - Valencia, España. 2014

Troya Castilla, Javier, Wimmer, Manuel, Vallecillo Moreno, Antonio:
Formal Specification and Testing of Model Transformations. Comunicación en congreso. 1st International Workshop on Mutation Testing and Model Transformation. York, Inglaterra. 2014

Bergmayr, Alexander, Troya Castilla, Javier, Wimmer, Manuel:
From Out-Place Transformation Evolution to In-Place Model Patching. Comunicación en congreso. 29th IEEE/ACM International Conference on Automated Software Engineering. Västeras, Suecia. 2014

Moreno Delgado, Antonio, Durán Muñoz, Francisco Javier, Zschaler, Steffen, Troya Castilla, Javier:
Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio. Comunicación en congreso. European Conference on Modelling Foundations and Applications. York, Reino Unido. 2014

Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Introducing Approximate Model Transformations. Comunicación en Jornada. XIX Jornadas de Ingeniería del Software y Bases de Datos. - Cádiz, - Cádiz, España. 2014

Burgueño, Loli, Troya Castilla, Javier, Wimmer, Manuel, Vallecillo Moreno, Antonio:
On the Realization of TractsTool. Comunicación en congreso. STAF Workshop on Verification of Models Transformations. Budapest, Hungary. 2013

Moreno Delgado, Antonio Manuel, Troya Castilla, Javier, Durán Muñoz, Francisco Javier, Vallecillo Moreno, Antonio:
On the Modular specification of NFPs: a case study. Comunicación en Jornada. XVIII Jornadas de Ingeniería del Software y Bases de Datos. Madrid. 2013

Burgueño, Loli, Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Concurrent model transformations with Linda. Comunicación en Jornada. XVIII Jornadas de Ingeniería del Software y Bases de Datos. Madrid. 2013

Burgueño, Loli, Troya Castilla, Javier, Wimmer, Manuel, Vallecillo Moreno, Antonio:
On the Concurrent execution of model transformations with Linda. Comunicación en congreso. Workshop of the STAF conference, Focusing on Scalability in Model Driven Engineering. Budapest, Hungary. 2013

Burgueño, Loli, Wimmer, Manuel, Troya Castilla, Javier, Vallecillo Moreno, Antonio:
TractsTool: testing MTs based on contracts. Poster en Congreso. ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems. Miami, USA. 2013

Troya Castilla, Javier, Cubo Villalba, Javier, Martín Baena, José Antonio, Pimentel Sánchez, Ernesto, Vallecillo Moreno, Antonio:
Automated throughput optimization of Cloud services via model-driven adaptation. Comunicación en congreso. 1st International Conference on Model-Driven Engieneering and Software Development. Barcelona, Spain. 2013

Ingles Romero, Juan F., Vicente Chicote, Cristina, Troya Castilla, Javier:
Prototyping component-based self-adaptive systems with Maude. Comunicación en Jornada. XVII Jornadas De Ingeniería Del Software Y Bases De Datos, JISBD 2012. Almería. 2012

Durán Muñoz, Francisco Javier, Zschaler, Steffen, Troya Castilla, Javier:
On the Reusable specification of Non-functional properties in DSLs. Comunicación en congreso. 5th Internatinal Conference on Software Language Engineering. Desden, Alemania. 2012

Troya Castilla, Javier, Vallecillo Moreno, Antonio:
A Domain specific visual language modeling power-aware reliability in wireless sensor networks. Comunicación en congreso. 4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages. Innsbruck, Austria. 2012

Criado Rodríguez, Javier, Iribarne, Luis, Padilla Soriano, Nicolas, Troya Castilla, Javier, Vallecillo Moreno, Antonio:
An MDE approach for Runtime Monitoring and Adapting Component-based Systems: Application to WIMP User Interface Architectures. Comunicación en congreso. 38th Euromicro Conference on Software Engineering and Advanced Applications. Cesme, Izmir, Turkey. 2012

Troya Castilla, Javier, Vallecillo Moreno, Antonio, Durán Muñoz, Francisco Javier:
On the Modular specification of non-functional properties in DSVLs. Comunicación en Jornada. XVII Jornadas De Ingeniería Del Software Y Bases De Datos, JISBD 2012. Almería. 2012

Troya Castilla, Javier, Bautista Moguel, Jose, López Romero, Fernando, Vallecillo Moreno, Antonio:
Lightweight testing of communication networks with e-motions. Comunicación en congreso. 5th International Conference on Tests and Proofs. Zurich, Alemania. 2011

Criado Rodríguez, Javier, Iribarne, Luis, Padilla Soriano, Nicolas, Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Adapting component-based user interfaces at runtime using observers. Comunicación en Jornada. XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2011). La Coruña, España. 2011

Bautista Moguel, Jose, Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Diseño y simulación de un sistema de colas con e-Motions. Comunicación en Jornada. XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2011). La Coruña, España. 2011

Troya Castilla, Javier, Vallecillo Moreno, Antonio:
Towards a rewriting logic semantics for ATL. Comunicación en congreso. 3rd International Conference on Theory and Practice of Model Transformations. Málaga, España. 2010

Troya Castilla, Javier, Rivera Cabaleiro, José Eduardo, Vallecillo Moreno, Antonio:
Simulating domain specific visual modes by observation. Comunicación en congreso. Symposium on Theory of Modeling and Simulation. Orlando, Florida, USA. 2010

Diaz Rodriguez, Manuel, Garrido Marquez, Daniel, Troya Castilla, Javier:
Developing a communications architecture based on WCF for use in nuclear power plant simulators. Comunicación en congreso. Iadis International Conference on Applied Computing. Rome, Italy. 2009. Proceedings of the Iadis International Conference Applied Computing 2009. Rome, Italy, 19-21 November 2009. 171. 175

Troya Castilla, Javier, Rivera Cabaleiro, José Eduardo, Vallecillo Moreno, Antonio:
On the Specification of Non-Functional Properties of Systems by Observation. Comunicación en congreso. 2nd International Workshop of Non-functional System Properties In Domain Specific Modeling Languages. Denver, Colorado, EEUU. 2009

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla