All software
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 9
- Java
- ANTLR
- Vue
- + 16
Digital Earth Viewer
The Digital Earth Viewer is a tool for the visualisation and exploration of geospatial data in true 3D over time. It runs on Windows, MacOS and Linux and only requires a modern webbrowser to use. Common file formats such as CSV, netCDF, GeoTIFF and many more are natively supported.
- Data Visualization
- Earth & Environment
- Environmental Data
- + 1
- Rust
- JavaScript
- TypeScript
- + 2
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
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