David Sanán
发表
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2009,
Journal of Automated Reasoning.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
FM.
Yang Liu,
Fuyuan Zhang,
Zhimin Wu,
2016,
FM.
Jun Sun,
Shang-Wei Lin,
Fuyuan Zhang,
2020
.
Koh Chuen Hoa,
Yang Liu,
Zhé Hóu,
2016
.
Yang Liu,
Shuanglong Kan,
David Sanan,
2019,
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
IEEE Transactions on Dependable and Secure Computing.
Mike Hinchey,
David Sanán,
Andrew Butterfield,
2013
.
Jun Sun,
Shang-Wei Lin,
Yang Liu,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
ArXiv.
Yuebin Bai,
Yuan Zhou,
Yang Liu,
2020,
IEEE Transactions on Vehicular Technology.
Yang Liu,
Zhibin Yang,
David Sanan,
2015,
2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).
Jun Sun,
Shang-Wei Lin,
X. Le,
2020,
2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS).
Yang Liu,
David Sanán,
Alwen Tiu,
2017,
ITP.
M. Gallardo,
David Sanán,
2013,
Automated Software Engineering.
Shang-Wei Lin,
Yang Liu,
Yongwang Zhao,
2021,
ACM Transactions on Programming Languages and Systems.
Yang Liu,
Fuyuan Zhang,
David Sanán,
2023,
ArXiv.
Tianwei Zhang,
Yang Liu,
Yongwang Zhao,
2022,
ICFEM.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2009,
International Journal on Software Tools for Technology Transfer.
Pedro de la Cámara,
P. Merino,
P. de la Cámara,
2005,
FMICS '05.
Liu Yang,
David Sanán,
Zhe Hou,
2019,
Design Automation for Embedded Systems.
Yongwang Zhao,
Zhenchang Xing,
Liu Yang,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Michael G. Hinchey,
David Sanán,
Andrew Butterfield,
2014,
VSTTE.
Yongwang Zhao,
Yu Zhang,
David Sanán,
2019,
SETTA.
David Sanán,
Yongwang Zhao,
2023,
ArXiv.
Jin Song Dong,
Yang Liu,
Alwen Tiu,
2020,
Journal of Automated Reasoning.
David Sanán,
Yongwang Zhao,
2023,
ArXiv.
Yang Liu,
David Sanán,
Fuyuan Zhang,
2019,
FM.
Yongwang Zhao,
David Sanán,
Yongwang Zhao,
2019,
CAV.
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
TACAS.
Yang Liu,
Yongwang Zhao,
David Sanán,
2016,
IEEE Transactions on Industrial Informatics.