Lu Feng : Publications
Conference papers
|
[1] |
Learning−based Compositional Verification for Synchronous Probabilistic Systems L. Feng‚ T. Han‚ M. Kwiatkowska and D. Parker In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11). Vol. 6996 of LNCS. Pages 511–521. Springer. 2011. To appear |
|
[2] |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning L. Feng‚ M. Kwiatkowska and D. Parker In D. Giannakopoulou and F. Orejas, editors, Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11). Vol. 6603 of LNCS. Pages 2–17. Springer. 2011. |
|
[3] |
Compositional Verification of Probabilistic Systems using Learning Lu Feng‚ Marta Kwiatkowska and David Parker In Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10). IEEE CS Press. September, 2010. |
Technical reports
|
[1] |
Proceedings of the Oxford University Computing Laboratory Student Conference 2009 Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu No. RR−09−14. OUCL. November, 2009. |