Stress Measurement in Multi-tasking Decision Processes Using Executive Functions Analysis. - Lucas Paletta; Martin Pszeida; Bernhard Nauschnegg; Thomas Haspl; Raphael Marton (AHFE (2), 2019)

A Formal Verification Approach for Robotic Workflows. - Michael Rathmair; Thomas Haspl; Titanilla Komenda; Bernhard Reiterer; Michael W. Hofbaur (ICAR, 2021)

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. - Michael Rathmair; Christoph Luckeneder; Thomas Haspl; Bernhard Reiterer; Ralph Hoch; Michael W. Hofbaur; Hermann Kaindl (RO-MAN, 2021)

Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety. - Clara Fischer; Michael Neuhold; Martin Steiner; Thomas Haspl; Michael Rathmair; Sebastian Schlund (IEEE Access, 2023)

Sichere roboterbasierte Produktion: Trends und Revisionen in Europäischen Normen und Richtlinien. - Clara Fischer; Thomas Haspl; Michael Rathmair; Sebastian Schlund (Elektrotech. Informationstechnik, 2023)