Cited By
View all- Mehrabian MKhayatian MShrivastava ADerler PAndrade H(2023)A run-time verification method with consideration of uncertainties for cyber–physical systemsMicroprocessors & Microsystems10.1016/j.micpro.2023.104890101:COnline publication date: 1-Sep-2023
- Khayatian MLou YMehrabian MShirvastava A(2019)Crossroads+ACM Transactions on Cyber-Physical Systems10.1145/33641824:2(1-28)Online publication date: 16-Nov-2019
- Mehrabian MKhayatian MMousa AShrivastava ALi-Baboud YDerler PGriffor EAndrade HWiess MEidson JAnand D(2018)An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systemsProceedings of the 55th Annual Design Automation Conference10.1145/3195970.3196130(1-6)Online publication date: 24-Jun-2018
- Show More Cited By