Divjyot Sethi

First name

Divjyot

Last name

Sethi

Sethi, Divjyot, Muralidhar Talupur, and Sharad Malik. 2016. “Model Checking Unbounded Concurrent Lists”. International Journal on Software Tools for Technology Transfer 18 (4). Springer Berlin Heidelberg: 375–391.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, and Sharad Malik. 2014. “Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom”. In International Symposium on Automated Technology for Verification and Analysis, 330–347. Springer International Publishing.

Reference Link
Sethi, Divjyot, Srinivas Narayana, and Sharad Malik. 2013. “Abstractions for Model Checking SDN Controllers”. In Formal Methods in Computer-Aided Design (FMCAD), 2013, 145–148. IEEE.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, Daniel Schwartz-Narbonne, and Sharad Malik. 2012. “Parameterized Model Checking of Fine Grained Concurrency”. In International SPIN Workshop on Model Checking of Software, 208–226. Springer Berlin Heidelberg.

Reference Link
Chan, Carven, Daniel Schwartz-Narbonne, Divjyot Sethi, and Sharad Malik. 2012. “Specification and Synthesis of Hardware Checkpointing and Rollback Mechanisms”. In Proceedings of the 49th Annual Design Automation Conference, 1226–1232. ACM.

Reference Link