arrow
返回
C

Christopher M. Poskitt

singapore management university

14H指数
69论文数
877被引数
收录论文 7
发表时间
err分享
err收藏
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing
err2023-11-01
err0
errOAAI
errZhang, Fan; Wu, Qianmei; Xuan, Bohan; Chen, Yuqi; Lin, Wei; Poskitt, Christopher M.; Sun, Jun; Chen, Binbin
err分享
err收藏
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
err2023-10-01
err2
errOAAI
errWang, Kun; Wang, Jingyi; Poskitt, Christopher M.; Chen, Xiangxiang; Sun, Jun; Cheng, Peng
err分享
err收藏
Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems
err2023-07-01
err7
errOAAI
errMaiti, Rajib Ranjan; Yoong, Cheah Huei; Palleti, Venkata Reddy; Silva, Arlindo; Poskitt, Christopher M. M.
err分享
err收藏
Specification-Based Autonomous Driving System Testing基于规范的自动驾驶系统测试
err2023-01-01
err11
errOAAI
errZhou, Yuan; Sun, Yang; Tang, Yun; Chen, Yuqi; Sun, Jun; Poskitt, Christopher M. M.; Liu, Yang; Yang, Zijiang
err分享
err收藏
Deriving invariant checkers for critical infrastructure using axiomatic design principles
err2021-04-02
err12
errOAAI
errYoong, Cheah Huei; Palleti, Venkata Reddy; Maiti, Rajib Ranjan; Silva, Arlindo; Poskitt, Christopher M.
err分享
err收藏