Christopher M Poskitt|Chris Poskitt

Christopher M Poskitt|Chris Poskitt

Singapore Management University - Singapore / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 302688
-
person_outline Christopher M Poskitt|Chris Poskitt's MOST POPULAR ARTICLES
1-) Anomaly Detection for a Water Treatment System Using Unsupervised Machine LearningJ Inoue, Y Yamagata, Y Chen, CM Poskitt, J SunICDMW 2017 ▪ IEEE International Conference on Data Mining Workshops: Data …, 20172322017
2-) Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical SystemY Chen, CM Poskitt, J SunS&P 2018 ▪ IEEE Symposium on Security & Privacy, 648-660, 20181152018
3-) Hoare-Style Verification of Graph ProgramsCM Poskitt, D PlumpFundamenta Informaticae 118 (1-2), 135-175, 2012712012
4-) Learning-Guided Network Fuzzing for Testing Cyber-Physical System DefencesY Chen, CM Poskitt, J Sun, S Adepu, F ZhangASE 2019 ▪ IEEE/ACM International Conference on Automated Software …, 2019732019
5-) Verifying Monadic Second-Order Properties of Graph ProgramsCM Poskitt, D PlumpICGT 2014 ▪ International Conference on Graph Transformation, 2014532014