Pinned Repositories
aws-iot-twinmaker-samples
d3-plugins
[DEPRECATED] A repository for sharing D3.js V3 plugins.
debug-viatra
GRRBAC-Verifier
HermieLab
A framework to automatically generate LearnLib Automata Learning Experiment Setups. With these, we can automatically reverse engineer complex programs to automaton-based representations of their behaviour.
HermieLab-MusicBoxExample
A small example JavaFX GUI program to try out HermieLab on.
HermieLab-MusicBoxExample_With_Setup
TraceLab
TraceLab - Software Traceability Instrument to Facilitate and Empower Traceability Research and Technology Transfer
GraphterEffects
Custom graph visualization tool with DSL and IDE
GraphterEffectsTool
Current graph visualization solutions lack the functionality to easily create rich visualizations that intuitively show what these graphs represent. For the Design Project (TCS MOD11) we have created the library and tool Graphter Effects that can generate these customized visualizations using our domain-specific logic language Graafvis
HansvdLaan's Repositories
HansvdLaan/HermieLab
A framework to automatically generate LearnLib Automata Learning Experiment Setups. With these, we can automatically reverse engineer complex programs to automaton-based representations of their behaviour.
HansvdLaan/GRRBAC-Verifier
HansvdLaan/aws-iot-twinmaker-samples
HansvdLaan/d3-plugins
[DEPRECATED] A repository for sharing D3.js V3 plugins.
HansvdLaan/debug-viatra
HansvdLaan/HermieLab-MusicBoxExample
A small example JavaFX GUI program to try out HermieLab on.
HansvdLaan/HermieLab-MusicBoxExample_With_Setup
HansvdLaan/TraceLab
TraceLab - Software Traceability Instrument to Facilitate and Empower Traceability Research and Technology Transfer
HansvdLaan/IssueWithSubdomain
HansvdLaan/jline3
JLine is a Java library for handling console input.
HansvdLaan/poc-policy-verifier
HansvdLaan/Program_Verification_Dummy_Programs
Some dummy programs for our program verification project
HansvdLaan/RobotCar
HansvdLaan/SS
Software Science Project 1
HansvdLaan/TimeExp
HansvdLaan/viatra-bug
HansvdLaan/viatra-bug-2
HansvdLaan/viatra-demo
HansvdLaan/Viatra-Petrinet-Example
HansvdLaan/w3schools-database
W3Schools Database for the SQL Tutorial