Explore projects
-
Updated
-
-
additional code for the publication
Updated -
-
Updated
-
Updated
-
ludwig10_masters_thesis / GUM-compliant neural network robustness verification - a Masters thesis
European Union Public License 1.2Updated -
This code base is intended to serve as a starting point for interested researchers or practitioners to extend or apply the uncertainty propagation portion of the author's Master's thesis " GUM-compliant neural-network robustness verification".
Updated -
This project contains the implementation and examples of the publication MM/GW, CE, "A rejection Sampler extending GUM-S1", Metrologia, 2021 [TODO].
Updated -
-
The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLA-protected one-way time synchronization
Updated -
-
MetHyInfra / Hydrogen-Real-Gas-Model
GNU General Public License v3.0 or laterUpdated -
The Isabelle source files for PTB's framework for proofs about security in synchronization as well as the two-way NTS protocol model plus proofs and the one-way TESLA-protected synchronization protocol model plus proofs.
Updated -
Jan Hartig / janus-ftl-plugin
GNU Affero General Public License v3.0UpdatedUpdated -
-
Updated
-
Updated