Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
1609.01491
Cited By

Towards Learning and Verifying Invariants of Cyber-Physical Systems by
Code Mutation

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

6 September 2016

Christopher M. Poskitt

Jun Sun

ArXiv (abs)PDF HTML

Papers citing "Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation"

10 / 10 papers shown

Cyber-Physical Systems Security: A Comprehensive Review of Anomaly Detection Techniques

Cyber-Physical Systems Security: A Comprehensive Review of Anomaly Detection Techniques

303

27

0

18 Feb 2025

Code Integrity Attestation for PLCs using Black Box Neural Network
Predictions

Code Integrity Attestation for PLCs using Black Box Neural Network Predictions

Christopher M. Poskitt

Jun Sun

188

15

0

15 Jun 2021

Adversarial Attacks and Mitigation for Anomaly Detectors of
Cyber-Physical Systems

Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems

Christopher M. Poskitt

Sudipta Chattopadhyay

Jun Sun

219

37

0

22 May 2021

Towards Systematically Deriving Defence Mechanisms from Functional
Requirements of Cyber-Physical Systems

Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems

Cheah Huei Yoong

Venkata Reddy Palleti

Christopher M. Poskitt

183

4

0

07 Jul 2020

Active Fuzzing for Testing and Securing Cyber-Physical Systems

Active Fuzzing for Testing and Securing Cyber-Physical SystemsInternational Symposium on Software Testing and Analysis (ISSTA), 2020

Christopher M. Poskitt

Jun Sun

289

28

0

28 May 2020

Learning-Guided Network Fuzzing for Testing Cyber-Physical System
Defences

Learning-Guided Network Fuzzing for Testing Cyber-Physical System DefencesInternational Conference on Automated Software Engineering (ASE), 2019

Christopher M. Poskitt

Jun Sun

Fan Zhang

184

60

0

12 Sep 2019

Control Behavior Integrity for Distributed Cyber-Physical Systems

Control Behavior Integrity for Distributed Cyber-Physical Systems

Ferdinand Brasser

160

32

0

20 Dec 2018

Anomaly Detection for Water Treatment System based on Neural Network
with Automatic Architecture Optimization

Anomaly Detection for Water Treatment System based on Neural Network with Automatic Architecture Optimization

Andrey Lavrentyev

145

75

0

19 Jul 2018

Learning from Mutants: Using Code Mutation to Learn and Monitor
Invariants of a Cyber-Physical System

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System

Christopher M. Poskitt

Jun Sun

233

133

0

03 Jan 2018

Anomaly Detection for a Water Treatment System Using Unsupervised
Machine Learning

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning

Yoriyuki Yamagata

Christopher M. Poskitt

Jun Sun

259

283

0

15 Sep 2017

Page 1 of 1