Lu Feng
|
|
Room 452, Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
Selected Publications
| 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 |
| 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. |
| 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. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
|
|
Supervisor |
|