Skip to content

Jan Steffen Becker

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

4

Active years

2014–2025

Best venue rank

C

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2025VEHITSA Scenario-Based Simulation Framework for Testing of Highly Automated Railway Systems.Michael Wild, Jan Steffen Becker, Carl Schneiders, Eike Mhlmann
2024FMICSSafe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios.Jan Steffen Becker
2021REThe MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.Jan-Philipp Steghfer, Bjrn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro
2021REDesign Decisions in the Construction of Traceability Information Models for Safe Automotive Systems.Jan-Philipp Steghfer, Bjrn Koopmann, Jan Steffen Becker, Mikaela Trnlund, Yulla Ibrahim, Mazen Mohamad
2018FMICSVirtual Integration for Pattern-Based Contracts with the Kind2 Model Checker.Jan Steffen Becker
2015PRDCA Transformational Approach for the Hardening of Region-Adherent Algorithms.Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel
2014PRDCRegion-Adherent Algorithms: Restricting the Impact of Faults on Service Quality.Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel