Pinned Repositories
binoct
Binary Programming Formulation for Learning Classification Trees Using Cplex
CyberDataAnalytics
Content - slides&exercises - for the Cyber Data Analytics course at TU Delft. Feel free to use and modify. Please give proper credits if you use it in your teaching.
BinOct
FlexFringe
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
GRAMS
Tutorials
Tutorials for the cda-lab tools
Concolic
Fuzzing
learning_rers
syllabus
Syllabus for CS4110 course at TU Delft
SiccoVerwer's Repositories
SiccoVerwer/binoct
Binary Programming Formulation for Learning Classification Trees Using Cplex
SiccoVerwer/CyberDataAnalytics
Content - slides&exercises - for the Cyber Data Analytics course at TU Delft. Feel free to use and modify. Please give proper credits if you use it in your teaching.