Jan Steffen Becker, M.Sc. Scientific Researcher

M.Sc. Jan Steffen Becker

Position at OFFIS

Scientific Researcher

Research and Developement Division

Verkehr / Safety & Security Oriented Design Methods & Processes

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS)


+49 441 9722-529




of Jan Steffen Becker, M.Sc.


Partial Consistency for Requirement Engineeringwith Traffic Sequence Charts

Jan Steffen Becker; Software Engineering Workshops 2020; 2020


Analyzing Consistency of Formal Requirements

Jan Steffen Becker; 18th International Workshop on Automated Verification of Critical Systems; 2018

Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262

Benedikt Bauer and Jan Steffen Becker and Thomas Peikenkamp and Christof Schlaak and Ingo Stierand; Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018); 3 / 2018

Interoperable Toolchain for Requirements-Driven Model-Based Development

Jan Steffen Becker and Vincent Bertram and Tom Bienmüller and Udo Brockmeyer and Heiko Dörr and Thomas Peikenkamp and Tino Teige; 9th European Congress Embedded Real Time Software and Systems ERTS 2018; 2018

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

Becker, Jan Steffen; Formal Methods for Industrial Critical Systems; 2018