Author of the publication

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

, and . Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, page 862–871. New York, NY, USA, Association for Computing Machinery, (Nov 9, 2022)
DOI: 10.1145/3550356.3561552

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.

No persons found for author name Annighoefer, Bjoern
add a person with the name Annighoefer, Bjoern

Other publications of authors with the same name

A demonstrator for the verification of the selective integration of the Flexible Platform approach into Integrated Modular Avionics, , and . London, UK, (September 2018)The Adaptive Avionics Platform, , , , , , and . IEEE Aircraft Electronics Systems Magazine, (2019)A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments, , , and . 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), page 163-169. (2021)Requirements and Concept for a Self-organizing Plug&Fly Avionics Platform, , , and . IEEE/AIAA Digital Avionics Systems Conference (DASC), (October 2021)The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges, , , and . arxiv, (March 2021)Challenges and Ways Forward for Avionics Platforms and their Development in 2019, , , , , , , and . (2019)Network Topology Optimization for OpticalNetworks in Aircraft Using MILP, , and . 25th International Conference on Optical Network Design and Modeling (ONDM), (2021)Open Source Domain-specific Model Interface and Tool Frameworks for a Digital Avionics Systems Development Process, and . 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), IEEE, (October 2021)Using Neural Networks to Identify Wired Peripherals Connected to Integrated Modular Avionics Hardware, , and . 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), page 1-9. (October 2021)An Open Source Domain-specific Avionics System Architecture Model for the Design Phase and Self-organizing Avionics. (2019)