Cheng Feng

Affiliations:
  • Imperial College London, London, UK
  • University of Edinburgh, Scotland, UK (former)


According to our database1, Cheng Feng authored at least 15 papers between 2014 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Scalable Approach to Enhancing ICS Resilience by Network Diversity.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

2019
A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems.
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction.
Perform. Evaluation, 2018

Improving ICS Cyber Resilience through Optimal Diversification of Network Resources.
CoRR, 2018

2017
Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems.
PhD thesis, 2017

Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Moment-based availability prediction for bike-sharing systems.
Perform. Evaluation, 2017

A Deep Learning-based Framework for Conducting Stealthy Attacks in Industrial Control Systems.
CoRR, 2017

Multi-level Anomaly Detection in Industrial Control Systems via Package Signatures and LSTM Networks.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul., 2016

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Performance Analysis of Collective Adaptive Behaviour in Time and Space.
Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example.
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

PALOMA: A Process Algebra for Located Markovian Agents.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014


  Loading...