S. Jha

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Wedgetail: An intrusion prevention system for the data plane of software defined networks

A. Shaghaghi and others (2017) · Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security

Progress on the State Explosion Problem in Model Checking

E. Clarke and others (2001) · Springer Berlin Heidelberg

Counterexample-Guided Abstraction Refinement

E. Clarke and others (2000) · Springer Berlin Heidelberg

Exploiting symmetry in temporal logic model checking

E. M. Clarke and others (1993) · Springer Berlin Heidelberg

Verification of the Futurebus1 cache coherence protocol

E. M. Clarke and others (1993) · Proceedings CHDL