Concepedia

Devi Shanmugam

DS

1

Publications

15

Citations

1

H-Index

2006

Active since

Affiliations

IBM (United States)(Current)

Devi Shanmugam is an author at IBM (United States) specializing in hardware security, computer engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingHardware SecuritySoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2006–2006

1

Publications

1

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning

T. Glokler, Jason Baumgartner, Devi Shanmugam et al. · 2006 · 15 citations

Applied Logic, Engineering, Hardware Verification Language +21

Rows per page

1–1 of 1