Papers

Information on publications by the group, including BibTeX references, is kept here. Download links for most papers published after 1999 are also available.
19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172105

Recent PhD Theses

Recent PhD Theses completed by members of the Real-Time Systems group can be found here.

Books

Information on books published or featuring members of the Real-Time Systems group can be found here