|
| | 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 | | David, Istvan ; Bork, Dominik ; Kappel, Gerti | Circular systems engineering | Article Artikel | 1-Apr-2024 |
| 10 | | 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 |
| 11 |  | Cesal, Florian ; Bork, Dominik | Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models | Article Artikel | 18-Jul-2024 |
| 12 |  | Krouwel, Marien R. ; Op ’t Land, Martin ; Proper, Henderik A. | From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain | Article Artikel | Aug-2024 |
| 13 | | Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel | Full Contract Verification for ATL using Symbolic Execution | Artikel Article | 2016 |
| 14 | | 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 |
| 15 | | Reinhartz-Berger, Iris ; Bork, Dominik | Guest editorial for EMMSAD’2022 special section | Article Artikel | 2023 |
| 16 | | Bork, Dominik ; Proper, Henderik A. | Guest editorial for EMMSAD’2023 special section | Article Artikel | 26-Sep-2024 |
| 17 | | Grabis, Jānis ; Bork, Dominik | Guest editorial to the special section on PoEM’2020 | Article Artikel | Aug-2022 |
| 18 | | Blanchette, Jasmin ; Bordeleau, Francis ; Pierantonio, Alfonso ; Kosmatov, Nikolai ; Taentzer, Gabriele ; Wimmer, Manuel | Introduction to the STAF 2015 special section | Artikel Article | 2019 |
| 19 |  | Bergmayr, Alexander ; Grossniklaus, Michael ; Wimmer, Manuel ; Kappel, Gerti | Leveraging annotation-based modeling with JUMP | Article Artikel | Feb-2018 |
| 20 | | 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 |
