According to our database1, Cheng Feng authored at least 10 papers between 2014 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction.
Perform. Eval., 2018
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
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