Theo dõi
Christopher M. Poskitt
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun
ICDMW 2017 ▪ IEEE International Conference on Data Mining Workshops: Data …, 2017
3872017
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Y Chen, CM Poskitt, J Sun
S&P 2018 ▪ IEEE Symposium on Security & Privacy, 648-660, 2018
1662018
Hoare-Style Verification of Graph Programs
CM Poskitt, D Plump
Fundamenta Informaticae 118 (1-2), 135-175, 2012
822012
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
Y Chen, CM Poskitt, J Sun, S Adepu, F Zhang
ASE 2019 ▪ IEEE/ACM International Conference on Automated Software …, 2019
752019
Verifying Monadic Second-Order Properties of Graph Programs
CM Poskitt, D Plump
ICGT 2014 ▪ International Conference on Graph Transformation, 2014
542014
Specification-based Autonomous Driving System Testing
Y Zhou, Y Sun, Y Tang, Y Chen, J Sun, CM Poskitt, Y Liu, Z Yang
IEEE Transactions on Software Engineering 49 (6), 3391-3410, 2023
472023
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Y Sun, CM Poskitt, J Sun, Y Chen, Z Yang
ASE'22 ▪ IEEE/ACM International Conference on Automated Software Engineering, 2022
412022
Verification of Graph Programs
CM Poskitt
University of York, 2013
342013
Verification of graph programs
CM Poskitt
ICGT 2012 ▪ International Conference on Graph Transformation, 420-422, 2012
342012
Verifying Total Correctness of Graph Programs
CM Poskitt, D Plump
Electronic Communications of the EASST 61, 2013
332013
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
Y Jia, J Wang, CM Poskitt, S Chattopadhyay, J Sun, Y Chen
International Journal of Critical Infrastructure Protection 34, 100452, 2021
322021
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Y Chen, CM Poskitt, J Sun
FM 2016 ▪ International Symposium on Formal Methods 9995, 155-163, 2016
302016
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Y Chen, B Xuan, CM Poskitt, J Sun, F Zhang
ISSTA 2020 ▪ ACM SIGSOFT International Symposium on Software Testing and …, 2020
282020
A Hoare calculus for graph programs
CM Poskitt, D Plump
ICGT 2010 ▪ International Conference on Graph Transformation, 139-154, 2010
262010
Microservices Orchestration vs. Choreography: A Decision Framework
A Megargel, CM Poskitt, V Shankararaman
EDOC 2021 ▪ IEEE International Enterprise Distributed Object Computing …, 2021
252021
Securing Bring-Your-Own-Device (BYOD) Programming Exams
O Kurniawan, NTS Lee, CM Poskitt
SIGCSE 2020 ▪ ACM Technical Symposium on Computer Science Education, 880-886, 2020
222020
The AutoProof Verifier: Usability by Non-Experts and on Standard Code
CA Furia, CM Poskitt, J Tschannen
F-IDE 2015 ▪ Formal Integrated Development Environment 187, 42-55, 2015
202015
Deriving invariant checkers for critical infrastructure using axiomatic design principles
CH Yoong, VR Palleti, RR Maiti, A Silva, CM Poskitt
Cybersecurity 4, 1-24, 2021
16*2021
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
C Corrodi, A Heußner, CM Poskitt
Formal Aspects of Computing 30 (1), 163-192, 2018
16*2018
Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems
RR Maiti, CH Yoong, VR Palleti, A Silva, CM Poskitt
IEEE Transactions on Dependable and Secure Computing 20 (4), 3378-3391, 2023
142023
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20