( en | de | ru )

 

Disambiguation of "Becker, Jan Steffen"

Author of the publication

copydeleteadd this publication to your clipboard
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.

, , , , and . Sci. Comput. Program., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Steffen Becker

Steffen Becker

Steffen Becker

Steffen Becker

Steffen Becker

 

Other publications of authors with the same name

Analyzing Consistency of Formal Requirements.. ECEASST, (2018)Model Checking Amalthea with Spin.. Software Engineering (Satellite Events), volume 2814 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Towards Scenario-Based Certification of Highly Automated Railway Systems., , , and . RSSRail, volume 14198 of Lecture Notes in Computer Science, page 78-97. Springer, (2023)Design Decisions in the Construction of Traceability Information Models for Safe Automotive Systems., , , , , and . RE, page 185-196. IEEE, (2021)The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment., , , , , , , and . RE, page 444-445. IEEE, (2021)Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker.. FMICS, volume 11119 of Lecture Notes in Computer Science, page 131-146. Springer, (2018)Partial Consistency for Requirement Engineering with Traffic Sequence Charts.. Software Engineering (Workshops), volume 2581 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Transformational Approach for the Hardening of Region-Adherent Algorithms., , and . PRDC, page 80-90. IEEE Computer Society, (2015)Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality., , and . PRDC, page 203-212. IEEE Computer Society, (2014)