David Sanán
发表
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
IEEE Transactions on Dependable and Secure Computing.
Yang Liu,
Yongwang Zhao,
David Sanán,
2018,
ArXiv.
Michael G. Hinchey,
David Sanán,
Andrew Butterfield,
2014,
VSTTE.
Yang Liu,
Shang-Wei Lin,
David Sanán,
2018,
ArXiv.
Jun Sun,
Yang Liu,
Jin Song Dong,
2011,
SenSys.
Yongwang Zhao,
Zhenchang Xing,
Liu Yang,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Jun Sun,
Hao Xiao,
Shang-Wei Lin,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Yang Liu,
David Sanán,
Fuyuan Zhang,
2019,
FM.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
FM.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2009,
Journal of Automated Reasoning.
Yang Liu,
Yongwang Zhao,
David Sanán,
2016,
TACAS.
Yongwang Zhao,
Yu Zhang,
David Sanán,
2019,
SETTA.
Liu Yang,
David Sanán,
Zhe Hou,
2019,
Design Automation for Embedded Systems.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2008,
ERCIM News.
Jun Sun,
Shang-Wei Lin,
Yang Liu,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
María-del-Mar Gallardo,
David Sanán,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Yu Zhang,
Yongwang Zhao,
David Sanán,
2018,
ArXiv.
Yang Liu,
David Sanán,
Alwen Tiu,
2017,
ITP.
Jun Sun,
Yang Liu,
Jiao Jiao,
2018,
ArXiv.
Mike Hinchey,
David Sanán,
Andrew Butterfield,
2013
.
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
ArXiv.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
VMCAI.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2007,
SPIN.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2008,
2008 32nd Annual IEEE International Computer Software and Applications Conference.
Jin Song Dong,
Yang Liu,
David Sanán,
2019,
ArXiv.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2009,
International Journal on Software Tools for Technology Transfer.
María-del-Mar Gallardo,
David Sanán,
2012,
Automated Software Engineering.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.
Yongwang Zhao,
David Sanán,
Yongwang Zhao,
2019,
CAV.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2006,
MSVVEIS.
Yang Liu,
Yongwang Zhao,
David Sanán,
2016,
IEEE Transactions on Industrial Informatics.
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
TACAS.
David Sanán,
Andrew Butterfield,
Mike Hinchey,
2014
.
David Sanán,
Alwen Tiu,
Wilayat Khan,
2017,
SG-CRC.
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2012,
Sci. Comput. Program..
María-del-Mar Gallardo,
Pedro Merino,
David Sanán,
2007,
MSVVEIS.
Rajeev Goré,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.