Jan Steffen Becker

17 papers A 2B 1C 8Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
A Scenario-Based Simulation Framework for Testing of Highly Automated Railway Systems.
VEHITS
Michael Wild, Jan Steffen Becker, Carl Schneiders, Eike Möhlmann
2025 J jnl
Correct-by-construction instantiation of abstract scenarios.
Int. J. Softw. Tools Technol. Transf.
Jan Steffen Becker, Christian Neurohr
2025 J jnl
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems.
Sci. Comput. Program.
Philipp Borchers, Tjark Koopmann, Lukas Westhofen, Jan Steffen Becker, Lina Putze, Dominik Grundt, Thies de Graaff, Vincent Kalwa, Christian Neurohr
2024 J jnl
A Consistency Analysis Method for Traffic Sequence Charts.
CoRR
Jan Steffen Becker
2024 C conf
Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios.
FMICS
Jan Steffen Becker
2023 — conf
Towards Scenario-Based Certification of Highly Automated Railway Systems.
RSSRail
Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann
2021 A conf
Design Decisions in the Construction of Traceability Information Models for Safe Automotive Systems.
RE
Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Mikaela Törnlund, Yulla Ibrahim, Mazen Mohamad
2021 C conf
Model Checking Amalthea with Spin.
Software Engineering (Satellite Events)
Jan Steffen Becker
2021 A conf
The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.
RE
Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro
2020 C conf
Partial Consistency for Requirement Engineering with Traffic Sequence Charts.
Software Engineering (Workshops)
Jan Steffen Becker
2018 J jnl
Analyzing Consistency of Formal Requirements.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jan Steffen Becker
2018 C conf
Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262).
Software Engineering (Workshops)
Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand
2018 J jnl
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.
Sci. Comput. Program.
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
2018 C conf
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker.
FMICS
Jan Steffen Becker
2015 C conf
A Transformational Approach for the Hardening of Region-Adherent Algorithms.
PRDC
Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel
2015 B conf
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
ICGT
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
2014 C conf
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality.
PRDC
Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel