Cited By
View all- Hsieh YChang TTsai CWu SBai CChang KLin CKang EHuang CZhu Q(2023)System Verification and Runtime Monitoring with Multiple Weakly-Hard ConstraintsACM Transactions on Cyber-Physical Systems10.1145/36033807:3(1-28)Online publication date: 13-Jul-2023
- Xu SGhosh BHobbs CThiagarajan PChakraborty STakahashi A(2023)Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard ConstraintsProceedings of the 28th Asia and South Pacific Design Automation Conference10.1145/3566097.3567848(46-51)Online publication date: 31-Jan-2023
- Zhao TYurtsever EPaulson JRizzoni G(2023)Formal Certification Methods for Automated Vehicle Safety AssessmentIEEE Transactions on Intelligent Vehicles10.1109/TIV.2022.31705178:1(232-249)Online publication date: Jan-2023
- Show More Cited By