Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. - Jan Steffen Becker; Dilshod Rahmatov; Oliver E. Theel (PRDC, 2014)

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. - Hendrik Radke; Thorsten Arendt; Jan Steffen Becker; Annegret Habel; Gabriele Taentzer (ICGT, 2015)

A Transformational Approach for the Hardening of Region-Adherent Algorithms. - Dilshod Rahmatov; Jan Steffen Becker; Oliver E. Theel (PRDC, 2015)

Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker. - Jan Steffen Becker (FMICS, 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 (Software Engineering (Workshops), 2018)

Analyzing Consistency of Formal Requirements. - Jan Steffen Becker (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

Partial Consistency for Requirement Engineering with Traffic Sequence Charts. - Jan Steffen Becker (Software Engineering (Workshops), 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)

Model Checking Amalthea with Spin. - Jan Steffen Becker (Software Engineering (Satellite Events), 2021)

Towards Scenario-Based Certification of Highly Automated Railway Systems. - Michael Wild; Jan Steffen Becker; Günter Ehmen; Eike Möhlmann (RSSRail, 2023)

Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. - Jan Steffen Becker (FMICS, 2024)

A Consistency Analysis Method for Traffic Sequence Charts. - Jan Steffen Becker (CoRR, 2024)

A Scenario-Based Simulation Framework for Testing of Highly Automated Railway Systems. - Michael Wild; Jan Steffen Becker; Carl Schneiders; Eike Möhlmann (VEHITS, 2025)

TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems. - Philipp Borchers; Tjark Koopmann; Lukas Westhofen 001; Jan Steffen Becker; Lina Putze; Dominik Grundt; Thies de Graaff; Vincent Kalwa; Christian Neurohr (Sci. Comput. Program., 2025)