Ru-Gang Xu
发表
Rupak Majumdar,
Ru-Gang Xu,
R. Majumdar,
2009
.
Rupak Majumdar,
Ranjit Jhala,
Ru-Gang Xu,
2007,
TACAS.
Rupak Majumdar,
Ru-Gang Xu,
R. Majumdar,
2009,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Ashutosh Gupta,
2008,
POPL '08.
Rupak Majumdar,
Ru-Gang Xu,
R. Majumdar,
2007,
ASE.
Rupak Majumdar,
Ranjit Jhala,
Ru-Gang Xu,
2006,
SAS.
Rupak Majumdar,
Ru-Gang Xu,
R. Majumdar,
2007,
ESEC-FSE companion '07.
Alex Groce,
James H. Andrews,
Ru-Gang Xu,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Rupak Majumdar,
Ru-Gang Xu,
R. Majumdar,
2007,
ESEC-FSE '07.
Alex Groce,
Gerard J. Holzmann,
Klaus Havelund,
2014,
Annals of Mathematics and Artificial Intelligence.
Dennis Koga,
Ru-Gang Xu,
2001
.
Rupak Majumdar,
Patrice Godefroid,
Ru-Gang Xu,
2008,
ISSTA '08.