Source author record

Sebastian Stock

Sebastian Stock appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2025arXiv

In situ vs ex situ: Comparing the structure of PNIPAM microgels at the air/water and air/solid interfaces

For studying the structure of microgel particles at the air/water interface, specular and off-specular X-ray reflectivity (OSR/XRR) allows in situ measurements without any labelling techniques. Herein we investigate the vertical and lateral structure of poly(N-isopropylacrylamide) (PNIPAM) microgels (MGs) at the air/water interface and the effect of Langmuir-Blodgett (LB) transfer onto solid substrates. The initial ex situ atomic force microscopy (AFM) scans of LB-transferred MGs at the air/solid interface reveal strong lateral 2D hexagonal ordering across a broad range of lateral surface pressures at the air/water interface before LB-transfer. Notably, for the first time, these results were confirmed by OSR, demonstrating the existence of the long-range hexagonal ordering at low and intermediate surface pressures. For in situ conditions and upon uniaxial compression at the air/water interface, the MG lattice constant decreases non-monotonically. This indicates the formation of domains at low pressures that approach each other and only compress when the surface isotherm reaches a plateau. Comparing the results of in situ and ex situ measurements, our study demonstrates a clear transfer effect during the LB-deposition on the lateral ordering of the MGs: the distance between the particles decreased during LB-transfer, and at high pressures ($Π\,>\,17\,\mathrm{mNm^{-1}}$) a second distance occurs indicating small domains with hexagonal internal ordering. The novel surface characterisation approaches debuted here highlight the use of both XRR and OSR to probe the vertical and lateral structure of adsorbed MGs, offering in situ, non-invasive insights without the need for doping or transfer-induced artefacts.

preprint2022arXiv

Application of Validation Obligations to Security Concerns

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 validation obligations that enable formalizing requirements early in development to ensure their correctness. Furthermore, validation obligations help hold requirements consistent in an evolving model and create assurances about the model's completeness. Although initially proposed for safety properties, this paper shows how the technique of validation obligations enables us to also reason about security concerns through an example from the medical domain.

preprint2022arXiv

Trace Refinement in B and Event-B

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 process. In this paper, we present a trace refinement technique and tool called BERT that allows designers to ensure the behavioral integrity of high-level traces at the concrete level. The proposed technique is evaluated within the context of the B and Event-B methods on industrial-strength case studies from the automotive domain.

preprint2010arXiv

Gauge Deformations and Embedding Theorems for Special Geometries

We reduce the embedding problem for hypo SU(2) and SU(3)-structures to the embedding problem for hypo G2-structures into parallel Spin(7)-manifolds. The latter will be described in terms of gauge deformations. This description involves the intrinsic torsion of the initial G2-structure and allows us to prove that the evolution equations, for all of the above embedding problems, do not admit non-trivial longtime solutions.