Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software. - Vanessa Tietz (MoDELS (Companion), 2021)

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments. - Vanessa Tietz; Julian Schoepf; Andreas Waldvogel; Björn Annighöfer (MoDELS, 2021)

A formally defined and formally provable EBNF-based constraint language for use in qualifiable software. - Vanessa Tietz; Björn Annighöfer (MoDELS (Companion), 2022)

Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? - Vanessa Tietz; Constantin Frey; Julian Schoepf; Björn Annighöfer (MoDELS (Companion), 2022)

Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams. - Vanessa Tietz; Björn Annighöfer (MODELSWARD, 2024)