Mohammadreza Mehrabian

Orcid: 0000-0002-9081-9049

According to our database1, Mohammadreza Mehrabian authored at least 13 papers between 2017 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
Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach.
ACM Trans. Cyber Phys. Syst., July, 2024

An Invariant Extended Kalman Filter for IMU-UWB Sensor Fusion.
Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 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
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


  Loading...