Jan Steffen Becker, M.Sc. Wissenschaftlicher Mitarbeiter

M.Sc. Jan Steffen Becker

Position im OFFIS

Wissenschaftlicher Mitarbeiter


Verkehr / Safety & Security Oriented Design Methods & Processes

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS)


S-EG 11

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

von Jan Steffen Becker, M.Sc.


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


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

Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer; Graph Transformations (ICGT 2015); 2015