Assistant Professor at TU/e. Previously at University of Twente and RWTH Aachen University @moves-rwth
Create and revise bibtex entries from DBLP
Python library for dynamic fault tree analysis
A Modern Probabilistic Model Checker
Python Bindings for the Probabilistic Model Checker Storm
Created by Amit Wani (X / GitHub)