Björn Annighöfer

32 papers A 2C 8Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
SNARKs for stateful computations on authenticated data.
J. Inf. Secur. Appl.
Johannes Reinhart, Erik-Oliver Blass, Björn Annighöfer
2025 — conf
A Comprehensive Analysis of Cybersecurity Challenges in Self-Adaptive Avionics: A Plug&Fly Avionics Platform Case Study.
SEAMS@ICSE
Aisha Zahid Junejo, Mario Werthwein, Björn Annighöfer
2025 — conf
AvioSE 2025 Workshop Summary.
Software Engineering Companion
Andreas Schweiger, Umut Durak, Marina Reich, Björn Annighöfer
2025 — conf
Challenges of Collaborative MBSE in the Presence of Practical Intellectual Property Requirements.
MODELS-C
Björn Annighöfer, Nicolai Maisch, Andreas Wortmann
2025 A conf
Common Modeling Concepts and a Command Interface Towards Bisimilar Behavior of Different Domain-Specific Modeling Frameworks.
MODELS
Björn Annighöfer, Vanessa Tietz
2025 J jnl
SNARKs for Stateful Computations on Authenticated Data.
IACR Cryptol. ePrint Arch.
Johannes Reinhart, Erik-Oliver Blass, Björn Annighöfer
2025 J jnl
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version).
Innov. Syst. Softw. Eng.
Vanessa Tietz, Constantin Frey, Andreas Waldvogel, Julian Schoepf, Björn Annighöfer
2024 C conf
6th Workshop on Avionics Systems und Software Engineering (AvioSE'24).
Software Engineering
Marina Reich, Björn Annighöfer, Andreas Schweiger
2024 C conf
Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams.
MODELSWARD
Vanessa Tietz, Björn Annighöfer
2024 — conf
Model-based Block Diagram Recognition for Model Visualization Verification.
MoDELS (Companion)
Andreas Waldvogel, Björn Annighöfer
2023 C conf
5th Workshop on Avionics Systems and Software Engineering (AvioSE'23).
Software Engineering
Björn Annighöfer, Andreas Schweiger, Stéphane Poulaine
2022 C conf
4th Workshop on Avionics Systems and Software Engineering (AvioSE'22).
Software Engineering
Björn Annighöfer, Andreas Schweiger, Marina Reich
2022 — conf
A formally defined and formally provable EBNF-based constraint language for use in qualifiable software.
MoDELS (Companion)
Vanessa Tietz, Björn Annighöfer
2022 J jnl
Evaluation of Adaptive Partitioning and Real-Time Capability for Virtualization With Xen Hypervisor.
IEEE Trans. Aerosp. Electron. Syst.
Bernd Schulz, Björn Annighöfer
2022 — conf
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?
MoDELS (Companion)
Vanessa Tietz, Constantin Frey, Julian Schoepf, Björn Annighöfer
2021 C conf
3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21).
Software Engineering
Björn Annighöfer, Andreas Schweiger, Marina Reich
2021 A conf
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments.
MoDELS
Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Björn Annighöfer
2021 J jnl
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments.
CoRR
Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Björn Annighöfer
2021 — conf
EOQ: An Open Source Interface for a More DAMMMMN Domain-specific Model Utilization.
MoDELS (Companion)
Björn Annighöfer, Matthias Brunner, Bastian Luettig, Julian Schoepf
2021 J jnl
Multi-core Fiber and Power-limited Optical Network Topology Optimization with MILP.
CoRR
Björn Annighöfer, Adrian Zeyher, Johannes Reinhart
2021 — conf
The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges.
SEAMS@ICSE
Björn Annighöfer, Johannes Reinhart, Matthias Brunner, Bernd Schulz
2021 J jnl
The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges.
CoRR
Björn Annighöfer, Johannes Reinhart, Matthias Brunner, Bernd Schulz
2020 — conf
2nd Workshop on Avionics Systems and Software Engineering.
SE
Björn Annighöfer, Andreas Schweiger, Marina Reich
2020 C conf
AVIOSE 2020 Preface.
Software Engineering (Workshops)
Björn Annighöfer, Andreas Schweiger, Marina Reich
2019 — conf
1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19).
SE/SWM
Björn Annighöfer, Andreas Schweiger, Marina Reich
2019 J jnl
Large-Scale Model-Based Avionics Architecture Optimization Methods and Case Study.
IEEE Trans. Aerosp. Electron. Syst.
Björn Annighöfer, Ernst Kleemann
2019 C ed.
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019.
Software Engineering (Workshops)
Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn
2018 J jnl
Model-driven Development and Simulation of Integrated Modular Avionics (IMA) Architectures.
Simul. Notes Eur.
Björn Annighöfer
2015 — —
Model-based Architecting and Optimization of Distributed Integrated Modular Avionics.
Björn Annighöfer
2013 C conf
ULTRA - Unmanned Low-cost Testing Research Aircraft.
ACC
Matthias Krings, Björn Annighöfer, Frank Thieleckey
2011 — conf
Design of a High Performance Quad-Rotor Robot Based on a Layered Real-Time System Architecture.
ICIRA (1)
Jonas Witt, Björn Annighöfer, Ole Falkenberg, Uwe Weltin
2010 J jnl
Prediction of results from subjective evaluation of real-time-capable tone-mapping operators applied to limited high-dynamic-range images.
J. Electronic Imaging
Björn Annighöfer, Touraj Tajbakhsh, Rolf-Rainer Grigat