Vanessa Tietz

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Adaptive Systems

Safety Critical

Top Venues

MoDELS (Companion)

Publications

Vanessa Tietz, Björn Annighöfer
Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams. MODELSWARD (2024)
Vanessa Tietz, Constantin Frey, Julian Schoepf, Björn Annighoefer
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? MoDELS (Companion) (2022)
Vanessa Tietz, Björn Annighöfer
A formally defined and formally provable EBNF-based constraint language for use in qualifiable software. MoDELS (Companion) (2022)
Vanessa Tietz
Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software. MoDELS (Companion) (2021)
Vanessa Tietz
Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software. CoRR (2021)
Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Björn Annighöfer
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments. MoDELS (2021)
Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Björn Annighöfer
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments. CoRR (2021)