3 citations · 6 across the 10 of their papers we have counts for
10 papers
Corten - Foundational Verification of Rust Programs
František Farka, Carmine Abate, Sven Linker +1
We present Corten, a foundational verification framework for Rust programs in the Rocq theorem prover, built on the Iris separation logic framework. Corten provides the first seman…
Dataset Scarcity Limits Robust Evaluation of Multilingual Embedding Models: A Case Study of Slavic Languages
Ana Gjorgjevikj, Barbara Koroušić Seljak, Tome Eftimov
Multilingual text embedding models enable cross-lingual transfer of knowledge across a wide range of NLP tasks, but their evaluation remains highly uneven across high-, mid- and lo…
Harnessing Code Agents for Automatic Software Verification
Shuangxiang Kan, Shuanglong Kan, Sebastian Ertel
Formal verification offers the strongest guarantee of software correctness, but it does not scale: the proofs demanded by interactive theorem provers such as Coq require enormous e…
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
Shuanglong Kan, Sebastian Ertel
The Instruction Set Architecture (ISA) is the contract between compilers and processors; proving this contract formally demands cross-level connection to existing mechanized compil…
Formally-verified Security against Forgery of Remote Attestation using SSProve
Sara Zain, Jannik Mähn, Stefan Köpsell +1
Remote attestation (RA) is the foundation for trusted execution environments in the cloud and trusted device driver onboarding in operating systems. However, RA misses a rigorous m…
Neural Networks-based Random Vortex Methods for Modelling Incompressible Flows
Vladislav Cherepanov, Sebastian W. Ertel
In this paper we introduce a novel Neural Networks-based approach for approximating solutions to the (2D) incompressible Navier--Stokes equations, which is an extension of so calle…
Random vortex dynamics and Monte-Carlo simulations for wall-bounded viscous flows
Vladislav Cherepanov, Sebastian W. Ertel, Zhongmin Qian +1
Functional integral representations for solutions of the motion equations for wall-bounded incompressible viscous flows, expressed (implicitly) in terms of distributions of solutio…
On the mean field theory of Ensemble Kalman filters for SPDEs
Sebastian Ertel
This paper is concerned with the mathematical analysis of continuous time Ensemble Kalman Filters (EnKBFs) and their mean field limit in an infinite dimensional setting. The signal…
Analysis of the Ensemble Kalman--Bucy Filter for correlated observation noise
Sebastian Ertel, Wilhelm Stannat
Ensemble Kalman--Bucy filters (EnKBFs) are an important tool in Data Assimilation that aim to approximate the posterior distribution for continuous time filtering problems using an…
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Sebastian Ertel, Justus Adam, Norman A. Rink +2
This manuscript gives a category-theoretic foundation to the composition of State Threads as a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalizati…