Hongyang Qu : Publications

Click here to download all publications in a single bibtex file

@techreport{RR-13-04,
  title = "Efficient Probabilistic Parameter Synthesis for Adaptive Systems",
  author = "Taolue Chen and Tingting Han and Marta Kwiatkowska and Hongyang Qu",
  year = "2013",
  institution = "DCS",
  number = "RR-13-04",
  pages = "13",
}

@techreport{RR-12-05,
  title = "INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS",
  author = "Vojtech Forejt and Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma",
  year = "2012",
  institution = "DCS",
  number = "RR-12-05",
  pages = "15",
}