Adam Kimura - Concepedia

Author

Adam Kimura

Also Known As

Adam G. Kimura, Adam Kimura

Publications

108

Citations

H-Index

Concepts

All Affiliations

Adam Kimura is an author at Battelle specializing in formal verification, engineering, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	49
2	Computer Engineering	1	1	49
3	Computer Architecture	1	1	49
4	Formal Methods	1	1	49
5	Formal Verification	1	1	49

Adam Kimura

Publications

Citations

H-Index

Page 1

	Year	Citations
A Decomposition Workflow for Integrated Circuit Verification and Validation Adam Kimura, Jon Scholl, James Schaffranek, Journal of Hardware and Systems Security Hardware SecurityEngineeringVerificationComputer EngineeringComputer Architecture	2020	49
From Silicon to Simulation: A Full Decomposition of a Fabricated 130 nm Serial Peripheral Interface for Establishing an Assurance Baseline Root-of-Trust Adam Kimura, Adam R. Waite, Jon Scholl,	2020	14

Page 1