( en | de | ru )

 

Disambiguation of "Khayatian, Mohammad"

Author of the publication

copydeleteadd this publication to your clipboard
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited.

, , , , , , , , , and . DAC, page 69:1-69:6. ACM, (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.

Mohammad Mohammad

Mohammad Sadeghi

Metallogenic modeling and mineral potential mapping in the Takab district, NW Iran. Uni Halle-Wittenberg, (2009)

Mohammad Reza Mohammad Khorasani

Mohammad Djassemi

Mohammad Mehrjouei

 

Other publications of authors with the same name

A run-time verification method with consideration of uncertainties for cyber-physical systems., , , , and . Microprocess. Microsystems, (2023)Crossroads+: A Time-aware Approach for Intersection Management of Connected Autonomous Vehicles., , , and . ACM Trans. Cyber Phys. Syst., 4 (2): 20:1-20:28 (2020)An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems., , , , , , , , , and 1 other author(s). DAC, page 144:1-144:6. ACM, (2018)A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation)., , , and . ASD@DATE, volume 68 of OASIcs, page 7:1-7:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Cooperative driving of connected autonomous vehicles using responsibility-sensitive safety (RSS) rules., , , , , , and . ICCPS, page 11-20. ACM, (2021)A Survey on Intersection Management of Connected Autonomous Vehicles., , , , , , and . ACM Trans. Cyber Phys. Syst., 4 (4): 48:1-48:27 (2020)Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures., , , , , , , , , and 1 other author(s). ACM Trans. Cyber Phys. Syst., 6 (3): 21:1-21:39 (2022)R2 IM- Robust and Resilient Intersection Management of Connected Autonomous Vehicles., , , , and . ITSC, page 1-6. IEEE, (2020)RIM: Robust Intersection Management for Connected Autonomous Vehicles., , and . RTSS, page 35-44. IEEE Computer Society, (2018)TickTalk - Timing API for Dynamically Federated Cyber-Physical Systems., , and . CoRR, (2019)