default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Rathmair
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]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): 107 (2024)- 2023
- [j5]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: 118395-118413 (2023) - [j4]Clara Fischer, Thomas Haspl, Michael Rathmair, Sebastian Schlund:
Sichere roboterbasierte Produktion: Trends und Revisionen in Europäischen Normen und Richtlinien. Elektrotech. Informationstechnik 140(6): 551-561 (2023) - 2021
- [c19]Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur:
A Formal Verification Approach for Robotic Workflows. ICAR 2021: 670-675 - [c18]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: 3634-3640 - [c17]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: 1283-1288 - [d1]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:
Supplementary Material To: A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC). IEEE DataPort, 2021
- 2020
- [j3]Michael Rathmair, Mathias Brandstötter, Bernhard Dieber, Chloé Nativel, Michael W. Hofbaur:
Sichere und zuverlässige mobile Manipulation. Elektrotech. Informationstechnik 137(6): 283-290 (2020)
2010 – 2019
- 2019
- [j2]Michael W. Hofbaur, Michael Rathmair:
Physische Sicherheit in der Mensch-Roboter Kollaboration. Elektrotech. Informationstechnik 136(7): 301-306 (2019) - 2018
- [c16]Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder:
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) 2018: 261-287 - [c15]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: 1-10 - [c14]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: 497-502 - [c13]Michael Rathmair, Friedrich Bauer, Marcus Meisel:
LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design. ISIE 2018: 917-922 - 2017
- [c12]Christoph Grimm, Michael Rathmair:
Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited. DAC 2017: 35:1-35:6 - [c11]Christoph Luckeneder, Michael Rathmair, Hermann Kaindl:
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS 2017: 1-10 - [c10]Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair:
Towards Verification of Uncertain Cyber-Physical Systems. SNR@ETAPS 2017: 1-17 - 2016
- [c9]Michael Rathmair, Christoph Luckeneder, Hermann Kaindl:
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC 2016: 233-240 - [c8]Nima Taherinejad, Sai Manoj P. D., Michael Rathmair, Axel Jantsch:
Fully digital write-in scheme for multi-bit memristive storage. CCE 2016: 1-6 - [c7]Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp:
Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) 2016: 589-598 - 2015
- [c6]Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp:
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM 2015: 126-140 - 2014
- [c5]Christian Krieg, Michael Rathmair, Florian Schupfer:
A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. HPCC/CSS/ICESS 2014: 729-734 - [c4]Michael Rathmair, Florian Schupfer, Christian Krieg:
Applied formal methods for hardware Trojan detection. ISCAS 2014: 169-172 - 2013
- [j1]Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair:
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013: 239064:1-239064:14 (2013) - [c3]Michael Rathmair, Jan Haase:
Load identification and management framework for private households. IECON 2013: 5729-5734 - 2012
- [c2]Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm:
Assertion-based verification of signal processing systems with affine arithmetic. FDL 2012: 20-26 - [c1]Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm:
Extended framework for system simulation with affine arithmetic. FDL 2012: 168-175
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
