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: Qu:Hongyang
Contributed to:
20112010
2009
2009
2009
2005
2005Wrote 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.