Publications

Show all

1.

Mohammadreza Mehrabian; Mohammad Khayatian; Aviral Shrivastava; Patricia Derler; Hugo Andrade

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

In: Microprocessors and Microsystems, vol. 101, 2023.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

2.

Mohammad Khayatian; Mohamamdreza 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 Failure Journal Article

In: ACM Transactions on Cyber Physical Systems (TCPS), 2022.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

3.

Mohammadreza Mehrabian

A Methodology and Formalism to Monitor Timing Specifications Of Cyber-Physical Systems PhD Thesis

2021.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

4.

Mohammad Hekmatnejad; Shakiba Yaghoubi; Adel Dokhanchi; Heni Ben Amor; Aviral Shrivastava; Lina Karam; Georgios Fainekos

Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic Proceedings Article

In: Proceedings of the 2019 17th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

5.

Mohammadreza Mehrabian; Mohammad Khayatian; Ahmed Moussa; Aviral Shrivastava; Ya-Shian Li; Patricia Derler; Edward Griffor; Hugo A Andrade; Marc Weiss; John Eidson

TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems Proceedings Article

In: Proceedings of the 55th Annual Design Automation Conference (DAC), 2018.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

6.

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

A Testbed to Verify the Timing Behavior of Cyber-Physical Systems Proceedings Article

In: Proceedings of The 54th Annual Design Automation Conference (DAC), 2017.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

7.

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

Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems Journal Article

In: ACM Transactions on Embedded Computing Systems (TECS), vol. 16, no. 169, 2017, (Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT)).

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

8.

Aviral Shrivastava; Patricia Derler; Ya-Shian Li; Kevin Stanton; Mohammad Khayatian; Hugo A Andrade; Marc Weiss; John Eidson; Sundeep Chandhoke

Time in Cyber-Physical Systems Proceedings Article

In: Proceedings of the international symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2016.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links:

9.

Hugo A Andrade; Patricia Derler; John Eidson; Ya-Shian Li-Baboud; Aviral Shrivastava; Kevin Stanton; Marc Weiss

Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber-Physical Systems Proceedings Article

In: International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2015.

BibTeX | Tags: CPS, Timing in Cyber-Physical Systems | Links: