Time in cyber-physical systems. - Aviral Shrivastava; Patricia Derler; Ya-Shian Li-Baboud; Kevin B. Stanton; Mohammad Khayatian; Hugo A. Andrade; Marc Weiss; John C. Eidson; Sundeep Chandhoke (CODES+ISSS, 2016)

Crossroads: Time-Sensitive Autonomous Intersection Management Technique. - Edward Andert; Mohammad Khayatian; Aviral Shrivastava (DAC, 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 (DAC, 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)

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 (DAC, 2018)

RIM: Robust Intersection Management for Connected Autonomous Vehicles. - Mohammad Khayatian; Mohammadreza Mehrabian; Aviral Shrivastava (RTSS, 2018)

A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation). - Rachel Dedinsky; Mohammad Khayatian; Mohammadreza Mehrabian; Aviral Shrivastava (ASD@DATE, 2019)

WCET-Aware Stack Frame Management of Embedded Systems Using Scratchpad Memories. - Yooseong Kim; Mohammad Khayatian; Aviral Shrivastava (VLSID, 2019)

TickTalk - Timing API for Dynamically Federated Cyber-Physical Systems. - Bob Iannucci; Aviral Shrivastava; Mohammad Khayatian (CoRR, 2019)

R2 IM- Robust and Resilient Intersection Management of Connected Autonomous Vehicles. - Mohammad Khayatian; Rachel Dedinsky; Sarthake Choudhary; Mohammadreza Mehrabian; Aviral Shrivastava (ITSC, 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)

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)

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 (ICCPS, 2021)

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)

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)

Design Methodology for Robust, Distributed Time-Sensitive Applications. - Aviral Shrivastava; Mohammad Khayatian; Bob Iannucci (IEEE Internet Things Mag., 2024)

Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach. - Mohammad Khayatian; Mohammadreza Mehrabian; I-Ching Tseng; Chung-Wei Lin; Calin Belta; Aviral Shrivastava (ACM Trans. Cyber Phys. Syst., 2024)