Explore projects

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

Example for the implementation of a GUI for the Digital Calibration Certificate

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

particle flow simulation in explosion protection.

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

Enwicklung Gehäuse für GUI-Testumgebung, welches HQ-Kameramodul, RPi4 und Display in einem integriert. Entwicklungsumgebung: OpenSCAD

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

This is a Python module for handling the SI units as objects in Python, parsing them from strings and converting them to Latex and Unicode, as well as performing math operations and calculating scale factors.

A lightweight JavaScript/HTML application for displaying Digital Calibration Certificates (DCC) from XML files. The application parses a DCC XML file, renders administrative data and measurement results interactively (including charts and tables), and supports multiple languages based on the certificate’s data.

Repository to track everything related to my PhD thesis.

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.