Repositories list

• Prometheus-Service

  Public
  Java

  •0•0•0•0•Updated Nov 24, 2025Nov 24, 2025

• PSPWizardExtended

  Public
  PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

  Java

  •

  Other

  •3•0•0•0•Updated Nov 17, 2025Nov 17, 2025

• DiSpel-Cockpit

  Public
  The Cockpit provides a visual user interface and coordinates different tools to implement the DiSpel approach for early-phase Chaos Engineering. It allows to store and manage scenarios and analysis results.

  Vue

  •1•1•0•1•Updated Sep 30, 2025Sep 30, 2025

• .github

  Public
  0•0•0•0•Updated Sep 1, 2025Sep 1, 2025

• MoSim

  Public
  Monitoring-based Stimulus Identification Module

  Kotlin

  •0•0•0•0•Updated Jul 16, 2025Jul 16, 2025

• MiSim

  Public
  A simulator that shows the resilience of distributed software systems.

  javamicroservicessimulation+ 8soadiscrete-eventsimulation-modelingsimulation-modelservice-oriented-architecturediscrete-event-simulationdesmo-j+ 1

  Java

  •

  Apache License 2.0

  •2•5•18•9•Updated May 16, 2025May 16, 2025

• transient-behavior-requirement-refiner

  Public
  TypeScript

  •0•0•0•0•Updated Apr 8, 2025Apr 8, 2025

• transient-behavior-verifier

  Public
  Python

  •0•0•0•0•Updated May 25, 2024May 25, 2024

• TL-Tea

  Public
  Kotlin

  •0•0•0•0•Updated May 10, 2024May 10, 2024

• hazard-elicitation

  Public
  Contains architecture extraction, automated hazard analysis, and elicitation bot

  Python

  •1•0•0•0•Updated Aug 18, 2022Aug 18, 2022

• software-architecture-extraction

  Public
  Python

  •0•0•0•0•Updated Aug 18, 2022Aug 18, 2022

• Synchronizer

  Public
  Java

  •0•0•0•0•Updated Jul 5, 2022Jul 5, 2022

• trainticket-chaos-experiments

  Public
  Chaos experiments based on real-life incidents, for the TrainTicket benchmark system

  Python

  •0•0•0•0•Updated May 20, 2021May 20, 2021

• trainticket-aux-scripts

  Public
  Helper scripts for using and loadtesting the TrainTicket benchmark system, partially adapted/ported from work provided by Uni of Würzburg

  Python

  •0•0•0•0•Updated May 20, 2021May 20, 2021

• trainticket-fork

  Public
  Forked train-ticket with branches for fault injection and chaos experimentation

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated May 20, 2021May 20, 2021

• architecture-playground

  Public
  Python

  •0•0•0•0•Updated Jan 15, 2021Jan 15, 2021

• conversational-transient-behavior-visualization-frontend

  Public
  Frontend and visualization component of the conversational transient behavior visualization.

  JavaScript

  •0•0•0•0•Updated Nov 28, 2020Nov 28, 2020

• conversational-transient-behavior-visualization-backend

  Public
  Django webservice for conversational transient behavior visualization.

  Python

  •0•0•0•0•Updated Nov 28, 2020Nov 28, 2020