Author of the publication

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

X-by-Construction Meets Runtime Verification., , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 141-148. Springer, (2022)Model analytics for feature models: case studies for S.P.L.O.T. repository., , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 787-792. CEUR-WS.org, (2018)A community-sourced view on engineering digital twins: a report from the EDT.Community., , , , , , , , and . MoDELS (Companion), page 481-485. ACM, (2022)Co-Evolving Meta-Models and View Types in View-Based Development., , , , and . MoDELS (Companion), page 954-963. IEEE, (2023)Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper)., , , , , and . ECSA (Companion), volume 2978 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Using n-grams for the Automated Clustering of Structural Models., and . SOFSEM, volume 10139 of Lecture Notes in Computer Science, page 510-524. Springer, (2017)Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems., , , , and . ICSA Companion, page 55-58. IEEE, (2020)Improving Model Inference in Industry by Combining Active and Passive Learning., , , , , , and . SANER, page 253-263. IEEE, (2019)Minimization of Finite State Automata Through Partition Aggregation., and . LATA, volume 10168 of Lecture Notes in Computer Science, page 223-235. (2017)Interface protocol inference to aid understanding legacy software components., , , and . Softw. Syst. Model., 19 (6): 1519-1540 (2020)