Lu Feng : Publications
Click here to download all publications in a single bibtex file
@inproceedings{FHKP11, title = "Learning-based Compositional Verification for Synchronous Probabilistic Systems", author = "L. Feng and T. Han and M. Kwiatkowska and D. Parker", year = "2011", booktitle = "Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)", pages = "511--521", publisher = "Springer", series = "LNCS", url = "http://www.prismmodelchecker.org/bibitem.php?key=FHKP11", volume = "6996", }
@inproceedings{FKP11, title = "Automated Learning of Probabilistic Assumptions for Compositional Reasoning", author = "L. Feng and M. Kwiatkowska and D. Parker", year = "2011", booktitle = "Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11)", editor = "D. Giannakopoulou and F. Orejas", pages = "2--17", publisher = "Springer", series = "LNCS", url = "http://www.prismmodelchecker.org/bibitem.php?key=FKP11", volume = "6603", }
@inproceedings{FKP10, title = "Compositional Verification of Probabilistic Systems using Learning", author = "L. Feng and M. Kwiatkowska and D. Parker", year = "2010", booktitle = "Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10)", pages = "133--142", publisher = "IEEE CS Press", url = "http://www.prismmodelchecker.org/bibitem.php?key=FKP10", }