V. D'Silva
发表
Dawn Xiaodong Song,
Mathias Payer,
Vijay D'Silva,
2015,
2015 IEEE Security and Privacy Workshops.
Daniel Kroening,
Vijay D'Silva,
Leopold Haller,
2012,
SAS.
Arcot Sowmya,
V. D'Silva,
A. Sowmya,
2022
.
V. D'Silva,
Caterina Urban,
Alessandra Palmigiano,
2017
.
A. Griggio,
D. Kroening,
V. D'Silva,
2013,
Formal Methods in System Design.
V. D'Silva,
R. Kuhn,
P. Prádanos,
2010
.
Daniel Kroening,
Georg Weissenbacher,
Vijay D'Silva,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Vijay D'Silva,
Marcelo Sousa,
Marcelo Sousa,
2017,
VMCAI.
Daniel Kroening,
Vijay D'Silva,
Mitra Purandare,
2008,
VMCAI.
Dawn Xiaodong Song,
Kevin Zhijie Chen,
Vijay D'Silva,
2015,
HotOS.
Vijay D'Silva,
V. D'Silva,
2013,
CONCUR.
Caterina Urban,
Vijay D'Silva,
V. D'Silva,
2016,
IJCAI.
Daniel Kroening,
Vijay D'Silva,
D. Kroening,
2013,
VMCAI.
Dawn Xiaodong Song,
Vijay D'Silva,
Chia Yuan Cho,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Dawn Xiaodong Song,
Martin C. Rinard,
Kevin Zhijie Chen,
2013,
NDSS.
Caterina Urban,
Vijay D'Silva,
V. D'Silva,
2015,
Journal of Automated Reasoning.
Daniel Kroening,
Vijay D'Silva,
Michael Tautschnig,
2012,
TACAS.
Vijay D'Silva,
S. Ramesh,
Naveen Chandra,
2004,
CAV.
Daniel Kroening,
Alberto Griggio,
Martin Brain,
2013,
Formal Methods in System Design.