Michael Rathmair

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 18

Top Topics

Formal Verification

Qualitative Models

Obstacle Avoidance

Business Processes

Top Venues

Elektrotech. Informationstechnik

Publications

Cecilia Scoccia, Barnaba Ubezio, Giacomo Palmieri, Michael Rathmair, Michael W. Hofbaur
Experimental Assessment of a Vision-Based Obstacle Avoidance Strategy for Robot Manipulators: Off-line Trajectory Planning and On-line Motion Control. J. Intell. Robotic Syst. 110 (3) (2024)
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)
Serkan Ergun, Yitao Ding, Hosam Alagi, Christian Schöffmann, Barnaba Ubezio, Gergely Sóti, Michael Rathmair, Stephan Mühlbacher-Karrer, Ulrike Thomas, Björn Hein, Michael W. Hofbaur, Hubert Zangl
A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC). ICRA (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)
Michael Rathmair, Mathias Brandstötter, Bernhard Dieber, Chloé Nativel, Michael W. Hofbaur
Sichere und zuverlässige mobile Manipulation. Elektrotech. Informationstechnik 137 (6) (2020)
Michael W. Hofbaur, Michael Rathmair
Physische Sicherheit in der Mensch-Roboter Kollaboration. Elektrotech. Informationstechnik 136 (7) (2019)
Stefan Wilker, Marcus Meisel, Albert Treytl, Thilo Sauter, Michael Rathmair, Susanne Schidler, Kurt Leonhartsberger, Bettina Frantes
eNDUSTRIE 4.0 - A future-technologies qualification network for local businesses. ICPS (2018)
Michael Rathmair, Friedrich Bauer, Marcus Meisel
LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design. ISIE (2018)
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS (2018)
Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) (2018)
Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
Towards Verification of Uncertain Cyber-Physical Systems. SNR@ETAPS (2017)
Christoph Grimm, Michael Rathmair
Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited. DAC (2017)
Christoph Luckeneder, Michael Rathmair, Hermann Kaindl
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS (2017)
Nima Taherinejad, Sai Manoj P. D., Michael Rathmair, Axel Jantsch
Fully digital write-in scheme for multi-bit memristive storage. CCE (2016)
Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) (2016)
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC (2016)
Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM (2015)
Christian Krieg, Michael Rathmair, Florian Schupfer
A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. HPCC/CSS/ICESS (2014)
Michael Rathmair, Florian Schupfer, Christian Krieg
Applied formal methods for hardware Trojan detection. ISCAS (2014)
Michael Rathmair, Jan Haase
Load identification and management framework for private households. IECON (2013)
Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013 (2013)
Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm
Extended framework for system simulation with affine arithmetic. FDL (2012)
Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm
Assertion-based verification of signal processing systems with affine arithmetic. FDL (2012)