Author of the publication

Automated testing support for reactive domain-specific modelling languages.

, , , and . SLE, page 181-194. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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