( en | de | ru )

 

Disambiguation of "Rathmair, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.

, , , and . ENASE (Selected Papers), volume 1023 of Communications in Computer and Information Science, page 261-287. Springer, (2018)

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 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)

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)
 

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)Applied formal methods for hardware Trojan detection., , and . ISCAS, page 169-172. IEEE, (2014)A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods., , and . HPCC/CSS/ICESS, page 729-734. IEEE, (2014)A Formal Verification Approach for Robotic Workflows., , , , and . ICAR, page 670-675. IEEE, (2021)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)Load identification and management framework for private households., and . IECON, page 5729-5734. IEEE, (2013)Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems., , , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)