Michael Rathmair

According to our database, Michael Rathmair authored at least 18 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 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

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

A Formal Verification Approach for Robotic Workflows.

Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur

Proceedings of the 20th International Conference on Advanced Robotics, 2021

2018

LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design.

Michael Rathmair, Friedrich Bauer, Marcus Meisel

Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 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

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.

Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

2017

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation.

Christoph Luckeneder, Michael Rathmair, Hermann Kaindl

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited.

Christoph Grimm, Michael Rathmair

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Verification of Business Processes Against Business Rules Using Object Life Cycles.

Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp

Proceedings of the New Advances in Information Systems and Technologies, 2016

Fully digital write-in scheme for multi-bit memristive storage.

Nima Taherinejad, Sai Manoj P. D., Michael Rathmair, Axel Jantsch

Proceedings of the 13th International Conference on Electrical Engineering, 2016

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study.

Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp

Proceedings of the Practice of Enterprise Modeling, 2015

2014

Applied formal methods for hardware Trojan detection.

Michael Rathmair, Florian Schupfer, Christian Krieg

Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods.

Christian Krieg, Michael Rathmair, Florian Schupfer

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2013

Load identification and management framework for private households.

Michael Rathmair, Jan Haase

Proceedings of the IECON 2013, 2013

2012

Extended framework for system simulation with affine arithmetic.

Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Assertion-based verification of signal processing systems with affine arithmetic.

Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012