Zur Spezifikation und Struktur grösserer Systeme - Untersuchungen am Beispiel von ALGOL 68 und GKS. - Hanno Wupper (1985)

A Specification Language for Reliable Real-time Systems. - Hanno Wupper; Jan Vytopil (FTRTFT, 1988)

A taxonomy for computer science. - Hanno Wupper; Hans Meijer (Informatics in Higher Education, 1997)

Timed automaton models for simple programmable logic controllers. - Angelika Mader; Hanno Wupper (ECRTS, 1999)

Design as the Discovery of a Mathematical Theorem What designers Should Know about the Art of Mathematics. - Hanno Wupper (Trans. SDPS, 2000)

Design of a PLC Control Program for a Batch Plant VHS Case Study. - Angelika Mader; Ed Brinksma; Hanno Wupper; Nanette Bauer (Eur. J. Control, 2001)

Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. - Jelena Marincic; Angelika Mader; Hanno Wupper; Roel J. Wieringa (IWAAPF@ICSE, 2008)