Jan Steffen Becker

According to our database, Jan Steffen Becker authored at least 15 papers between 2014 and 2025.

Collaborative distances:

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

2025

TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems.

Philipp Borchers, Tjark Koopmann, Lukas Westhofen, Jan Steffen Becker, Lina Putze, Dominik Grundt, Thies de Graaff, Vincent Kalwa, Christian Neurohr

Sci. Comput. Program., 2025

2024

A Consistency Analysis Method for Traffic Sequence Charts.

Jan Steffen Becker

CoRR, 2024

Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios.

Jan Steffen Becker

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Towards Scenario-Based Certification of Highly Automated Railway Systems.

Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2021

Model Checking Amalthea with Spin.

Jan Steffen Becker

Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 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

Partial Consistency for Requirement Engineering with Traffic Sequence Charts.

Jan Steffen Becker

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

2018

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.

Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer

Sci. Comput. Program., 2018

Analyzing Consistency of Formal Requirements.

Jan Steffen Becker

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262).

Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand

Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker.

Jan Steffen Becker

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2015

A Transformational Approach for the Hardening of Region-Adherent Algorithms.

Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.

Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality.

Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014