Transformation imperativer Programme in Logistikstrukturen zur Anomalienanalyse. - Thomas Illgen (ARCS Workshops, 1999)

Logic Representation of Programs to Detect Arithmetic Anomalies. - Fevzi Belli; Thomas Illgen (EUROMICRO, 2000)

Program Modeling for Fault Definition Based Static Analysis. - Thomas Illgen (IEA/AIE, 2001)

Process Oriented Software Quality Assurance - An Experience Report in Process Improvement - OEM Perspective. - Thomas Illgen; Stefan Ortmann (DATE, 2005)

Challenges and Trends in the Engineering of Automatic Systems. - Thomas Illgen; Stefan Ortmann (ARCS Workshops, 2006)