Effect of dilution on micro hardness of Ni–Cr–B–Si alloy hardfaced on austenitic stainless steel plate for sodium-cooled fast reactor applications

由 Balaguru, S., Murali, V., Chellapandi, P., Gupta, M.
出版 2021

Boosting concolic testing via interpolation

由 Jaffar, J., Murali, V., Navas, J.A.
出版 2014

TRACER: A symbolic execution tool for verification

由 Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
出版 2013

Towards predictive modeling of message-passing communication

由 March, V., Murali, V., Teo, Y.M., See, S., Himer, J.T.
出版 2013