A run-time verification method with consideration of uncertainties for cyber-physical systems Journal Article
In: Microprocessors and Microsystems, vol. 101, 2023.
Plan B - Design Methodology for Cyber-Physical Systems Robust to Timing Failure Journal Article
In: ACM Transactions on Cyber Physical Systems (TCPS), 2022.
A Methodology and Formalism to Monitor Timing Specifications Of Cyber-Physical Systems PhD Thesis
2021.
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.
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.
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems Proceedings Article
In: Proceedings of The 54th Annual Design Automation Conference (DAC), 2017.
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)).
Time in Cyber-Physical Systems Proceedings Article
In: Proceedings of the international symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2016.
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.