Concepedia

Jesse Bingham

JB

6

Publications

216

Citations

6

H-Index

2003

Active since

Affiliations

University of British Columbia(Current)

Intel (United States)

Jesse Bingham is an author at University of British Columbia specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationComputer EngineeringAutomated ReasoningDistributed SystemsData SecurityProgram Analysis

Publications per year

2003–2014

6

Publications

6

Improving Multiple-CMP Systems Using Token Coherence

Michael R. Marty, Jesse Bingham, Mark D. Hill et al. · 2005 · 109 citations

Semiconductor Technology, Engineering, Distributed Computing +15

Industrial Strength Distributed Explicit State Model Checking

Brad Bingham, Jesse Bingham, Flavio M. De Paula et al. · 2010 · 45 citations

Engineering, Verification, Computer-aided Verification +20

PVCoherence: Designing flat coherence protocols for scalable verification

Meng Zhang, Jesse Bingham, John Erickson et al. · 2014 · 21 citations

Engineering, Verification, Computer Architecture +17

A New Approach to Upward-Closed Set Backward Reachability Analysis

Jesse Bingham · Electronic Notes in Theoretical Computer Science · 2005 · 15 citations · Full text

Mathematical Programming, Petri Net, Engineering +18

Automatic Non-Interference Lemmas for Parameterized Model Checking

Jesse Bingham · 2008 · 14 citations

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 6