BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Germany
1 × USA
1 × United Kingdom
2 × The Netherlands
Collaborated with:
D.Peled M.Z.Kwiatkowska G.Norman D.Parker A.Lomuscio F.Raimondi N.Wolovick P.R.D'Argenio M.Jurdzinski S.Bensalem S.Tripakis V.Forejt F.Arbab S.Meng Y.Moon
Talks about:
system (4) time (4) verif (3) probabilist (2) probabl (2) multi (2) model (2) test (2) real (2) case (2)

Person: Hongyang Qu

DBLP DBLP: Qu:Hongyang

Contributed to:

TACAS 20112011
TACAS 20102010
CAV 20092009
ESEC/FSE 20092009
ICST 20092009
FATES 20052005
IFM 20052005

Wrote 8 papers:

TACAS-2011-ForejtKNPQ #multi #probability #verification
Quantitative Multi-objective Verification for Probabilistic Systems (VF, MZK, GN, DP, HQ), pp. 112–127.
TACAS-2010-KwiatkowskaNPQ #probability #verification
Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.
CAV-2009-LomuscioQR #model checking #multi #named #verification
MCMAS: A Model Checker for the Verification of Multi-Agent Systems (AL, HQ, FR), pp. 682–688.
ESEC-FSE-2009-ArbabMMKQ #analysis #coordination #modelling #named #performance
Reo2MC: a tool chain for performance analysis of coordination models (FA, SM, YJM, MZK, HQ), pp. 287–288.
ICST-2009-WolovickDQ #execution #optimisation #realtime #testing
Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
FATES-2005-JurdzinskiPQ #realtime #testing
Calculating Probabilities of Real-Time Test Cases (MJ, DP, HQ), pp. 134–151.
FATES-2005-PeledQ #partial order
Time Unbalanced Partial Order (DP, HQ), pp. 152–169.
IFM-2005-BensalemPQT #generative
Generating Path Conditions for Timed Systems (SB, DP, HQ, ST), pp. 5–19.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.