( en | de | ru )

 

Disambiguation of "Rathmair, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation.

, , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)
 

Other publications of authors with the same name

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination., , and . APSEC, page 233-240. IEEE Computer Society, (2016)Consistently Formalizing a Business Process and its Properties for Verification: A Case Study., , , and . PoEM, volume 235 of Lecture Notes in Business Information Processing, page 126-140. Springer, (2015)Verification of Business Processes Against Business Rules Using Object Life Cycles., , , and . WorldCIST (1), volume 444 of Advances in Intelligent Systems and Computing, page 589-598. Springer, (2016)eNDUSTRIE 4.0 - A future-technologies qualification network for local businesses., , , , , , , and . ICPS, page 497-502. IEEE, (2018)Supplementary Material To: A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC)., , , , , , , , , and 2 other author(s). (March 2021)A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods., , and . HPCC/CSS/ICESS, page 729-734. IEEE, (2014)Applied formal methods for hardware Trojan detection., , and . ISCAS, page 169-172. IEEE, (2014)A Formal Verification Approach for Robotic Workflows., , , , and . ICAR, page 670-675. IEEE, (2021)Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety., , , , , and . IEEE Access, (2023)LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design., , and . ISIE, page 917-922. IEEE, (2018)