Cheng Feng

According to our database1, Cheng Feng authored at least 13 papers between 2014 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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. Eval., 2018

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

2017
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.
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
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

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...