| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina ; Gogolla, Martin ; Kappel, Gerti | A Feature-Based Classification of Formal Verification Techniques for Software Models | Artikel Article | 2019 |
| 2 | | Bruneliere, Hugo ; Burger, Erik ; Cabot, Jordi ; Wimmer, Manuel | A feature-based survey of model view approaches | Artikel Article | 2017 |
| 3 | | Taentzer, Gabriele ; Ermel, Claudia ; Langer, Philip ; Wimmer, Manuel | A fundamental approach to model versioning based on graph modifications: from theory to implementation | Artikel Article | 2012 |
| 4 | | Bill, Robert ; Fleck, Martin ; Troya, Javier ; Mayerhofer, Tanja ; Wimmer, Manuel | A Local and Global Tour on MOMoT | Artikel Article | 2019 |
| 5 | | Serral, Estefanía ; Valderas, Pedro ; Pelechano, Vicente | Addressing the evolution of automated user behaviour patterns by runtime model interpretation | Artikel Article | 2013 |
| 6 | | Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht | Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis | Artikel Article | 2011 |
| 7 | | Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht | Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis | Artikel Article | 2010 |
| 8 | | Burgueño, Loli ; Ciccozzi, Federico ; Famelis, Michalis ; Kappel, Gerti ; Lambers, Leen ; Mosser, Sebastien ; Paige, Richard F. ; Pierantonio, Alfonso ; Rensink, Arend ; Salay, Rick ; Taentzer, Gabriele ; Vallecillo, Antonio ; Wimmer, Manuel | Contents for a Model-Based Software Engineering Body of Knowledge | Artikel Article | 2019 |
| 9 | | Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel | Full Contract Verification for ATL using Symbolic Execution | Artikel Article | 2016 |
| 10 | | Rose, Louis M. ; Herrmannsdoerfer, Markus ; Mazanek, Steffen ; Van Gorp, Pieter ; Buchwald, Sebastian ; Horn, Tassilo ; Kalnina, Elina ; Koch, Andreas ; Lano, Kevin ; Schätz, Bernhard ; Wimmer, Manuel | Graph and model transformation tools for model migration: Empirical results from the transformation tool contest | Artikel Article | 2012 |
| 11 | | Blanchette, Jasmin ; Bordeleau, Francis ; Pierantonio, Alfonso ; Kosmatov, Nikolai ; Taentzer, Gabriele ; Wimmer, Manuel | Introduction to the STAF 2015 special section | Artikel Article | 2019 |
| 12 | | Lúcio, Levi ; Amrani, Moussa ; Dingel, Juergen ; Lambers, Leen ; Salay, Rick ; Selim, Gehan M. K. ; Syriani, Eugene ; Wimmer, Manuel | Model transformation intents and their properties | Artikel Article | 2014 |
| 13 | | Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo | Model-driven engineering city spaces via bidirectional model transformations | Artikel Article | 2021 |
| 14 | | Fellner, Andreas ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg | Mutation testing with hyperproperties | Artikel Article | 2021 |
| 15 | | Feinerer, Ingo ; Salzer, Gernot | Numeric semantics of class diagrams with multiplicity and uniqueness constraints | Artikel Article | Jul-2014 |
| 16 | | Kusel, A. ; Schönböck, J. ; Wimmer, M. ; Kappel, G. ; Retschitzegger, W. ; Schwinger, W. | Reuse in Model-to-Model Transformation Languages: Are we there yet? | Artikel Article | 2013 |
| 17 | | Bork, Dominik ; Roelens, Ben | A technique for evaluating and improving the semantic transparency of modeling language notations | Artikel Article | Aug-2021 |
| 18 | | Tran, Huy ; Zdun, Uwe ; Dustdar, Schahram | VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs | Artikel Article | 2009 |