Jan Steffen Becker, M.Sc. Wissenschaftlicher Mitarbeiter

M.Sc. Jan Steffen Becker
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

Verkehr / Safety & Security Oriented Design Methods & Processes

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS)

News

+49 441 9722-529

jan.steffen.becker(at)offis.de

SEG11

Publikationen
von Jan Steffen Becker, M.Sc.

2018

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