| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Fleck, Martin ; Troya, Javier ; Wimmer, Manuel | The Class Responsibility Assignment Case | Konferenzbeitrag Inproceedings | 2016 |
| 2 | | Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel | Full Contract Verification for ATL using Symbolic Execution | Artikel Article | 2016 |
| 3 | | Fleck, Martin ; Troya, Javier ; Wimmer, Manuel | Towards generic modularization transformations | Konferenzbeitrag Inproceedings  | 2016 |
| 4 | | Burgueño, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio | Parallel In-place Model Transformations with LinTra | Konferenzbeitrag Inproceedings  | 2015 |
| 5 | | Troya, Javier ; Brunelière, Hugo ; Fleck, Martin ; Wimmer, Manuel ; Orue-Echevarria, Leire ; Gorronogoitia, Jesus | ARTIST: Model-Based Stairway to the Cloud | Konferenzbeitrag Inproceedings  | 2015 |
| 6 | | Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel | Fully verifying transformation contracts for declarative ATL | Konferenzbeitrag Inproceedings  | 2015 |
| 7 | | Troya, Javier ; Bergmayr, Alexander ; Burgueño, Loli ; Wimmer, Manuel | Towards Systematic Mutations for and with ATL | Konferenzbeitrag Inproceedings  | 2015 |
| 8 | | Neubauer, Patrick ; Bergmayr, Alexander ; Mayerhofer, Tanja ; Troya, Javier ; Wimmer, Manuel | XMLText: From XML Schema to Xtext | Konferenzbeitrag Inproceedings  | 2015 |
| 9 | | Fleck, Martin ; Troya, Javier ; Wimmer, Manuel | Marrying Search-based Optimization and Model Transformation Technology | Konferenzbeitrag Inproceedings  | 2015 |
| 10 | | Burgueno, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio | Static Fault Localization in Model Transformations | Artikel Article | 2015 |
| 11 | | Moreno-Delgado, Antonio ; Durán, Francisco ; Zschaler, Steffen ; Troya, Javier ; Cabot, Jordi ; Rubin, Julia | Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio | Konferenzbeitrag Inproceedings  | 2014 |
| 12 | | Bergmayr, Alexander ; Troya, Javier ; Wimmer, Manuel | From out-place transformation evolution to in-place model patching | Konferenzbeitrag Inproceedings  | 2014 |
| 13 | | Bergmayr, Alexander ; Troya, Javier ; Neubauer, Patrick ; Wimmer, Manuel ; Kappel, Gerti | UML-based Cloud Application Modeling with Libraries, Profiles and Templates | Konferenzbeitrag Inproceedings  | 2014 |
| 14 | | Troya, Javier ; Wimmer, Manuel ; Burgueño, Loli ; Vallecillo, Antonio | Towards Approximate Model Transformations | Konferenzbeitrag Inproceedings  | 2014 |
| 15 | | Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio | Formal Specification and Testing of Model Transformations | Präsentation Presentation | 2014 |
| 16 | | Troya, Javier ; Vallecillo, Antonio | Specification and simulation of queuing network models using Domain-Specific Languages | Artikel Article | 2014 |
| 17 | | Fleck, Martin ; Troya, Javier ; Langer, Philip ; Wimmer, Manuel | Towards Pattern-Based Optimization of Cloud Applications | Konferenzbeitrag Inproceedings  | 2014 |
| 18 | | Burgueño, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio | On the Concurrent Execution of Model Transformations with Linda | Konferenzbeitrag Inproceedings  | 2013 |
| 19 | | Burgueño, Loli ; Wimmer, Manuel ; Troya, Javier ; Vallecillo, Antonio | TractsTool: Testing MTs based on Contracts | Konferenzbeitrag Inproceedings  | 2013 |
| 20 | | Burgueño, Loli ; Wimmer, Manuel ; Troya, Javier ; Vallecillo, Antonio | On the Realization of TractsTool | Präsentation Presentation | 2013 |