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

Generation of an optimised master algorithm for FMI co-simulation., , , und . SpringSim (TMS-DEVS), Seite 205-212. SCS/ACM, (2015)The Fundamentals of Domain-Specific Simulation Language Engineering., , und . WSC, Seite 1482-1494. IEEE, (2019)Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems., , , und . ICSMM, Volume 1262 von Communications in Computer and Information Science, Seite 82-90. Springer, (2020)A Framework for Temporal Verification Support in Domain-Specific Modelling., , , und . IEEE Trans. Software Eng., 46 (4): 362-404 (2020)Real-Time Adaptive Abstraction and Approximation Using Validity Frames - an Experience Report., und . CoRR, (2023)Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems., , , , und . MoDELS (Companion), Seite 80:1-80:10. ACM, (2020)Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach., , , , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 563-569. CEUR-WS.org, (2018)Design-Space Exploration in MDE: An Initial Pattern Catalogue., , , und . CMSEBA@MoDELS, Volume 1340 von CEUR Workshop Proceedings, Seite 42-51. CEUR-WS.org, (2014)Model validity and tolerance quantification for real-time adaptive approximation., und . MoDELS (Companion), Seite 668-676. ACM, (2022)Modeling Frames., , , und . MoDELS (Satellite Events), Volume 2019 von CEUR Workshop Proceedings, Seite 315-320. CEUR-WS.org, (2017)