Jan Steffen Becker

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 10

Top Topics

Design Decisions

Constraint Language

Top Venues

Software Engineering (Workshops)

Publications

Jan Steffen Becker
Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. FMICS (2024)
Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann
Towards Scenario-Based Certification of Highly Automated Railway Systems. RSSRail (2023)
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)
Jan Steffen Becker
Model Checking Amalthea with Spin. Software Engineering (Satellite Events) (2021)
Jan Steffen Becker
Partial Consistency for Requirement Engineering with Traffic Sequence Charts. Software Engineering (Workshops) (2020)
Jan Steffen Becker
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker. FMICS (2018)
Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand
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) (2018)
Jan Steffen Becker
Analyzing Consistency of Formal Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. Sci. Comput. Program. 152 (2018)
Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel
A Transformational Approach for the Hardening of Region-Adherent Algorithms. PRDC (2015)
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. ICGT (2015)
Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. PRDC (2014)