Thomas Haspl

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Formal Verification

Decision Processes

Top Venues

Elektrotech. Informationstechnik

Publications

Clara Fischer, Thomas Haspl, Michael Rathmair, Sebastian Schlund
Sichere roboterbasierte Produktion: Trends und Revisionen in Europäischen Normen und Richtlinien. Elektrotech. Informationstechnik 140 (6) (2023)
Clara Fischer, Michael Neuhold, Martin Steiner, Thomas Haspl, Michael Rathmair, Sebastian Schlund
Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety. IEEE Access 11 (2023)
Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur
A Formal Verification Approach for Robotic Workflows. ICAR (2021)
Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN (2021)
Lucas Paletta, Martin Pszeida, Bernhard Nauschnegg, Thomas Haspl, Raphael Marton
Stress Measurement in Multi-tasking Decision Processes Using Executive Functions Analysis. AHFE (2) (2019)