Sebastian Stock

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Economic Development

Safety Analysis

Software Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications

Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137 (2024)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Validation-Driven Development. ICFEM (2023)
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement. ABZ (2023)
Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock
Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. 35 (7) (2023)
Sebastian Stock
Early and Systematic Validation of Formal Models. ICFEM (2023)
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ (2023)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Validation-Driven Development. CoRR (2023)