Björn Annighöfer
Orcid: 0000-0002-1268-0862
According to our database1,
Björn Annighöfer
authored at least 22 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
Proceedings of the Software Engineering 2023, 2023
2022
Evaluation of Adaptive Partitioning and Real-Time Capability for Virtualization With Xen Hypervisor.
IEEE Trans. Aerosp. Electron. Syst., 2022
Proceedings of the Software Engineering 2022, 2022
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
A formally defined and formally provable EBNF-based constraint language for use in qualifiable software.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
2021
CoRR, 2021
The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the Software Engineering 2021, 2021
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
2020
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020
Proceedings of the Software Engineering 2020, 2020
2019
IEEE Trans. Aerosp. Electron. Syst., 2019
Proceedings of the Software Engineering and Software Management, 2019
2018
Model-driven Development and Simulation of Integrated Modular Avionics (IMA) Architectures.
Simul. Notes Eur., 2018
2015
Model-based Architecting and Optimization of Distributed Integrated Modular Avionics.
PhD thesis, 2015
2013
Proceedings of the American Control Conference, 2013
2011
Design of a High Performance Quad-Rotor Robot Based on a Layered Real-Time System Architecture.
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011
2010
Prediction of results from subjective evaluation of real-time-capable tone-mapping operators applied to limited high-dynamic-range images.
J. Electronic Imaging, 2010