|
|
|
Mohammadreza Mehrabian,
Mohammad Khayatian,
Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and Kevin Stanton. Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems. In ACM Transactions on Embedded Computing Systems (TECS) , Vol. 16(169) of 5s, 2017. [Comment]  Keywords: CPS, cyber-physical systems, Verification. Note: Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT).
|
|
|
|
|
|
|
David Broman, Michael Zimmer,
Yooseong Kim, Hokeun Kim,
Jian Cai,
Aviral Shrivastava, Stephen A Edwards and Edward A. Lee. Precision Timed Infrastructure: Design Challenges. In Proceedings of the Electronic System Level Synthesis Conference (ESLsyn 2013), 2013. [Comment]  Keywords: CPS, WCET.
|
|
|
Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer,
Aviral Shrivastava and Junkwang Oh. A Predictable and Command-Level Priority-Based
DRAM Controller for Mixed-Criticality Systems. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015. [Comment]  Keywords: CPS, DRAM, WCET.
|
|
|
Hugo A. Andrade, Patricia Derler, John Eidson, Ya-Shian Li-Baboud,
Aviral Shrivastava, Kevin Stanton and Marc Weiss. Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber-Physical Systems. In International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2015. [Comment]  Keywords: CPS, cyber-physical systems, FPGA, Reconfigurable computing.
|
|
|
|
|
Aviral Shrivastava,
Mohammadreza Mehrabian,
Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and John Eidson. A Testbed to Verify the Timing Behavior of Cyber-Physical Systems. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. [Comment]  Keywords: CPS, cyber-physical systems, Verification.
|
|
|
Mohammadreza Mehrabian,
Mohammad Khayatian,
Ahmed Mousa,
Aviral Shrivastava, Ya-Shian Li, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss, John Eidson and Dhananjay Anand. TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems. In Proceedings of the 55th Annual Design Automation Conference (DAC), 2018. [Comment]  Keywords: CPS, cyber-physical systems, Verification.
|
|
|
|