3
Publications
76
Citations
3
H-Index
2001
Active since
Affiliations
Rockwell Automation (United States)(Current)
Matthew Wilding is an author at Rockwell Automation (United States) specializing in computer engineering, program analysis, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
2001–2007
3
3
Efficient execution in an automated reasoning environment
David Greve, Matt Kaufmann, Panagiotis Manolios et al. · Journal of Functional Programming · 2007 · 35 citations · Full text
Efficient Simulation of Formal Processor Models
Matthew Wilding, David Greve, David Hardin · Formal Methods in System Design · 2001 · 24 citations
Rows per page
1–3 of 3