Yi Fang
发表
A. Pnueli,
N. Piterman,
L. Zuck,
2006
.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2005,
CAV.
Yi Fang,
Bing Mao,
Li Xie,
2011,
SEC.
Amir Pnueli,
Kenneth L. McMillan,
Lenore D. Zuck,
2006,
FORTE.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2002,
COCV@ETAPS.
Amir Pnueli,
Lenore D. Zuck,
Nir Piterman,
2006
.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2005,
Formal Methods Syst. Des..
Goshawk: Hunting Memory Corruptions via Structure-Aware and Object-Centric Memory Operation Synopsis
Siqi Ma,
E. Bertino,
Kangjie Lu,
2022,
2022 IEEE Symposium on Security and Privacy (SP).
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2002,
RV@FLoC.
Perdita Stevens,
Joost P. Katoen,
G. Behrmann,
2006
.