Explore projects

PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis

The ProVerif code for PTB's (early) NTS analysis

Slides from the talk about Data Analysis Using Modern Python

The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLA-protected one-way time synchronization

Schema files and instance examples for a XML implementation the D-SI data model (D-SI = the Digital System of Units).

Ingredients for conversion of a DCC xml structure to a printable pdf file

A set of functions to help with various kinds of data-work with sine-signals

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.

HTTP-Server written in Python for validation of xml (e.g. DCC xml) against a XML Schema.

particle flow simulation in explosion protection.

Start with the user guide located in 'documentation/userGuide/pafiX_userGuide.pdf'.

Dieses Repository enthält die Dateien, welche für ein barrierefreies XWiki Skin benötigt werden. Alle Details finden sich hier im Wiki.

Reads CleverLab dcc, generates VacLab json.

For Fourier transforming BW images and working with them

We implemented a Bayesian Uncertainty Quantification for Magnetic Resonance Fingerprinting.

Matlab Code for vGRAPPA decomposition after multi-banded two voxel acquisition for MRS.