Concepedia

Jan Steffen Becker

JS

2

Publications

29

Citations

2

H-Index

2017

Active since

Affiliations

Philipps University of Marburg(Current)

Jan Steffen Becker is an author at Philipps University of Marburg specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsSoftware DesignAutomated ReasoningFormal VerificationGraph TheoryVerificationSystem SoftwareComputer ScienceEmbedded Systems

Publications per year

2017–2024

2

Publications

2

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models

Hendrik Radke, Thorsten Arendt, Jan Steffen Becker et al. · Science of Computer Programming · 2017 · 19 citations · Full text

Modeling Languages, Engineering, Formal Verification +17

Analyzing Consistency of Formal Requirements

Jan Steffen Becker · Technische Universität Berlin – Universitätsbibliothek · 2024 · 10 citations · Full text

Engineering, Verification, Software Engineering +19

Rows per page

1–2 of 2