Concepedia

Samrat S. Batth

SS

Statistics

Publications

2

Citations

26

H-Index

2

Active since

2008

Affiliations

City University of New York(Current)

Samrat S. Batth is an author at City University of New York specializing in formal verification, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringReliability EngineeringVerificationFormal MethodsSoftware TestingHardware Security

Publications per year

2008–2008

2

Publications

2

Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols

M. Ümit Uyar, Samrat S. Batth, Yu Wang et al. · IEEE Transactions on Computers · 2008 · 14 citations

Engineering, Verification, Fault-tolerant Messaging +21

Fault masking by multiple timing faults in timed EFSM models

Y. Wang, Meltem Uyar, Samrat S. Batth et al. · Computer Networks · 2008 · 12 citations

Hardware Security, Reliability Engineering, Engineering +10

1–2 of 2