Researcher profile

Sebastian Stock

Sebastian Stock contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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.