Projects Tagged ‘uni’
Mufin–Runtime Monitoring with Union-Find Structures
Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.
TeSSLa: Temporal Stream-based Specification Language
A stream-based specification language for runtime verification of embedded systems.
HANSE - Scanning Sonar Localization
Scanning sonar localization for an autonomous underwater vehicle.