|
| | 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 |  | Bousse, Erwan ; Mayerhofer, Tanja ; Combemale, Benoit ; Baudry, Benoit | Advanced and efficient execution trace management for executable domain-specific modeling languages | Article Artikel   | 8-Feb-2019 |
| 7 | | 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 |
| 8 | | Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht | Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis | Artikel Article | 2010 |
| 9 | | 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 |
| 10 | | Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel | Full Contract Verification for ATL using Symbolic Execution | Artikel Article | 2016 |
| 11 | | 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 |
| 12 | | Reinhartz-Berger, Iris ; Bork, Dominik | Guest editorial for EMMSAD’2022 special section | Article Artikel | 2023 |
| 13 | | Grabis, Jānis ; Bork, Dominik | Guest editorial to the special section on PoEM’2020 | Article Artikel | Aug-2022 |
| 14 | | Blanchette, Jasmin ; Bordeleau, Francis ; Pierantonio, Alfonso ; Kosmatov, Nikolai ; Taentzer, Gabriele ; Wimmer, Manuel | Introduction to the STAF 2015 special section | Artikel Article | 2019 |
| 15 |  | Bergmayr, Alexander ; Grossniklaus, Michael ; Wimmer, Manuel ; Kappel, Gerti | Leveraging annotation-based modeling with JUMP | Article Artikel | Feb-2018 |
| 16 | | 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 |
| 17 | | Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo | Model-driven engineering city spaces via bidirectional model transformations | Artikel Article | 2021 |
| 18 |  | Berardinelli, Luca ; Bernardo, Marco ; Cortellessa, Vittorio ; Di Marco, Antinisca | Multidimensional context modeling applied to non-functional analysis of software | Article Artikel | 1-Jun-2019 |
| 19 | | Fellner, Andreas ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg | Mutation testing with hyperproperties | Artikel Article | 2021 |
| 20 | | Feinerer, Ingo ; Salzer, Gernot | Numeric semantics of class diagrams with multiplicity and uniqueness constraints | Artikel Article | Jul-2014 |
