Mohammad Khayatian

Orcid: 0000-0003-4134-5008

According to our database1, Mohammad Khayatian authored at least 16 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Design Methodology for Robust, Distributed Time-Sensitive Applications.
IEEE Internet Things Mag., January, 2024

2023
A run-time verification method with consideration of uncertainties for cyber-physical systems.
Microprocess. Microsystems, 2023

2022
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.
ACM Trans. Cyber Phys. Syst., 2022

2021
Cooperative driving of connected autonomous vehicles using responsibility-sensitive safety (RSS) rules.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

2020
A Survey on Intersection Management of Connected Autonomous Vehicles.
ACM Trans. Cyber Phys. Syst., 2020

Crossroads+: A Time-aware Approach for Intersection Management of Connected Autonomous Vehicles.
ACM Trans. Cyber Phys. Syst., 2020

R<sup>2</sup> IM- Robust and Resilient Intersection Management of Connected Autonomous Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019
TickTalk - Timing API for Dynamically Federated Cyber-Physical Systems.
CoRR, 2019

WCET-Aware Stack Frame Management of Embedded Systems Using Scratchpad Memories.
Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation).
Proceedings of the Workshop on Autonomous Systems Design, 2019

2018
RIM: Robust Intersection Management for Connected Autonomous Vehicles.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2017

A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

Crossroads: Time-Sensitive Autonomous Intersection Management Technique.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Time in cyber-physical systems.
Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016


  Loading...