SAT-based techniques for determining backbones for post-silicon fault localisation. - Charlie Shucheng Zhu; Georg Weissenbacher; Divjyot Sethi; Sharad Malik (HLDVT, 2011)

Specification and encoding of transaction interaction properties. - Divjyot Sethi; Yogesh S. Mahajan; Sharad Malik (Formal Methods Syst. Des., 2011)

Specification and synthesis of hardware checkpointing and rollback mechanisms. - Carven Chan; Daniel Schwartz-Narbonne; Divjyot Sethi; Sharad Malik (DAC, 2012)

Parameterized Model Checking of Fine Grained Concurrency. - Divjyot Sethi; Muralidhar Talupur; Daniel Schwartz-Narbonne; Sharad Malik (SPIN, 2012)

Abstractions for model checking SDN controllers. - Divjyot Sethi; Srinivas Narayana; Sharad Malik (FMCAD, 2013)

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. - Divjyot Sethi; Muralidhar Talupur; Sharad Malik (ATVA, 2014)

Model checking unbounded concurrent lists. - Divjyot Sethi; Muralidhar Talupur; Sharad Malik (Int. J. Softw. Tools Technol. Transf., 2016)