Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
88
Program languages
63
Licenses
14
1-12 of 22
Cover image for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 14
30
1000
Cover image for JPlag

JPlag

JPlag is one of the most popular source code plagiarism detection systems worldwide.

  • Automated Obfuscation Attack
  • Collusion Detection
  • Data analysis
  • + 9
  • Java
  • ANTLR
  • Rust
  • + 15
7
531
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
16
353
Cover image for Vitruvius

Vitruvius

View-based System Development on Consistent Models

  • Consistency
  • Model-driven development
  • Model transformations
  • + 1
  • Java
  • Xtend
6
136
Cover image for AMIRIS

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
8
110
Cover image for TiGL

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.

  • CAD
  • C++
  • C
  • CMake
  • + 8
3
39
Cover image for Aviator

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
33
Cover image for CorC

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
  • GAP
  • Xtend
5
17
Cover image for SUMO

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
  • C++
  • Python
  • C
  • + 13
10
16
Cover image for ArDoCo

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
5
10
Cover image for Kaapana

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
6
9
Cover image for RadPlanBio

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
3
8