×

zbMATH — the first resource for mathematics

Hu, Alan J.

Compute Distance To:
Author ID: hu.alan-j Recent zbMATH articles by "Hu, Alan J."
Published as: Hu, Alan J.; Hu, A. J.
Documents Indexed: 17 Publications since 1986, including 2 Books

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 13 times in 11 Documents Cited by Year
Verifying heap-manipulating programs in an SMT framework. Zbl 1141.68484
Rakamarić, Zvonimir; Bruttomesso, Roberto; Hu, Alan J.; Cimatti, Alessandro
3
2007
Reasoning about GSTE assertion graphs. Zbl 1179.68086
Hu, Alan J.; Casas, Jeremy; Yang, Jin
3
2003
Selection of the optimum uniform partition search. Zbl 0584.68075
Hu, A. J.
2
1986
Empirically efficient verification for a class of infinite-state systems. Zbl 1087.68584
Bingham, Jesse; Hu, Alan J.
2
2005
Structural abstraction of software verification conditions. Zbl 1135.68463
Babić, Domagoj; Hu, Alan J.
2
2007
Proving termination of nonlinear command sequences. Zbl 1298.68164
Babić, Domagoj; Cook, Byron; Hu, Alan J.; Rakamarić, Zvonimir
1
2013
Proving termination of nonlinear command sequences. Zbl 1298.68164
Babić, Domagoj; Cook, Byron; Hu, Alan J.; Rakamarić, Zvonimir
1
2013
Verifying heap-manipulating programs in an SMT framework. Zbl 1141.68484
Rakamarić, Zvonimir; Bruttomesso, Roberto; Hu, Alan J.; Cimatti, Alessandro
3
2007
Structural abstraction of software verification conditions. Zbl 1135.68463
Babić, Domagoj; Hu, Alan J.
2
2007
Empirically efficient verification for a class of infinite-state systems. Zbl 1087.68584
Bingham, Jesse; Hu, Alan J.
2
2005
Reasoning about GSTE assertion graphs. Zbl 1179.68086
Hu, Alan J.; Casas, Jeremy; Yang, Jin
3
2003
Selection of the optimum uniform partition search. Zbl 0584.68075
Hu, A. J.
2
1986

Citations by Year