Divjyot Sethi, Ph.D.
Affiliations: | 2014 | Electrical Engineering | Princeton University, Princeton, NJ |
Area:
Computing & Networking,High-Performance Computing,Integrated Electronic Systems,SecurityGoogle:
"Divjyot Sethi"Parents
Sign in to add mentor| Sharad Malik | grad student | 2014 | Princeton | |
| (Scaling Verification by Leveraging Parametrization.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Sethi D, Talupur M, Malik S. (2015) Model checking unbounded concurrent lists International Journal On Software Tools For Technology Transfer |
| Chan C, Schwartz-Narbonne D, Sethi D, et al. (2012) Specification and synthesis of hardware checkpointing and rollback mechanisms Proceedings - Design Automation Conference. 1226-1232 |
| Sethi D, Talupur M, Schwartz-Narbonne D, et al. (2012) Parameterized model checking of fine grained concurrency Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7385: 208-226 |
| Sethi D, Mahajan Y, Malik S. (2011) Specification and encoding of transaction interaction properties Formal Methods in System Design. 39: 144-164 |
| Malik SR, Sethi DV, Sood GC, et al. (1966) Arruga's encircling operation in detachment of retina. Journal of the All-India Ophthalmological Society. 14: 171-5 |