Concepedia

Divjyot Sethi

DS

2

Publications

73

Citations

2

H-Index

2011

Active since

Affiliations

Princeton University(Current)

Divjyot Sethi is an author at Princeton University specializing in formal verification, computer engineering, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityFormal VerificationSystems EngineeringComputer EngineeringProgram AnalysisSoftware Testing

Publications per year

2011–2013

2

Publications

2

Abstractions for model checking SDN controllers

Divjyot Sethi, Srinivas Narayana, Sharad Malik · 2013 · 48 citations

Engineering, Controller Behavior, Verification +16

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

Charlie Shucheng Zhu, Georg Weißenbacher, Divjyot Sethi et al. · 2011 · 25 citations

State Bits, Engineering, Hardware Verification Language +21

Rows per page

1–2 of 2