J. Becker

Analyzing Consistency of Formal RequirementsThis work has been partially funded by the German Federal Ministry of Education and Research (BMBF) under research grant 01IS15031H (ASSUME)

J. Becker, 2019 .

Partial Consistency for Requirement Engineering with Traffic Sequence Charts

Jan Steffen Becker, J. Becker, 2020, Software Engineering.

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

Annegret Habel, Gabriele Taentzer, Thorsten Arendt, 2018, Sci. Comput. Program..

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

Annegret Habel, Gabriele Taentzer, Thorsten Arendt, 2015, ICGT.

A Transformational Approach for the Hardening of Region-Adherent Algorithms

Oliver E. Theel, Dilshod Rahmatov, Jan Steffen Becker, 2015, 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC).

Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality

Oliver E. Theel, Dilshod Rahmatov, Jan Steffen Becker, 2014, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing.

Dependable Systems through Region-Adherent Distributed Algorithms

Oliver E. Theel, J. Becker, D. Rahmatov, 2013 .