Mohammadreza Mehrabian

According to our database, Mohammadreza Mehrabian authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A run-time verification method with consideration of uncertainties for cyber-physical systems.

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade

Microprocess. Microsystems, 2023

2022

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.

Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava

ACM Trans. Cyber Phys. Syst., 2022

2021

Cooperative driving of connected autonomous vehicles using responsibility-sensitive safety (RSS) rules.

Mohammad Khayatian, Mohammadreza Mehrabian, Harshith Allamsetti, Kai-Wei Liu, Po-Yu Huang, Chung-Wei Lin, Aviral Shrivastava

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.

Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Rachel Dedinsky, Sarthake Choudhary, Yingyan Lou, Aviral Shrivastava

ACM Trans. Cyber Phys. Syst., 2020

Crossroads+: A Time-aware Approach for Intersection Management of Connected Autonomous Vehicles.

Mohammad Khayatian, Yingyan Lou, Mohammadreza Mehrabian, Aviral Shrivastava

ACM Trans. Cyber Phys. Syst., 2020

R² IM- Robust and Resilient Intersection Management of Connected Autonomous Vehicles.

Mohammad Khayatian, Rachel Dedinsky, Sarthake Choudhary, Mohammadreza Mehrabian, Aviral Shrivastava

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation).

Rachel Dedinsky, Mohammad Khayatian, Mohammadreza Mehrabian, Aviral Shrivastava

Proceedings of the Workshop on Autonomous Systems Design, 2019

2018

RIM: Robust Intersection Management for Connected Autonomous Vehicles.

Mohammad Khayatian, Mohammadreza Mehrabian, Aviral Shrivastava

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems.

Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward R. Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, Kevin B. Stanton

ACM Trans. Embed. Comput. Syst., 2017

A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited.

Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin B. Stanton, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, John C. Eidson

Proceedings of the 54th Annual Design Automation Conference, 2017