Formal verification of timing conditions. - Hans Eveking; Christoph Mai (EURO-DAC, 1990)

Perception and Processing in Automated Driving - A Dual Process Application. - Vanessa Sauer; Alexander Mertens; Madeleine Reiche; Christoph Mai; Jens Heitland; Verena Nitsch (HCI (47), 2020)

Security Update Labels: Establishing Economic Incentives for Security Patching of IoT Consumer Products. - Philipp Morgner; Christoph Mai; Nicole Koschate-Fischer; Felix C. Freiling; Zinaida Benenson (SP, 2020)