Autor der Publikation

MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.

, , und . MULTI@MoDELS, Volume 1722 von CEUR Workshop Proceedings, Seite 66-75. CEUR-WS.org, (2016)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR., , , , und . EUSPN/ICTH, Volume 160 von Procedia Computer Science, Seite 338-345. Elsevier, (2019)Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms., , und . Trans. Petri Nets Other Model. Concurr., (2021)Multilevel modelling of coloured petri nets., , , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 663-672. CEUR-WS.org, (2018)Model Checking Healthcare Workflows Using Alloy., und . EUSPN/ICTH, Volume 37 von Procedia Computer Science, Seite 481-488. Elsevier, (2014)Multimodel correspondence through inter-model constraints., , , und . Programming, Seite 9-17. ACM, (2018)The Visual Debugger Tool., , , und . CoRR, (2024)Multilevel coupled model transformations for precise and reusable definition of model behaviour., , , , und . J. Log. Algebraic Methods Program., (2019)The Visual Debugger: Past, Present, and Future., , , und . CoRR, (2024)A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems., , , und . CoRR, (2023)On Modelling and Validation of the MQTT IoT Protocol for M2M Communication., , und . PNSE@Petri Nets/ACSD, Volume 2138 von CEUR Workshop Proceedings, Seite 99-118. CEUR-WS.org, (2018)