| 2021 | ICRA | A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC). | Serkan Ergun, Yitao Ding, Hosam Alagi, Christian Schffmann, Barnaba Ubezio, Gergely Sti, Michael Rathmair, Stephan Mhlbacher-Karrer, Ulrike Thomas, Bjrn Hein, Michael W. Hofbaur, Hubert Zangl |
| 2021 | RO-MAN | 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 |
| 2018 | ENASE | Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. | Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder |
| 2017 | DAC | Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited. | Christoph Grimm, Michael Rathmair |
| 2016 | APSEC | Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. | Michael Rathmair, Christoph Luckeneder, Hermann Kaindl |
| 2016 | WorldCIST | Verification of Business Processes Against Business Rules Using Object Life Cycles. | Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp |
| 2014 | HPCC | A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. | Christian Krieg, Michael Rathmair, Florian Schupfer |
| 2014 | ISCAS | Applied formal methods for hardware Trojan detection. | Michael Rathmair, Florian Schupfer, Christian Krieg |
| 2013 | IECON | Load identification and management framework for private households. | Michael Rathmair, Jan Haase |
| 2012 | FDL | Assertion-based verification of signal processing systems with affine arithmetic. | Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm |
| 2012 | FDL | Extended framework for system simulation with affine arithmetic. | Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm |