Concepedia

Eric W. Smith

EW

6

Publications

150

Citations

6

H-Index

2006

Active since

Affiliations

Stanford University(Current)

Kestrel Institute

Palo Alto University

Eric W. Smith is an author at Stanford University specializing in computer science, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceVerificationComputer EngineeringFormal MethodsProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2006–2020

6

Publications

6

A robust machine code proof framework for highly secure applications

David Hardin, Eric W. Smith, William D. Young · 2006 · 39 citations

Engineering, Hardware Verification Language, Verification +25

A software platform for fractionated spacecraft

Abhishek Dubey, William Emfinger, Aniruddha Gokhale et al. · 2012 · 31 citations

Software Platform, Cluster Computing, Engineering +22

Automatic Formal Verification of Block Cipher Implementations

Eric W. Smith, David L. Dill · 2008 · 26 citations

Cryptographic Primitive, Engineering, Verification +18

Run-Time Assurance for Learning-Based Aircraft Taxiing

Darren Cofer, Isaac Amundson, Ramachandra Sattigeri et al. · 2020 · 25 citations

Aircraft Systems, Engineering, Aircraft Navigation +12

Crowd-scale interactive formal reasoning and analytics

Ethan Fast, Colleen Lee, Alex Aiken et al. · 2013 · 19 citations

Large Online Courses, Engineering, Verification +19

Rows per page

1–5 of 6