Home

Research

Publications

Talks

Software

Links

Homepage of Sicco Verwer

Links to software I developed during my research. Please do not hesitate to ask me any questions about the implementations or notify me about any bugs.

RTI

An algorithm for learning real-time automata from labeled data. Published here.

Download

RTI+

An algorithm for learning real-time automata from unlabeled data based on the likelihood ratio test. Published here.

Download

DFASAT

An algorithm that uses SAT solvers for learning deterministic finite state automata for software processes. Published here.

Link

Discrimination-free Naive Bayes

A modification of the naive Bayes classifier that makes it produce discrimination-free classifications. Published here.

Baum-Welch in Probabilistic Automata

Python implementation of Baum Welch for probabilistic automata (instead of hidden Markov models), used as baseline during the Pautomac probabilistic automata learning competition.

Download


Last edit: 25 feb 2013

dr. ir. Sicco Verwer

Mailbox number 47
P.O. Box 9010
NL-6500 GL Nijmegen
The Netherlands
E-mail: s[dot]verwer [at] cs[dot]ru[dot]nl

Institute for Computing and Information Sciences