(Academic) Homepage of Helga Velroyen
This is (the beginning of) my academic homepage. So far, there is only my diploma thesis and related stuff here.
Publications:
- Diploma Thesis "Automatic Non-termination Analysis of Imperative Programs", RWTH Aachen 2007: pdf
- Diploma Thesis "Automatic Non-termination Analysis of Imperative Programs", Chalmers Technical University, Sweden: pdf (This version differs from the one above only in the layout.)
- Collection of programs which I examined in my thesis: tar.gz
- Paper "Non-Termination Checking for Imperative Programs": available here.
- Software: here
If you have any question concerning my work, do not hesitate to contact me.
- Email:

- Jabber: helgar at jabber dot ccc dot de