Divjyot Sethi

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Formal Specification

Temporal Properties

Computation Tree Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Model checking unbounded concurrent lists. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. ATVA (2014)
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. CoRR (2014)
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Model Checking Unbounded Concurrent Lists. SPIN (2013)
Divjyot Sethi, Srinivas Narayana, Sharad Malik
Abstractions for model checking SDN controllers. FMCAD (2013)
Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik
Parameterized Model Checking of Fine Grained Concurrency. SPIN (2012)
Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik
Specification and synthesis of hardware checkpointing and rollback mechanisms. DAC (2012)
Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik
Specification and encoding of transaction interaction properties. Formal Methods Syst. Des. 39 (2) (2011)
Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik
SAT-based techniques for determining backbones for post-silicon fault localisation. HLDVT (2011)