Autor der Publikation

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

Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.. J. Object Technol., 21 (4): 4:1-12 (2022)Models and analysis for user-driven reconfiguration of rule-based IoT applications., , , , und . Internet Things, (2022)Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)., , , , und . Dagstuhl Reports, 9 (11): 97-116 (2019)Maude: specification and programming in rewriting logic., , , , , , und . Theor. Comput. Sci., 285 (2): 187-243 (2002)Dynamic Validation of OCL Constraints with mOdCL., und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)Robust and reliable reconfiguration of cloud applications., und . J. Syst. Softw., (2016)Identifying architectural design decisions for achieving green ML serving., , , und . CoRR, (2024)Built-in Variant Generation and Unification, and Their Applications in Maude 2.7., , , , , und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 183-192. Springer, (2016)Multilevel modelling of coloured petri nets., , , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 663-672. CEUR-WS.org, (2018)Exploiting Results of Model-Based Analysis Tools., , , , , und . Composing Model-Based Analysis Tools, Springer, (2021)