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",
}