Concepedia

Sumit Kumar Jha

SK

42

Publications

1.4K

Citations

21

H-Index

1997

Active since

Affiliations

University of Central Florida(Current)

The University of Texas at San Antonio

Carnegie Mellon University

SRI International

Oak Ridge National Laboratory

Sumit Kumar Jha is an author at University of Central Florida specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureParallel ComputingFormal MethodsIn-memory ComputingMicroelectronicsVerificationHardware Security

Publications per year

1997–2024

42

Publications

42

Modular verification of software components in C

Sagar Chaki, E. M. Clarke, Alex Groce et al. · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 130 citations

Program Checking, Engineering, Verification +19

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Susmit Jha, Sumit Kumar Jha · 2008 · 122 citations

Hardware Trojan, Engineering, Information Security +21

Predicting Heart Rate Variations of Deepfake Videos using Neural ODE

Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz et al. · 2019 · 121 citations

Engineering, Machine Learning, Video Processing +18

An improved algorithm for the evaluation of fixpoint expressions

Anca Browne, E. M. Clarke, Sumit Kumar Jha et al. · Theoretical Computer Science · 1997 · 80 citations

Mathematical Programming, Engineering, Fixpoint Expressions +7

Verifying parameterized networks

E. M. Clarke, Orna Grümberg, Sumit Kumar Jha · ACM Transactions on Programming Languages and Systems · 1997 · 71 citations · Full text

Engineering, State Properties, Verification +17

Rows per page

1–5 of 42