According to our database1, Cheng Feng authored at least 13 papers between 2014 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction.
Perform. Eval., 2018
Improving ICS Cyber Resilience through Optimal Diversification of Network Resources.
Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017
Moment-based availability prediction for bike-sharing systems.
Perform. Eval., 2017
A Deep Learning-based Framework for Conducting Stealthy Attacks in Industrial Control Systems.
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
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
Performance Analysis of Collective Adaptive Behaviour in Time and Space.
Electr. Notes Theor. Comput. Sci., 2015
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015
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