Divjyot Sethi

According to our database, Divjyot Sethi authored at least 7 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Model checking unbounded concurrent lists.

Divjyot Sethi, Muralidhar Talupur, Sharad Malik

Int. J. Softw. Tools Technol. Transf., 2016

2014

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.

Divjyot Sethi, Muralidhar Talupur, Sharad Malik

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Abstractions for model checking SDN controllers.

Divjyot Sethi, Srinivas Narayana, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Parameterized Model Checking of Fine Grained Concurrency.

Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Specification and synthesis of hardware checkpointing and rollback mechanisms.

Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Specification and encoding of transaction interaction properties.

Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik

Formal Methods Syst. Des., 2011

SAT-based techniques for determining backbones for post-silicon fault localisation.

Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011