Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique. - Tayfun Gezgin; Björn Koopmann; Achim Rettberg (IESS, 2015)

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 (DESTION@CPSIoTWeek, 2019)

Measurement-based Online Verification of Timing Properties in Distributed Systems. - Günter Ehmen; Björn Koopmann; Yosab Bebawy; Philipp Ittershagen (COINS, 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 (VEHITS, 2020)

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 (RE, 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 (RE, 2021)

Handling of Operating Modes in Contract-Based Timing Specifications. - Janis Kröger; Björn Koopmann; Ingo Stierand; Nadra Tabassam; Martin Fränzle (VECoS, 2021)

Challenges in Achieving Explainability for Cooperative Transportation Systems. - Björn Koopmann; Alexander Trende; Karina Rothemann; Linda Feeken; Jakob Suchan; Daniela Johannmeyer; Yvonne Brück (RE Workshops, 2022)

Contract-based specification of mode-dependent timing behavior. - Janis Kröger; Björn Koopmann; Ingo Stierand; Martin Fränzle (Innov. Syst. Softw. Eng., 2024)