Javier Troya
TitleCited byYear
A Rewriting Logic Semantics for ATL.
J Troya, A Vallecillo
Journal of Object Technology 10 (5), 1-29, 2011
672011
Static fault localization in model transformations
L Burgueno, J Troya, M Wimmer, A Vallecillo
IEEE Transactions on Software Engineering 41 (5), 490-506, 2014
532014
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
512014
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
452014
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
452012
Marrying search-based optimization and model transformation technology
M Fleck, J Troya, M Wimmer
Proc. of NasBASE, 1-16, 2015
342015
Towards a rewriting logic semantics for ATL
J Troya, A Vallecillo
International Conference on Theory and Practice of Model Transformations …, 2010
342010
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
312013
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
232017
Simulating domain specific visual models by observation
J Troya, JE Rivera, A Vallecillo
Proceedings of the 2010 Spring Simulation Multiconference, 128, 2010
222010
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, 3, 2013
202013
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
172017
Search-based model transformations with MOMoT
M Fleck, J Troya, M Wimmer
International Conference on Theory and Practice of Model Transformations, 79-87, 2016
172016
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
172015
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
162016
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
152015
Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio
A Moreno-Delgado, F Durán, S Zschaler, J Troya
European Conference on Modelling Foundations and Applications, 132-147, 2014
142014
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
142012
On the specification of non-functional properties of systems by observation
J Troya, JE Rivera, A Vallecillo
International Conference on Model Driven Engineering Languages and Systems …, 2009
142009
Search‐based model transformations
M Fleck, J Troya, M Wimmer
Journal of Software: Evolution and Process 28 (12), 1081-1117, 2016
132016
The system can't perform the operation now. Try again later.
Articles 1–20