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

A Concrete Syntax Derived From the Abstract State Machine Metamodel., , , , und . Abstract State Machines, Seite 345-368. (2005)Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components., und . ACT4SOC, Seite 29-41. SciTePress, (2010)A framework to simulate UML models: moving from a semi-formal to a formal environment., , und . SAC, Seite 1519-1523. ACM, (2004)Model-Based Simulation at Runtime with Abstract State Machines., und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 395-410. Springer, (2020)Formal Design and Verification of Self-Adaptive Systems with Decentralized Control., , und . ACM Trans. Auton. Adapt. Syst., 11 (4): 25:1-25:35 (2017)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , und . ICSA-C, Seite 86-90. IEEE, (2023)An HW/SW Co-design Environment based on UML and SystemC., , , und . FDL, Seite 515-519. ECSI, (2005)An ASM-based executable formal model of service-oriented component interactions and orchestration., und . BM-FA, Seite 5. ACM, (2010)A Pattern-Oriented Design Framework for Self-Adaptive Software Systems., , , und . ICSA Companion, Seite 166-169. IEEE, (2019)Business Process Adaptability Metrics for QoS-Based Service Compositions., , , , und . ESOCC, Volume 9306 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2015)