volkm
Assistant Professor at TU/e. Previously at University of Twente and RWTH Aachen University @moves-rwth
Eindhoven University of TechnologyEindhoven
Pinned Repositories
storm
A Modern Probabilistic Model Checker
stormpy
Python Bindings for the Probabilistic Model Checker Storm
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
bibtex-dblp
Create and revise bibtex entries from DBLP
carl-storm
dftlib
Python library for dynamic fault tree analysis
gspn_lib
Python library for Generalized Stochastic Petri Nets (GSPNs)
homebrew-storm
mCRL2
The Git repository for the mCRL2 toolset.
oxidd
Concurrent decision diagram framework written in Rust
volkm's Repositories
volkm/bibtex-dblp
Create and revise bibtex entries from DBLP
volkm/dftlib
Python library for dynamic fault tree analysis
volkm/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
volkm/carl-storm
volkm/gspn_lib
Python library for Generalized Stochastic Petri Nets (GSPNs)
volkm/homebrew-storm
volkm/mCRL2
The Git repository for the mCRL2 toolset.
volkm/oxidd
Concurrent decision diagram framework written in Rust
volkm/playful-models
Probabilistic models stemming from playful scenarios
volkm/pycarl
Python bindings for carl
volkm/SAFEST
volkm/pybind11
Seamless operability between C++11 and Python
volkm/sjunges.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
volkm/storm
A Modern Probabilistic Model Checker
volkm/storm-website
Storm website
volkm/stormpy
Python Bindings for the Probabilistic Model Checker Storm
volkm/sylvan
Implementation of multi-core (binary) decision diagrams
volkm/travis-stats
Travis CI build charts
volkm/volkm.github.io
Personal webpage