All 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
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
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
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
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
- Java
- Shell
- CSS
- + 7
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
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
RTLola Frontend
A frontend to parse and analyze RTLola specifications
- Formal Methods
- Frontend
- monitoring
- + 2
- Rust
- Shell
RTLola Interpreter
An interpreter for RTLola specifications
- Formal Methods
- Interpreter
- monitoring
- + 1
- Rust
- Python
- Shell