Skip to main content
Ctrl K

All software

9 software items. Page 1 of 1. 12 items per page. 1 filters active.
1-9 of 9
nfdi.software

Kieker Observability Framework

Kieker is an observability framework, that consists of a monitoring and tracing agent, and compatible analysis tools.

  • apm
  • distributed-tracing
  • dynamic-analysis
  • + 5
  • Batchfile
  • CSS
  • Groovy
  • + 7
5
58
@helmholtz.software

Aviator

Aviator is a web service facilitating easy surveillance of scientific online tools. It currently checks more than 13,000 websites twice a day for availability and saves numerous features (response time, RAM usage security certificates, analytic tools / trackers, etc.) in a FAIR data repository.

  • Data Visualization
  • FAIR Data
  • FAIR Software
  • + 8
  • Python
  • HTML
  • JavaScript
  • + 5
6
57
@helmholtz.software

SARvey - survey with SAR

SARvey is an open-source InSAR time series analysis software which aims to analyze InSAR displacement time series for engineering applications.

  • displacement
  • engineering
  • InSAR
  • + 6
  • Python
  • Makefile
  • Shell
7
15
@helmholtz.software

TBT-Segmentation

Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.

  • CPS
  • Formal Specification
  • monitoring
  • + 2
  • Rust
  • Python
  • Shell
  • + 2
6
3
@research-software-directory.org

Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.

Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.

  • Artificial Intelligence
  • deep learning
  • Monitoring
  • + 2
  • Markdown
  • Python
1
0
@research-software-directory.org

LLview

LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.

  • High performance computing
  • HPC
  • Monitoring
  • + 2
  • Perl
  • Python
  • Shell
4
0
@helmholtz.software

LLview

LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.

  • High performance computing
  • hpc
  • monitoring
  • + 2
  • Perl
  • Python
  • Shell
4
0
@helmholtz.software

RTLola Frontend

A frontend to parse and analyze RTLola specifications

  • Formal Methods
  • Frontend
  • monitoring
  • + 2
  • Rust
  • Shell
4
0
@helmholtz.software

RTLola Interpreter

An interpreter for RTLola specifications

  • Formal Methods
  • Interpreter
  • monitoring
  • + 1
  • Rust
  • Python
  • Shell
4
0