Javier Troya
Título
Citado por
Citado por
Año
A rewriting logic semantics for ATL
J Troya Castilla, A Vallecillo Moreno
Journal of Object Technology, 10, 5: 1-5: 29., 2011
752011
Static fault localization in model transformations
L Burgueno, J Troya, M Wimmer, A Vallecillo
IEEE Transactions on Software Engineering 41 (5), 490-506, 2014
702014
Metamorphic testing of RESTful web APIs
S Segura, JA Parejo, J Troya, A Ruiz-Cortés
IEEE Transactions on Software Engineering 44 (11), 1083-1099, 2017
682017
UML-based cloud application modeling with libraries, profiles, and templates
A Bergmayr, J Troya Castilla, P Neubauer, M Wimmer, G Kappel
CloudMDE 2014: 2nd International Workshop on Model-Driven Engineering on and …, 2014
672014
Evaluation of model transformation approaches for model refactoring
S Kolahdouz-Rahimi, K Lano, S Pillay, J Troya, P Van Gorp
Science of Computer Programming 85, 5-40, 2014
602014
Model transformation modularization as a many-objective optimization problem
M Fleck, J Troya, M Kessentini, M Wimmer, B Alkhazi
IEEE Transactions on Software Engineering 43 (11), 1009-1032, 2017
582017
Matching business process workflows across abstraction levels
MC Branco, J Troya, K Czarnecki, J Küster, H Völzer
International Conference on Model Driven Engineering Languages and Systems …, 2012
492012
Marrying search-based optimization and model transformation technology
M Fleck, J Troya, M Wimmer
Proc. of NasBASE, 1-16, 2015
472015
Model-driven performance analysis of rule-based domain specific visual models
J Troya, A Vallecillo, F Durán, S Zschaler
Information and Software Technology 55 (1), 88-110, 2013
352013
Towards a rewriting logic semantics for ATL
J Troya, A Vallecillo
International Conference on Theory and Practice of Model Transformations …, 2010
352010
Towards systematic mutations for and with ATL model transformations
J Troya, A Bergmayr, L Burgueno, M Wimmer
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
272015
Simulating domain specific visual models by observation
J Troya, JE Rivera, A Vallecillo
Proceedings of the 2010 Spring Simulation Multiconference, 1-8, 2010
262010
Search-based model transformations with MOMoT
M Fleck, J Troya, M Wimmer
International Conference on Theory and Practice of Model Transformations, 79-87, 2016
252016
The class responsibility assignment case
M Fleck, J Troya Castilla, M Wimmer
TTC 2016: 9th Transformation Tool Contest, co-located with the 2016 Software …, 2016
252016
Performance metamorphic testing: Motivation and challenges
S Segura, J Troya, A Durán, A Ruiz-Cortés
2017 IEEE/ACM 39th International Conference on Software Engineering: New …, 2017
232017
Automated inference of likely metamorphic relations for model transformations
J Troya, S Segura, A Ruiz-Cortés
Journal of Systems and Software 136, 188-208, 2018
212018
On the concurrent execution of model transformations with linda
L Burgueño, J Troya, M Wimmer, A Vallecillo
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
212013
On the reusable specification of non-functional properties in DSLs
F Durán, S Zschaler, J Troya
International Conference on Software Language Engineering, 332-351, 2012
202012
Search‐based model transformations
M Fleck, J Troya, M Wimmer
Journal of Software: Evolution and Process 28 (12), 1081-1117, 2016
192016
XMLText: from XML schema to Xtext
P Neubauer, A Bergmayr, T Mayerhofer, J Troya, M Wimmer
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
192015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20