Björn Koopmann

According to our database, Björn Koopmann authored at least 9 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Contract-based specification of mode-dependent timing behavior.

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle

Innov. Syst. Softw. Eng., March, 2024

2022

Challenges in Achieving Explainability for Cooperative Transportation Systems.

Björn Koopmann, Alexander Trende, Karina Rothemann, Linda Feeken, Jakob Suchan, Daniela Johannmeyer, Yvonne Brück

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2021

Handling of Operating Modes in Contract-Based Timing Specifications.

Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Design Decisions in the Construction of Traceability Information Models for Safe Automotive Systems.

Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Mikaela Törnlund, Yulla Ibrahim, Mazen Mohamad

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.

Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

2020

Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach.

Björn Koopmann, Stefan Puch, Günter Ehmen, Martin Fränzle

Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, 2020

Measurement-based Online Verification of Timing Properties in Distributed Systems.

Günter Ehmen, Björn Koopmann, Yosab Bebawy, Philipp Ittershagen

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019

Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling.

Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2015

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique.

Tayfun Gezgin, Björn Koopmann, Achim Rettberg

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015