Assertion-based verification of signal processing systems with affine arithmetic. - Carna Radojicic; Florian Schupfer; Michael Rathmair; Christoph Grimm 001 (FDL, 2012)

Extended framework for system simulation with affine arithmetic. - Michael Rathmair; Florian Schupfer; Carna Radojicic; Christoph Grimm 001 (FDL, 2012)

Load identification and management framework for private households. - Michael Rathmair; Jan Haase 001 (IECON, 2013)

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. - Carna Radojicic; Christoph Grimm 001; Florian Schupfer; Michael Rathmair (VLSI Design, 2013)

A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. - Christian Krieg; Michael Rathmair; Florian Schupfer (HPCC/CSS/ICESS, 2014)

Applied formal methods for hardware Trojan detection. - Michael Rathmair; Florian Schupfer; Christian Krieg (ISCAS, 2014)

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. - Michael Rathmair; Ralph Hoch; Hermann Kaindl; Roman Popp (PoEM, 2015)

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl (APSEC, 2016)

Fully digital write-in scheme for multi-bit memristive storage. - Nima Taherinejad; Sai Manoj P. D.; Michael Rathmair; Axel Jantsch (CCE, 2016)

Verification of Business Processes Against Business Rules Using Object Life Cycles. - Ralph Hoch; Michael Rathmair; Hermann Kaindl; Roman Popp (WorldCIST (1), 2016)

Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited. - Christoph Grimm 001; Michael Rathmair (DAC, 2017)

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. - Christoph Luckeneder; Michael Rathmair; Hermann Kaindl (HICSS, 2017)

Towards Verification of Uncertain Cyber-Physical Systems. - Carna Radojicic; Christoph Grimm 001; Axel Jantsch; Michael Rathmair (SNR@ETAPS, 2017)

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. - Hermann Kaindl; Ralph Hoch; Michael Rathmair; Christoph Luckeneder (ENASE (Selected Papers), 2018)

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl; Carna Radojicic (HICSS, 2018)

eNDUSTRIE 4.0 - A future-technologies qualification network for local businesses. - Stefan Wilker; Marcus Meisel; Albert Treytl; Thilo Sauter; Michael Rathmair; Susanne Schidler; Kurt Leonhartsberger; Bettina Frantes (ICPS, 2018)

LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design. - Michael Rathmair; Friedrich Bauer; Marcus Meisel (ISIE, 2018)

Physische Sicherheit in der Mensch-Roboter Kollaboration. - Michael W. Hofbaur; Michael Rathmair (Elektrotech. Informationstechnik, 2019)

Sichere und zuverlässige mobile Manipulation. - Michael Rathmair; Mathias Brandstötter; Bernhard Dieber; Chloé Nativel; Michael W. Hofbaur (Elektrotech. Informationstechnik, 2020)

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

A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC). - 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 (ICRA, 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)

Supplementary Material To: A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC). - 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 (IEEE DataPort, 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)

Anomaly Detection in Robot Applications: Comparison of Rule-Based and Machine Learning Methods. - Mara Vukadinovic; Bernhard Reiterer; Michael Rathmair; Christoph G. Schuetz (CRC, 2024)

Experimental Assessment of a Vision-Based Obstacle Avoidance Strategy for Robot Manipulators: Off-line Trajectory Planning and On-line Motion Control. - Cecilia Scoccia; Barnaba Ubezio; Giacomo Palmieri; Michael Rathmair; Michael W. Hofbaur (J. Intell. Robotic Syst., 2024)