×

zbMATH — the first resource for mathematics

Qu, Hongyang

Compute Distance To:
Author ID: qu.hongyang Recent zbMATH articles by "Qu, Hongyang"
Published as: Qu, Hongyang
External Links: MGP
Documents Indexed: 21 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 61 times in 51 Documents Cited by Year
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
21
2011
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
12
2010
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
6
2013
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
4
2010
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
3
2009
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Zbl 1319.68141
Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco
3
2015
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
Grey-box checking. Zbl 1225.68113
Elkind, Edith; Genest, Blaise; Peled, Doron; Qu, Hongyang
2
2006
Enforcing concurrent temporal behaviors. Zbl 1098.68080
Peled, Doron; Qu, Hongyang
2
2006
Adding invariants to event zone automata. Zbl 1141.68437
Niebert, Peter; Qu, Hongyang
1
2006
The implementation of Mazurkiewicz traces in POEM. Zbl 1161.68579
Niebert, Peter; Qu, Hongyang
1
2006
Calculating probabilities of real-time test cases. Zbl 1183.68178
Jurdziński, Marcin; Peled, Doron; Qu, Hongyang
1
2006
Generating path conditions for timed systems. Zbl 1137.68351
Bensalem, Saddek; Peled, Doron; Qu, Hongyang; Tripakis, Stavros
1
2005
Stronger reduction criteria for local first search. Zbl 1168.68386
Kurbán, Marcos E.; Niebert, Peter; Qu, Hongyang; Vogler, Walter
1
2006
Automatic generation of path conditions for concurrent timed systems. Zbl 1293.68201
Bensalem, Saddek; Peled, Doron; Qu, Hongyang; Tripakis, Stavros
1
2008
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Zbl 1319.68141
Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco
3
2015
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
6
2013
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
21
2011
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
12
2010
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
4
2010
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
3
2009
Automatic generation of path conditions for concurrent timed systems. Zbl 1293.68201
Bensalem, Saddek; Peled, Doron; Qu, Hongyang; Tripakis, Stavros
1
2008
Grey-box checking. Zbl 1225.68113
Elkind, Edith; Genest, Blaise; Peled, Doron; Qu, Hongyang
2
2006
Enforcing concurrent temporal behaviors. Zbl 1098.68080
Peled, Doron; Qu, Hongyang
2
2006
Adding invariants to event zone automata. Zbl 1141.68437
Niebert, Peter; Qu, Hongyang
1
2006
The implementation of Mazurkiewicz traces in POEM. Zbl 1161.68579
Niebert, Peter; Qu, Hongyang
1
2006
Calculating probabilities of real-time test cases. Zbl 1183.68178
Jurdziński, Marcin; Peled, Doron; Qu, Hongyang
1
2006
Stronger reduction criteria for local first search. Zbl 1168.68386
Kurbán, Marcos E.; Niebert, Peter; Qu, Hongyang; Vogler, Walter
1
2006
Generating path conditions for timed systems. Zbl 1137.68351
Bensalem, Saddek; Peled, Doron; Qu, Hongyang; Tripakis, Stavros
1
2005
all top 5

Cited by 123 Authors

6 Kwiatkowska, Marta Z.
6 Qu, Hongyang
4 Chatterjee, Krishnendu
3 Forejt, Vojtěch
3 Jamroga, Wojciech
3 Lomuscio, Alessio
3 Norman, Gethin
2 Baier, Christel
2 Belardinelli, Francesco
2 Jansen, David N.
2 Jobstmann, Barbara
2 Junges, Sebastian
2 Jurdziński, Marcin
2 Katoen, Joost-Pieter
2 Knapik, Michal Jozef
2 Lavaei, Abolfazl
2 Peled, Doron A.
2 Soudjani, Sadegh
2 Zamani, Majid
2 Zhang, Lijun
1 Aichernig, Bernhard K.
1 Aslanyan, Zaruhi
1 Balaguer, Sandie
1 Basset, Nicolas
1 Bauer, Matthew Steven
1 Bloem, Roderick
1 Bozga, Marius
1 Brázdil, Tomáš
1 Buchholz, Peter
1 Caillaud, Benoît
1 Chadha, Rohit
1 Chatain, Thomas
1 Chen, Taolue
1 Chmelík, Martin
1 Condurache, Rodica
1 Cubuktepe, Murat
1 Daca, Przemysław
1 Daviaud, Laure
1 de Alfaro, Luca
1 Dechesne, Francien
1 Dehnert, Christian
1 Delahaye, Benoît
1 Dima, Cătălin
1 Dohndorf, Iryna
1 Dubslaff, Clemens
1 Eisentraut, Christian
1 Fraser, Douglas
1 Garanina, Natalia O.
1 Gebler, Daniel E.
1 Giaquinta, Ruben
1 Girault, Alain
1 Giro, Sergio
1 Godefroid, Patrice
1 Godskesen, Jens Chr.
1 Gößler, Gregor
1 Groz, Roland
1 Gu, Jiayi
1 Haar, Stefan
1 Haddad, Serge
1 Han, Tingting
1 Hartmanns, Arnd
1 Hashemi, Vahid
1 Henzinger, Thomas A.
1 Hermanns, Holger
1 Hoffmann, Ruth
1 Ireland, Murray
1 Jansen, Nils
1 Kacprzak, Magdalena
1 Kempf, Jean-Francois
1 Klein, Joachim
1 Klüppelholz, Sascha
1 Konur, Savas
1 Kouvaros, Panagiotis
1 Kucera, Antonin
1 Kurpiewski, Damian
1 Lazić, Ranko
1 Legay, Axel
1 Li, Keqin
1 Lin, Liyong
1 Maler, Oded
1 Malvone, Vadim
1 Mathur, Umang
1 Mazowiecki, Filip
1 Mikulski, Łukasz
1 Miller, Alice Ann
1 Monmege, Benjamin
1 Murano, Aniello
1 Nielson, Flemming
1 Otop, Jan
1 Papusha, Ivan
1 Penczek, Wojciech
1 Pérez, Guillermo A.
1 Platzer, André
1 Poonawala, Hasan A.
1 Quatmann, Tim
1 Russo, Francesco
1 Santocanale, Luigi
1 Sawicka, Anna
1 Sen, Koushik
1 Shahbaz, Muzammil
...and 23 more Authors

Citations by Year