Jesse D. Bingham

According to our database1, Jesse D. Bingham authored at least 19 papers between 2000 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Verifiable hierarchical protocols with network invariants on parametric systems.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.
IEEE Micro, 2015

2013
Distributed Explicit State Model Checking of Deadlock Freedom.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011
Parameterized verification of deadlock freedom in symmetric cache coherence protocols.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2009
Industrial strength refinement checking.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Automatic Non-Interference Lemmas for Parameterized Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007
Hybrid one-dimensional reversible cellular automata are regular.
Discret. Appl. Math., 2007

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
Proceedings of the Verification, 2007

2006
B-Cubing: New Possibilities for Efficient SAT-Solving.
IEEE Trans. Computers, 2006

A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
Proceedings of the Verification, 2006

2005
Empirically Efficient Verification for a Class of Infinite-State Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Improving Multiple-CMP Systems Using Token Coherence.
Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005

B-cubing theory: new possibilities for efficient SAT-solving.
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Efficient SAT solving: beyond supercubes.
Proceedings of the 42nd Design Automation Conference, 2005

2004
A New Approach to Upward-Closed Set Backward Reachability Analysis.
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Toward a decidable notion of sequential consistency.
Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003

2002
Semi-formal Bounded Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2000
Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000


  Loading...