OSS-register: Overzicht

The Rules Governance Stack developed in the TNO Research Program Rules as Code

A coverage-guided REST API fuzzer developed on top of LibAFL

GitHub Action to run WuppieFuzz easily

Generate a scenario from a self-defined morphological box

Improves interoperability between systems (i.e. devices, platforms, apps, databases) by exchanging data based on their semantics

Model framework to determine subsidence caused by mining effects.

Bundle of scripts to interact with the Remote Data Collection Platform API

Seismic source location and network performance assessment based on seismic arrival time data

MBDlyb is a prototype Python library for model-based diagnostics of high-tech systems, developed by TNO-ESI.

Platform Performance Suite

The Rule Editor is an application that allows a user to create interpretations of sources of norms in FLINT in a user-friendly and interactive way, as part of the TNO Rules Governance Stack. A public version of the Rule Editor is hosted at https://rule-editor.netlify.app/

Synthesis Based Engineering of UML Activities

The repository contains an endpoint that can handle SPARQL queries and execute them on the Knowledge Engine

Model framework for reservoir stress changes and fault reactivation due to pressure and temperature changes

Code to investigate and evaluate inference methods for earthquake size distributions

This is the source code for the Calculemus-FLINT Knowledge Modeling Documentation Website. It is created with Docsy and Hugo, and deployed through GitLab Pages.

This repository contains the Source of Norms Ontology: a Semantic Web-style knowledge model that defines the contents of a source of norms, e.g. a law or regulation.

This repository contains the Flint Ontology: a Semantic Web-style knowledge model that defines the semantics of Flint models. A Flint model describes a normative system, e.g. the applicability of norms in a certain law or regulation to certain people. The description is comprised of Act frames and Fact frames.

The Calculemus protocol describes how multiple parties can come to an agreed execution of a normative task. The protocol was originally presented in a paper: Van Doesburg R., Van der Storm T., Van Engers, T. 2016. CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems. This repository holds an OWL ontology describing the semantics of the Calculemus protocol.