Michael Rathmair

26 papers A* 2B 1C 5Misc 1Journal 6Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Anomaly Detection in Robot Applications: Comparison of Rule-Based and Machine Learning Methods. CRC Mara Vukadinovic, Bernhard Reiterer, Michael Rathmair, Christoph G. Schuetz
2024	J	`jnl`	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. Cecilia Scoccia, Barnaba Ubezio, Giacomo Palmieri, Michael Rathmair, Michael W. Hofbaur
2023	J	`jnl`	Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety. IEEE Access Clara Fischer, Michael Neuhold, Martin Steiner, Thomas Haspl, Michael Rathmair, Sebastian Schlund
2023	J	`jnl`	Sichere roboterbasierte Produktion: Trends und Revisionen in Europäischen Normen und Richtlinien. Elektrotech. Informationstechnik Clara Fischer, Thomas Haspl, Michael Rathmair, Sebastian Schlund
2021	—	`conf`	A Formal Verification Approach for Robotic Workflows. ICAR Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur
2021	A*	`conf`	A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC). ICRA 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
2021	B	`conf`	Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
2020	J	`jnl`	Sichere und zuverlässige mobile Manipulation. Elektrotech. Informationstechnik Michael Rathmair, Mathias Brandstötter, Bernhard Dieber, Chloé Nativel, Michael W. Hofbaur
2019	J	`jnl`	Physische Sicherheit in der Mensch-Roboter Kollaboration. Elektrotech. Informationstechnik Michael W. Hofbaur, Michael Rathmair
2018	—	`conf`	Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
2018	—	`conf`	LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design. ISIE Michael Rathmair, Friedrich Bauer, Marcus Meisel
2018	—	`conf`	Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic
2018	—	`conf`	eNDUSTRIE 4.0 - A future-technologies qualification network for local businesses. ICPS Stefan Wilker, Marcus Meisel, Albert Treytl, Thilo Sauter, Michael Rathmair, Susanne Schidler, Kurt Leonhartsberger, Bettina Frantes
2017	A*	`conf`	Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited. DAC Christoph Grimm, Michael Rathmair
2017	—	`conf`	Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS Christoph Luckeneder, Michael Rathmair, Hermann Kaindl
2017	—	`conf`	Towards Verification of Uncertain Cyber-Physical Systems. SNR@ETAPS Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
2016	—	`conf`	Fully digital write-in scheme for multi-bit memristive storage. CCE Nima Taherinejad, Sai Manoj P. D., Michael Rathmair, Axel Jantsch
2016	C	`conf`	Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC Michael Rathmair, Christoph Luckeneder, Hermann Kaindl
2016	—	`conf`	Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
2015	Misc	`conf`	Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp
2014	—	`conf`	A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. HPCC/CSS/ICESS Christian Krieg, Michael Rathmair, Florian Schupfer
2014	C	`conf`	Applied formal methods for hardware Trojan detection. ISCAS Michael Rathmair, Florian Schupfer, Christian Krieg
2013	C	`conf`	Load identification and management framework for private households. IECON Michael Rathmair, Jan Haase
2013	J	`jnl`	Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair
2012	C	`conf`	Assertion-based verification of signal processing systems with affine arithmetic. FDL Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm
2012	C	`conf`	Extended framework for system simulation with affine arithmetic. FDL Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm