JAVIER TROYA CASTILLA

Categoría
Profesor Contratado Doctor
Perfil en ORCID
Perfil en ResearcherID
Perfil en Scopus
Perfil en Dialnet
Correo electrónico
Área
Lenguajes y Sistema Informáticos

Investigación

Grupo de investigación

INGENIERÍA DEL SOFTWARE APLICADA (ISA)

Proyectos y contratos de investigación

RED TEMÁTICA CIENTÍFICO TECNOLÓGICA EN INGENIERÍA DE SERVICIOS (TIN2008-04847-E - Investigador/a)
MDD-MERTS: Diseño y Monitorización Dirigido por Modelos de Sistemas Empotrados y de Tiempo Real (TIN2008-03107 - Investigador/a)
Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Con (RTI2018-101204-B-C21 - Investigador/a)
Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por ANS (TIN2015-70560-R - Investigador/a)
Advanced software-based seRvice provisioning and migraTIon of legacy Software (ARTIST) (317859 - Investigador/a)
Red de Excelencia en Ingeniería de Software basada en Búsqueda (TIN2015-71841-REDT - Investigador/a)
DESARROLLO DE SOFTWARE PARA SISTEMAS DISTRIBUIDOS P2P (TIN2005-09405-C02-0 - Investigador/a)
RED TEMÁTICA EN TECNOLOGÍAS PARA EL DESARROLLO INDUSTRIAL DE SOFTWARE (TeDIS) (TIN2011-15009-E - Investigador/a)
Sistemas Inalámbricos de Gestión de Información Crítica (TIN2011-23795 - Investigador/a)

Capítulos en Libros

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. Pág. 150-157. 2012.

Participación en congresos

Castelo Branco, Moisés;Troya-Castilla, Javier;Czarnecki, Krzysztof ;Küster, Jochen ;Völzer, Hagen :
Matching Business Process Workflows Across Abstraction Levels. .

Asistencia a congresos

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
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;García-lópez, Adrián ;Vallecillo-Moreno, Antonio:
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
Moreno-Vergara, Natalia;Manuel F. Bertoa;Barquero, Gala;Brugueño, Loli;Troya-Castilla, Javier;García-lópez, Adrián;Vallecillo-Moreno, Antonio:
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, Loli;Troya-Castilla, Javier;Vallecillo-Moreno, Antonio:
Expressing Measurement Uncertainty in OCL/UML Datatypes. Comunicación en congreso. 14th European Conference on Modelling Foundations and Applications. Toulouse, France. 2018
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
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
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
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
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
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;Brunelière, Hugo;Fleck, Martin;Wimmer, Manuel;Orue-echevarria, Leire;Gorroñogoitia, Jesús:
ARTIST: Model-Based Stairway to the Cloud. Comunicación en congreso. Projects Showcase. L'AQUILA, ITALIA. 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
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
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
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
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
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;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
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
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
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
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
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;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
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 () (.2010.ORLANDO, FLORIDA, USA). ORLANDO, FLORIDA, USA. 2010
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
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 () (.2009.ROME, ITALY). ROME, ITALY. 2009

Artículos publicados

Barquero, G.;Troya-Castilla, Javier;Vallecillo-Moreno, Antonio:
Trading accuracy for performance in data processing applications. Journal of Object Technology. 2019. Vol: 18. Núm: 2. Pág. 1-24. 10.5381/jot.2019.18.2.a9.
Troya-Castilla, Javier;Sergio Segura;Parejo-Maestre, José Antonio;Ruiz-Cortés, Antonio:
Spectrum-Based Fault Localization in Model Transformations. ACM Transactions on Software Engineering and Methodology. 2018. Vol: 27. Núm: 3. Pág. 1-50. 10.1145/3241744.
Sergio Segura;Parejo-Maestre, José Antonio;Troya-Castilla, Javier;Ruiz-Cortés, Antonio:
Metamorphic Testing of RESTful APIs. IEEE Transactions on Software Engineering. 2018. Vol: 44. Núm: 11. Pág. 1083-1099. 10.1109/TSE.2017.2764464.
James-oakes, Bentley;Troya-Castilla, Javier;Lúcio, Levi;Wimmer, Manuel:
Full contract verification for ATL using symbolic execution. Software and Systems Modeling. 2018. Vol: 17. Núm: 3. Pág. 815-849. 10.1007/s10270-016-0548-7.
Sergio Segura;Troya-Castilla, Javier;Durán-Toro, Amador;Ruiz-Cortés, Antonio:
Performance Metamorphic Testing: A Proof of Concept. Information and Software Technology. 2018. Vol: 98. Pág. 1-4. 10.1016/j.infsof.2018.01.013.
Troya-Castilla, Javier;Sergio Segura;Ruiz-Cortés, Antonio:
Automated Inference of Likely Metamorphic Relations for Model Transformations. The Journal of Systems and Software. 2017. Vol: 136. Pág. 188-208. 10.1016/j.jss.2017.05.043.
Bill, Robert;Fleck, Martin;Troya-Castilla, Javier;Mayerhofer, Tanja;Wimmer, Manuel:
A Local and Global Tour on MOMoT. Software and Systems Modeling. 2017. Vol: En prensa. Núm: En prensa. Pág. 1-30. https://doi.org/10.1007/s10270-017-0644-3.
Fleck, Martin;Troya-Castilla, Javier;Kessentini, Marouane;Wimmer, Manuel;Alkhazi, Bader:
Model Transformation Modularization as a Many-Objective Optimization Problem. IEEE Transactions on Software Engineering. 2017. Vol: 43. Núm: 11. Pág. 1009-1032. 10.1109/TSE.2017.2654255.
Fleck, Martin;Troya-Castilla, Javier;Wimmer, Manuel:
Search-Based Model Transformations. Journal of Software: Evolution and Process. 2016. Vol: 28. Núm: 12. Pág. 1081-1117. 10.1002/smr.1804.
Burgueño, Dolores;Troya-Castilla, Javier;Wimmer, Manuel;Vallecillo-Moreno, Antonio:
Static fault localization in model transformations. IEEE Transactions on Software Engineering. 2015. Vol: 41. Núm: 5. Pág. 507-525. 10.1109/TSE.2014.2375201.
Troya-Castilla, Javier;Vallecillo-Moreno, Antonio:
Specification and simulation of queuing network models using Domain-Specific Languages. Computer Standards & Interfaces. 2014. Vol: 36. Núm: 5. Pág. 863-879. http://dx.doi.org/10.1016/j.csi.2014.01.002.
Kolahdouz-rahimi, Shekoufeh;Lano, Kevin;Pillay, Suresh;Troya-Castilla, Javier;Van Grop, Pieter:
Evaluation of Model Transformation Approaches for Model Refactoring. Science of Computer Programming. 2014. Vol: 88. Núm: A. Pág. 5-40. 10.1016/j.scico.2013.07.013.
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. Information and Software Technology. 2013. Vol: 55. Núm: 1. Pág. 88-110. 10.1016/j.infsof.2012.07.009.
Troya-Castilla, Javier;Vallecillo-Moreno, Antonio:
A Rewriting logic semantics for ATL . Journal of Object Technology. 2011. Vol: 10. Pág. 1-29. doi:10.5381/jot.2011.10.1.a5..