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:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
6th Workshop on Avionics Systems und Software Engineering (AvioSE'24).
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

Model-based Block Diagram Recognition for Model Visualization Verification.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
5th Workshop on Avionics Systems and Software Engineering (AvioSE'23).
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

4th Workshop on Avionics Systems and Software Engineering (AvioSE'22).
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
Multi-core Fiber and Power-limited Optical Network Topology Optimization with MILP.
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

3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21).
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

EOQ: An Open Source Interface for a More DAMMMMN Domain-specific Model Utilization.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020
AVIOSE 2020 Preface.
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

2nd Workshop on Avionics Systems and Software Engineering.
Proceedings of the Software Engineering 2020, 2020

2019
Large-Scale Model-Based Avionics Architecture Optimization Methods and Case Study.
IEEE Trans. Aerosp. Electron. Syst., 2019

1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19).
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
ULTRA - Unmanned Low-cost Testing Research Aircraft.
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


  Loading...