Michael Rathmair

Joanneum Research — Austria

Computer Science · Physical Sciences

8h-index194citations31works1.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(7), Robot Manipulation and Learning(6), Embedded Systems Design Techniques(4), Numerical Methods and Algorithms(4), Flexible and Reconfigurable Manufacturing Systems(4)

Publications31 total

Anomaly Detection in Robot Applications: Comparison of Rule-Based and Machine Learning Methods
2024· 1 cited
Experimental Assessment of a Vision-Based Obstacle Avoidance Strategy for Robot Manipulators: Off-line Trajectory Planning and On-line Motion Control
Journal of Intelligent & Robotic Systems·2024· 2 citedOpen Access
Sichere roboterbasierte Produktion: Trends und Revisionen in Europäischen Normen und Richtlinien
e+i Elektrotechnik und Informationstechnik·2023Open Access
Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety
IEEE Access·2023· 10 citedOpen Access
A method to enhance the flexibility of collaborative human-robot workspaces through an extended safety perspective
Procedia CIRP·2022· 4 citedOpen Access
A Formal Verification Approach for Robotic Workflows
2021 20th International Conference on Advanced Robotics (ICAR)·2021· 3 cited
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
2021· 3 cited
A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC)
2021· 10 cited
A Methodical Approach to the Risk Assessment of Robotic Applications in Open Spaces
SSRN Electronic Journal·2021Open Access
Safety as Bad Cop of Physical Assistance Systems?
IFIP advances in information and communication technology·2021· 2 citedOpen Access
Sichere und zuverlässige mobile Manipulation
e+i Elektrotechnik und Informationstechnik·2020· 2 cited
Physische Sicherheit in der Mensch-Roboter Kollaboration
e+i Elektrotechnik und Informationstechnik·2019· 7 cited
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models
Communications in computer and information science·2019
LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design
2018
eNDUSTRIE 4.0 — A future-technologies qualification network for local businesses
2018
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems
Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences·2018· 3 citedOpen Access
Dealing with Uncertainties in Analog/Mixed-Signal Systems
2017· 8 cited
Invited: Dealing with uncertainties in Analog/Mixed-Signal systems
Design Automation Conference·2017
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation
Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences·2017· 8 citedOpen Access
Fully digital write-in scheme for multi-bit memristive storage
2016· 17 cited
page 1 of 2Next →

Frequent Co-authors

Michael Hofbaur(7), Hermann Kaindl(7), Florian Schupfer(6), Christoph Grimm(5), Christoph Luckeneder(5), Thomas Haspl(4), Carna Radojicic(4), Mathias Brandstötter(4), Ralph Hoch(4), Titanilla Komenda(3), Christian Krieg(2), Barnaba Ubezio(2), Clara Fischer(2), Martin Steiner(2), Sebastian Schlund(2), Jan Haase(2), Roman Popp(2), Bernhard Reiterer(2), Marcus Meisel(2), Nima TaheriNejad(1)