Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. - Axel Schneider; Thomas Bluhm; Tobias Renner; Ulrich Heinkel; Joachim Knäblein; Reynaldo Zavala (MBMV, 2006)

Formal Verification of Abstract System and Protocol Specifications. - Axel Schneider; Thomas Bluhm; Tobias Renner; Ulrich Heinkel; Joachim Knäblein; Reynaldo Zavala (SEW, 2006)

Focusing on the Ethical Challenges of Data Breaches and Applications. - Karen Joisten; Nicole Thiemer; Tobias Renner; Anke Janssen; Alexander Scheffler (ICAA, 2022)