David Greve - Concepedia

Author

David Greve

Also Known As

D. Greve, D.A. Greve, DAVID A. GREVE, David A. Greve, David Greve, Greve, David, Greve, David A.

Publications

318

Citations

H-Index

Concepts

All Affiliations

David Greve is an author at Rockwell Automation (United States) specializing in formal verification, engineering, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	29
2	Computer Science	2	2	29
3	Computer Engineering	1	1	17
4	Systems Engineering	1	1	17
5	Computer Architecture	1	1	17

David Greve

Publications

Citations

H-Index

Page 1

	Year	Citations
Efficient execution in an automated reasoning environment David Greve, Matt Kaufmann, Panagiotis Manolios, Journal of Functional Programming	2007	35
Efficient Simulation of Formal Processor Models Matthew Wilding, David Greve, David Hardin Formal Methods in System Design	2001	24
Invariant performance: a statement of task isolation useful for embedded application integration Matthew Wilding, David Hardin, David Greve EngineeringVerificationComputer ArchitectureComputer-aided VerificationSoftware Engineering	2003	17
Assuming termination David Greve EngineeringTarai FunctionAutomated ReasoningProof ComplexityVerification	2009	12

Page 1