Personal information

Websites & social links

Google Scholar
ResearchGate
LinkedIn
Xing

Other IDs

Scopus Author ID: 57201646916

Countries

Germany

Activities

Collapse all

Employment (2)

German Aerospace Center: Oldenburg, DE

2022-01-01 to present | Senior Researcher (System Theory and Design)
Employment
Source: Self-asserted source
Björn Koopmann

OFFIS e.V.: Oldenburg, DE

2017-07-01 to 2021-12-31 | Senior Researcher (Transportation)
Employment
Source: Self-asserted source
Björn Koopmann

Works (10)

Contract-based specification of mode-dependent timing behavior

Innovations in Systems and Software Engineering
2024-03 | Journal article
DOI: 10.1007/s11334-023-00531-4
Contributors: Janis Kröger; Björn Koopmann; Ingo Stierand; Martin Fränzle
Source: check_circle
Crossref

Challenges in Achieving Explainability for Cooperative Transportation Systems

Proceedings of the IEEE International Conference on Requirements Engineering
2022 | Conference paper
DOI: 10.1109/REW56159.2022.00028
EID:

2-s2.0-85142250289

Part of ISSN: 23326441 1090705X
Contributors: Koopmann, B.; Trende, A.; Rothemann, K.; Feeken, L.; Suchan, J.; Johannmeyer, D.; Bruck, Y.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

Handling of Operating Modes in Contract-Based Timing Specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
DOI: 10.1007/978-3-030-98850-0_5
EID:

2-s2.0-85127131823

Part of ISSN: 16113349 03029743
Contributors: Kröger, J.; Koopmann, B.; Stierand, I.; Tabassam, N.; Fränzle, M.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

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

Proceedings of the IEEE International Conference on Requirements Engineering
2021 | Conference paper
DOI: 10.1109/RE51729.2021.00024
EID:

2-s2.0-85123164997

Part of ISSN: 23326441 1090705X
Contributors: Steghofer, J.-P.; Koopmann, B.; Becker, J.S.; Tornlund, M.; Ibrahim, Y.; Mohamad, M.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

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

Proceedings of the IEEE International Conference on Requirements Engineering
2021 | Conference paper
DOI: 10.1109/RE51729.2021.00062
EID:

2-s2.0-85123181938

Part of ISSN: 23326441 1090705X
Contributors: Steghofer, J.-P.; Koopmann, B.; Steffen Becker, J.; Stierand, I.; Zeller, M.; Bonner, M.; Schmelter, D.; Maro, S.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

Cooperative maneuvers of highly automated vehicles at urban intersections: A game-theoretic approach

VEHITS 2020 - Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems
2020 | Conference paper
EID:

2-s2.0-85090767165
Contributors: Koopmann, B.; Puch, S.; Ehmen, G.; Fränzle, M.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

Measurement-based Online Verification of Timing Properties in Distributed Systems

2020 International Conference on Omni-Layer Intelligent Systems, COINS 2020
2020 | Conference paper
DOI: 10.1109/COINS49042.2020.9191647
EID:

2-s2.0-85092232081
Contributors: Ehmen, G.; Koopmann, B.; Bebawy, Y.; Ittershagen, P.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

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

DESTION 2019 - Proceedings of the Workshop on Design Automation for CPS and IoT
2019 | Conference paper
DOI: 10.1145/3313151.3313167
EID:

2-s2.0-85066053100
Contributors: Damm, W.; Ehmen, Gü.; Grüttner, K.; Ittershagen, P.; Koopmann, B.; Poppen, F.; Stierand, I.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration

SAE Technical Papers
2018 | Journal article
DOI: 10.4271/2018-01-0592
EID:

2-s2.0-85045530759

Part of ISSN: 01487191
Contributors: Ehmen, G.; Grüttner, K.; Koopmann, B.; Poppen, F.; Reinkemeier, P.; Stierand, I.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier

Combining an iterative state-based timing analysis with a refinement checking technique

IFIP Advances in Information and Communication Technology
2017 | Book
DOI: 10.1007/978-3-319-90023-0_8
EID:

2-s2.0-85045960118

Part of ISSN: 18684238
Contributors: Gezgin, T.; Koopmann, B.; Rettberg, A.
Source: Self-asserted source
Björn Koopmann via Scopus - Elsevier
How many people are using ORCID?