Login / Signup
Björn Koopmann
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 9
Top Topics
Design Decisions
Traffic Signal
Transportation Systems
Cooperative
Top Venues
RE
VEHITS
CoRR
Innov. Syst. Softw. Eng.
</>
Publications
</>
Janis Kröger
,
Björn Koopmann
,
Ingo Stierand
,
Martin Fränzle
Contract-based specification of mode-dependent timing behavior.
Innov. Syst. Softw. Eng.
20 (1) (2024)
Björn Koopmann
,
Alexander Trende
,
Karina Rothemann
,
Linda Feeken
,
Jakob Suchan
,
Daniela Johannmeyer
,
Yvonne Brück
Challenges in Achieving Explainability for Cooperative Transportation Systems.
RE Workshops
(2022)
Björn Koopmann
,
Stefan Puch
,
Günter Ehmen
,
Martin Fränzle
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach.
CoRR
(2022)
Jan-Philipp Steghöfer
,
Björn Koopmann
,
Jan Steffen Becker
,
Ingo Stierand
,
Marc Zeller
,
Maria Bonner
,
David Schmelter
,
Salome Maro
The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.
RE
(2021)
Jan-Philipp Steghöfer
,
Björn Koopmann
,
Jan Steffen Becker
,
Mikaela Törnlund
,
Yulla Ibrahim
,
Mazen Mohamad
Design Decisions in the Construction of Traceability Information Models for Safe Automotive Systems.
RE
(2021)
Janis Kröger
,
Björn Koopmann
,
Ingo Stierand
,
Nadra Tabassam
,
Martin Fränzle
Handling of Operating Modes in Contract-Based Timing Specifications.
VECoS
(2021)
Björn Koopmann
,
Stefan Puch
,
Günter Ehmen
,
Martin Fränzle
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach.
VEHITS
(2020)
Günter Ehmen
,
Björn Koopmann
,
Yosab Bebawy
,
Philipp Ittershagen
Measurement-based Online Verification of Timing Properties in Distributed Systems.
COINS
(2020)
Werner Damm
,
Günter Ehmen
,
Kim Grüttner
,
Philipp Ittershagen
,
Björn Koopmann
,
Frank Poppen
,
Ingo Stierand
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling.
DESTION@CPSIoTWeek
(2019)
Tayfun Gezgin
,
Björn Koopmann
,
Achim Rettberg
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique.
IESS
(2015)