( en | de | ru )

 

Disambiguierung von "Wimmer, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Full contract verification for ATL using symbolic execution.

, , , und . Softw. Syst. Model., 17 (3): 815-849 (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manuel Wimmer

Manuel Wimmer

Manuel

Karen Wimmer

Eva Wimmer

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Monitoring for Executable DSLs., , , , und . J. Object Technol., 19 (2): 6:1-23 (2020)Graph and model transformation tools for model migration - Empirical results from the transformation tool contest., , , , , , , , , und 1 andere Autor(en). Softw. Syst. Model., 13 (1): 323-359 (2014)A feature-based survey of model view approaches., , , und . Softw. Syst. Model., 18 (3): 1931-1952 (2019)Modelling assistants based on information reuse: a user evaluation for language engineering., , und . Softw. Syst. Model., 23 (1): 57-84 (Februar 2024)A pattern catalog for augmenting Digital Twin models with behavior., , , und . Autom., 71 (6): 423-442 (Juni 2023)Low-code development and model-driven engineering: Two sides of the same coin?, , , , , und . Softw. Syst. Model., 21 (2): 437-446 (2022)GRuM - A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles., , , , und . J. Syst. Softw., (September 2023)Automated metamodel/model co-evolution: A search-based approach., , und . Inf. Softw. Technol., (2019)A local and global tour on MOMoT., , , , und . Softw. Syst. Model., 18 (2): 1017-1046 (2019)Introduction to the STAF 2015 special section., , , , , und . Softw. Syst. Model., 18 (1): 191-193 (2019)