Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

Program languages

Licenses

1-12 of 23

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

1014

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

539

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

366

Vitruvius

View-based System Development on Consistent Models

Consistency
Model-driven development
Model transformations
+ 1

Java
Xtend

139

AMIRIS

AMIRIS is the open Agent-based Market model for the Investigation of Renewable and Integrated energy Systems. It aims at enabling scientists to dissect the complex questions arising with respect to future energy markets, their market design, and energy-related policy instruments.

Agent-based Model
electricity
Energy
+ 4

Java
Python
BibTeX

125

TiGL

TiGL is a parametric aircraft geometry modeler. Using the CPACS file format and TiGL, you can model a wide range of aircraft, spacecraft and rotorcraft.

C++
C
CMake
+ 8

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

CorC

With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.

Eclipse
WebCorC

Java
ANTLR

SUMO

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

Aeronautics, Space and Transport
Modelling
open source
+ 2

Python
C++
C
+ 13

ArDoCo

ArDoCo (Architecture Documentation Consistency) is a framework to connect architecture documentation and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model like a software component.

Consistency
Documentation
Inconsistency Detection
+ 6

Java
Markdown

Kaapana

Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging.

data managment
Federated Learning
Image processing
+ 2

Python
Shell
Vue
+ 12

RadPlanBio

RadiationDosePlan- Image/Biomarker-Outcome-platform (RPB) is a collection of open source software systems integrated via portal to deliver a core software infrastructure necessary to support the operation of non-commercial trials unit.

Clinical-Research
Health
Radiotherapy
+ 1

Java
HTML
CSS
+ 1