Journal Papers
- Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo. "Static Fault Localization in Model Transformations". IEEE Transactions on Software Engineering,Volume 41, 5 (2015), pp. 490-506. Bibtex
- Javier Troya, Antonio Vallecillo. "Specification and Simulation of Queuing Network Models using Domain-Specific Languages". Computer Standards & Interfaces, Volume 36, 5 (2014), pp. 863-879. Bibtex
- 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 (2014), pp. 5-40. Bibtex
- 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 (2013), pp. 88-110. Bibtex
- Javier Troya, Antonio Vallecillo. "A Rewriting Logic Semantics for ATL". Journal of Object Technology, Volume 10, (2011), pp. 5:1-29. Bibtex
International Conferences
- 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. To be published
- 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. Bibtex to be available
- 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
- 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
- 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). Graz, Austria, April 13 2015. Bibtex
- 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
- 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
- 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
- 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
- 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. Bibtex
- 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
- 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. Bibtex
- Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo. "TractsTool: Testing MTs based on Contracts". Poster: Satellite Events of MODELS 2013; in: "Proceedings of Satellite Events of MODELS 2013", CEUR, (2013), 1 - 6, Miami, US; October 2nd 2013. Bibtex
- 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. Bibtex
- 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
- 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
- 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. Bibtex
- 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. Bibtex
- 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. Bibtex
- 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. Bibtex
- 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
- 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
- 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. Bibtex
- 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
- 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. Bibtex
National Conferences
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- Javier Troya, Loli Burgueño, Manuel Wimmer, Antonio Vallecillo. "Mutations in ATL Transformations and their Identification with Matching Tables --Technical Report--". Technical Report of part of the paper Static Fault Localization in Model Transformations, submitted for publication. 2014
- Javier Troya, Loli Burgueño, Manuel Wimmer, Antonio Vallecillo. "Types Extraction and Similarity Matrixes in ATL Transformations -- Technical Report". Technical Report of part of the paper Static Fault Localization in Model Transformations, submitted for publication. 2013
- Javier Troya, José M. Bautista, Antonio Vallecillo. "A Rewriting Logic Semantics for ATL (Extended Version)". Technical Report of the paper "A Rewriting Logic Semantics for ATL", in Journal of Object Technology, Volume 10, (2011), pp. 5:1-29.
- Javier Troya, Antonio Vallecillo. "Towards a Rewriting Logic Semantics for ATL (Extended Version)". Technical Report of the paper "Towards a Rewriting Logic Semantics for ATL", in Proceedings of the Third International Conference on Model Transformation (ICMT 2010), LNCS, Málaga, Spain, June 28 - 29, 2010. Awarded BestPaper of the ICMT 2010 Conference