Mohammadreza Mehrabian

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Autonomous Vehicles

Timing Constraints

Top Venues

ACM Trans. Cyber Phys. Syst.

ACM Trans. Embed. Comput. Syst.

Publications

Mohammad Khayatian, Mohammadreza Mehrabian, I-Ching Tseng, Chung-Wei Lin, Calin Belta, Aviral Shrivastava
Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach. ACM Trans. Cyber Phys. Syst. 8 (3) (2024)
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade
A run-time verification method with consideration of uncertainties for cyber-physical systems. Microprocess. Microsystems 101 (2023)
Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures. ACM Trans. Cyber Phys. Syst. 6 (3) (2022)
Mohammad Khayatian, Mohammadreza Mehrabian, Harshith Allamsetti, Kai-Wei Liu, Po-Yu Huang, Chung-Wei Lin, Aviral Shrivastava
Cooperative driving of connected autonomous vehicles using responsibility-sensitive safety (RSS) rules. ICCPS (2021)
Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Rachel Dedinsky, Sarthake Choudhary, Yingyan Lou, Aviral Shrivastava
A Survey on Intersection Management of Connected Autonomous Vehicles. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Mohammad Khayatian, Rachel Dedinsky, Sarthake Choudhary, Mohammadreza Mehrabian, Aviral Shrivastava
IM- Robust and Resilient Intersection Management of Connected Autonomous Vehicles. ITSC (2020)
Mohammad Khayatian, Yingyan Lou, Mohammadreza Mehrabian, Aviral Shrivastava
Crossroads+: A Time-aware Approach for Intersection Management of Connected Autonomous Vehicles. ACM Trans. Cyber Phys. Syst. 4 (2) (2020)
Rachel Dedinsky, Mohammad Khayatian, Mohammadreza Mehrabian, Aviral Shrivastava
A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation). ASD@DATE (2019)
Mohammad Khayatian, Mohammadreza Mehrabian, Aviral Shrivastava
RIM: Robust Intersection Management for Connected Autonomous Vehicles. RTSS (2018)
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
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC (2018)
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
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
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
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC (2017)