jix.one

Projects Tagged ‘uni’

2016

Mufin–Runtime Monitoring with Union-Find Structures

Tagged runtime-verification, uni

Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.

2015

TeSSLa: Temporal Stream-based Specification Language

Tagged runtime-verification, uni

A stream-based specification language for runtime verification of embedded systems.

2012

HANSE - Scanning Sonar Localization

Tagged robotics, uni

Scanning sonar localization for an autonomous underwater vehicle.