All Stories

  1. A formally defined and formally provable EBNF-based constraint language for use in qualifiable software

    Article • October 2022, ACM (Association for Computing Machinery)

    Björn Annighöfer, Vanessa Tietz

  2. Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?

    Article • October 2022, ACM (Association for Computing Machinery)

    Björn Annighöfer, Vanessa Tietz

  3. A systems architecting framework for optimal distributed integrated modular avionics architectures

    Article • CEAS Aeronautical Journal, May 2015, Springer Science + Business Media

    Björn Annighöfer