Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen wird der Inhalt unten in dieser Sprache angezeigt.

pmc-vis as a web-based visualization tool for probabilistic models that supports exploration of large multivariate decision graphs, formal verification, and debugging.


Screenshot of two main components of the visualization tool pmc-vis.

Screenshot of two main components of our visualization tool pmc-vis: The Visual explorer with multiple panes featuring DOI graphs, parallel coordinates plots, linked brushing, comparison encodings, etc.; and the linked Editor view, which supports debugging and developing a model through visual code annotations based on properties of nodes that are selected in the visual explorer.

Publication

Prototype: Run the Application

Our tool pmc-vis is free and open source.

  • Latest version:
    GitHub repository with source code and Docker Compose application: https://github.com/imldresden/pmc-vis
  • Nov 2023 version:
    DOI to the reproducibility package in Zenodo is 10.5281/zenodo.8172531; this package includes the docker images, experiments, source code and instructions on how to replicate our results.

On this page

Videos: Tool Walkthrough

Previous Versions of pmc-vis (Nov 2023)

With a previous version of pmc-vis, we also prepared videos illustrating usage scenarios.

Scenario 1: Intro to the Server Management System + Finding good initial configurations

Scenario 2: Understanding the model behavior by finding patterns

Scenario 3: Reconfiguration and schedulers

Related Student Theses

  • Vinzenz Fuhrmann

    Concepts for Progressive Large Multivariate Graph Comparison

    Vinzenz Fuhrmann 4. September 2025 bis 5. Februar 2026

    Betreuung: Julián Méndez, Raimund Dachselt

  • Clarisa Sanjaya

    Concepts for Linking Partial Degree-of-Interest Graphs for Large, Multivariate Graph Visualization and Exploration

    Clarisa Sanjaya 16. Oktober 2023 bis 1. April 2024

    Betreuung: Julián Méndez, Raimund Dachselt

  • Philipp McAllister

    Entwurfskonzepte zur Pfadfindung und Zyklusvermeidung bei der Erkundung großer multivariater Graphen

    Philipp McAllister 31. Januar 2025 bis 17. April 2025

    Betreuung: Julián Méndez, Raimund Dachselt

  • Lea Meding

    Developing concepts for visual, interactive, and scalable graph comparison

    Lea Meding 1. Mai 2023 bis 2. Oktober 2023

    Betreuung: Julián Méndez, Raimund Dachselt

Acknowledgements

This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy: EXC-2068, 390729961 – Cluster of Excellence „Physics of Life“ and EXC 2050/1, 390696704 – Cluster of Excellence „Centre for Tactile Internet“ (CeTI) of TU Dresden, by DFG grant 389792660 as part of TRR 248 – CPEC (see https://cpec.science) and by the Federal Ministry of Research, Technology and Space (BMFTR, SCADS22B) and Saxon State Ministry for Science, Culture and Tourism (SMWK) by funding the competence center for Big Data and AI „ScaDS.AI Dresden/Leipzig“.