9 citations · 13 across the 8 of their papers we have counts for
8 papers
Validation-Driven Development
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying…
Trace Refinement in B and Event-B
Sebastian Stock, Atif Mashkoor, Michael Leuschel +1
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement…
Application of Validation Obligations to Security Concerns
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validat…
Formalization of Advanced VOs semantics and VO Refinement
Sebastian Stock, Fabian Vu, David Geleßus +3
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Sebastian Stock, Fabian Vu, Atif Mashkoor +2
This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.
A Remark on Coclosed G_2-Structures
Sebastian Stock
We prove that Einstein coclosed G_2-structures are nearly parallel.