Cheng Feng
Title
Cited by
Cited by
Year
Multi-level anomaly detection in industrial control systems via package signatures and LSTM networks
C Feng, T Li, D Chana
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems†…, 2017
1232017
PALOMA: A process algebra for located markovian agents
C Feng, J Hillston
International Conference on Quantitative Evaluation of Systems, 265-280, 2014
502014
A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems
C Feng, VR Palleti, A Mathur, D Chana
26th Annual Network and Distributed System Security Symposium (NDSS 2019), 2019
382019
A deep learning-based framework for conducting stealthy attacks in industrial control systems
C Feng, T Li, Z Zhu, D Chana
arXiv preprint arXiv:1709.06397, 2017
262017
Automatic moment-closure approximation of spatially distributed collective adaptive systems
C Feng, J Hillston, V Galpin
ACM Transactions on Modeling and Computer Simulation (TOMACS) 26 (4), 1-22, 2016
232016
Review of time-based techniques for modelling space
V Galpin, C Feng, J Hillston, M Massink, M Tribastone, M Tschaikowski
QUANTICOL, Tech. Rep. TR-QC-05–2014, 2014
19*2014
Moment-based probabilistic prediction of bike availability for bike-sharing systems
C Feng, J Hillston, D Reijsbergen
International Conference on Quantitative Evaluation of Systems, 139-155, 2016
152016
Moment-based availability prediction for bike-sharing systems
C Feng, J Hillston, D Reijsbergen
Performance Evaluation 117, 58-74, 2017
132017
Availability Modeling of Generalized -Out-of- :G Warm Standby Systems With PEPA
X Wu, J Hillston, C Feng
IEEE Transactions on Systems, Man, and Cybernetics: Systems 47 (12), 3177-3188, 2016
112016
Patch-based hybrid modelling of spatially distributed systems by using stochastic HYPE-ZebraNet as an example
C Feng
arXiv preprint arXiv:1406.2069, 2014
112014
Modelling Opportunistic Netowrks with HYPE
C Feng
University of Edinburgh, 2012
62012
Performance analysis of collective adaptive behaviour in time and space
C Feng, M Gribaudo, J Hillston
Electronic Notes in Theoretical Computer Science 318, 53-68, 2015
52015
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction
C Feng, J Hillston
Performance Evaluation 120, 20-35, 2018
4*2018
Scalable Approach to Enhancing ICS Resilience by Network Diversity
T Li, C Feng, C Hankin
50th Annual IEEE/IFIP International Conference on Dependable Systems and†…, 2020
2*2020
Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems
C Feng
The University of Edinburgh, 2017
12017
Nonlinear Hawkes Processes in Time-Varying System
F Zhou, Q Kong, Y Zhang, C Feng, J Zhu
arXiv preprint arXiv:2106.04844, 2021
2021
Stacking VAE with Graph Neural Networks for Effective and Interpretable Time Series Anomaly Detection
W Li, W Hu, N Chen, C Feng
arXiv preprint arXiv:2105.08397, 2021
2021
RelSen: An Optimization-based Framework for Simultaneous Sensor Reliability Monitoring and Data Cleaning
C Feng, X Liang, D Schneegass, PW Tian
29th ACM International Conference on Information and Knowledge Management†…, 2020
2020
Location aggregation of spatial population CTMC models
L Bortolussi, C Feng
arXiv preprint arXiv:1610.08168, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–19